Encadrement

Lydia Bakiri

(2025-…)

Spécification et vérification paramétrées de systèmes distribués communicants en présence d’incertitude
Co-encadrement avec: Jérémy Dubut et Sergio Mover
Thèse en cours

Tạ Quang Minh

(2025-…)

Monitoring de systèmes cyber-physiques
Co-encadrement avec: Laure Petrucci
Thèse en cours

Sarah Dépernet

(2024-…)

Vérification de propriétés de cybersécurité à l’aide de méthodes formelles
Co-encadrement avec: Engel Lefaucheux
Thèse en cours

Dylan Marinho

(2020-2023)

Détection d’attaques temporisées à l’aide de méthodes formelles
🏆 Prix de thèse 2024 de l’Académie Lorraine des Sciences (France)
Situation actuelle: maître de conférences à Sorbonne Université (France)

Jawher Jerray

(2018-2021)

Analyses formelles de systèmes temps-réel
Co-encadrement avec: Laurent Fribourg
Situation actuelle: maître de conférences à Université de Pau (France)

Mathias Ramparison

(2016-2019)

Vérification de systèmes temps-réel paramétrés avec préemption
Co-encadrement avec: Didier Lime
Situation actuelle: maître de conférences à l’INP Grenoble et Verimag

Nguyễn Hoàng Gia

(2015-2018)

Synthèse de paramètres efficace et distribuée pour les automates temporisés paramétrés
Co-encadrement avec: Laure Petrucci
Situation actuelle: Post-doc au CEA (France)

Mohamed Mahdi Benmoussa

(2013-2016)

Spécification avec UML
Co-encadrement avec: Christine Choppy
Situation actuelle: maître de conférences à l’École Nationale Polytechnique de Constantine (Algérie)

Romain Soulat

(2010-2013)

Synthèse d’ordonnanceurs corrects par construction pour les systèmes hybrides
Co-encadrement avec: Laurent Fribourg
Situation actuelle: Technical Lead for Certification, Input Output

Emily Clement (2024-2025)

Monitoring de systèmes cyber-physiques
Situation actuelle: Chargée de recherche CNRS

Laetitia Laversa (2023-2024)

Contrôle de l’opacité dans les systèmes temporisés
Co-encadrement avec: Marie Duflot, Engel Lefaucheux
Situation actuelle: maîtresse de conférences à l’EPITA, Rennes

Johan Arcile (2020-2022)

Détection de failles temporelles avec des méthodes formelles
Situation actuelle: maître de conférences à l’Université Paris-Saclay