MSc Thesis (since 2024)
Térence Clastres (defense in 2024)
Deductive Verification of Reactive Programs
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)