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 | 54 | 2011 |
An SMT-LIB Format for Sequences and Regular Expressions N Bjørner, V Ganesh, R Michel, M Veanes Strings, 2012 | 39 | 2012 |
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 | 29 | 2011 |
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 | 21* | 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 | 21* | |
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 | 7 | 2012 |
Guiding cloud developers to build energy aware applications C Ponsard, JC Deprez, R Michel International Conference on Software Technologies, 397-414, 2015 | 3 | 2015 |
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 |