Paolo Ballarini Post-Doctorant(LACL-LIG) Dec. 2009-Dec 2010
Sana Younès Model Checking stochastique par les méthodes de comparaison stochastique, PhD Thesis, Université de Versailles, dec. 2008.
Nazha Abed Exploration probabiliste de larges espaces d'états pour la vérification, PhD Thesis, Université Joseph Fourier, Grenoble, jun 2009.
Samir Youcef Méthodes et outils d'évaluation de performance des services Web, PhD Thesis, Université Paris Dauphine, jun 2009.
Diana El Rabih Model Checking par simulation parfaite, PhD Thesis, Université Paris-Est Créteil
Idriss Ismael-Aouled Méthodes de comparaison stochastique pour la vérification et l'évaluation de performances, PhD Thesis co-direction
Université Paris-Est-INT
Imane Kadi Différentes notions de monotonie dans l'evaluation de performances, PhD Thesis, Université de Versailles
Hilal Djafri Méthodes efficaces pour la vérification probabilistes, PhD Thesis, ENS-Cachan