SIGNALER une erreur



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
Thèse soutenue


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 . - Grenoble Alpes

Informatique
En préparation depuis le 04-12-2017
Thèse en préparation

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 . - Grenoble Alpes

Informatique
En préparation depuis le 18-09-2017
Thèse en préparation

Preuves formelles pour l'analyse des systèmes temps réel dans Coq

par Xiaojie Guo sous la direction de Pascal Fradet et de Sophie Quinton . - Grenoble Alpes

Informatique
En préparation depuis le 04-01-2017
Thèse en préparation


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 . - Grenoble Alpes

Informatique
Soutenue le 26-11-2015
Thèse soutenue

Accéder en ligne

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 . - Grenoble Alpes

Informatique
Soutenue le 26-02-2015
Thèse soutenue

Accéder en ligne

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
Thèse soutenue

Accéder en ligne

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
Thèse soutenue

ABES
A propos | Assistance | CGU | Données personnelles | Mentions légales