Nikolaj Bjørner, Vijay Ganesh, Raphaël Michel and Margus Veanes, An SMT-LIB Format for Sequences and Regular Expressions, 10th International Workshop on Satisfiability Modulo Theories, (Affiliated with IJCAR 2012), Manchester, UK, June 30-July 1, 2012 (Industrie du logiciel, Software and System Engineering, Communication scientifique)
Raphaël Michel, Vijay Ganesh, Arnaud Hubaux and Patrick Heymans, An SMT-based approach to automated configuration,
10th International Workshop on Satisfiability Modulo Theories, (Affiliated with IJCAR 2012), Manchester, UK, June 30-July 1, 2012 (Software and System Engineering, Publications scientifiques, Ligne de produits logiciels)
Mathieu ACHER, Raphaël MICHEL, Patrick HEYMANS, Next-Generation Model-based Variability Management : Languages and Tools (Tutorial), in Proceedings of Journées GDR - GPL - CIEL 2012, Rennes, 19-21 juin 2012 (Software and System Engineering, Communication scientifique, Ligne de produits logiciels)
Mathieu ACHER, Raphaël MICHEL, Patrick HEYMANS, Philippe COLLET, Philippe LAHIRE, Languages and Tools for Managing Feature Models , in Proceedings of the 3rd International Workshop on Product LinE Approaches in Software Engineering co-located with ICSE’12, Zurich, 4 June 2012. (Software and System Engineering, Publications scientifiques, Ligne de produits logiciels)
Raphaël Michel, Andreas Classen, Arnaud Hubaux and Quentin Boucher, A Formal Semantics for Feature Cardinalities in Feature Diagrams, Fifth International Workshop on Variability Modelling of Software-intensive Systems, Namur (Belgium), 27-29 January 2011. (Industrie du logiciel, Software and System Engineering, Communication scientifique, Ligne de produits logiciels)
Hubaux, A., Classen, A., Boucher Q., Michel R., Heymans P. - "Evaluating a Textual Feature Modelling Language : Four Industrial Case Studies", SLE 2010, 3rd International Conference on Software Language Engineering, Eindhoven, Netherlands, October 12-13, 2010. (Software and System Engineering, Publications scientifiques, Ligne de produits logiciels)
 |
