Phd Theses
Dara Ly (defense in 2022)
Formalization of a Runtime Assertion Checker for Memory Properties of C Programs
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