Disciplines
Institutions
Contribute
Search
Add Thesis
Add Researcher
Add Institution
researcher /
Pascal Fradet
Pascal Fradet
at_id:
orcid_id:
Disciplines:
Computer sciences
Edit
Merge
See Links
Thesis:
Compilation des langages fonctionnels par transformation de programmes
Directed Thesis:
Outils certifiés pour les analyses d'ordonnançabilité
Design, Optimization, and Formal Verification of Circuit Fault-Tolerance Techniques
Modèles de calculs flot de données avec paramètres entiers et booléens. Modélisation - Analyses - Mise en oeuvre
Programmation par aspects et tissage de propriétés : application à l'ordonnancement et à la disponibilité