people
PhDs and Post-Docs
Matthias PASQUIER
| Period | 2020 - 2024 |
| Title[en] | Multiverse debugging of non-deterministic specifications |
| Title[fr] | Débogage multivers de spécifications non-déterministes |
| defense date | 19/12/2024 |
| PhD advisors | Loïc Lagadec, Matthias Brun, Frédéric Jouault, and Ciprian Teodorov |
 manuscrit TO APPER |
Past Collaborators
Emilien FOURNIER
| Period | 2019-2022 |
| Title[en] | Hardware Acceleration of Safety and Liveness Verification on Reconfigurable Architectures |
| Title[fr] | Accélération matérielle de la vérification de sûreté et vivacité sur des architectures reconfigurables |
| defended | 07/2022 |
| PhD advisors | Loic Lagadec, and Ciprian Teodorov |
| manuscrit |
Tithnara Nicolas SUN
| Period | 2018-2022 |
| Title[en] | Systems Modeling and Formal Analysis for Advanced Persistent Threats |
| Title[fr] | Modélisation et Analyse Formelle de Modèles Système pour les Menaces Persistantes Avancées |
| defended | 5/2022 |
| PhD advisors | Raul Mazo, Philippe Dhaussy, Joel Champeau, and Ciprian Teodorov |
| manuscrit |
Valentin BESNARD
| Period | 2017-2020 |
| Title[en] | EMI: An Approach to Unify Analysis and Embedded Execution with a Controllable Model Interpreter |
| Title[fr] | EMI : Une approche pour unifier l’analyse et l’exécution embarquée à l’aide d’un interpréteur de modèles pilotable |
| defended | 12/2020 |
| PhD advisors | Philippe Dhaussy, Matthias Brun, and Ciprian Teodorov |
| manuscrit |
Vincent LEILDE
| Period | 2017 - 2019 |
| Title[en] | A Diagnosis Support for Formal Verification of Systems |
| Title[fr] | Aide au diagnostic de vérification formelle de systèmes |
| defended | 11/2019 |
| PhD advisors | Philippe Dhaussy, and Vincent Ribaud |
| manuscrit |
Luka LE ROUX
| Period | 2013 - 2018 |
| Title[en] | Critical embedded system verification, a non-intrusive approach to divide the initial challenge into a sound set of smaller ones |
| Title[fr] | Validation par parties et non-intrusive de systèmes embarqués |
| defended | 11/2018 |
| PhD advisors | Alain Plantec, and Ciprian Teodorov |
| manuscrit |
Lamia ALLAL
| Period | 2016-2018 |
| Title[en] | Towards an Efficient Approach for Model-checking with Cloud Computing |
| Title[fr] | Vers une demarche efficace de traitement du model checking dans les cloud computing |
| defended | 04/2018 |
| PhD advisors | G. Belalem, P. Dhaussy, and Ciprian Teodorov |
| manuscrit |
Jean-Philippe SCHNEIDER
| Period | 2013 - 2015 |
| Title[en] | Roles : Dynamic Mediators Between System Models and Simulation Model |
| Title[fr] | Les rôles : médiateurs dynamiques entre modèles systèmes et modèles de simulation |
| defended | 11/2015 |
| PhD advisors | L. Lagadec, Eric Senn, and J. Champeau |
| manuscrit |