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  Checkpointing  Circuits  Circuits intégrés numériques  Compilateurs  Compilateurs  Compilation  Compilation  Complexité  Données -- Transmission  Dvfs  Débit  Erreurs  Exascale  Execution repartie  Fiabilité  Flexibilité  Flot de données  Flots de données  Flux de données  Futures  Grilles de volontaires  Heuristiques  Interprétation abstraite  JavaScript  JavaScript  Kahn  Langage synchrone  Langages de programmation  Langages synchrones  Logiciels -- Vérification  Meta modéles  Microprocesseurs multi-coeurs  Model checking  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  Pannes transitoires  Parallélisme  Parallélisme  Pipeline logiciel  Plate-formes hétérogènes  Preuve  Programmation asynchrone  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  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  Systèmes temps réels  Séquentiel  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 :

Evaluation de performances lors des évolutions d'un système

par Christophe Prevot sous la direction de Alain Girault et de Sophie Quinton . - Grenoble Alpes

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


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


Alain Girault a été président de jury des 5 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 5 thèses suivantes :

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