Thèses en cours

• Depuis Oct 2007 : Exploitation des modèles et de techniques d’analyse formelle pour la validation et la qualification d’interfaces dans les architectures de Systèmes de Systèmes, Doctorant Thomas Abdoul, co-direction de thèse: A. Beugnard (Télécom-Bretagne), Ph. Dhaussy (ENSIETA).

• Depuis Oct 2008 : Intégration des techniques d’analyses formelles de modèles dans les processus de développement de logiciels, Doctorant : Amine Raji, co-direction de thèse: Yvon Kermarrec (Télécom-Bretagne), Ph. Dhaussy (ENSIETA).

• Depuis 2009 : Ingénierie et composants de modélisation. Doctorant S. CREFF, co-direction de thèse: JM. Jezequel (IRISA), J. Champeau (ENSIETA).

• Depuis 2009 : Composition de metamodèles. Doctorant P. Gauvillé, co-direction de thèse: A. Beugnard (Institut-Télecom), J. Champeau (ENSIETA).

• Depuis 2010 : Modèles de calcul. Doctorant P. Issa Diallo, co-direction de thèse: JC. Le Lann (ENSIETA).

Thèses soutenues

• 2000-03 : Génération automatique de test temporisé. Doctorante A. Prigent, soutenance décembre 2003, co-direction de thèse: O.Roux (IRCCyN), Ph. Dhaussy (ENSIETA).
  

• 2002-06 : Une méthodologie de modélisation multi-modèles distribués par métier pour les systèmes embarqués. Doctorant W. Theurer, soutenance décembre 2006, co-direction de thèse: F.Boniol (ONERA/CERT), Ph. Dhaussy (ENSIETA).

• 2003-06 : Exploitation de contextes et d'observateurs pour la validation formelle de modèles, Doctorant Jean-Charles Roger, soutenance décembre 2006, co-direction de thèse: F. Terrier (CEA-LIST), Ph. Dhaussy (ENSIETA).

• 2006-08 : Structuration de modèles orientés métiers pour les systèmes embarqués. Doctorant F. Mekerke, soutenance avril 2008, co-direction de thèse: F. Terrier (CEA), J. Champeau (ENSIETA).

• 2006-08 : La mesure des modèles par les modèles : une approche générative. Doctorant M. Monperrus, soutenance octobre 2008, co-direction de thèse: JM. Jezequel (IRISA), J. Champeau (ENSIETA).

• Depuis Oct 2007 : Validation formelle de composants embarqués, Doctorant Xavier Dumas, co-direction de thèse: F.Boniol (ONERA), Ph. Dhaussy (ENSIETA).

• Depuis 2007 : Structuration de modèles orientés métiers pour les systèmes embarqués. Doctorant A. Koudri, co-direction de thèse: JL. Dekeser (LiFL), J. Champeau (ENSIETA).