Algèbre  Analyse Static  Analyse de flots de données  Analyse des données  Analyse statique  Analyse topologique de données  Architecture  Architecture multi-coeurs  Arithmétique affine  Arithmétique en virgule flottante  Automates temporisés  Calcul de point fixe  Calculs de processus  Catégorie fondamentale  Catégories de composantes  Catégories dérivées  Catégories sans boucles  Catégorification  Code exécutable  Cohérence  Cohérence  Commutation, Théorie de la  Complexe  Conception  Confidentialité différentielle  Congruences généralisées  Construction d'arbre  Contraintes  Convergence de suites numériques  Domaine numérique abstrait  Ensembles invariants  Exploration  Exécution symbolique  Fiabilité  Fonction support  Fusion d'états  Groupoïde fondamental  Helmholtz, Équation d'  Homologie  Homotopie  Idéaux  Informatique  Ingénierie dirigée par les modèles  Ingénierie dirigée par les modèles,IDM  Interprétation abstraite  Langages synchrones  Logiciels -- Réutilisation  Logiciels -- Vérification  Logique mathématique  Logique modale  Logiques épistémiques  Mesures de sûreté  Modalité  Modules  Méthode formelles  Méthodes de transformation  Méthodes formelles  Nombres flottants  Nombres à virgule flottante  Optimisation  Ordonnancement  Ordonnancement  Parallélisme  Parallélisme  Persistance  Pire temps d'exécution  Problème inverse de diffusion  Problèmes inverses  Programmation par contraintes  Programmes logico-numériques  Propriété de Wazewski  Précision finie  Reconstruction de modèles  Réécriture de dimension supérieure  Réécriture linéaire  Réécriture, Systèmes de  Stratégies de recherches  Système  Système de morphismes  Systèmes commutés  Systèmes complexes  Systèmes continus  Systèmes dynamiques  Systèmes embarqués  Systèmes hybrides  Systèmes informatiques -- Mesures de sûreté  Systèmes informatiques  Systèmes temps réel  Systèmes à commutations  Sécurité  Sûreté  Théorie d'ordre  Théorie de l'indice de Conley  Théorie de l'interprétation abstraite  Théorie de l'ordonnancement  Théorie du contrôle  Tomographie en océanographie  Topologie algébrique  Topologie algébrique dirigée  Transformation  Treillis, Théorie des  Validation de systèmes temps réels  Vraie concurrence  Vérification  Vérification de programmes  Yoneda inversible  Zonotopes  

Éric Goubault a rédigé la thèse suivante :

Sciences appliquées
Soutenue en 1995
Thèse soutenue


Éric Goubault a dirigé les 5 thèses suivantes :

Informatique
Soutenue le 02-12-2016
Thèse soutenue

Informatique théorique
Soutenue en 2005
Thèse soutenue


Éric Goubault a été président de jury des 4 thèses suivantes :

Mathématiques et Informatique
Soutenue le 10-12-2018
Thèse soutenue

Éric Goubault a été rapporteur des 5 thèses suivantes :


Éric Goubault a été membre de jury des 5 thèses suivantes :