Thierry Jéron

85 papers A* 3A 8B 8C 9Misc 2Journal 30Unranked 25

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