Professor Antoine B. Rauzy

Student Advising

PhD students since I came back to academia, in 2011:

• Thomas Friedlhuber, Électricité de France grant, Ecole Polytechnique, Model Engineering in a Modular PSA defended 13/10/2014 (HAL archive: tel-01110825).
• Tatiana Prosvirnova, Gaspard Monge grant, Ecole Polytechnique, AltaRica 3.0: a Model-Based approach for Safety Analysis, defended 21/11/2014 (HAL archive: tel-01119730).
• Abraham Cherfi, Valeo grant, Ecole Polytechnique, Toward an Efficient Generation of ISO 26262 Automotive Safety Analyses, defended in 02/07/2015 (HAL archive: tel-01206016).
• Mélissa Issad, Siemens grant, Ecole Centrale Paris, Reverse Engineering of System Specifications. Application to the railway systems of Siemens, defended 20/01/2017.
• Huixing Meng, Chinese Scolarship Council grant, Ecole Polytechnique, Modeling Patterns for Performance Analysis of Production and Safety Systems in Process Industry defended 17/11/2017.
• Benjamin Aupetit, IRT SystemX grant, Ecole Centrale Paris, Calcul d'indicateurs de sûreté de fonctionnement pour des modèles AltaRica 3.0 par simulation stochastique defended 23/06/2020.
• Benoît Lebeaupin, Chaire Blériot-Fabre grant, Ecole Centrale Paris, Vers un langage de haut niveau pour une ingénierie des exigences agile dans le domaine des systèmes embarqués avioniques defended 18/12/2017.
• Anthony Legendre, CEA grant, Ecole Centrale Paris, Ingénierie système et Sûreté de fonctionnement : Méthodologie de synchronisation des modèles d’architecture système et d’analyse de risque defended 15/12/2017.
• Yun Zhang, Subpro project grant, NTNU, Condition-Based Maintenance Models: Application to Subsea Safety Systems defended 23/11/2018.
• Liu Yang, NTNU grant, NTNU, Finite Degradation Structures defended 02/06/2020.