| 2025 | ATVA | Prompt Runtime Enforcement. | Ayush Anand, Loc Germerie Guizouarn, Thierry Jron, Sayan Mukherjee, Srinivas Pinisetty, Ocan Sankur |
| 2025 | FORTE | Towards Efficient Verification of Parallel Applications with Mc SimGrid. | Mathieu Laurent, Thierry Jron, Martin Quinson |
| 2024 | RV | Distributed Monitoring of Timed Properties. | Lo Henry, Thierry Jron, Nicolas Markey, Victor Roussanaly |
| 2023 | TIME | Bounded-Memory Runtime Enforcement of Timed Properties. | Saumya Shankar, Srinivas Pinisetty, Thierry Jron |
| 2022 | ATVA | Repairing Real-Time Requirements. | Reiya Noguchi, Ocan Sankur, Thierry Jron, Nicolas Markey, David Mentr |
| 2019 | FORTE | Unfolding-Based Dynamic Partial Order Reduction of Asynchronous Distributed Programs. | The Anh Pham, Thierry Jron, Martin Quinson |
| 2017 | SC | Verifying MPI Applications with SimGridMC. | The Anh Pham, Thierry Jron, Martin Quinson |
| 2016 | SAC | Predictive runtime enforcement. | Srinivas Pinisetty, Viorel Preoteasa, Stavros Tripakis, Thierry Jron, Ylis Falcone, Herv Marchand |
| 2015 | ICTAC | Enforcement of (Timed) Properties with Uncontrollable Events. | Matthieu Renard, Ylis Falcone, Antoine Rollet, Srinivas Pinisetty, Thierry Jron, Herv Marchand |
| 2015 | RV | TiPEX: A Tool Chain for Timed Property Enforcement During eXecution. | Srinivas Pinisetty, Ylis Falcone, Thierry Jron, Herv Marchand |
| 2014 | SAC | Runtime enforcement of regular timed properties. | Srinivas Pinisetty, Ylis Falcone, Thierry Jron, Herv Marchand |
| 2012 | RV | Runtime Enforcement of Timed Properties. | Srinivas Pinisetty, Ylis Falcone, Thierry Jron, Herv Marchand, Antoine Rollet, Omer Landry Nguena-Timo |
| 2012 | TAP | Test Generation from Recursive Tiles Systems. | Sbastien Chdor, Thierry Jron, Christophe Morvan |
| 2011 | FOSSACS | A Game Approach to Determinize Timed Automata. | Nathalie Bertrand, Amlie Stainer, Thierry Jron, Moez Krichen |
| 2011 | ICST | Abstracting Time and Data for Conformance Testing of Real-Time Systems. | Wilkerson de L. Andrade, Patrcia D. L. Machado, Thierry Jron, Herv Marchand |
| 2011 | TACAS | Off-Line Test Selection with Test Purposes for Non-deterministic Timed Automata. | Nathalie Bertrand, Thierry Jron, Amlie Stainer, Moez Krichen |
| 2005 | FM | Automatic Verification and Conformance Testing for Validating Safety Properties of Reactive Systems. | Vlad Rusu, Herv Marchand, Thierry Jron |
| 2005 | TACAS | Symbolic Test Selection Based on Approximate Analysis. | Bertrand Jeannet, Thierry Jron, Vlad Rusu, Elena Zinovieva |
| 2002 | FORTE | System Test Synthesis from UML Models of Distributed Software. | Simon Pickin, Claude Jard, Yves Le Traon, Thierry Jron, Jean-Marc Jzquel, Alain Le Guennec |
| 2002 | TACAS | STG: A Symbolic Test Generation Tool. | Duncan Clarke, Thierry Jron, Vlad Rusu, Elena Zinovieva |
| 2000 | IFM | An Approach to Symbolic Test Generation. | Vlad Rusu, Lydie du Bousquet, Thierry Jron |
| 1999 | CAV | Test Generation Derived from Model-Checking. | Thierry Jron, Pierre Morel |
| 1999 | FORTE | Remote testin can be as powerful as local testing. | Claude Jard, Thierry Jron, Lnaick Tanguy, Csar Viho |
| 1999 | ISSRE | Efficient strategies for integration and regression testing of OO systems. | Thierry Jron, Jean-Marc Jzquel, Yves Le Traon, Pierre Morel |
| 1998 | FORTE | Towards Automatic Distribution of Testers for Distributed Conformance Testing. | Claude Jard, Thierry Jron, Hakim Kahlouche, Csar Viho |
| 1996 | CAV | Using On-The-Fly Verification Techniques for the Generation of test Suites. | Jean-Claude Fernandez, Claude Jard, Thierry Jron, Csar Viho |
| 1996 | FORTE | Finitely Representing Infinite Reachability Graphs of CFSMs with Graph Grammars. | Yves-Marie Quemener, Thierry Jron |
| 1994 | GD | 3D Layout of Reachability Graphs of Communicating Processes. | Thierry Jron, Claude Jard |
| 1994 | ICDCS | A General Approach to Trace-Checking in Distributed Computing Systems. | Claude Jard, Thierry Jron, Guy-Vincent Jourdan, Jean-Xavier Rampon |
| 1991 | CAV | Bounded-memory Algorithms for Verification On-the-fly. | Claude Jard, Thierry Jron |
| 1991 | STACS | Testing for Unboundedness of FIFO Channels. | Thierry Jron |
| 1991 | STACS | Prototype of a Verification Tool. | Thierry Jron |