Algèbres de processus  Automate Programmable Industriel  Automates  Automates communicants  Automates mathématiques, Théorie des  Automates programmables  Communication  Complexité  Compteur  Concurrence  Contrôleurs logiques  Diagnostic  Domotique  Décidabilité  Déterminisation  Exécution symbolique  Fréquence  GRAFCET  Grafcet  Génération de tests  Habitats intelligents  Horloge  Informatique  Ingénierie des systèmes  Ioco  Logiciels -- Validation  Logiciels -- Vérification  Logique temporelle  Machine de Mealy  Modèles formels  Modèles mathématiques  Monitoring décentralisé  Mu-Calcul  Méthode de projection aléatoire  Méthodes formelles  Méthodes formelles  Opacité  Petri, Réseaux de  Probabilité  Programmes parallèles  Protocoles de diffusion  Protocoles de réseaux d'ordinateurs  Quantitatif  Réseau  Réseaux de Petri  SIC-testabilité  Spécification formelle  Spécifications décentralisées  Système récursifs  Systèmes distribués  Systèmes informatiques -- Mesures de sûreté  Systèmes informatiques  Systèmes récursifs de tuiles  Systèmes sur puce  Temporisés  Temps réel  Temps réel  Temps-réel  Test de conformité  Tests  Théorie des automates  Traitement réparti  Transformation de modèle  Validation en boucle fermée  Validation fonctionnelle  Verdicts  Vérification  Vérification de modèles  Vérification des logiciels  Vérification formelle  Vérification paramétrée  Vérification à l’exécution  

Thierry Jéron a rédigé la thèse suivante :


Thierry Jéron a dirigé les 6 thèses suivantes :


Thierry Jéron a été président de jury des 3 thèses suivantes :


Thierry Jéron a été rapporteur des 3 thèses suivantes :

Électronique Électrotechnique Automatique
Soutenue le 08-07-2011
Thèse soutenue


Thierry Jéron a été membre de jury de la thèse suivante :