|
|
 |
|
PhD Students
Current Students
- Youssef Amari, co-advised with Matthieu Roy.
Symbolic artificial intelligence in embedded systems.
In collaboration with Thalès.
- Maria Laura Brzezinski-Meyer
AI-based regression test selection in continuous integration
In collaboration with Renault Software Labs.
- Mohamed El Mostadi
Test generation for advanced driver assistance systems: alignement with
data collected from vehicle test drives.
In collaboration with Renault Software Labs.
- Luca Vittorio Sartori,
co-advised with Jérémie Guiochet.
Virtual worlds generation for testing autonomous robots in simulation.
Past students
- Raul Sena Ferreira,
co-advised with Jérémie Guiochet.
PhD Dissertation (in
English): Runtime safety monitoring of ML-based perception functions in autonomous systems.
Doctorat de l'Université Fédérale Toulouse Midi-Pyrénées, délivré par l'Université
Toulouse 3 Paul Sabatier, 09 mai 2023.
- Clément Robert,
co-advised with Jérémie Guiochet.
Test generation and analysis for autonomous systems.
PhD Dissertation: Génération et Analyse de tests pour les systèmes autonomes,
Doctorat de
l'Université Fédérale Toulouse Midi-Pyrénées, délivré par l'Université
Toulouse 3 Paul Sabatier, 23 juillet 2021.
- Lola Masson,
co-advised with Jérémie Guiochet.
PhD Dissertation (in
English): Safety
monitoring for autonomous systems: interactive elicitation of safety
rules.
Doctorat de l'Université de Toulouse, délivré par l'Université
Toulouse 3 Paul Sabatier, 21 février 2019.
- Thierry Sotiropoulos,
co-advised with Jérémie Guiochet and Félix Ingrand.
Robot Navigation Testing in Virtual Worlds.
PhD Dissertation: Test aléatoire de
la navigation de robots dans des mondes virtuels, Doctorat de
l'Université Fédérale Toulouse Midi-Pyrénées, délivré par l'Université
Toulouse 3 Paul Sabatier, 4 mai 2018.
- 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 Dissertation: Test 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
|
|
|
