| 2025 | SAC | Verifying Timed Properties of Programs in IoT nodes using Parametric Time Petri Nets. | tienne Andr, Jean-Luc Bchennec, Sudipta Chattopadhyay, Sbastien Faucou, Didier Lime, Dylan Marinho, Olivier H. Roux, Jun Sun |
| 2022 | CoDIT | High-level Colored Time Petri Nets for true concurrency modeling in real-time software. | Imane Haur, Jean-Luc Bchennec, Olivier H. Roux |
| 2022 | ICFEM | Formal Verification of the Inter-core Synchronization of a Multi-core RTOS Kernel. | Imane Haur, Jean-Luc Bchennec, Olivier H. Roux |
| 2021 | ARITH | Pipeline Optimization using a Cost Extension of Timed Petri Nets. | Rmi Parrot, Mikal Briday, Olivier H. Roux |
| 2018 | LATA | Pomsets and Unfolding of Reset Petri Nets. | Thomas Chatain, Maurice Comlan, David Delfieu, Log Jezequel, Olivier H. Roux |
| 2017 | CONCUR | Coverability Synthesis in Parametric Petri Nets. | Nicolas David, Claude Jard, Didier Lime, Olivier H. Roux |
| 2016 | ICFEM | Decision Problems for Parametric Timed Automata. | tienne Andr, Didier Lime, Olivier H. Roux |
| 2015 | HPCC | Use of Runtime Enforcement for the Test of Real-time Systems. | Louis-Marie Givel, Matthias Brun, Camille Constant, Sbastien Faucou, Olivier H. Roux |
| 2014 | SIMULTECH | Reactive embedded device driver synthesis using logical timed models. | Julien Tanguy, Jean-Luc Bchennec, Mikal Briday, Olivier H. Roux |
| 2013 | ATVA | Synthesis of Bounded Integer Parameters for Parametric Timed Reachability Games. | Aleksandra Jovanovic, Didier Lime, Olivier H. Roux |
| 2013 | ETFA | Device driver synthesis for embedded systems. | Julien Tanguy, Jean-Luc Bchennec, Mikal Briday, Sebastien Dube, Olivier H. Roux |
| 2013 | TACAS | Integer Parameter Synthesis for Timed Automata. | Aleksandra Jovanovic, Didier Lime, Olivier H. Roux |
| 2010 | ATVA | Symbolic Unfolding of Parametric Stopwatch Petri Nets. | Louis-Marie Traonouez, Bartosz Grabiec, Claude Jard, Didier Lime, Olivier H. Roux |
| 2009 | TACAS | Romeo: A Parametric Model-Checker for Petri Nets with Stopwatches. | Didier Lime, Olivier H. Roux, Charlotte Seidner, Louis-Marie Traonouez |
| 2008 | ICECCS | A Study of the AADL Mode Change Protocol. | Dominique Bertrand, Anne-Marie Dplanche, Sbastien Faucou, Olivier H. Roux |
| 2005 | ATVA | Comparison of Different Semantics for Time Petri Nets. | Batrice Brard, Franck Cassez, Serge Haddad, Didier Lime, Olivier H. Roux |
| 2005 | CAV | Romeo: A Tool for Analyzing Time Petri Nets. | Guillaume Gardey, Didier Lime, Morgan Magnin, Olivier H. Roux |
| 2004 | RTSS | A Translation Based Method for the Timed Analysis of Scheduling Extended Time Petri Nets. | Didier Lime, Olivier H. Roux |
| 2001 | ETFA | Discrete time approach of time Petri nets for real-time systems analysis. | Olivier H. Roux, David Delfieu, Pierre Molinaro |
| 1993 | SAFECOMP | Oreste : a Reliable Reactive Real-Time Language. | Pierre Molinaro, Olivier H. Roux |