Currently supervised Ph.D. Students

• Vincent Vallade (2018-, supervised with S. Baarir and J. Sopena) : Groupes de partage pour solveurs SAT parallèles,

Past Ph.D. Students

• Hakan Metin (2016-2019, supervised with S. Baarir) : Exploitation des symétries dynamiques pour la résolution des problèmes SAT, defended on december 18, 2019
• Ludovic Le Frioux (2015-2019, supervised with S. Baarir and J. Sopena) : Towards more efficient parallel SAT solving, defended on July 3, 2019
• Etienne Renault (2011-2014, supervised with A. Duret-Lutz and D. Poitrenaud) : Contribution aux tests de vacuité pour le model checking explicite, defended on December 5, 2014
• Ala Eddine Ben Salem (2011-2014, supervised with A. Duret-Lutz) : Improving the Model Checking of Stutter-Invariant LTL Properties, defended on September 25, 2014.
• Maximilien Colange (2010-2013, supervised with Y. Thierry-Mieg and S. Baarir) : Symmetry Reduction and Symbolic Data Structures for Model-Checking of Distributed Systems, defended on December 10, 2013
• Yann Ben Maïssa (2010-2013, co-supervisor with D. Aboutajdine, S. Mouline from Univ. Mohammed V-Agdal in Rabat and Y. Thierry-Mieg in Paris) : Contribution à la modélisation et à la vérification de réseaux de capteurs sans fil, defended on September 21, 2013 (co-tutelle with Univ. Mohammed V Agdal in Rabat)
• Fabien Bonnefoi (2006-2010, CIFRE contract with COFIROUTE) : Vérification Formelle de spécifications de Systèmes Complexes : application aux Systèmes de Transports Intelligents, defended on September 27, 2010
• Julien Delange (2007-2010, co-supervisor with L. Pautet) : Intégration de la sécurité et de la sûreté de fonctionnement dans la construction d'intergiciels critiques, defended on July 5, 2010
• Djamel Benmerzoug (2006-2009, co-supervisor with M. Boufaida from Univ. Mentouri at Constantine) : Modèles et outils formels pour l'intégration d'applications d'entreprises, defended on December 13, 2009
• Jean-Baptiste Voron (2006-2009) : Construction automatique et particularisée de systèmes de détection d'intrusion pour les systèmes parallèles à partir de réseaux de Petri, defended on December 9, 2009
• Alexandre Hamez (2006-2009, co-supervisor with Y. Therry-Mieg) : Génération efficace de grands espaces d'états, defended on December 8, 2009
• Xavier Renault (2005-2009, co-supervisor with J. Hugues) : Mise en oeuvre de notations standardisées, formelles et semi-formelles dans un processus de développement de systèmes embarqués temps réels répartis, defended on December 3, 2009
• Alban Linard (2005-2009, co-supervisor with E. Paviot-Adet) : Sémantique paramétrable des Diagrammes de Décision : une démarche vers l'unification, defended on September 29, 2009
• Lom Hillah (2005-2009) : Intégration des méthodes formelles au développement dirigé par les modèles pour la conception et la vérification de systèmes et applications répartis, defended on September 23, 2009
• Alexandre Duret-Lutz (2003-2007, co-supervisor with D. Poitrenaud) : méthodes composites pour la vérification de propriétées temporelles de modèles de haut niveau, defended on July 10, 2007
• Thomas Vergnaud (2003-2006, co-supervisor with L. Pautet) : Modèles de répartition dédiés aux systèmes embarqués et temps réel, defended on December 1, 2006
• Nicolas Pernet (2002-2006, co-supervisor with Y. Sorel) : Génération de code réparti pour des automates synchronisés, defended on July 7, 2006
• Jérôme Hugues (2002-2005, co-supervisor with L. Pautet) : Architectures et services des intergiciels temps réel, defended on September 27, 2005
• Frédéric Gilliers (2001-2005) : Développement par prototypage et Génération de Code à partir de LfP, un langage de modélisation de haut niveau, defended on September 28, 2005
• Yann THierry-Mieg (2001-2004) : Techniques pour le Model-Checking de spécifications de Haut Niveau, defended on December 13, 2004
• Dan Regep (1999-2003) : LfP, un langage de spécification pour supporter une démarche de développement par prototypage pour les systèmes répartis, defended on December 17, 2003
• Thomas Quinot (1999-2003, co-supervisor with L. Pautet) : Conception et réalisation d'un intergiciel schizophrène pour la mise en oeuvre de systèmes répartis interopérables, defended on March 1, 2003

Participation to Ph.D. student Supervision

• Innocent Bakam (1999-2003) : Des systèmes multi-agents aux méthodes formelles pour modéli- ser la gestion de l’environnement : le cas de la chasse dans l’Est-Cameroun, under the supervision of M. Tchuente, Université de Younde and C. Le Page (CIRAD), 2003
• Alioune Diagne (1994-1997) : Une approche multi-formalismes de spécification de systèmes répartis : transformation de composants modulaires en réseaux de Petri colorés under the supervision of P. Estraillier
• William El Kaïm (1993-1997) : Placement d’un prototype engendré à partir d’un réseau de Petri Coloré pour un environnement réparti, under the supervision of P. Estraillier
• Karim Foughali (1992-1994) : Spécification et réalisation d’une plate-forme supportant un environnement de développement multi-formalisme, under the supervision of P. Estraillier