Keywords: Modeling of real-time systems, Modeling of system-on-chip, Formal Description Techniques, Formal validation, Real-time embedded applications, Communication protocols, Distributed Systems

Research: Committees

Journals and conferences

Ph.D. reviewer

  • Mid-term defense: Carina Schmidt (April 2010), Michelle Wetterwald (Jan. 2011), Hendrik Schweppe (Jan. 2011), Fatma Hizi (April 2011), Gabriel Serme (Nov. 2011), Medhi Khalfaoui (May 2012), Ndoc Duy NGuyen (June 2012), Olivier Fouache (June 2012), Samuel Kaluvuri (Nov. 2012), Bernard Kloiber (March 2013), Andrei Costin (Dec. 2013), Alexandr Garaga (May 2014), Onur Catakoglu (Nov. 2015), Marius Muench (Jun. 2017, Jun. 2018), Kim-Hung Le (Jun. 2017, Jun. 2018), Khaled Karray (Nov. 2017), Raj Patel (May 2018)

  • Final defense : Ronan BADUEL (Sept 2019) : "An integrated model-based early validation approach for railway systems", PhD of Université Toulouse Jean Jaurès

  • (Jury member) Final defense: Khaled KARRAY (Apr 2019): "Cyber-security of Connected Vehicles: Contributions to enhance the Risk Analysis and Security of in-Vehicle Communications", Ph.D of Université Paris-Saclay prepared at Télécom Paris

  • Final defense: Paul IROLLA (Dec. 2018): "Formalization of neural network to secure 3D mobile applications", PhD of Université Paris-Saclay prepared at Université Paris-Sud

  • Final defense: Patrick LESERF (May 2017): "Model-Driven Engineering approach for optimizing the architecture of embedded systems" (French title: Optimisation de l'architecture de systèmes embarqués par une approche basée modèle). Université de Toulouse, ISAE

  • Final defense: Nada ESSAOUINI (Jan. 2015): "Conflict Management in Usage Control Policies". Télécom Bretagne, Ecole Nationale des Sciences Appliquées de Marrakech

  • Final defense: Damien GROS (June 2014): "Protection obligatoire répartie. Usage pour le calcul intensif et les postes de travail. Université d'Orléans