Thierry Jéron

Publication Activity (10 Years)

Years Active: 1989-2024
Publications (10 Years): 23

Top Topics

Control Strategies

Partial Order Reduction

Reachability Analysis

Top Venues

Formal Methods Syst. Des.

Publications

Ocan Sankur, Thierry Jéron, Nicolas Markey, David Mentré, Reiya Noguchi
Online Test Synthesis From Requirements: Enhancing Reinforcement Learning with Game Theory. CoRR (2024)
Saumya Shankar, Srinivas Pinisetty, Thierry Jéron
Bounded-Memory Runtime Enforcement of Timed Properties. TIME (2023)
Reiya Noguchi, Ocan Sankur, Thierry Jéron, Nicolas Markey, David Mentré
Repairing Real-Time Requirements. ATVA (2022)
Léo Henry, Thierry Jéron, Nicolas Markey
Control strategies for off-line testing of timed systems. Formal Methods Syst. Des. 60 (2) (2022)
Patricia Bouyer, Léo Henry, Samy Jaziri, Thierry Jéron, Nicolas Markey
Diagnosing timed automata using timed markings. Int. J. Softw. Tools Technol. Transf. 23 (2) (2021)
Thierry Jéron, Nicolas Markey, David Mentré, Reiya Noguchi, Ocan Sankur
Incremental Methods for Checking Real-Time Consistency. FORMATS (2020)
Léo Henry, Thierry Jéron, Nicolas Markey
Active Learning of Timed Automata with Unobservable Resets. FORMATS (2020)
Léo Henry, Nicolas Markey, Thierry Jéron
Active learning of timed automata with unobservable resets. CoRR (2020)
Emily Clement, Thierry Jéron, Nicolas Markey, David Mentré
Computing maximally-permissive strategies in acyclic timed automata. CoRR (2020)
Thierry Jéron, Nicolas Markey, David Mentré, Reiya Noguchi, Ocan Sankur
Incremental methods for checking real-time consistency. CoRR (2020)
Emily Clement, Thierry Jéron, Nicolas Markey, David Mentré
Computing Maximally-Permissive Strategies in Acyclic Timed Automata. FORMATS (2020)
Matthieu Renard, Yliès Falcone, Antoine Rollet, Thierry Jéron, Hervé Marchand
Optimal enforcement of (timed) properties with uncontrollable events. Math. Struct. Comput. Sci. 29 (1) (2019)
The Anh Pham, Thierry Jéron, Martin Quinson
Unfolding-Based Dynamic Partial Order Reduction of Asynchronous Distributed Programs. FORTE (2019)
Léo Henry, Thierry Jéron, Nicolas Markey
Control Strategies for Off-Line Testing of Timed Systems. SPIN (2018)
Léo Henry, Thierry Jéron, Nicolas Markey
Control_strategies_for_off-line_testing_of_timed_systems. CoRR (2018)
Srinivas Pinisetty, Thierry Jéron, Stavros Tripakis, Yliès Falcone, Hervé Marchand, Viorel Preoteasa
Predictive runtime verification of timed properties. J. Syst. Softw. 132 (2017)
Srinivas Pinisetty, Viorel Preoteasa, Stavros Tripakis, Thierry Jéron, Yliès Falcone, Hervé Marchand
Predictive runtime enforcement. Formal Methods Syst. Des. 51 (1) (2017)
The Anh Pham, Thierry Jéron, Martin Quinson
Verifying MPI Applications with SimGridMC. CORRECTNESS@SC (2017)
Yliès Falcone, Thierry Jéron, Hervé Marchand, Srinivas Pinisetty
Runtime enforcement of regular timed properties by suppressing and delaying events. Sci. Comput. Program. 123 (2016)
Srinivas Pinisetty, Viorel Preoteasa, Stavros Tripakis, Thierry Jéron, Yliès Falcone, Hervé Marchand
Predictive runtime enforcement. SAC (2016)
Nathalie Bertrand, Amélie Stainer, Thierry Jéron, Moez Krichen
A game approach to determinize timed automata. Formal Methods Syst. Des. 46 (1) (2015)
Matthieu Renard, Yliès Falcone, Antoine Rollet, Srinivas Pinisetty, Thierry Jéron, Hervé Marchand
Enforcement of (Timed) Properties with Uncontrollable Events. ICTAC (2015)
Srinivas Pinisetty, Yliès Falcone, Thierry Jéron, Hervé Marchand
TiPEX: A Tool Chain for Timed Property Enforcement During eXecution. RV (2015)
Srinivas Pinisetty, Yliès Falcone, Thierry Jéron, Hervé Marchand
Runtime enforcement of regular timed properties. SAC (2014)
Srinivas Pinisetty, Yliès Falcone, Thierry Jéron, Hervé Marchand
Runtime Enforcement of Parametric Timed Properties with Practical Applications. WODES (2014)
Sébastien Chédor, Thierry Jéron, Christophe Morvan
Test generation from recursive tile systems. Softw. Test. Verification Reliab. 24 (7) (2014)
Srinivas Pinisetty, Yliès Falcone, Thierry Jéron, Hervé Marchand, Antoine Rollet, Omer Nguena-Timo
Runtime enforcement of timed properties revisited. Formal Methods Syst. Des. 45 (3) (2014)
Thierry Jéron, Margus Veanes, Burkhart Wolff
Symbolic Methods in Testing (Dagstuhl Seminar 13021). Dagstuhl Reports 3 (1) (2013)
Nathalie Bertrand, Thierry Jéron, Amélie Stainer, Moez Krichen
Off-line test selection with test purposes for non-deterministic timed automata Log. Methods Comput. Sci. 8 (4) (2012)
Yliès Falcone, Jean-Claude Fernandez, Thierry Jéron, Hervé Marchand, Laurent Mounier
More testable properties. Int. J. Softw. Tools Technol. Transf. 14 (4) (2012)
Srinivas Pinisetty, Yliès Falcone, Thierry Jéron, Hervé Marchand, Antoine Rollet, Omer Landry Nguena-Timo
Runtime Enforcement of Timed Properties. RV (2012)
Sébastien Chédor, Thierry Jéron, Christophe Morvan
Test Generation from Recursive Tiles Systems. TAP@TOOLS (2012)
Nathalie Bertrand, Thierry Jéron, Amélie Stainer, Moez Krichen
Off-Line Test Selection with Test Purposes for Non-deterministic Timed Automata. TACAS (2011)
Wilkerson de L. Andrade, Patrícia D. L. Machado, Thierry Jéron, Hervé Marchand
Abstracting Time and Data for Conformance Testing of Real-Time Systems. ICST Workshops (2011)
Nathalie Bertrand, Amélie Stainer, Thierry Jéron, Moez Krichen
A Game Approach to Determinize Timed Automata. FoSSaCS (2011)
Yliès Falcone, Jean-Claude Fernandez, Thierry Jéron, Hervé Marchand, Laurent Mounier
More Testable Properties. ICTSS (2010)
Hervé Marchand, Jérémy Dubreil, Thierry Jéron
Automatic Testing of Access Control for Security Properties. TestCom/FATES (2009)
Jérémy Dubreil, Thierry Jéron, Hervé Marchand
Monitoring confidentiality by diagnosis techniques. ECC (2009)
Thierry Jéron
Symbolic Model-based Test Selection. Electron. Notes Theor. Comput. Sci. 240 (2009)
Camille Constant, Thierry Jéron, Hervé Marchand, Vlad Rusu
Integrating formal verification and conformance testing for reactive systems. IEEE Trans. Software Eng. 33 (8) (2007)
Simon Pickin, Claude Jard, Thierry Jéron, Jean-Marc Jézéquel, Yves Le Traon
Test Synthesis from UML Models of Distributed Software. IEEE Trans. Software Eng. 33 (4) (2007)
Camille Constant, Bertrand Jeannet, Thierry Jéron
Automatic Test Generation from Interprocedural Specifications. TestCom/FATES (2007)
Bertrand Jeannet, Thierry Jéron, Vlad Rusu
Model-Based Test Selection for Infinite-State Reactive Systems. FMCO (2006)
Thierry Jéron, Hervé Marchand, Vlad Rusu
Symbolic Determinisation of Extended Automata. IFIP TCS (2006)
Thierry Jéron
Model-Based Test Selection for Infinite State Reactive Systems. DIPES (2006)
Tristan Le Gall, Bertrand Jeannet, Thierry Jéron
Verification of Communication Protocols Using Abstract Interpretation of FIFO Queues. AMAST (2006)
Vlad Rusu, Hervé Marchand, Thierry Jéron
Automatic Verification and Conformance Testing for Validating Safety Properties of Reactive Systems. FM (2005)
Bertrand Jeannet, Thierry Jéron, Vlad Rusu, Elena Zinovieva
Symbolic Test Selection Based on Approximate Analysis. TACAS (2005)
Claude Jard, Thierry Jéron
TGV: theory, principles and algorithms. Int. J. Softw. Tools Technol. Transf. 7 (4) (2005)
Vlad Rusu, Hervé Marchand, Valéry Tschaen, Thierry Jéron, Bertrand Jeannet
From Safety Verification to Safety Testing. TestCom (2004)
Ahmed Khoumsi, Thierry Jéron, Hervé Marchand
Test Cases Generation for Nondeterministic Real-Time Systems. FATES (2003)
Thierry Jéron
TGV : théorie, principes et algorithmes. Un outil de synthèse automatique de tests de conformité pour les systèmes réactifs. Tech. Sci. Informatiques 21 (9) (2002)
Duncan Clarke, Thierry Jéron, Vlad Rusu, Elena Zinovieva
STG: A Symbolic Test Generation Tool. TACAS (2002)
Simon Pickin, Claude Jard, Yves Le Traon, Thierry Jéron, Jean-Marc Jézéquel, Alain Le Guennec
System Test Synthesis from UML Models of Distributed Software. FORTE (2002)
Duncan Clarke, Thierry Jéron, Vlad Rusu, Elena Zinovieva
STG: a tool for generating symbolic test programs and oracles from operational specifications. ESEC / SIGSOFT FSE (2001)
Duncan Clarke, Thierry Jéron, Vlad Rusu, Elena Zinovieva
Automated Test and Oracle Generation for Smart-Card Applications. E-smart (2001)
Claude Jard, Thierry Jéron, Pierre Morel
Verification of Test Suites. TestCom (2000)
Vlad Rusu, Lydie du Bousquet, Thierry Jéron
An Approach to Symbolic Test Generation. IFM (2000)
Marius Bozga, Jean-Claude Fernandez, Lucian Ghirvu, Claude Jard, Thierry Jéron, Alain Kerbrat, Pierre Morel, Laurent Mounier
Verification and test generation for the SSCOP protocol. Sci. Comput. Program. 36 (1) (2000)
Yves Le Traon, Thierry Jéron, Jean-Marc Jézéquel, Pierre Morel
Efficient object-oriented integration and regression testing. IEEE Trans. Reliab. 49 (1) (2000)
Claude Jard, Thierry Jéron
An Educational Case Study in Protocol Verification and Distributed Observation. Comput. Sci. Educ. 10 (3) (2000)
Claude Jard, Thierry Jéron, Lénaick Tanguy, César Viho
Remote testin can be as powerful as local testing. FORTE (1999)
Thierry Jéron, Pierre Morel
Test Generation Derived from Model-Checking. CAV (1999)
Thierry Jéron, Jean-Marc Jézéquel, Yves Le Traon, Pierre Morel
Efficient strategies for integration and regression testing of OO systems. ISSRE (1999)
Alain Kerbrat, Thierry Jéron, Roland Groz
Automated test generation from SDL specifications. SDL Forum (1999)
Claude Jard, Thierry Jéron, Hakim Kahlouche, César Viho
Towards Automatic Distribution of Testers for Distributed Conformance Testing. FORTE (1998)
Thierry Jéron, Jean-Marc Jézéquel, Alain Le Guennec
Validation and Test Generation for Object-Oriented Distributed Software. PDSE (1998)
Jean-Claude Fernandez, Claude Jard, Thierry Jéron, César Viho
An Experiment in Automatic Generation of Test Suites for Protocols with Verification Technology. Sci. Comput. Program. 29 (1-2) (1997)
Yves-Marie Quemener, Thierry Jéron
Finitely Representing Infinite Reachability Graphs of CFSMs with Graph Grammars. FORTE (1996)
Jean-Claude Fernandez, Claude Jard, Thierry Jéron, César Viho
Using On-The-Fly Verification Techniques for the Generation of test Suites. CAV (1996)
Yves-Marie Quemener, Thierry Jéron
Model-checking of infinite Kripke structures defined by simple graph grammars. Electron. Notes Theor. Comput. Sci. 2 (1995)
Thierry Jéron, Claude Jard
3D Layout of Reachability Graphs of Communicating Processes. Graph Drawing (1994)
Claude Jard, Thierry Jéron, Guy-Vincent Jourdan, Jean-Xavier Rampon
A General Approach to Trace-Checking in Distributed Computing Systems. ICDCS (1994)
Thierry Jéron, Claude Jard
Testing for Unboundedness of FIFO Channels. Theor. Comput. Sci. 113 (1) (1993)
Jean-Claude Fernandez, Laurent Mounier, Claude Jard, Thierry Jéron
On-the-fly Verification of Finite Transition Systems. Formal Methods Syst. Des. 1 (2/3) (1992)
Claude Jard, Thierry Jéron
Bounded-memory Algorithms for Verification On-the-fly. CAV (1991)
Thierry Jéron
Testing for Unboundedness of FIFO Channels. STACS (1991)
Thierry Jéron
Prototype of a Verification Tool. STACS (1991)
Claude Jard, Thierry Jéron
On-Line Model Checking for Finite Linear Temporal Logic Specifications. Automatic Verification Methods for Finite State Systems (1989)