Bio
PhD Students
PhD Students

Current Students
  • Thierry Sotiropoulos, co-advised with Jérémie Guiochet and Félix Ingrand.
    Robot Navigation Testing in Virtual Worlds.

  • Lola Masson, co-advised with Jérémie Guiochet.
    Multi-level safety monitors for autonomous systems.

Past Students
  • Pierre André, co-advised with Nicolas Rivière.
    Testing of mobile computing systems.
    PhD Dissertation: Test de systèmes ubiquitaires avec prise en compte explicite de la mobilité, Doctorat de l'Université Fédérale Toulouse Midi-Pyrénées, délivré par l’Université Toulouse 3 Paul Sabatier, 17 novembre 2015.

  • Mathilde Machin, co-advised with Jérémie Guiochet and David Powell.
    On-line monitoring of autonomous systems, in collaboration with Astrium.
    PhD Dissertation: Synthèse de règles de sécurité pour des systèmes autonomes critiques, Doctorat de l'Université Fédérale Toulouse Midi-Pyrénées, délivré par l’Université Toulouse 3 Paul Sabatier, 12 novembre 2015.

  • Zoltán Micskei, co-advised with István Majzik.
    In collaboration with the Budapest University of Technology and Economics, co-advisement settled in the framework of the European
    ReSIST NoE.
    PhD Dissertation (in English): Languages and frameworks for specifying test artifacts, Doctorat de Budapest University of Technology and Economics, 27 juin 2013.

  • Jimmy Lauret, co-advised with Jean-Charles Fabre.
    Testing of aspect-oriented programs, in collaboration with Airbus.
    PhD Dissertation: Prévention et détection des interférences inter-aspects : méthode et application à l'aspectisation de la tolérance aux fautes, Doctorat de l'Université de Toulouse, Délivré par l'INPT, 15 mai 2013.

  • Robert Guduvan, co-advised with Virginie Wiels.
    In collaboration with ONERA and Cassidian Test&Services.
    PhD Dissertation (in English): A model-driven development of tests for avionics embedded systems, Doctorat de l’Université de Toulouse, délivré par l’ISAE, 18 avril 2013.

  • Thomas Bochot, co-advised with Virginie Wiels.
    Model checking flight control systems and counterexample analysis, in collaboration with ONERA and Airbus.
    PhD Dissertation: Vérification par Model Checking des commandes de vol : applicabilité industrielle et analyse de contre-exemples, Doctorat de l’Université de Toulouse, délivré par l’ISAE, 17 décembre 2009.

  • Minh Duc N'Guyen, co-advised with Nicolas Rivière.
    Testing of mobile computing systems.
    PhD Dissertation: Méthodologie de test de systèmes mobiles : une approche basée sur les scénarios, Doctorat de l’Université de Toulouse, délivré par l’Université Paul Sabatier, 19 novembre 2009.

  • Guillaume Lussier.
    Proof-guided testing.
    PhD Dissertation: Test guidé par la preuve : application à la vérification d’algorithmes de tolérance aux fautes, Doctorat de l’Institut National des Sciences Appliquées de Toulouse, 17 septembre 2004.

  • Olfa Abdellatif-Kaddour, co-advised with Pascale Thévenod-Fosse.
    Search-based robustness testing.
    PhD Dissertation: Contribution au test orienté propriété pour des systèmes de contrôle-commande : construction incrémentale de scénarios de test sélectionnés par la méthode du recuit simulé, Doctorat de l’Institut National Polytechnique de Toulouse, 3 octobre 2003.

  • Marc Mersiol, co-advised with Jean Arlat and David Powell.
    Function allocation between human and automatic agents, in collaboration with Technicatome.
    PhD Dissertation: Répartition des fonctions entre les agents humains et les agents automatiques d'un système socio-technique : une méthode et un outil, Doctorat de l’Institut National Polytechnique de Toulouse, 21 décembre 2001.

  • Salimeh Behnia.
    Testing formal B models, in collaboration with INRETS.
    PhD DissertationTest de modèles formels en B : cadre théorique et critères de couverture, Doctorat de l’Institut National Polytechnique de Toulouse, 27 Octobre 2000.

  • Yvan Labiche, co-advised with Pascale Thévenod-Fosse.
    Testing object-oriented programs, in collaboration with Airbus.
    PhD Dissertation: Contribution au test des logiciels orientés-objet : ordre de test, modèles et critères associés, Doctorat de l’Institut National Polytechnique de Toulouse, 22 septembre 2000.



This page is maintained

Although not based on SPIP, this page is inspired from the BeeSpip Skeleton LAAS     |     Dependable Computing and Fault Tolerance Group