a person in the record
Thierry Jéron
born 1963
Supervised 10 doctoral students at Université de Rennes, Université Rennes 1, and École normale supérieure de Rennes between 2008 and 2022; Wikidata names Michel Raynal as doctoral advisor. Linked to Wikidata, ORCID, and 6 other registers.
How to read the markscited by a repository's recordstated by Wikidata or indexed by OpenAlexclaimed on an ORCID list, or inferred
Students10
- cited by a thesis record
Emily Clément“Robustness of timed automata : computing the maximally-permissive strategies”
2022 · Université de Rennes · doctoral - cited by a thesis record
Léo Henry“There and back again : formal methods and model learning for real-time systems : acting upon reality and learning from its reactions”
2021 · Université de Rennes · doctoral - cited by a thesis record
The Anh Pham“Exploration efficace de l'espace d'états adaptée aux programmes distribués asynchrone ˸ adaptation de la réduction d'ordre partiel basée sur les dépliages pour les programmes MPI”
2019 · École normale supérieure de Rennes · doctoral - cited by a thesis record2015 · Université de Rennes · doctoral
- cited by a thesis record
- cited by a thesis recordstated by Wikidata
Sébastien Chédor“Diagnostic, opacité et test de conformité pour des systèmes récursifs”
2014 · Université de Rennes · doctoral - cited by a thesis record
- cited by a thesis record
Jérémy Dubreil“Monitoring and Supervisory Control for Opacity Properties”
2009 · Université Rennes 1 · doctoral - cited by a thesis record
Camille Constant“Génération automatique de tests pour des modèles avec variables ou récursivité.”
2008 · Université Rennes 1 · doctoral - cited by a thesis record
Tristan Le Gall“Abstract lattices for the verification of systèmes with stacks and queues”
2008 · Université Rennes 1 · doctoral
Advisors on Wikidata1
From Wikidata, shown separately from the thesis records.
- stated by Wikidata
The line above and below4 steps
The advisors of their advisors, four steps up at most, in the thesis records and on Wikidata, each kind marked; a person in both is listed once.
- 1 step up
stated by WikidataMichel Raynal
- 2 steps up
stated by WikidataJean-Pierre Verjus
- 3 steps up
stated by WikidataLouis Bolliet
- 4 steps up
stated by WikidataJean Kuntzmann
Below them, within 3 steps, the record reaches 11 people: 11 cited by thesis records, 1 stated by Wikidata.
Education and career1
From Wikidata, shown separately from the thesis records. Each place opens its Wikidata item.
- undatedstudied
Sat beside the lineage16
jury member, referee, or jury president, not advisor
- cited by a thesis record
Dylan Marinho“Theoretical and algorithmic contributions to the analysis of safety and security properties in timed systems under uncertainty”
referee · 2023 · Université de Lorraine · doctoral - cited by a thesis record
Lulu He“Formal verification at design stage of diagnosis related properties for discrete event and real-time systems”
jury member · 2022 · Université Paris-Saclay · doctoral - cited by a thesis record
Amrita Suresh“Formal Verification of Communicating Automata”
jury member · 2022 · Université Paris-Saclay · doctoral - cited by a thesis record
Antoine El Hokayem“Runtime Verification of Hierarchical Decentralized Specifications”
referee · 2018 · Université Grenoble Alpes · doctoral - cited by a thesis record
Abderahman Kriouile“Formal Methods for Functional Verification of Cache-Coherent System-on-Chip”
jury member · 2015 · Université Grenoble Alpes · doctoral - cited by a thesis record
Abderahman Kriouile“Méthodes Formelles pour la vérification fonctionnelle des systèmes sur puce cache cohérent”
jury president · 2015 · Université Grenoble Alpes · doctoral - cited by a thesis record
Anaïs Guignard“Validation fonctionnelle de contrôleurs logiques : contribution au test de conformité et à l'analyse en boucle fermée”
jury president · 2014 · École normale supérieure de Cachan - ENS Cachan · doctoral - cited by a thesis record
Hernan Ponce de León“Testing concurrent systems through event structures”
jury member · 2014 · École normale supérieure de Cachan - ENS Cachan · doctoral - cited by a thesis record
Amélie Stainer“Contribution to the Verification of Timed Automata: Determinization, Quantitative Verification and Reachability in Networks of Automata”
jury member · 2013 · Université Rennes 1 · doctoral - cited by a thesis record
Julien Provost“Test de conformité de contrôleurs logiques spécifiés en grafcet”
referee · 2011 · École normale supérieure de Cachan - ENS Cachan · doctoral - cited by a thesis record
Yliès Falcone“Etude et mise en œuvre de techniques de validation à l'exécution”
referee · 2009 · Université Joseph-Fourier - Grenoble I · doctoral - cited by a thesis record
Jérémy Dubreil“Monitoring and Supervisory Control for Opacity Properties”
jury member · 2009 · Université Rennes 1 · doctoral - cited by a thesis recordjury president · 2007 · Université Joseph-Fourier - Grenoble I · doctoral
- cited by a thesis recordreferee · 2007 · Université Joseph-Fourier - Grenoble I · doctoral
- cited by a thesis record
Alban Grastien“Diagnostic décentralisé et en-ligne de systèmes à événements discrets reconfigurables”
jury member · 2005 · Université Rennes 1 · doctoral - cited by a thesis record
Cyril Alexandre Pachon“Une approche basée sur les modèles pour le test de robustesse”
referee · 2005 · Université Joseph-Fourier - Grenoble I · doctoral