Le projet CALiPro vise à améliorer et automatiser la configuration de LPL en développant un ensemble innovant d’outils et de méthodes en adéquation avec les besoins des entreprises (...)
Ce 3 novembre 2015, Raphael Michel a présenté la défense publique de sa thèse consacrée aux lignes de produits logiciel. Raphael qui a mené sa thèse au CETIC dans le cadre du projet DOC.A CALiPRo est à présent docteur de (...)
SAT/SMT Solver Summer School
Le concepteur de logiciel peut industrialiser son processus de production en utilisant une approche similaire aux projets de construction ou de production industrielle. A l’instar des lignes de produits industriels, (...)
Raphaël MICHEL, Ingénieur de Recherche au CETIC, effectue en ce moment un stage de trois mois au Massachusetts Institute of Technology (MIT - Boston, USA) dans le cadre de sa thèse de (...)
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 est un centre de recherche de l'UNamur dédié à l'ingénierie et à la gestion des systèmes d'information avancés. Il regroupe des expertises couvrant l'ensemble du cycle de vie du développement logiciel allant de (...)
Dans le cadre du projet CALIPro, un stage de 3 mois a été effectué au laboratoire "Computer Science and Artificial Intelligence Laboratory (CSAIL) du Massachusetts Institute of (...)