CHEN Zhe [Advisor]
"The control system in formal language theory and the model monitoring approach for reliability and safety", Grant of the China Scholarship Council (INSA Toulouse, Started in September 2007 - Defense July 9th, 2010) Dissertation (in English).

SIENOU Amadou [Chairman]
"Proposition of a methodological framework for integrating the management of risks and processes" (Ecole des Mines d'Albi Carmaux, June 26th, 2009)

ALHALABI Firas [Reviewer]
"Modelling and development of appications whose behaviours are acceptable" (INSA Lyon, May 13rd, 2009)

LOPEZ TORO Roberto  [Advisor]
"Assessment of the risks of the UML inconsistencies. Analytic approach based on the UML metamodel", Grant SFERE-Conacyt (INSA Toulouse, Started in November 2004 - Defense January 12nd, 2009) Dissertation (in French).

POPESCU Irina Crenguta [Examiner]
"Fuzzy logic methods for diagnosis and prognosis of nuclear components" (Politecnico di Milano, June 9th, 2008)

LIBRIZZI Massimo [Examiner]
"Fuzzy logic models for the analysis of human reliability in nuclear safety" (Politecnico di Milano, June 9th, 2008)

PERRONNE Jean-Marc [Habilitation, Reviewer]
"An Object-Oriented contribution to the design of safer software control systems", (University of Haute-Alsace, December 13th, 2007)

GAUDAN Stéphanie [Advisor]
"Management of the risks of design faults associated with Object-Oriented Technologies for their use in critical avionics applications", Grant CIFRE Thales Avionics (INSA Toulouse, Started in January 2005 - Defense November 27th, 2007) Dissertation (in French).

MALGOUYRES Hugues [Advisor]
"Definition and automatic detection of structural and behavioural inconsistencies in UML models - Coupling metamodeling and verification techniques based on logic programming", Grant BDI-DGA (INSA Toulouse, Started in October 2003 - Defense November 28th, 2006) Dissertation (in French).

SEUMA VIDAL Jean-Pierre [Advisor]
"Control of the consistency of UML models of critical applications. Approach analyzing the risks intrinsic to the UML language", Grant of the Ministery for Education (INSA Toulouse, Started in October 2003 - Defense June 19th, 2006) Dissertation (in French).

BARON Claude [Habilitation, Examiner]
"Evaluation in Syste Design. To a guidance of project management" (Institut National Polytechnique de Toulouse, December 6th, 2005)

ALBINET Arnaud [Chairman]
"Caracterization of the dependability of operating systems face to failing drivers" (Institut National Polytechnique de Toulouse, March 30th, 2005)

BELLOIR Nicolas [Examiner]
"Conceptual composition based on the relation All-Parts" (University of Pau and Pays de l'Adour, Decembre 9th 2004)

BAFFREAU Stéphane [Co-Advisor]
"Susceptibility of microcontrolers to Electromagnetic aggressions" (INSA Toulouse, December 11th, 2003)

GOURIVEAU Rafael [Chairman]
"Risk analysis. Formalization of the knowledge and data structuring to be integrated in analysis and decision tools" (Institut National Polytechnique de Toulouse, December 2nd, 2003)

RIVIERE Nicolas [Examiner]
"Modeling and temporal analysis using Petri Nets and linear logic" (INSA Toulouse, Novembre 26th, 2003)

BOUZID Djamila [Chairman]
"Management of the real-time traffic of an ATM network" (Univerity Toulouse III, June 10th, 2002)

ABOU HASCHICHE [Examiner]
"Management of the real-time traffic of an ATM network" (INSA Toulouse, April 2002)