CALiPro aims to improve and automate the configuration phase of software product lines through the development of innovative tools, services and methods.
Raphael Michel. Automated Reasoning on Cardinality-based Feature Models. PhD Thesis. University of Namur, November 2015 (confidential).
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 (...)
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 (...)
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 (...)
PReCISE is a research center of the University of Namur devoted to the engineering and management of advanced information systems
In the context of the CALIPro project, a 3 months internship took place in the Computer Science and Artificial Intelligence Laboratory (CSAIL) of the Massachusetts Institute (...)