Pascal Fradet a rédigé la thèse suivante :
Compilation des langages fonctionnels par transformation de programmes
par Pascal Fradet sous la direction de Jean-Pierre Banâtre - Rennes 1
Informatique
Soutenue en 1988
Pascal Fradet dirige actuellement les 3 thèses suivantes :
Analyse et types pour de la configuration logicielle dynamique sûre.
par Martin Vassor sous la direction de Jean-bernard Stefani et de Pascal Fradet . - Université Grenoble Alpes
Informatique
En préparation depuis le 04-12-2017
Preuves génériques pour l'analyse de systèmes temps réel en Coq
par Maxime Lesourd sous la direction de Jean-François Monin , Sophie Quinton et de Pascal Fradet . - Université Grenoble Alpes
Informatique
En préparation depuis le 18-09-2017
Preuves formelles pour l'analyse des systèmes temps réel dans Coq
par Xiaojie Guo sous la direction de Pascal Fradet , Sophie Quinton et de Jean-François Monin . - Université Grenoble Alpes
Informatique
En préparation depuis le 04-01-2017
Pascal Fradet a dirigé les 4 thèses suivantes :
Design, Optimization, and Formal Verification of Circuit Fault-Tolerance Techniques
par Dmitry Burlyaev sous la direction de Pascal Fradet et de Alain Girault . - Université Grenoble Alpes (ComUE)
Informatique
Soutenue le 26-11-2015
Modèles de calculs flot de données avec paramètres entiers et booléens. Modélisation - Analyses - Mise en oeuvre
par Evangelos Bempelis sous la direction de Alain Girault et de Pascal Fradet . - Université Grenoble Alpes (ComUE)
Informatique
Soutenue le 26-02-2015
Analyses et vérifications des programmes à aspects
par Simplice Djoko Djoko sous la direction de Pascal Fradet et de Rémi Douence . - Nantes
Informatique et applications
Soutenue en 2009
Programmation par aspects et tissage de propriétés : application à l'ordonnancement et à la disponibilité
par Stéphane Hong Tuan Ha sous la direction de Pascal Fradet - Rennes 1
Informatique
Soutenue en 2007
