Research interests:
Keywords: Constraints solver, automatic model-based testing, model semantics and reification.
For more information about my research, you can go to activity page.
Ph-D Student:
- Jonathan Lasalle (since 2008...) co-directed with F. Peureux, subject: "Génération de tests pour les modèles temps réel".
- Elizabeta Fourneret (since 2009 ...) subject: "Management of security and evolution with MBT approach"
- Jérome Cantenot (since 2009 ...) co-directed with F. Ambert, subject:"Gestion de la consistance des conditions de vérification dans un environnement pour la génération de tests"
- Sébastion Chipeaux (since 2010 ...) co-directed with C. Lang and N. Marilleau, subject: "Automtic Multi-Agent System generation from model for multy-level of complex system".
- Ivan Enderlin (since 2011 ...) co-directed with F. Dadeau and A. Giorgetti, subject: "Generation of complex data structure for object programming language".
Formed Ph-D Student:
- Vincent Pretre (defended in March 2009) co-directed with C. Lang, subject "Génération automatique de tests à partir de modèle formel pour les applications de type web services".
- Frédéric Dadeau (defended in July 2006) co-directed with B. Legeard, subject: "Validation et Vérification de modèles pour les langages objets à partir d'évaluation symbolique à contraintes".
- Christophe Grandpierre (defended in July 2008) co-directed with B. Leageard and F. Peureux, subject: "Vérification de modèles UML dynamiques utilisés en génération automatique de tests".
- Nicolas Vacelet (defended in December 2004) co-directed with B. Legeard, subject: "Evaluation par système de contraintes de notations de spécifications formelles".
Since 2005, I'm authorized to head research (HDR). My report is a synthesis of my work on "Interpretative semantic of formal specification for symbolic animation and model-based testing" in French "Sémantique interprétative de spécifications formelles en animation symbolique et génération de tests à partir de modèles"
