Algèbres de processus  Apprentissage actif  Apprentissage automatique  Automate Programmable Industriel  Automates  Automates communicants  Automates de buchi  Automates mathématiques, Théorie des  Automates programmables  Automates temporisés  Commande robuste  Communication  Complexité  Compteur  Concurrence  Contrôleurs logiques  Diagnostic  Diagnostic de panne  Diagnosticabilité  Domotique  Décidabilité  Déterminisation  Estimation d’état  Files fifo  Fréquence  GRAFCET  Informatique  Logiciels -- Vérification  Méthodes formelles  Méthodes formelles  Systèmes informatiques  Temps réel  Test de conformité  Vérification de modèles  Vérification de modèles  Vérification formelle  

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

Contribution a la validation des protocoles : test d'infinitude et verification a la volee

par Thierry Jéron sous la direction de Michel Raynal - Rennes 1

Informatique

Soutenue en 1991

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

Robustness of timed automata : computing the maximally-permissive strategies

par Emily Clement sous la direction de Thierry Jéron et de Nicolas Markey . - Rennes 1

Informatique

Soutenue le 11-03-2022

There and back again : formal methods and model learning for real-time systems : acting upon reality and learning from its reactions

par Léo Henry sous la direction de Nicolas Markey et de Thierry Jéron . - Rennes 1

Informatique

Soutenue le 03-12-2021

Efficient state-space exploration for asynchronous distributed programs ˸ Adapting unfolding-based dynamic partial order reduction to MPI programs

par The Anh Pham sous la direction de Martin Quinson et de Thierry Jéron . - Rennes, École normale supérieure

Informatique

Soutenue le 27-12-2019

Parameterized verification of networks of many identical processesVérification paramétrée de réseaux composés d'une multitude de processus identiques

par Paulin Fournier sous la direction de Thierry Jéron et de Nathalie Bertrand . - Rennes 1

Informatique

Soutenue le 17-12-2015

Enforcement à l'éxécution de propriétés temporisées

par Srinivas Pinisetty sous la direction de Thierry Jéron et de Hervé Marchand . - Rennes 1

Informatique

Soutenue le 23-01-2015

Diagnostic, opacité et test de conformité pour des systèmes récursifs

par Sébastien Chédor sous la direction de Thierry Jéron et de Christophe Morvan . - Rennes 1

Informatique

Soutenue le 07-01-2014

Contribution à la vérification d'automates temporisés : déterminisation, vérification quantitative et accessibilité dans les réseaux d'automates

par Amélie Stainer sous la direction de Thierry Jéron - Rennes 1

Informatique

Soutenue le 25-11-2013

Génération automatique de tests pour modèles avec variables ou récursivité

par Camille Constant sous la direction de Thierry Jéron - Rennes 1

Informatique

Soutenue en 2008

Abstract lattices for the verification of systems with queues and stacks

par Tristan Le Gall sous la direction de Thierry Jéron - Rennes 1

Informatique

Soutenue en 2008

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

Formal methods for functional verification of cache-coherent systems-on-chip

par Abderahman Kriouile sous la direction de Radu Mateescu et de Wendelin Bernhard Serwe . - Université Grenoble Alpes (ComUE)

Informatique

Soutenue le 17-09-2015

Validation fonctionnelle de contrôleurs logiques : contribution au test de conformité et à l'analyse en boucle fermée

par Anaïs Guignard sous la direction de Jean-Marc Faure - Cachan, Ecole normale supérieure

Électronique, électrotechnique, automatique

Soutenue le 04-12-2014

Vers la vérification de propriétés de sûreté pour des systèmes infinis communicants : décidabilité et raffinement des abstractions

par Alexander Heussner (Heußner) sous la direction de Anca Muscholl - Bordeaux 1

Informatique

Soutenue le 27-06-2011

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

Vérification à l'exécution de spécifications décentralisées hiérarchiques

par Antoine El hokayem sous la direction de Yliès Carlo Falcone - Université Grenoble Alpes (ComUE)

Informatique

Soutenue le 18-12-2018

Test de conformité de contrôleurs logiques spécifiés en grafcet

par Julien Provost sous la direction de Jean-Marc Faure - Cachan, Ecole normale supérieure

Électronique Électrotechnique Automatique

Soutenue le 08-07-2011

Thierry Jéron a été membre de jury des 2 thèses suivantes :

Formal verification at design stage of diagnosis related properties for discrete event and real-time systems

par Lulu He sous la direction de Philippe Dague et de Lina Ye . - université Paris-Saclay

Informatique

Soutenue le 18-05-2022

Testing concurrent systems through event structures

par Hernan Ponce de León sous la direction de Stefan Haar - Cachan, Ecole normale supérieure

Informatique

Soutenue le 07-11-2014