Thierry Jéron

According to our database, Thierry Jéron authored at least 70 papers between 1989 and 2023.

Collaborative distances:

• Dijkstra number of four.
• Erdős number of three.

2023

Bounded-Memory Runtime Enforcement of Timed Properties.

Saumya Shankar, Srinivas Pinisetty, Thierry Jéron

Proceedings of the 30th International Symposium on Temporal Representation and Reasoning, 2023

2022

Control strategies for off-line testing of timed systems.

Léo Henry, Thierry Jéron, Nicolas Markey

Formal Methods Syst. Des., April, 2022

Repairing Real-Time Requirements.

Reiya Noguchi, Ocan Sankur, Thierry Jéron, Nicolas Markey, David Mentré

Proceedings of the Automated Technology for Verification and Analysis, 2022

2021

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

2020

Incremental Methods for Checking Real-Time Consistency.

Thierry Jéron, Nicolas Markey, David Mentré, Reiya Noguchi, Ocan Sankur

Proceedings of the Formal Modeling and Analysis of Timed Systems, 2020

Active Learning of Timed Automata with Unobservable Resets.

Léo Henry, Thierry Jéron, Nicolas Markey

Proceedings of the Formal Modeling and Analysis of Timed Systems, 2020

Computing Maximally-Permissive Strategies in Acyclic Timed Automata.

Emily Clement, Thierry Jéron, Nicolas Markey, David Mentré

Proceedings of the Formal Modeling and Analysis of Timed Systems, 2020

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

Unfolding-Based Dynamic Partial Order Reduction of Asynchronous Distributed Programs.

The Anh Pham, Thierry Jéron, Martin Quinson

Proceedings of the Formal Techniques for Distributed Objects, Components, and Systems, 2019

2018

Control_strategies_for_off-line_testing_of_timed_systems.

Léo Henry, Thierry Jéron, Nicolas Markey

CoRR, 2018

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

Predictive runtime enforcement.

Srinivas Pinisetty, Viorel Preoteasa, Stavros Tripakis, Thierry Jéron, Yliès Falcone, Hervé Marchand

Formal Methods Syst. Des., 2017

Verifying MPI Applications with SimGridMC.

The Anh Pham, Thierry Jéron, Martin Quinson

Proceedings of the First International Workshop on Software Correctness for HPC Applications, 2017

2016

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

2015

A game approach to determinize timed automata.

Nathalie Bertrand, Amélie Stainer, Thierry Jéron, Moez Krichen

Formal Methods Syst. Des., 2015

TiPEX: A Tool Chain for Timed Property Enforcement During eXecution.

Srinivas Pinisetty, Yliès Falcone, Thierry Jéron, Hervé Marchand

Proceedings of the Runtime Verification - 6th International Conference, 2015

Enforcement of (Timed) Properties with Uncontrollable Events.

Matthieu Renard, Yliès Falcone, Antoine Rollet, Srinivas Pinisetty, Thierry Jéron, Hervé Marchand

Proceedings of the Theoretical Aspects of Computing - ICTAC 2015, 2015

2014

Test generation from recursive tile systems.

Sébastien Chédor, Thierry Jéron, Christophe Morvan

Softw. Test. Verification Reliab., 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

Runtime Enforcement of Parametric Timed Properties with Practical Applications.

Srinivas Pinisetty, Yliès Falcone, Thierry Jéron, Hervé Marchand

Proceedings of the 12th International Workshop on Discrete Event Systems, 2014

Runtime enforcement of regular timed properties.

Srinivas Pinisetty, Yliès Falcone, Thierry Jéron, Hervé Marchand

Proceedings of the Symposium on Applied Computing, 2014

2013

Symbolic Methods in Testing (Dagstuhl Seminar 13021).

Thierry Jéron, Margus Veanes, Burkhart Wolff

Dagstuhl Reports, 2013

2012

More testable properties.

Yliès Falcone, Jean-Claude Fernandez, Thierry Jéron, Hervé Marchand, Laurent Mounier

Int. J. Softw. Tools Technol. Transf., 2012

Off-line test selection with test purposes for non-deterministic timed automata

Nathalie Bertrand, Thierry Jéron, Amélie Stainer, Moez Krichen

Log. Methods Comput. Sci., 2012

Test Generation from Recursive Tiles Systems.

Sébastien Chédor, Thierry Jéron, Christophe Morvan

Proceedings of the Tests and Proofs - 6th International Conference, 2012

Runtime Enforcement of Timed Properties.

Srinivas Pinisetty, Yliès Falcone, Thierry Jéron, Hervé Marchand, Antoine Rollet, Omer Landry Nguena-Timo

Proceedings of the Runtime Verification, Third International Conference, 2012

2011

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

Proceedings of the Fourth IEEE International Conference on Software Testing, 2011

2009

Automatic Testing of Access Control for Security Properties.

Hervé Marchand, Jérémy Dubreil, Thierry Jéron

Proceedings of the Testing of Software and Communication Systems, 2009

Monitoring confidentiality by diagnosis techniques.

Jérémy Dubreil, Thierry Jéron, Hervé Marchand

Proceedings of the 10th European Control Conference, 2009

2008

Symbolic Model-based Test Selection.

Thierry Jéron

Proceedings of the Eleventh Brazilian Symposium on Formal Methods, 2008

2007

Test Synthesis from UML Models of Distributed Software.

Simon Pickin, Claude Jard, Thierry Jéron, Jean-Marc Jézéquel, Yves Le Traon

IEEE Trans. Software Eng., 2007

Integrating formal verification and conformance testing for reactive systems.

Camille Constant, Thierry Jéron, Hervé Marchand, Vlad Rusu

IEEE Trans. Software Eng., 2007

Automatic Test Generation from Interprocedural Specifications.

Camille Constant, Bertrand Jeannet, Thierry Jéron

Proceedings of the Testing of Software and Communicating Systems, 2007

2006

Symbolic Determinisation of Extended Automata.

Thierry Jéron, Hervé Marchand, Vlad Rusu

Proceedings of the Fourth IFIP International Conference on Theoretical Computer Science (TCS 2006), 2006

Model-Based Test Selection for Infinite State Reactive Systems.

Thierry Jéron

Proceedings of the From Model-Driven Design to Resource Management for Distributed Embedded Systems, 2006

Model-Based Test Selection for Infinite-State Reactive Systems.

Bertrand Jeannet, Thierry Jéron, Vlad Rusu

Proceedings of the Formal Methods for Components and Objects, 5th International Symposium, 2006

Verification of Communication Protocols Using Abstract Interpretation of FIFO Queues.

Tristan Le Gall, Bertrand Jeannet, Thierry Jéron

Proceedings of the Algebraic Methodology and Software Technology, 2006

2005

TGV: theory, principles and algorithms.

Claude Jard, Thierry Jéron

Int. J. Softw. Tools Technol. Transf., 2005

Symbolic Test Selection Based on Approximate Analysis.

Bertrand Jeannet, Thierry Jéron, Vlad Rusu, Elena Zinovieva

Proceedings of the Tools and Algorithms for the Construction and Analysis of Systems, 2005

Automatic Verification and Conformance Testing for Validating Safety Properties of Reactive Systems.

Vlad Rusu, Hervé Marchand, Thierry Jéron

Proceedings of the FM 2005: Formal Methods, 2005

2004

From Safety Verification to Safety Testing.

Vlad Rusu, Hervé Marchand, Valéry Tschaen, Thierry Jéron, Bertrand Jeannet

Proceedings of the Testing of Communicating Systems, 16th IFIP International Conerence, 2004

2003

Test Cases Generation for Nondeterministic Real-Time Systems.

Ahmed Khoumsi, Thierry Jéron, Hervé Marchand

Proceedings of the Formal Approaches to Software Testing, 2003

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

STG: A Symbolic Test Generation Tool.

Duncan Clarke, Thierry Jéron, Vlad Rusu, Elena Zinovieva

Proceedings of the Tools and Algorithms for the Construction and Analysis of Systems, 2002

System Test Synthesis from UML Models of Distributed Software.

Simon Pickin, Claude Jard, Yves Le Traon, Thierry Jéron, Jean-Marc Jézéquel, Alain Le Guennec

Proceedings of the Formal Techniques for Networked and Distributed Systems, 2002

2001

STG: a tool for generating symbolic test programs and oracles from operational specifications.

Duncan Clarke, Thierry Jéron, Vlad Rusu, Elena Zinovieva

Proceedings of the 8th European Software Engineering Conference held jointly with 9th ACM SIGSOFT International Symposium on Foundations of Software Engineering 2001, 2001

Automated Test and Oracle Generation for Smart-Card Applications.

Duncan Clarke, Thierry Jéron, Vlad Rusu, Elena Zinovieva

Proceedings of the Smart Card Programming and Security, 2001

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

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

An Educational Case Study in Protocol Verification and Distributed Observation.

Claude Jard, Thierry Jéron

Comput. Sci. Educ., 2000

Verification of Test Suites.

Claude Jard, Thierry Jéron, Pierre Morel

Proceedings of the Testing of Communicating Systems: Tools and Techniques, IFIP TC6/WG6.1 13^th International Conference on Testing Communicating Systems (TestCom 2000), August 29, 2000

An Approach to Symbolic Test Generation.

Vlad Rusu, Lydie du Bousquet, Thierry Jéron

Proceedings of the Integrated Formal Methods, Second International Conference, 2000

1999

Automated test generation from SDL specifications.

Alain Kerbrat, Thierry Jéron, Roland Groz

Proceedings of the SDL '99 The Next Millennium, 1999

Efficient strategies for integration and regression testing of OO systems.

Thierry Jéron, Jean-Marc Jézéquel, Yves Le Traon, Pierre Morel

Proceedings of the 10th International Symposium on Software Reliability Engineering, 1999

Remote testin can be as powerful as local testing.

Claude Jard, Thierry Jéron, Lénaick Tanguy, César Viho

Proceedings of the Formal Methods for Protocol Engineering and Distributed Systems, 1999

Test Generation Derived from Model-Checking.

Thierry Jéron, Pierre Morel

Proceedings of the Computer Aided Verification, 11th International Conference, 1999

1998

Validation and Test Generation for Object-Oriented Distributed Software.

Thierry Jéron, Jean-Marc Jézéquel, Alain Le Guennec

Proceedings of the International Symposium on Software Engineering for Parallel and Distributed Systems, 1998

Towards Automatic Distribution of Testers for Distributed Conformance Testing.

Claude Jard, Thierry Jéron, Hakim Kahlouche, César Viho

Proceedings of the Formal Description Techniques and Protocol Specification, 1998

1997

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

1996

Finitely Representing Infinite Reachability Graphs of CFSMs with Graph Grammars.

Yves-Marie Quemener, Thierry Jéron

Proceedings of the Formal Description Techniques IX: Theory, 1996

Using On-The-Fly Verification Techniques for the Generation of test Suites.

Jean-Claude Fernandez, Claude Jard, Thierry Jéron, César Viho

Proceedings of the Computer Aided Verification, 8th International Conference, 1996

1995

Model-checking of infinite Kripke structures defined by simple graph grammars.

Yves-Marie Quemener, Thierry Jéron

Proceedings of the Joint COMPUGRAPH/SEMAGRAPH Workshop on Graph Rewriting and Computation, 1995

1994

A General Approach to Trace-Checking in Distributed Computing Systems.

Claude Jard, Thierry Jéron, Guy-Vincent Jourdan, Jean-Xavier Rampon

Proceedings of the 14th International Conference on Distributed Computing Systems, 1994

3D Layout of Reachability Graphs of Communicating Processes.

Thierry Jéron, Claude Jard

Proceedings of the Graph Drawing, DIMACS International Workshop, 1994

1993

Testing for Unboundedness of FIFO Channels.

Thierry Jéron, Claude Jard

Theor. Comput. Sci., 1993

1992

On-the-fly Verification of Finite Transition Systems.

Jean-Claude Fernandez, Laurent Mounier, Claude Jard, Thierry Jéron

Formal Methods Syst. Des., 1992

1991

Prototype of a Verification Tool.

Thierry Jéron

Proceedings of the STACS 91, 1991

Testing for Unboundedness of FIFO Channels.

Thierry Jéron

Proceedings of the STACS 91, 1991

Bounded-memory Algorithms for Verification On-the-fly.

Claude Jard, Thierry Jéron

Proceedings of the Computer Aided Verification, 3rd International Workshop, 1991

1989

On-Line Model Checking for Finite Linear Temporal Logic Specifications.

Claude Jard, Thierry Jéron

Proceedings of the Automatic Verification Methods for Finite State Systems, 1989