Raphaël Michel
Voir en ligne LinkedIn
Raphaël Michel est ingénieur de recherche et développement au sein de l’équipe sécurité et certification du CETIC depuis janvier 2010. Il possède un graduat et une licence en informatique, et a commencé son doctorat en rejoignant le CETIC. Son sujet de recherche principal est l’exploitation et l’extension de solveurs SMT dans le cadre des problèmes de configuration. Les projets de recherches connexes incluent entre autres les lignes de produits logiciels, l’automatisation de la configuration des produits qui en sont issus ainsi que la programmation par contraintes, les problèmes de satisfaisabilité, le développement de langages et la transformation de modèles.
Avant d’intégrer le CETIC, il a eu l’occasion de se forger une expérience dans le monde du data warehousing lors de laquelle il a appris l’utilisation des outils et du langage SAS. Parallèlement à cela, il a également eu l’occasion d’être formé à la technologie Microsoft BizTalk et de l’utiliser au quotidien pendant près d’un an.
Publications
0 | 5Nikolaj 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, CALIPRO)
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, CALIPRO)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, CALIPRO)
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, CALIPRO)
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, CALIPRO)