Follow
Raphaël Michel
Raphaël Michel
CETIC Research Center
Verified email at cetic.be
Title
Cited by
Cited by
Year
A formal semantics for feature cardinalities in feature diagrams
R Michel, A Classen, A Hubaux, Q Boucher
Proceedings of the 5th Workshop on Variability Modeling of Software …, 2011
542011
An SMT-LIB Format for Sequences and Regular Expressions
N Bjørner, V Ganesh, R Michel, M Veanes
Strings, 2012
392012
Evaluating a textual feature modelling language: four industrial case studies
A Hubaux, Q Boucher, H Hartmann, R Michel, P Heymans
Software Language Engineering, 337-356, 2011
292011
An SMT-based Approach to Automated Configuration
P Heymans, R Michel, V Ganesh, A Hubaux
10th International Workshop on Satisfiability Modulo Theories (SMT), 107-117, 2012
20*2012
An SMT-based Approach to Automated Configuration
R Michel, A Hubaux, V Ganesh, P Heymans
Proceedings of the 10th International Workshop on Satisfiability Modulo …, 0
20*
Next-generation model-based variability management: languages and tools
M Acher, P Heymans, P Collet, P Lahire
MODELS 2012-15th International Conference on Model Driven Engineering …, 2012
72012
Guiding cloud developers to build energy aware applications
C Ponsard, JC Deprez, R Michel
International Conference on Software Technologies, 397-414, 2015
32015
Guiding Cloud Application Developers towards a Balanced Design Trade-off among Energy Impacting Requirements
C Ponsard, R Michel, JC Deprez, S Saadaoui
Collegium of Economic Analysis Annals, 185-198, 2017
2017
Languages and tools for managing feature models
M Acher, R Michel, P Heymans, P Collet, P Lahire
Product Line Approaches in Software Engineering (PLEASE), 2012 3rd …, 2012
2012
Languages and Tools for Managing Feature Models
P Heymans, M Acher, R Michel, P Collet, P Lahire
3rd International Workshop on Product Line Approaches in Software Engineering, 2012
2012
Next-Generation Model-based Variability Management: Languages and Tools (Tutorial)
P Heymans, M Acher, R Michel
CIEL (Conférence en IngénieriE du Logiciel), 2012
2012
The system can't perform the operation now. Try again later.
Articles 1–11