On-Line Model Checking for Finite Linear Temporal Logic Specifications. - Claude Jard; Thierry Jéron (Automatic Verification Methods for Finite State Systems, 1989)

Bounded-memory Algorithms for Verification On-the-fly. - Claude Jard; Thierry Jéron (CAV, 1991)

Testing for Unboundedness of FIFO Channels. - Thierry Jéron (STACS, 1991)

Prototype of a Verification Tool. - Thierry Jéron (STACS, 1991)

On-the-fly Verification of Finite Transition Systems. - Jean-Claude Fernandez; Laurent Mounier; Claude Jard; Thierry Jéron (Formal Methods Syst. Des., 1992)

Testing for Unboundedness of FIFO Channels. - Thierry Jéron; Claude Jard (Theor. Comput. Sci., 1993)

3D Layout of Reachability Graphs of Communicating Processes. - Thierry Jéron; Claude Jard (GD, 1994)

A General Approach to Trace-Checking in Distributed Computing Systems. - Claude Jard; Thierry Jéron; Guy-Vincent Jourdan; Jean-Xavier Rampon (ICDCS, 1994)

Model-checking of infinite Kripke structures defined by simple graph grammars. - Yves-Marie Quemener; Thierry Jéron (SEGRAGRA, 1995)

Using On-The-Fly Verification Techniques for the Generation of test Suites. - Jean-Claude Fernandez; Claude Jard; Thierry Jéron; César Viho (CAV, 1996)

Finitely Representing Infinite Reachability Graphs of CFSMs with Graph Grammars. - Yves-Marie Quemener; Thierry Jéron (FORTE, 1996)

An Experiment in Automatic Generation of Test Suites for Protocols with Verification Technology. - Jean-Claude Fernandez; Claude Jard; Thierry Jéron; César Viho (Sci. Comput. Program., 1997)

Towards Automatic Distribution of Testers for Distributed Conformance Testing. - Claude Jard; Thierry Jéron; Hakim Kahlouche; César Viho (FORTE, 1998)

Validation and Test Generation for Object-Oriented Distributed Software. - Thierry Jéron; Jean-Marc Jézéquel; Alain Le Guennec (PDSE, 1998)

Test Generation Derived from Model-Checking. - Thierry Jéron; Pierre Morel (CAV, 1999)

Remote testin can be as powerful as local testing. - Claude Jard; Thierry Jéron; Lénaick Tanguy; César Viho (FORTE, 1999)

Efficient strategies for integration and regression testing of OO systems. - Thierry Jéron; Jean-Marc Jézéquel; Yves Le Traon; Pierre Morel (ISSRE, 1999)

Automated test generation from SDL specifications. - Alain Kerbrat; Thierry Jéron; Roland Groz (SDL Forum, 1999)

An Approach to Symbolic Test Generation. - Vlad Rusu; Lydie du Bousquet; Thierry Jéron (IFM, 2000)

Verification of Test Suites. - Claude Jard; Thierry Jéron; Pierre Morel (TestCom, 2000)

An Educational Case Study in Protocol Verification and Distributed Observation. - Claude Jard; Thierry Jéron (Comput. Sci. Educ., 2000)

Verification and test generation for the SSCOP protocol. - Marius Bozga; Jean-Claude Fernandez; Lucian Ghirvu; Claude Jard; Thierry Jéron; Alain Kerbrat; Pierre Morel; Laurent Mounier (Sci. Comput. Program., 2000)

Efficient object-oriented integration and regression testing. - Yves Le Traon; Thierry Jéron; Jean-Marc Jézéquel; Pierre Morel (IEEE Trans. Reliab., 2000)

Automated Test and Oracle Generation for Smart-Card Applications. - Duncan Clarke; Thierry Jéron; Vlad Rusu; Elena Zinovieva 001 (E-smart, 2001)

STG: a tool for generating symbolic test programs and oracles from operational specifications. - Duncan Clarke; Thierry Jéron; Vlad Rusu; Elena Zinovieva 001 (ESEC / SIGSOFT FSE, 2001)

System Test Synthesis from UML Models of Distributed Software. - Simon Pickin 001; Claude Jard; Yves Le Traon; Thierry Jéron; Jean-Marc Jézéquel; Alain Le Guennec (FORTE, 2002)

STG: A Symbolic Test Generation Tool. - Duncan Clarke; Thierry Jéron; Vlad Rusu; Elena Zinovieva 001 (TACAS, 2002)

TGV : théorie, principes et algorithmes. Un outil de synthèse automatique de tests de conformité pour les systèmes réactifs. - Thierry Jéron (Tech. Sci. Informatiques, 2002)

Test Cases Generation for Nondeterministic Real-Time Systems. - Ahmed Khoumsi; Thierry Jéron; Hervé Marchand (FATES, 2003)

From Safety Verification to Safety Testing. - Vlad Rusu; Hervé Marchand; Valéry Tschaen; Thierry Jéron; Bertrand Jeannet (TestCom, 2004)

Automatic Verification and Conformance Testing for Validating Safety Properties of Reactive Systems. - Vlad Rusu; Hervé Marchand; Thierry Jéron (FM, 2005)

Symbolic Test Selection Based on Approximate Analysis. - Bertrand Jeannet; Thierry Jéron; Vlad Rusu; Elena Zinovieva 001 (TACAS, 2005)

TGV: theory, principles and algorithms. - Claude Jard; Thierry Jéron (Int. J. Softw. Tools Technol. Transf., 2005)

Verification of Communication Protocols Using Abstract Interpretation of FIFO Queues. - Tristan Le Gall; Bertrand Jeannet; Thierry Jéron (AMAST, 2006)

Model-Based Test Selection for Infinite-State Reactive Systems. - Bertrand Jeannet; Thierry Jéron; Vlad Rusu (FMCO, 2006)

Model-Based Test Selection for Infinite State Reactive Systems. - Thierry Jéron (DIPES, 2006)

Symbolic Determinisation of Extended Automata. - Thierry Jéron; Hervé Marchand; Vlad Rusu (IFIP TCS, 2006)

Automatic Test Generation from Interprocedural Specifications. - Camille Constant; Bertrand Jeannet; Thierry Jéron (TestCom/FATES, 2007)

Integrating formal verification and conformance testing for reactive systems. - Camille Constant; Thierry Jéron; Hervé Marchand; Vlad Rusu (IEEE Trans. Software Eng., 2007)

Test Synthesis from UML Models of Distributed Software. - Simon Pickin 001; Claude Jard; Thierry Jéron; Jean-Marc Jézéquel; Yves Le Traon (IEEE Trans. Software Eng., 2007)

Symbolic Model-based Test Selection. - Thierry Jéron (SBMF, 2008)

Monitoring confidentiality by diagnosis techniques. - Jérémy Dubreil; Thierry Jéron; Hervé Marchand (ECC, 2009)

Automatic Testing of Access Control for Security Properties. - Hervé Marchand; Jérémy Dubreil; Thierry Jéron (TestCom/FATES, 2009)

Abstracting Time and Data for Conformance Testing of Real-Time Systems. - Wilkerson de L. Andrade; Patrícia D. L. Machado; Thierry Jéron; Hervé Marchand (ICST Workshops, 2011)

Runtime Enforcement of Timed Properties. - Srinivas Pinisetty; Yliès Falcone; Thierry Jéron; Hervé Marchand; Antoine Rollet; Omer Landry Nguena-Timo (RV, 2012)

Test Generation from Recursive Tiles Systems. - Sébastien Chédor; Thierry Jéron; Christophe Morvan (TAP@TOOLS, 2012)

Off-line test selection with test purposes for non-deterministic timed automata - Nathalie Bertrand 001; Thierry Jéron; Amélie Stainer; Moez Krichen (Log. Methods Comput. Sci., 2012)

More testable properties. - Yliès Falcone; Jean-Claude Fernandez; Thierry Jéron; Hervé Marchand; Laurent Mounier (Int. J. Softw. Tools Technol. Transf., 2012)

Symbolic Methods in Testing (Dagstuhl Seminar 13021). - Thierry Jéron; Margus Veanes; Burkhart Wolff (Dagstuhl Reports, 2013)

Runtime enforcement of regular timed properties. - Srinivas Pinisetty; Yliès Falcone; Thierry Jéron; Hervé Marchand (SAC, 2014)

Runtime Enforcement of Parametric Timed Properties with Practical Applications. - Srinivas Pinisetty; Yliès Falcone; Thierry Jéron; Hervé Marchand (WODES, 2014)

Runtime enforcement of timed properties revisited. - Srinivas Pinisetty; Yliès Falcone; Thierry Jéron; Hervé Marchand; Antoine Rollet; Omer Nguena-Timo (Formal Methods Syst. Des., 2014)

Test generation from recursive tile systems. - Sébastien Chédor; Thierry Jéron; Christophe Morvan (Softw. Test. Verification Reliab., 2014)

Enforcement of (Timed) Properties with Uncontrollable Events. - Matthieu Renard; Yliès Falcone; Antoine Rollet; Srinivas Pinisetty; Thierry Jéron; Hervé Marchand (ICTAC, 2015)

TiPEX: A Tool Chain for Timed Property Enforcement During eXecution. - Srinivas Pinisetty; Yliès Falcone; Thierry Jéron; Hervé Marchand (RV, 2015)

A game approach to determinize timed automata. - Nathalie Bertrand 001; Amélie Stainer; Thierry Jéron; Moez Krichen (Formal Methods Syst. Des., 2015)

Runtime enforcement of regular timed properties by suppressing and delaying events. - Yliès Falcone; Thierry Jéron; Hervé Marchand; Srinivas Pinisetty (Sci. Comput. Program., 2016)

Verifying MPI Applications with SimGridMC. - The Anh Pham 001; Thierry Jéron; Martin Quinson (CORRECTNESS@SC, 2017)

Predictive runtime enforcement. - Srinivas Pinisetty; Viorel Preoteasa; Stavros Tripakis; Thierry Jéron; Yliès Falcone; Hervé Marchand (Formal Methods Syst. Des., 2017)

Predictive runtime verification of timed properties. - Srinivas Pinisetty; Thierry Jéron; Stavros Tripakis; Yliès Falcone; Hervé Marchand; Viorel Preoteasa (J. Syst. Softw., 2017)

Control_strategies_for_off-line_testing_of_timed_systems. - Léo Henry; Thierry Jéron; Nicolas Markey (CoRR, 2018)

Unfolding-Based Dynamic Partial Order Reduction of Asynchronous Distributed Programs. - The Anh Pham 001; Thierry Jéron; Martin Quinson (FORTE, 2019)

Optimal enforcement of (timed) properties with uncontrollable events. - Matthieu Renard; Yliès Falcone; Antoine Rollet; Thierry Jéron; Hervé Marchand (Math. Struct. Comput. Sci., 2019)

Computing Maximally-Permissive Strategies in Acyclic Timed Automata. - Emily Clement; Thierry Jéron; Nicolas Markey; David Mentré (FORMATS, 2020)

Active Learning of Timed Automata with Unobservable Resets. - Léo Henry; Thierry Jéron; Nicolas Markey (FORMATS, 2020)

Incremental Methods for Checking Real-Time Consistency. - Thierry Jéron; Nicolas Markey; David Mentré; Reiya Noguchi; Ocan Sankur (FORMATS, 2020)

Diagnosing timed automata using timed markings. - Patricia Bouyer; Léo Henry; Samy Jaziri; Thierry Jéron; Nicolas Markey (Int. J. Softw. Tools Technol. Transf., 2021)

Repairing Real-Time Requirements. - Reiya Noguchi; Ocan Sankur; Thierry Jéron; Nicolas Markey; David Mentré (ATVA, 2022)

Control strategies for off-line testing of timed systems. - Léo Henry; Thierry Jéron; Nicolas Markey (Formal Methods Syst. Des., 2022)

Bounded-Memory Runtime Enforcement of Timed Properties. - Saumya Shankar; Srinivas Pinisetty; Thierry Jéron (TIME, 2023)

Distributed Monitoring of Timed Properties. - Léo Henry; Thierry Jéron; Nicolas Markey; Victor Roussanaly (RV, 2024)

Online Test Synthesis From Requirements: Enhancing Reinforcement Learning with Game Theory. - Ocan Sankur; Thierry Jéron; Nicolas Markey; David Mentré; Reiya Noguchi (CoRR, 2024)

Towards Efficient Verification of Parallel Applications with Mc SimGrid. - Mathieu Laurent; Thierry Jéron; Martin Quinson (FORTE, 2025)

Towards Efficient Verification of Parallel Applications with Mc SimGrid. - Matthieu Laurent; Thierry Jéron; Martin Quinson (CoRR, 2025)