Section: Dissemination

Ph. D. Theses

Vincent Pretre has defended his Ph. D thesis (Université de Franche-Comté) entitled “Génération automatique de tests à partir de modèle formel pour les applications de type web services”, on March 18, 2009.

Najah Chridi has defended her Ph. D. thesis (Université Henri Poincaré – Nancy 1) entitled “Contributions à la vérification automatique de protocoles de groupes”, on September 11, 2009.