Oreste : a Reliable Reactive Real-Time Language. - Pierre Molinaro; Olivier H. Roux (SAFECOMP, 1993)

Discrete time approach of time Petri nets for real-time systems analysis. - Olivier H. Roux; David Delfieu; Pierre Molinaro (ETFA (2), 2001)

Using Zone Graph Method for Computing the State Space of a Time Petri Net. - Guillaume Gardey; Olivier H. Roux; Olivier F. Roux (FORMATS, 2003)

State class timed automaton of a time Petri net. - Didier Lime; Olivier H. Roux (PNPM, 2003)

Time Petri Nets with Inhibitor Hyperarcs. Formal Semantics and State Space Computation. - Olivier H. Roux; Didier Lime (ICATPN, 2004)

A Translation Based Method for the Timed Analysis of Scheduling Extended Time Petri Nets. - Didier Lime; Olivier H. Roux (RTSS, 2004)

A Timed Extension for ALTARICA. - Franck Cassez; Claire Pagetti; Olivier H. Roux (Fundam. Informaticae, 2004)

Comparison of Different Semantics for Time Petri Nets. - Béatrice Bérard; Franck Cassez; Serge Haddad; Didier Lime; Olivier H. Roux (ATVA, 2005)

Romeo: A Tool for Analyzing Time Petri Nets. - Guillaume Gardey; Didier Lime; Morgan Magnin; Olivier H. Roux (CAV, 2005)

Comparison of the Expressiveness of Timed Automata and Time Petri Nets. - Béatrice Bérard; Franck Cassez; Serge Haddad; Didier Lime; Olivier H. Roux (FORMATS, 2005)

Non-Interference Control Synthesis for Security Timed Automata. - Guillaume Gardey; John Mullins; Olivier H. Roux (SecCO@CONCUR, 2005)

An Efficient Method for Computing Exact State Space of Petri Nets With Stopwatches. - Morgan Magnin; Didier Lime; Olivier H. Roux (SoftMC@CAV, 2005)

Model Checking of Time Petri Nets Using the State Class Timed Automaton. - Didier Lime; Olivier H. Roux (Discret. Event Dyn. Syst., 2006)

Structural translation from Time Petri Nets to Timed Automata. - Franck Cassez; Olivier H. Roux (J. Syst. Softw., 2006)

State space computation and analysis of Time Petri Nets. - Guillaume Gardey; Olivier H. Roux; Olivier F. Roux (Theory Pract. Log. Program., 2006)

Vérification formelle des systèmes temps-réel avec ordonnancement préemptif. - Didier Lime; Olivier H. Roux (Tech. Sci. Informatiques, 2006)

Comparison of the Expressiveness of Arc, Place and Transition Time Petri Nets. - Marc Boyer; Olivier H. Roux (ICATPN, 2007)

Reachability Problems and Abstract State Spaces for Time Petri Nets with Stopwatches. - Bernard Berthomieu; Didier Lime; Olivier H. Roux; François Vernadat 001 (Discret. Event Dyn. Syst., 2007)

Symbolic State Space of Stopwatch Petri Nets with Discrete-Time Semantics (Theory Paper). - Morgan Magnin; Didier Lime; Olivier H. Roux (Petri Nets, 2008)

Parametric Model-Checking of Time Petri Nets with Stopwatches Using the State-Class Graph. - Louis-Marie Traonouez; Didier Lime; Olivier H. Roux (FORMATS, 2008)

A Study of the AADL Mode Change Protocol. - Dominique Bertrand; Anne-Marie Déplanche; Sébastien Faucou; Olivier H. Roux (ICECCS, 2008)

On the Compared Expressiveness of Arc, Place and Transition Time Petri Nets. - Marc Boyer; Olivier H. Roux (Fundam. Informaticae, 2008)

When are Timed Automata weakly timed bisimilar to Time Petri Nets? - Béatrice Bérard; Franck Cassez; Serge Haddad; Didier Lime; Olivier H. Roux (Theor. Comput. Sci., 2008)

Formal Methods for Systems Engineering Behavior Models. - Charlotte Seidner; Olivier H. Roux (IEEE Trans. Ind. Informatics, 2008)

Time Arc Petri Nets and Their Analysis. - Hind Rakkay; Hanifa Boucheneb; Olivier H. Roux (ACSD, 2009)

Modeling of Genetic Regulatory Network in Stochastic pi-Calculus. - Mylène Maurin; Morgan Magnin; Olivier H. Roux (BICoB, 2009)

Synthesis of Non-Interferent Timed Systems. - Gilles Benattar; Franck Cassez; Didier Lime; Olivier H. Roux (FORMATS, 2009)

Romeo: A Parametric Model-Checker for Petri Nets with Stopwatches. - Didier Lime; Olivier H. Roux; Charlotte Seidner; Louis-Marie Traonouez (TACAS, 2009)

Expressiveness of Petri Nets with Stopwatches. Dense-time Part. - Morgan Magnin; Pierre Molinaro; Olivier H. Roux (Fundam. Informaticae, 2009)

Expressiveness of Petri Nets with Stopwatches. Discrete-time Part. - Morgan Magnin; Pierre Molinaro; Olivier H. Roux (Fundam. Informaticae, 2009)

Parametric Model-Checking of Stopwatch Petri Nets. - Louis-Marie Traonouez; Didier Lime; Olivier H. Roux (J. Univers. Comput. Sci., 2009)

TCTL Model Checking of Time Petri Nets. - Hanifa Boucheneb; Guillaume Gardey; Olivier H. Roux (J. Log. Comput., 2009)

Formal verification of real-time systems with preemptive scheduling. - Didier Lime; Olivier H. Roux (Real Time Syst., 2009)

Symbolic Unfolding of Parametric Stopwatch Petri Nets. - Louis-Marie Traonouez; Bartosz Grabiec; Claude Jard; Didier Lime; Olivier H. Roux (ATVA, 2010)

Diagnosis Using Unfoldings of Parametric Time Petri Nets. - Bartosz Grabiec; Louis-Marie Traonouez; Claude Jard; Didier Lime; Olivier H. Roux (FORMATS, 2010)

Special issue on Modeling of Reactive Systems. - Claude Martinez; Olivier H. Roux (Discret. Event Dyn. Syst., 2011)

Clock Transition Systems. - Didier Lime; Olivier H. Roux; Claude Jard (CS&P, 2012)

Robustness of Time Petri Nets under Architectural Constraints. - S. Akshay 001; Loïc Hélouët; Claude Jard; Didier Lime; Olivier H. Roux (FORMATS, 2012)

Formal Behavioral Modeling of Real-time Operating Systems. - Cédrick Lelionnais; Matthias Brun 001; Jérôme Delatour; Olivier H. Roux; Charlotte Seidner (ICEIS (2), 2012)

FIFO time Petri nets for conflicts handling. - Hanifa Boucheneb; Adrien Bullich; Olivier H. Roux (WODES, 2012)

Real-time control with parametric timed reachability games. - Aleksandra Jovanovic 002; Sébastien Faucou; Didier Lime; Olivier H. Roux (WODES, 2012)

Channel Synthesis for Finite Transducers. - Gilles Benattar; Béatrice Bérard; Didier Lime; John Mullins; Olivier H. Roux; Mathieu Sassolas (Int. J. Found. Comput. Sci., 2012)

Tools for Model-Checking Timed Systems. - Alexandre David; Gerd Behrmann; Peter E. Bulychev; Joakim Byg; Thomas Chatain; Kim G. Larsen; Paul Pettersson; Jacob Illum Rasmussen; Jirí Srba; Wang Yi 001; Kenneth Yrke Jørgensen; Didier Lime; et al. (Communicating Embedded Systems, 2013)

Models for Real-Time Embedded Systems. - Didier Lime; Olivier H. Roux; Jirí Srba (Communicating Embedded Systems, 2013)

On Multi-enabledness in Time Petri Nets. - Hanifa Boucheneb; Didier Lime; Olivier H. Roux (Petri Nets, 2013)

Synthesis of Bounded Integer Parameters for Parametric Timed Reachability Games. - Aleksandra Jovanovic 002; Didier Lime; Olivier H. Roux (ATVA, 2013)

Device driver synthesis for embedded systems. - Julien Tanguy; Jean-Luc Béchennec; Mikaël Briday; Sebastien Dube; Olivier H. Roux (ETFA, 2013)

Integer Parameter Synthesis for Timed Automata. - Aleksandra Jovanovic 002; Didier Lime; Olivier H. Roux (TACAS, 2013)

Shrinking of Time Petri nets. - Didier Lime; Claude Martinez; Olivier H. Roux (Discret. Event Dyn. Syst., 2013)

Symbolic unfolding of parametric stopwatch Petri nets. - Claude Jard; Didier Lime; Olivier H. Roux; Louis-Marie Traonouez (Formal Methods Syst. Des., 2013)

The expressive power of time Petri nets. - Béatrice Bérard; Franck Cassez; Serge Haddad; Didier Lime; Olivier H. Roux (Theor. Comput. Sci., 2013)

Reactive embedded device driver synthesis using logical timed models. - Julien Tanguy; Jean-Luc Béchennec; Mikaël Briday; Olivier H. Roux (SIMULTECH, 2014)

Blending Timed Formal Models with Clock Transition Systems. - Claude Jard; Didier Lime; Olivier H. Roux (Fundam. Informaticae, 2014)

Discrete Parameters in Petri Nets. - Nicolas David 002; Claude Jard; Didier Lime; Olivier H. Roux (Petri Nets, 2015)

Formal Synthesis of Optimal RTOS. - Tigori Kabland Toussaint Gautier; Jean-Luc Béchennec; Olivier Henry Roux (HPCC/CSS/ICESS, 2015)

Use of Runtime Enforcement for the Test of Real-time Systems. - Louis-Marie Givel; Matthias Brun 001; Camille Constant; Sébastien Faucou; Olivier H. Roux (HPCC/CSS/ICESS, 2015)

Integer-Complete Synthesis for Bounded Parametric Timed Automata. - Étienne André; Didier Lime; Olivier H. Roux (RP, 2015)

The EPOC Project - Energy Proportional and Opportunistic Computing System. - Nicolas Beldiceanu; Barbara Dumas Feris; Philippe Gravey; Md Sabbir Hasan; Claude Jard; Thomas Ledoux; Yunbo Li; Didier Lime; Gilles Madi-Wamba; Jean-Marc Menaud; Pascal Morel; Michel Morvan; et al. (SMARTGREENS, 2015)

Discrete Parameters in Petri Nets (Informal Presentation). - Nicolas David 002; Claude Jard; Didier Lime; Olivier H. Roux (SynCoP, 2015)

Kinetic Theory Modeling and Efficient Numerical Simulation of Gene Regulatory Networks Based on Qualitative Descriptions. - Francisco Chinesta; Morgan Magnin; Olivier H. Roux; Amine Ammar; Elías Cueto (Entropy, 2015)

Control and synthesis of non-interferent timed systems. - Gilles Benattar; Franck Cassez; Didier Lime; Olivier H. Roux (Int. J. Control, 2015)

Integer Parameter Synthesis for Real-Time Systems. - Aleksandra Jovanovic 002; Didier Lime; Olivier H. Roux (IEEE Trans. Software Eng., 2015)

Probabilistic Time Petri Nets. - Yrvann Emzivat; Benoît Delahaye; Didier Lime; Olivier H. Roux (Petri Nets, 2016)

On the Expressiveness of Parametric Timed Automata. - Étienne André; Didier Lime; Olivier H. Roux (FORMATS, 2016)

Applying Parametric Model-Checking Techniques for Reusing Real-Time Critical Systems. - Baptiste Parquier; Laurent Rioux; Rafik Henia; Romain Soulat; Olivier H. Roux; Didier Lime; Étienne André (FTSCS, 2016)

Decision Problems for Parametric Timed Automata. - Étienne André; Didier Lime; Olivier H. Roux (ICFEM, 2016)

Testing real-time embedded software using runtime enforcement. - Louis-Marie Givel; Jean-Luc Béchennec; Matthias Brun 001; Sébastien Faucou; Olivier H. Roux (SIES, 2016)

On-line compositional controller synthesis for AGV. - Johan Girault; Jean Jacques Loiseau; Olivier H. Roux (Discret. Event Dyn. Syst., 2016)

Coverability Synthesis in Parametric Petri Nets. - Nicolas David 002; Claude Jard; Didier Lime; Olivier H. Roux (CONCUR, 2017)

Optimal Reachability in Cost Time Petri Nets. - Hanifa Boucheneb; Didier Lime; Baptiste Parquier; Olivier H. Roux; Charlotte Seidner (FORMATS, 2017)

Adaptability of automated driving systems to the hazardous nature of road networks. - Yrvann Emzivat; Javier Ibañez-Guzmán; Philippe Martinet; Olivier H. Roux (ITSC, 2017)

Dynamic driving task fallback for an automated driving system whose ability to monitor the driving environment has been compromised. - Yrvann Emzivat; Javier Ibañez-Guzmán; Philippe Martinet; Olivier H. Roux (Intelligent Vehicles Symposium, 2017)

Modeling Delayed Dynamics in Biological Regulatory Networks from Time Series Data. - Emna Ben Abdallah 001; Tony Ribeiro; Morgan Magnin; Olivier H. Roux; Katsumi Inoue (Algorithms, 2017)

Towards energy-proportional clouds partially powered by renewable energy. - Nicolas Beldiceanu; Barbara Dumas Feris; Philippe Gravey; Md Sabbir Hasan; Claude Jard; Thomas Ledoux; Yunbo Li; Didier Lime; Gilles Madi-Wamba; Jean-Marc Menaud; Pascal Morel; Michel Morvan; et al. (Computing, 2017)

Formal Model-Based Synthesis of Application-Specific Static RTOS. - Tigori Kabland Toussaint Gautier; Jean-Luc Béchennec; Sébastien Faucou; Olivier Henry Roux (ACM Trans. Embed. Comput. Syst., 2017)

Optimal-Cost Reachability Analysis Based on Time Petri Nets. - Hanifa Boucheneb; Didier Lime; Olivier H. Roux; Charlotte Seidner (ACSD, 2018)

Formal model-based conformance verification of an OSEK/VDX compliant RTOS. - Jean-Luc Béchennec; Olivier Henry Roux; Tigori Kabland Toussaint Gautier (CoDIT, 2018)

A Formal Approach for the Design of a Dependable Perception System for Autonomous Vehicles. - Yrvann Emzivat; Javier Ibañez-Guzmán; Herve Illy; Philippe Martinet; Olivier H. Roux (ITSC, 2018)

Pomsets and Unfolding of Reset Petri Nets. - Thomas Chatain; Maurice Comlan; David Delfieu; Loïg Jezequel; Olivier H. Roux (LATA, 2018)

A Heuristic for Reachability Problem in Asynchronous Binary Automata Networks. - Xinwei Chai; Morgan Magnin; Olivier H. Roux (CoRR, 2018)

Testing Real-Time Systems With Runtime Enforcement. - Jean-Luc Béchennec; Sébastien Faucou; Olivier H. Roux; Matthias Brun 001; Louis-Marie Givel (IEEE Des. Test, 2018)

Control of DES with Urgency, Avoidability and Ineluctability. - Jean-Luc Béchennec; Didier Lime; Olivier H. Roux (ACSD, 2019)

Parameter Synthesis for Bounded Cost Reachability in Time Petri Nets. - Didier Lime; Olivier H. Roux; Charlotte Seidner (Petri Nets, 2019)

Preface. - Victor Khomenko; Jetty Kleijn; Wojciech Penczek; Olivier H. Roux (Fundam. Informaticae, 2019)

A game approach to the parametric control of real-time systems. - Aleksandra Jovanovic 002; Didier Lime; Olivier H. Roux (Int. J. Control, 2019)

A Turn-Based Approach for Qualitative Time Concurrent Games. - Serge Haddad; Didier Lime; Olivier H. Roux (Petri Nets, 2021)

Timed Petri Nets with Reset for Pipelined Synchronous Circuit Design. - Rémi Parrot; Mikaël Briday; Olivier H. Roux (Petri Nets, 2021)

Pipeline Optimization using a Cost Extension of Timed Petri Nets. - Rémi Parrot; Mikaël Briday; Olivier H. Roux (ARITH, 2021)

Formal schedulability analysis based on multi-core RTOS model. - Imane Haur; Jean-Luc Béchennec; Olivier Henri Roux (RTNS, 2021)

Logical time control of concurrent DES. - Jean-Luc Béchennec; Didier Lime; Olivier H. Roux (Discret. Event Dyn. Syst., 2021)

Cost Problems for Parametric Time Petri Nets. - Didier Lime; Olivier H. Roux; Charlotte Seidner (Fundam. Informaticae, 2021)

High-level Colored Time Petri Nets for true concurrency modeling in real-time software. - Imane Haur; Jean-Luc Béchennec; Olivier H. Roux (CoDIT, 2022)

Formal Verification of the Inter-core Synchronization of a Multi-core RTOS Kernel. - Imane Haur; Jean-Luc Béchennec; Olivier H. Roux (ICFEM, 2022)

Pomset bisimulation and unfolding for reset Petri nets. - Thomas Chatain; Maurice Comlan; David Delfieu; Loïg Jezequel; Olivier Henri Roux (Inf. Comput., 2022)

Reachability and liveness in parametric timed automata. - Étienne André; Didier Lime; Olivier H. Roux (Log. Methods Comput. Sci., 2022)

Control of Real-Time Systems With Integer Parameters. - Aleksandra Jovanovic 002; Didier Lime; Olivier H. Roux (IEEE Trans. Autom. Control., 2022)

A State Class Based Controller Synthesis Approach for Time Petri Nets. - Loriane Leclercq; Didier Lime; Olivier H. Roux (Petri Nets, 2023)

Timed Non-interference Under Partial Observability and Bounded Memory. - Anthony Spriet; Didier Lime; Olivier H. Roux (FORMATS, 2023)

Dense Integer-Complete Synthesis for Bounded Parametric Timed Automata. - Étienne André; Didier Lime; Olivier H. Roux (CoRR, 2023)

Cost-optimal timed trace synthesis for scheduling of intermittent embedded systems. - Antoine Bernabeu; Jean-Luc Béchennec; Mikaël Briday; Sébastien Faucou; Olivier H. Roux (Discret. Event Dyn. Syst., 2023)

Design and verification of pipelined circuits with Timed Petri Nets. - Rémi Parrot; Mikaël Briday; Olivier H. Roux (Discret. Event Dyn. Syst., 2023)

Formal verification process of the compliance of a multicore AUTOSAR OS. - Imane Haur; Jean-Luc Béchennec; Olivier H. Roux (Softw. Qual. J., 2023)

On Parametric DBMs and Their Applications to Time Petri Nets. - Loriane Leclercq; Didier Lime; Olivier H. Roux (QEST+FORMATS, 2024)

Decidability Problems for Weak Time Petri Nets with Read, Reset and Transfer Arcs. - Didier Lime; Rémi Parrot; Olivier H. Roux (Petri Nets, 2025)

Verifying Timed Properties of Programs in IoT nodes using Parametric Time Petri Nets. - Étienne André; Jean-Luc Béchennec; Sudipta Chattopadhyay 001; Sébastien Faucou; Didier Lime; Dylan Marinho; Olivier H. Roux; Jun Sun 001 (SAC, 2025)

Model-Checking of Concurrent Real-Time Software Using High-Level Colored Time Petri Nets with Stopwatches. - Imane Haur; Jean-Luc Béchennec; Olivier H. Roux (Cybern. Syst., 2025)