Defended Theses

Phd Theses

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