Algorithmes  Allocation  Analyse statique  Applications de flots de données  Applications de flux de données  Applications de gestion de flux  Architectures hybrides  Architectures hétéroghènes  Automates d'etats finis  Automates de modes  Automates programmables  Bisimulation ``à la volee''  Boucles imbriquées  Calcul intensif  Calcul à hautes performances  Chaînes de tâches  Checkpointing  Circuits  Circuits intégrés numériques  Communications  Compilateurs  Compilateurs  Compilation  Compilation  Complexité  Criticalité  Données -- Transmission  Dvfs  Débit  Erreurs  Exascale  Execution repartie  Fiabilité  Flexibilité  Flot de données  Flots de données  Flux de données  Flux-de-données  Futures  Grilles de volontaires  Heuristiques  Interprétation abstraite  JavaScript  JavaScript  Kahn  LUSTRE  Langage synchrone  Langages de programmation  Langages synchrones  Logiciels -- Vérification  Microprocesseurs multi-coeurs  Modèle d’exécution  Modèles  Modèles de programmation  Multi-coeur processeurs  Multiprocesseurs  Méthodes formelles  Méthodes formelles  Optimisation mathématique  Optimisation multi-critères  Optimisations  Ordinateurs -- Fiabilité  Ordonnancement  Ordonnancement  Ordonnancement multidimentionnel  Ordonnançabilité  Pannes transitoires  Parallélisme  Parallélisme  Parallélismes  Pipeline logiciel  Plate-formes hétérogènes  Preuve  Programmation asynchrone  Programmation en temps réel  Programmation logique  Programmation logique contrainte  Programmation réctive  Programmation sur Internet  Programmation synchrone  Programmes linéaires  Programmes logico-numériques  Prédiction  Repartition automatique  Résilience  Semantique de Lustre en ordres partiels  Sensibilité  Silent errors  Solveurs  Solveurs SMT  Stabilité  Synthèse quantitative  Systemes reactifs  Systèmes adaptatifs  Systèmes embarqués  Systèmes embarqués  Systèmes hybrides  Systèmes informatiques -- Évaluation  Systèmes réactifs sychrones  Systèmes sur puce  Séquentiel  Temps réel  Temps-réel  Thèses et écrits académiques  Théorie  Tolérance aux fautes  Tolérance aux fautes  Traitement du signal  Transformations automatiques  Vérification  Vérification quantitative  Web  Énergie  

Alain Girault a rédigé la thèse suivante :

Informatique
Soutenue en 1994
Thèse soutenue

Alain Girault dirige actuellement la thèse suivante :

Informatique
En préparation depuis le 02-11-2015
Thèse en préparation

Soutenance prévue le 15-11-2019

Alain Girault a dirigé les 4 thèses suivantes :


Alain Girault a été président de jury des 6 thèses suivantes :

Informatique
Soutenue le 06-07-2018
Thèse soutenue
Informatique
Soutenue le 28-04-2014
Thèse soutenue

Alain Girault a été rapporteur des 6 thèses suivantes :

Mathématiques et Sciences et Technologies de l'Information et de la Communication
Soutenue le 14-12-2018
Thèse soutenue
Informatique
Soutenue le 06-07-2018
Thèse soutenue


Alain Girault a été membre de jury des 3 thèses suivantes :

Informatique
Soutenue le 26-09-2017
Thèse soutenue