Etudiants

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, Université Paris-Est et Université de Sherbrooke, co-encadré avec R. Laleau et M. Frappier, 2012-2017.