Knowledge Tree

researcher / Alain Girault

Alain Girault

at_id:

orcid_id:

Disciplines:

Computer sciences

Edit Merge See Links

Thesis:

Sur la répartition de programmes synchrones

Directed Thesis:

Optimisation en-ligne pour les systèmes dynamiques en temps-réel

Analyses pour l'ordonnançabilité et la flexibilité de systèmes temps-réel

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

Logico-Numerical Verification Methods for Discrete and Hybrid Systems