Thierry Jéron

Nathalie Bertrand, Thierry Jéron, Amélie Stainer, Moez Krichen: Off-line test selection with test purposes for non-deterministic timed automata. Logical Methods in Computer Science 8(4) (2012)

Yliès Falcone, Jean-Claude Fernandez, Thierry Jéron, Hervé Marchand, Laurent Mounier: More testable properties. STTT 14(4): 407-437 (2012)

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

Sébastien Chédor, Thierry Jéron, Christophe Morvan: Test Generation from Recursive Tiles Systems. TAP 2012: 99-114

Nathalie Bertrand, Amélie Stainer, Thierry Jéron, Moez Krichen: A Game Approach to Determinize Timed Automata. FOSSACS 2011: 245-259

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: 9-17

Nathalie Bertrand, Thierry Jéron, Amélie Stainer, Moez Krichen: Off-Line Test Selection with Test Purposes for Non-deterministic Timed Automata. TACAS 2011: 96-111

Yliès Falcone, Jean-Claude Fernandez, Thierry Jéron, Hervé Marchand, Laurent Mounier: More Testable Properties. ICTSS 2010: 30-46

Thierry Jéron: Symbolic Model-based Test Selection. Electr. Notes Theor. Comput. Sci. 240: 167-184 (2009)

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

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): 252-269 (2007)

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

Camille Constant, Bertrand Jeannet, Thierry Jéron: Automatic Test Generation from Interprocedural Specifications. TestCom/FATES 2007: 41-57

Tristan Le Gall, Bertrand Jeannet, Thierry Jéron: Verification of Communication Protocols Using Abstract Interpretation of FIFO Queues. AMAST 2006: 204-219

Bertrand Jeannet, Thierry Jéron, Vlad Rusu: Model-Based Test Selection for Infinite-State Reactive Systems. FMCO 2006: 47-69

Thierry Jéron: Model-Based Test Selection for Infinite State Reactive Systems. DIPES 2006: 35-44

Thierry Jéron, Hervé Marchand, Vlad Rusu: Symbolic Determinisation of Extended Automata. IFIP TCS 2006: 197-212

Claude Jard, Thierry Jéron: TGV: theory, principles and algorithms. STTT 7(4): 297-315 (2005)

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

Bertrand Jeannet, Thierry Jéron, Vlad Rusu, Elena Zinovieva: Symbolic Test Selection Based on Approximate Analysis. TACAS 2005: 349-364

Vlad Rusu, Hervé Marchand, Valéry Tschaen, Thierry Jéron, Bertrand Jeannet: From Safety Verification to Safety Testing. TestCom 2004: 160-176

Ahmed Khoumsi, Thierry Jéron, Hervé Marchand: Test Cases Generation for Nondeterministic Real-Time Systems. FATES 2003: 131-146

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. Technique et Science Informatiques 21(9): 1265-1294 (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: 97-113

Duncan Clarke, Thierry Jéron, Vlad Rusu, Elena Zinovieva: STG: A Symbolic Test Generation Tool. TACAS 2002: 470-475

Duncan Clarke, Thierry Jéron, Vlad Rusu, Elena Zinovieva: Automated Test and Oracle Generation for Smart-Card Applications. E-smart 2001: 58-70

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: 301-302

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): 27-52 (2000)

Vlad Rusu, Lydie du Bousquet, Thierry Jéron: An Approach to Symbolic Test Generation. IFM 2000: 338-357

Claude Jard, Thierry Jéron, Pierre Morel: Verification of Test Suites. TestCom 2000: 3-18

Thierry Jéron, Pierre Morel: Test Generation Derived from Model-Checking. CAV 1999: 108-121

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

Alain Kerbrat, Thierry Jéron, Roland Groz: Automated test generation from SDL specifications. SDL Forum 1999: 135-152

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

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

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): 123-146 (1997)

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: 348-359

Yves-Marie Quemener, Thierry Jéron: Finitely Representing Infinite Reachability Graphs of CFSMs with Graph Grammars. FORTE 1996: 364-379

Yves-Marie Quemener, Thierry Jéron: Model-checking of infinite Kripke structures defined by simple graph grammars. Electr. Notes Theor. Comput. Sci. 2: 222-229 (1995)

Thierry Jéron, Claude Jard: 3D Layout of Reachability Graphs of Communicating Processes. Graph Drawing 1994: 25-32

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

Thierry Jéron, Claude Jard: Testing for Unboundedness of FIFO Channels. Theor. Comput. Sci. 113(1): 93-117 (1993)

Jean-Claude Fernandez, Laurent Mounier, Claude Jard, Thierry Jéron: On-the-fly Verification of Finite Transition Systems. Formal Methods in System Design 1(2/3): 251-273 (1992)

Claude Jard, Thierry Jéron: Bounded-memory Algorithms for Verification On-the-fly. CAV 1991: 192-202

Thierry Jéron: Testing for Unboundedness of FIFO Channels. STACS 1991: 322-333

Thierry Jéron: Prototype of a Verification Tool. STACS 1991: 541-542

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