Etudiants

Actuellement :

  • Adrien Didier : étudiant au doctorat depuis la rentrée 2025, sujet : une approche basée sur la preuve pour la modélisation des systèmes du campus spatial, Université Paris-Est Créteil, co-encadré avec J. Cervelle, R. Laleau et C. Dima
  • Théo Lacoste : étudiant au doctorat depuis la rentrée 2024, sujet : prise en compte du temps dans les spécifications formelles en Event-B, ASTD et CCSL, cotutelle Université Paris-Est Créteil et Université de Sherbrooke, co-encadré avec R. Laleau et M. Frappier

Alumni :

  • Panawé Batanado : Synthèse de transactions de base de données relationnelle à partir de définitions d’attributs EB3, stage de maîtrise (équivalent master), Université de Sherbrooke, Québec, co-encadré avec Marc Frappier, 2005
  • Ahmed Gater : Vérification par model-checking de spécifications EB3, stage de master M2, Université Paris 12, LACL, 2008
  • Hajer Jaziri : Preuve de propriétés dynamiques sur des spécifications EB3, stage d’école d’ingénieur, Telecom SudParis, co-encadrée avec Amel Mammar, 2009
  • Abderrahman Matoussi : Construction de spécifications formelles abstraites dirigée par les buts, doctorat, Université Paris-Est, co-encadré avec R. Laleau, 2007-2011
  • Jérémy Milhau : Un processus formel d’intégration de politiques de contrôle d’accès dans les systèmes d’information, doctorat en cotutelle, Université Paris-Est et Université de Sherbrooke, co-encadré avec R. Laleau et M. Frappier, 2008-2011
  • Michel Embé Jiague : Approches  formelles de mise en oeuvre de politiques de contrôle d’accès pour des applications basées sur une architecture orientée services, doctorat en cotutelle, Université Paris-Est et Université de Sherbrooke, co-encadré avec R. Laleau et R. St-Denis, 2008-2012
  • Dimitris Vekris : Vérification de spécifications EB3 à l’aide de techniques de model-checking, doctorat, Université Paris-Est, co-encadré (en début de thèse) avec C. Dima, 2009-2014
  • Thomas Fayolle : Combinaison de méthodes formelles pour la spécification de systèmes ferroviaires, doctorat en cotutelle, Université Paris-Est et Université de Sherbrooke, co-encadré avec R. Laleau et M. Frappier, 2012-2017