Olivier H. Roux

According to our database, Olivier H. Roux authored at least 102 papers between 1993 and 2023.

Collaborative distances:

• Dijkstra number of four.
• Erdős number of four.

2023

Formal verification process of the compliance of a multicore AUTOSAR OS.

Imane Haur, Jean-Luc Béchennec, Olivier H. Roux

Softw. Qual. J., June, 2023

Design and verification of pipelined circuits with Timed Petri Nets.

Rémi Parrot, Mikaël Briday, Olivier H. Roux

Discret. Event Dyn. Syst., March, 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., March, 2023

Dense Integer-Complete Synthesis for Bounded Parametric Timed Automata.

Étienne André, Didier Lime, Olivier H. Roux

CoRR, 2023

Timed Non-interference Under Partial Observability and Bounded Memory.

Anthony Spriet, Didier Lime, Olivier H. Roux

Proceedings of the Formal Modeling and Analysis of Timed Systems, 2023

A State Class Based Controller Synthesis Approach for Time Petri Nets.

Loriane Leclercq, Didier Lime, Olivier H. Roux

Proceedings of the Application and Theory of Petri Nets and Concurrency, 2023

2022

Control of Real-Time Systems With Integer Parameters.

Aleksandra Jovanovic, Didier Lime, Olivier H. Roux

IEEE Trans. Autom. Control., 2022

Reachability and liveness in parametric timed automata.

Étienne André, Didier Lime, Olivier H. Roux

Log. Methods Comput. Sci., 2022

Pomset bisimulation and unfolding for reset Petri nets.

Thomas Chatain, Maurice Comlan, David Delfieu, Loïg Jezequel, Olivier Henri Roux

Inf. Comput., 2022

Formal Verification of the Inter-core Synchronization of a Multi-core RTOS Kernel.

Imane Haur, Jean-Luc Béchennec, Olivier H. Roux

Proceedings of the Formal Methods and Software Engineering, 2022

High-level Colored Time Petri Nets for true concurrency modeling in real-time software.

Imane Haur, Jean-Luc Béchennec, Olivier H. Roux

Proceedings of the 8th International Conference on Control, 2022

2021

Cost Problems for Parametric Time Petri Nets.

Didier Lime, Olivier H. Roux, Charlotte Seidner

Fundam. Informaticae, 2021

Logical time control of concurrent DES.

Jean-Luc Béchennec, Didier Lime, Olivier H. Roux

Discret. Event Dyn. Syst., 2021

Formal schedulability analysis based on multi-core RTOS model.

Imane Haur, Jean-Luc Béchennec, Olivier Henri Roux

Proceedings of the RTNS'2021: 29th International Conference on Real-Time Networks and Systems, 2021

Pipeline Optimization using a Cost Extension of Timed Petri Nets.

Rémi Parrot, Mikaël Briday, Olivier H. Roux

Proceedings of the 28th IEEE Symposium on Computer Arithmetic, 2021

Timed Petri Nets with Reset for Pipelined Synchronous Circuit Design.

Rémi Parrot, Mikaël Briday, Olivier H. Roux

Proceedings of the Application and Theory of Petri Nets and Concurrency, 2021

A Turn-Based Approach for Qualitative Time Concurrent Games.

Serge Haddad, Didier Lime, Olivier H. Roux

Proceedings of the Application and Theory of Petri Nets and Concurrency, 2021

2019

A game approach to the parametric control of real-time systems.

Aleksandra Jovanovic, Didier Lime, Olivier H. Roux

Int. J. Control, 2019

Preface.

Victor Khomenko, Jetty Kleijn, Wojciech Penczek, Olivier H. Roux

Fundam. Informaticae, 2019

Parameter Synthesis for Bounded Cost Reachability in Time Petri Nets.

Didier Lime, Olivier H. Roux, Charlotte Seidner

Proceedings of the Application and Theory of Petri Nets and Concurrency, 2019

Control of DES with Urgency, Avoidability and Ineluctability.

Jean-Luc Béchennec, Didier Lime, Olivier H. Roux

Proceedings of the 19th International Conference on Application of Concurrency to System Design, 2019

2018

Testing Real-Time Systems With Runtime Enforcement.

Jean-Luc Béchennec, Sébastien Faucou, Olivier H. Roux, Matthias Brun, Louis-Marie Givel

IEEE Des. Test, 2018

A Heuristic for Reachability Problem in Asynchronous Binary Automata Networks.

Xinwei Chai, Morgan Magnin, Olivier H. Roux

CoRR, 2018

Pomsets and Unfolding of Reset Petri Nets.

Thomas Chatain, Maurice Comlan, David Delfieu, Loïg Jezequel, Olivier H. Roux

Proceedings of the Language and Automata Theory and Applications, 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

Proceedings of the 21st International Conference on Intelligent Transportation Systems, 2018

Formal model-based conformance verification of an OSEK/VDX compliant RTOS.

Jean-Luc Béchennec, Olivier Henry Roux, Tigori Kabland Toussaint Gautier

Proceedings of the 5th International Conference on Control, 2018

Optimal-Cost Reachability Analysis Based on Time Petri Nets.

Hanifa Boucheneb, Didier Lime, Olivier H. Roux, Charlotte Seidner

Proceedings of the 18th International Conference on Application of Concurrency to System Design, 2018

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

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, Marie-Laure Moulinard, Anne-Cécile Orgerie, Jean-Louis Pazat, Olivier H. Roux, Ammar Sharaiha

Computing, 2017

Modeling Delayed Dynamics in Biological Regulatory Networks from Time Series Data.

Emna Ben Abdallah, Tony Ribeiro, Morgan Magnin, Olivier H. Roux, Katsumi Inoue

Algorithms, 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

Proceedings of the IEEE Intelligent Vehicles Symposium, 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

Proceedings of the 20th IEEE International Conference on Intelligent Transportation Systems, 2017

Optimal Reachability in Cost Time Petri Nets.

Hanifa Boucheneb, Didier Lime, Baptiste Parquier, Olivier H. Roux, Charlotte Seidner

Proceedings of the Formal Modeling and Analysis of Timed Systems, 2017

Coverability Synthesis in Parametric Petri Nets.

Nicolas David, Claude Jard, Didier Lime, Olivier H. Roux

Proceedings of the 28th International Conference on Concurrency Theory, 2017

2016

On-line compositional controller synthesis for AGV.

Johan Girault, Jean Jacques Loiseau, Olivier H. Roux

Discret. Event Dyn. Syst., 2016

Testing real-time embedded software using runtime enforcement.

Louis-Marie Givel, Jean-Luc Béchennec, Matthias Brun, Sébastien Faucou, Olivier H. Roux

Proceedings of the 11th IEEE Symposium on Industrial Embedded Systems, 2016

Decision Problems for Parametric Timed Automata.

Étienne André, Didier Lime, Olivier H. Roux

Proceedings of the Formal Methods and Software Engineering, 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é

Proceedings of the Formal Techniques for Safety-Critical Systems, 2016

On the Expressiveness of Parametric Timed Automata.

Étienne André, Didier Lime, Olivier H. Roux

Proceedings of the Formal Modeling and Analysis of Timed Systems, 2016

Probabilistic Time Petri Nets.

Yrvann Emzivat, Benoît Delahaye, Didier Lime, Olivier H. Roux

Proceedings of the Application and Theory of Petri Nets and Concurrency, 2016

2015

Integer Parameter Synthesis for Real-Time Systems.

Aleksandra Jovanovic, Didier Lime, Olivier H. Roux

IEEE Trans. Software Eng., 2015

Control and synthesis of non-interferent timed systems.

Gilles Benattar, Franck Cassez, Didier Lime, Olivier H. Roux

Int. J. Control, 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

Discrete Parameters in Petri Nets (Informal Presentation).

Nicolas David, Claude Jard, Didier Lime, Olivier H. Roux

Proceedings of the 2nd International Workshop on Synthesis of Complex Parameters, 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, Marie-Laure Moulinard, Anne-Cécile Orgerie, Jean-Louis Pazat, Olivier H. Roux, Ammar Sharaiha

Proceedings of the SMARTGREENS 2015, 2015

Integer-Complete Synthesis for Bounded Parametric Timed Automata.

Étienne André, Didier Lime, Olivier H. Roux

Proceedings of the Reachability Problems - 9th International Workshop, 2015

Use of Runtime Enforcement for the Test of Real-time Systems.

Louis-Marie Givel, Matthias Brun, Camille Constant, Sébastien Faucou, Olivier H. Roux

Proceedings of the 17th IEEE International Conference on High Performance Computing and Communications, 2015

Formal Synthesis of Optimal RTOS.

Tigori Kabland Toussaint Gautier, Jean-Luc Béchennec, Olivier Henry Roux

Proceedings of the 17th IEEE International Conference on High Performance Computing and Communications, 2015

Discrete Parameters in Petri Nets.

Nicolas David, Claude Jard, Didier Lime, Olivier H. Roux

Proceedings of the Application and Theory of Petri Nets and Concurrency, 2015

2014

Blending Timed Formal Models with Clock Transition Systems.

Claude Jard, Didier Lime, Olivier H. Roux

Fundam. Informaticae, 2014

Reactive embedded device driver synthesis using logical timed models.

Julien Tanguy, Jean-Luc Béchennec, Mikaël Briday, Olivier H. Roux

Proceedings of the 4th International Conference On Simulation And Modeling Methodologies, 2014

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

Symbolic unfolding of parametric stopwatch Petri nets.

Claude Jard, Didier Lime, Olivier H. Roux, Louis-Marie Traonouez

Formal Methods Syst. Des., 2013

Shrinking of Time Petri nets.

Didier Lime, Claude Martinez, Olivier H. Roux

Discret. Event Dyn. Syst., 2013

Integer Parameter Synthesis for Timed Automata.

Aleksandra Jovanovic, Didier Lime, Olivier H. Roux

Proceedings of the Tools and Algorithms for the Construction and Analysis of Systems, 2013

Device driver synthesis for embedded systems.

Julien Tanguy, Jean-Luc Béchennec, Mikaël Briday, Sebastien Dube, Olivier H. Roux

Proceedings of 2013 IEEE 18th Conference on Emerging Technologies & Factory Automation, 2013

Synthesis of Bounded Integer Parameters for Parametric Timed Reachability Games.

Aleksandra Jovanovic, Didier Lime, Olivier H. Roux

Proceedings of the Automated Technology for Verification and Analysis, 2013

On Multi-enabledness in Time Petri Nets.

Hanifa Boucheneb, Didier Lime, Olivier H. Roux

Proceedings of the Application and Theory of Petri Nets and Concurrency, 2013

Models for Real-Time Embedded Systems.

Didier Lime, Olivier H. Roux, Jirí Srba

Proceedings of the Communicating Embedded Systems, 2013

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, Kenneth Yrke Jørgensen, Didier Lime, Morgan Magnin, Olivier H. Roux, Louis-Marie Traonouez

Proceedings of the Communicating Embedded Systems, 2013

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

Real-time control with parametric timed reachability games.

Aleksandra Jovanovic, Sébastien Faucou, Didier Lime, Olivier H. Roux

Proceedings of the 11th International Workshop on Discrete Event Systems, 2012

FIFO time Petri nets for conflicts handling.

Hanifa Boucheneb, Adrien Bullich, Olivier H. Roux

Proceedings of the 11th International Workshop on Discrete Event Systems, 2012

Formal Behavioral Modeling of Real-time Operating Systems.

Cédrick Lelionnais, Matthias Brun, Jérôme Delatour, Olivier H. Roux, Charlotte Seidner

Proceedings of the ICEIS 2012 - Proceedings of the 14th International Conference on Enterprise Information Systems, Volume 2, Wroclaw, Poland, 28 June, 2012

Robustness of Time Petri Nets under Architectural Constraints.

S. Akshay, Loïc Hélouët, Claude Jard, Didier Lime, Olivier H. Roux

Proceedings of the Formal Modeling and Analysis of Timed Systems, 2012

Clock Transition Systems.

Didier Lime, Olivier H. Roux, Claude Jard

Proceedings of the 21th International Workshop on Concurrency, 2012

2011

Special issue on Modeling of Reactive Systems.

Claude Martinez, Olivier H. Roux

Discret. Event Dyn. Syst., 2011

2010

Diagnosis Using Unfoldings of Parametric Time Petri Nets.

Bartosz Grabiec, Louis-Marie Traonouez, Claude Jard, Didier Lime, Olivier H. Roux

Proceedings of the Formal Modeling and Analysis of Timed Systems, 2010

Symbolic Unfolding of Parametric Stopwatch Petri Nets.

Louis-Marie Traonouez, Bartosz Grabiec, Claude Jard, Didier Lime, Olivier H. Roux

Proceedings of the Automated Technology for Verification and Analysis, 2010

2009

Formal verification of real-time systems with preemptive scheduling.

Didier Lime, Olivier H. Roux

Real Time Syst., 2009

TCTL Model Checking of Time Petri Nets.

Hanifa Boucheneb, Guillaume Gardey, Olivier H. Roux

J. Log. Comput., 2009

Parametric Model-Checking of Stopwatch Petri Nets.

Louis-Marie Traonouez, Didier Lime, Olivier H. Roux

J. Univers. Comput. Sci., 2009

Expressiveness of Petri Nets with Stopwatches. Discrete-time Part.

Morgan Magnin, Pierre Molinaro, Olivier H. Roux

Fundam. Informaticae, 2009

Expressiveness of Petri Nets with Stopwatches. Dense-time Part.

Morgan Magnin, Pierre Molinaro, Olivier H. Roux

Fundam. Informaticae, 2009

Romeo: A Parametric Model-Checker for Petri Nets with Stopwatches.

Didier Lime, Olivier H. Roux, Charlotte Seidner, Louis-Marie Traonouez

Proceedings of the Tools and Algorithms for the Construction and Analysis of Systems, 2009

Synthesis of Non-Interferent Timed Systems.

Gilles Benattar, Franck Cassez, Didier Lime, Olivier H. Roux

Proceedings of the Formal Modeling and Analysis of Timed Systems, 2009

Modeling of Genetic Regulatory Network in Stochastic pi-Calculus.

Mylène Maurin, Morgan Magnin, Olivier H. Roux

Proceedings of the Bioinformatics and Computational Biology, 2009

Time Arc Petri Nets and Their Analysis.

Hind Rakkay, Hanifa Boucheneb, Olivier H. Roux

Proceedings of the Ninth International Conference on Application of Concurrency to System Design, 2009

2008

Formal Methods for Systems Engineering Behavior Models.

Charlotte Seidner, Olivier H. Roux

IEEE Trans. Ind. Informatics, 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

On the Compared Expressiveness of Arc, Place and Transition Time Petri Nets.

Marc Boyer, Olivier H. Roux

Fundam. Informaticae, 2008

A Study of the AADL Mode Change Protocol.

Dominique Bertrand, Anne-Marie Déplanche, Sébastien Faucou, Olivier H. Roux

Proceedings of the 13th International Conference on Engineering of Complex Computer Systems (ICECCS 2008), March 31 2008, 2008

Parametric Model-Checking of Time Petri Nets with Stopwatches Using the State-Class Graph.

Louis-Marie Traonouez, Didier Lime, Olivier H. Roux

Proceedings of the Formal Modeling and Analysis of Timed Systems, 2008

Symbolic State Space of Stopwatch Petri Nets with Discrete-Time Semantics (Theory Paper).

Morgan Magnin, Didier Lime, Olivier H. Roux

Proceedings of the Applications and Theory of Petri Nets, 29th International Conference, 2008

2007

Reachability Problems and Abstract State Spaces for Time Petri Nets with Stopwatches.

Bernard Berthomieu, Didier Lime, Olivier H. Roux, François Vernadat

Discret. Event Dyn. Syst., 2007

Comparison of the Expressiveness of Arc, Place and Transition Time Petri Nets.

Marc Boyer, Olivier H. Roux

Proceedings of the Petri Nets and Other Models of Concurrency, 2007

2006

Vérification formelle des systèmes temps-réel avec ordonnancement préemptif.

Didier Lime, Olivier H. Roux

Tech. Sci. Informatiques, 2006

State space computation and analysis of Time Petri Nets.

Guillaume Gardey, Olivier H. Roux, Olivier F. Roux

Theory Pract. Log. Program., 2006

Model Checking of Time Petri Nets Using the State Class Timed Automaton.

Didier Lime, Olivier H. Roux

Discret. Event Dyn. Syst., 2006

2005

An Efficient Method for Computing Exact State Space of Petri Nets With Stopwatches.

Morgan Magnin, Didier Lime, Olivier H. Roux

Proceedings of the 3rd Workshop on Software Model Checking, 2005

Non-Interference Control Synthesis for Security Timed Automata.

Guillaume Gardey, John Mullins, Olivier H. Roux

Proceedings of the International Workshop on Security and Concurrency, SecCo@CONCUR 2005, 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

Proceedings of the Formal Modeling and Analysis of Timed Systems, 2005

Romeo: A Tool for Analyzing Time Petri Nets.

Guillaume Gardey, Didier Lime, Morgan Magnin, Olivier H. Roux

Proceedings of the Computer Aided Verification, 17th International Conference, 2005

Comparison of Different Semantics for Time Petri Nets.

Béatrice Bérard, Franck Cassez, Serge Haddad, Didier Lime, Olivier H. Roux

Proceedings of the Automated Technology for Verification and Analysis, 2005

2004

A Timed Extension for ALTARICA.

Franck Cassez, Claire Pagetti, Olivier H. Roux

Fundam. Informaticae, 2004

Structural Translation from Time Petri Nets to Timed Automata.

Franck Cassez, Olivier H. Roux

Proceedings of the Fouth International Workshop on Automated Verification of Critical Systems, 2004

A Translation Based Method for the Timed Analysis of Scheduling Extended Time Petri Nets.

Didier Lime, Olivier H. Roux

Proceedings of the 25th IEEE Real-Time Systems Symposium (RTSS 2004), 2004

Time Petri Nets with Inhibitor Hyperarcs. Formal Semantics and State Space Computation.

Olivier H. Roux, Didier Lime

Proceedings of the Applications and Theory of Petri Nets 2004, 2004

2003

State class timed automaton of a time Petri net.

Didier Lime, Olivier H. Roux

Proceedings of the 10th International Workshop on Petri Nets and Performance Models, 2003

Using Zone Graph Method for Computing the State Space of a Time Petri Net.

Guillaume Gardey, Olivier H. Roux, Olivier F. Roux

Proceedings of the Formal Modeling and Analysis of Timed Systems: First International Workshop, 2003

2001

Discrete time approach of time Petri nets for real-time systems analysis.

Olivier H. Roux, David Delfieu, Pierre Molinaro

Proceedings of 8th IEEE International Conference on Emerging Technologies and Factory Automation, 2001

1993

Oreste : a Reliable Reactive Real-Time Language.

Pierre Molinaro, Olivier H. Roux

Proceedings of the 12th International Conference on Computer Safety, 1993