MSc Thesis (since 2024)
Térence Clastres (defense in 2024)
Deductive Verification of Reactive Programs
Habilitation à diriger des recherches (since 2015)
Frédéric Dabrowski (defense in 2024)
Formal Methods for Synchronization in Parallel and Concurrent Programming Languages
PhD Theses (since 2015)
Darine Rammal (defense in 2024)
Memory Safety for Synchronous Reactive Programming
https://theses.fr/s265762
Dara Ly (defense in 2022)
Formalization of a Runtime Assertion Checker for Memory Properties of C Programs
https://theses.univ-orleans.fr/public/2022ORLE1058_va.pdf
Salwa Souaf (defense in 2020)
Méthodes formelles et Sécurité en informatique en nuages
https://hal.archives-ouvertes.fr/tel-03616187
Arvid Jakobsson (defense in 2019)
Static Analysis for BSPlib Programs
https://tel.archives-ouvertes.fr/tel-02920363
Thibaut Tachon (defense in 2019)
Automatic Generation of Bulk-Synchronous Parallel code.
https://tel.archives-ouvertes.fr/tel-03215462
Vivien Pelletier (defense in 2017)
Sur-approximations non régulières et terminaison pour l’analyse d’accessibilité.
https://tel.archives-ouvertes.fr/tel-01891863
Allan Blanchard (defense in 2016)
Aide à la vérification de programmes concurrents par transformation de code et de spécifications
https://hal.archives-ouvertes.fr/tel-03624110
Asma Guesmi (defense in 2016)
Spécification et analyse formelles des politiques de sécurité dans un processus de courtage de l’informatique en nuage
https://tel.archives-ouvertes.fr/tel-01431183
BSc Thesis (since 2024)
Marine Delvallez (defense in 2024)
Julien Glorian (defense in 2024)