Uniquement les thèses soutenues
Uniquement les thèses soutenues accessibles en ligne
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 2 thèses suivantes :
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
Outils certifiés pour les analyses d'ordonnançabilité
par Xiaojie Guo sous la direction de Pascal Fradet et de Jean-François Monin . - Université Grenoble Alpes
Informatique
Soutenue le 18-12-2020
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
