Olivier H. Roux

ORCID

Publication Activity (10 Years)

Years Active: 1993-2023
Publications (10 Years): 38

Top Venues

Petri Nets

Discret. Event Dyn. Syst.

CoRR

Fundam. Informaticae

Publications

Loriane Leclercq, Didier Lime, Olivier H. Roux
A State Class Based Controller Synthesis Approach for Time Petri Nets. Petri Nets (2023)
Rémi Parrot, Mikaël Briday, Olivier H. Roux
Design and verification of pipelined circuits with Timed Petri Nets. Discret. Event Dyn. Syst. 33 (1) (2023)
Imane Haur, Jean-Luc Béchennec, Olivier H. Roux
Formal verification process of the compliance of a multicore AUTOSAR OS. Softw. Qual. J. 31 (2) (2023)
Étienne André, Didier Lime, Olivier H. Roux
Dense Integer-Complete Synthesis for Bounded Parametric Timed Automata. CoRR (2023)
Antoine Bernabeu, Jean-Luc Béchennec, Mikaël Briday, Sébastien Faucou, Olivier H. Roux
Cost-optimal timed trace synthesis for scheduling of intermittent embedded systems. Discret. Event Dyn. Syst. 33 (1) (2023)
Anthony Spriet, Didier Lime, Olivier H. Roux
Timed Non-interference Under Partial Observability and Bounded Memory. FORMATS (2023)
Aleksandra Jovanovic, Didier Lime, Olivier H. Roux
Control of Real-Time Systems With Integer Parameters. IEEE Trans. Autom. Control. 67 (1) (2022)
Imane Haur, Jean-Luc Béchennec, Olivier H. Roux
Formal Verification of the Inter-core Synchronization of a Multi-core RTOS Kernel. ICFEM (2022)
Imane Haur, Jean-Luc Béchennec, Olivier H. Roux
High-level Colored Time Petri Nets for true concurrency modeling in real-time software. CoDIT (2022)
Étienne André, Didier Lime, Olivier H. Roux
Reachability and liveness in parametric timed automata. Log. Methods Comput. Sci. 18 (1) (2022)
Rémi Parrot, Mikaël Briday, Olivier H. Roux
Timed Petri Nets with Reset for Pipelined Synchronous Circuit Design. Petri Nets (2021)
Didier Lime, Olivier H. Roux, Charlotte Seidner
Cost Problems for Parametric Time Petri Nets. CoRR (2021)
Jean-Luc Béchennec, Didier Lime, Olivier H. Roux
Logical time control of concurrent DES. Discret. Event Dyn. Syst. 31 (2) (2021)
Rémi Parrot, Mikaël Briday, Olivier H. Roux
Pipeline Optimization using a Cost Extension of Timed Petri Nets. ARITH (2021)
Serge Haddad, Didier Lime, Olivier H. Roux
A Turn-Based Approach for Qualitative Time Concurrent Games. Petri Nets (2021)
Didier Lime, Olivier H. Roux, Charlotte Seidner
Cost Problems for Parametric Time Petri Nets. Fundam. Informaticae 183 (1-2) (2021)
Étienne André, Didier Lime, Olivier H. Roux
Reachability and liveness in parametric timed automata. CoRR (2020)
Didier Lime, Olivier H. Roux, Charlotte Seidner
Parameter Synthesis for Bounded Cost Reachability in Time Petri Nets. Petri Nets (2019)
Jean-Luc Béchennec, Didier Lime, Olivier H. Roux
Control of DES with Urgency, Avoidability and Ineluctability. ACSD (2019)
Aleksandra Jovanovic, Didier Lime, Olivier H. Roux
A game approach to the parametric control of real-time systems. Int. J. Control 92 (9) (2019)
Victor Khomenko, Jetty Kleijn, Wojciech Penczek, Olivier H. Roux
Preface. Fundam. Informaticae 169 (1-2) (2019)
Yrvann Emzivat, Javier Ibañez-Guzmán, Herve Illy, Philippe Martinet, Olivier H. Roux
A Formal Approach for the Design of a Dependable Perception System for Autonomous Vehicles. ITSC (2018)
Thomas Chatain, Maurice Comlan, David Delfieu, Loïg Jezequel, Olivier H. Roux
Pomsets and Unfolding of Reset Petri Nets. LATA (2018)
Xinwei Chai, Morgan Magnin, Olivier H. Roux
A Heuristic for Reachability Problem in Asynchronous Binary Automata Networks. CoRR (2018)
Jean-Luc Béchennec, Sébastien Faucou, Olivier H. Roux, Matthias Brun, Louis-Marie Givel
Testing Real-Time Systems With Runtime Enforcement. IEEE Des. Test 35 (4) (2018)
Hanifa Boucheneb, Didier Lime, Olivier H. Roux, Charlotte Seidner
Optimal-Cost Reachability Analysis Based on Time Petri Nets. ACSD (2018)
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
Towards energy-proportional clouds partially powered by renewable energy. Computing 99 (1) (2017)
Emna Ben Abdallah, Tony Ribeiro, Morgan Magnin, Olivier H. Roux, Katsumi Inoue
Modeling Delayed Dynamics in Biological Regulatory Networks from Time Series Data. Algorithms 10 (1) (2017)
Yrvann Emzivat, Javier Ibañez-Guzmán, Philippe Martinet, Olivier H. Roux
Adaptability of automated driving systems to the hazardous nature of road networks. ITSC (2017)
Hanifa Boucheneb, Didier Lime, Baptiste Parquier, Olivier H. Roux, Charlotte Seidner
Optimal Reachability in Cost Time Petri Nets. FORMATS (2017)
Nicolas David, Claude Jard, Didier Lime, Olivier H. Roux
Coverability Synthesis in Parametric Petri Nets. CONCUR (2017)
Yrvann Emzivat, Javier Ibañez-Guzmán, Philippe Martinet, Olivier H. Roux
Dynamic driving task fallback for an automated driving system whose ability to monitor the driving environment has been compromised. Intelligent Vehicles Symposium (2017)
Johan Girault, Jean Jacques Loiseau, Olivier H. Roux
On-line compositional controller synthesis for AGV. Discret. Event Dyn. Syst. 26 (4) (2016)
Baptiste Parquier, Laurent Rioux, Rafik Henia, Romain Soulat, Olivier H. Roux, Didier Lime, Étienne André
Applying Parametric Model-Checking Techniques for Reusing Real-Time Critical Systems. FTSCS (2016)
Étienne André, Didier Lime, Olivier H. Roux
Decision Problems for Parametric Timed Automata. ICFEM (2016)
Louis-Marie Givel, Jean-Luc Béchennec, Matthias Brun, Sébastien Faucou, Olivier H. Roux
Testing real-time embedded software using runtime enforcement. SIES (2016)
Étienne André, Didier Lime, Olivier H. Roux
On the Expressiveness of Parametric Timed Automata. FORMATS (2016)
Yrvann Emzivat, Benoît Delahaye, Didier Lime, Olivier H. Roux
Probabilistic Time Petri Nets. Petri Nets (2016)
Nicolas David, Claude Jard, Didier Lime, Olivier H. Roux
Discrete Parameters in Petri Nets (Informal Presentation). SynCoP (2015)
Nicolas David, Claude Jard, Didier Lime, Olivier H. Roux
Discrete Parameters in Petri Nets. Petri Nets (2015)
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
The EPOC Project - Energy Proportional and Opportunistic Computing System. SMARTGREENS (2015)
Francisco Chinesta, Morgan Magnin, Olivier H. Roux, Amine Ammar, Elías Cueto
Kinetic Theory Modeling and Efficient Numerical Simulation of Gene Regulatory Networks Based on Qualitative Descriptions. Entropy 17 (4) (2015)
Aleksandra Jovanovic, Didier Lime, Olivier H. Roux
Integer Parameter Synthesis for Real-Time Systems. IEEE Trans. Software Eng. 41 (5) (2015)
Gilles Benattar, Franck Cassez, Didier Lime, Olivier H. Roux
Control and synthesis of non-interferent timed systems. Int. J. Control 88 (2) (2015)
Louis-Marie Givel, Matthias Brun, Camille Constant, Sébastien Faucou, Olivier H. Roux
Use of Runtime Enforcement for the Test of Real-time Systems. HPCC/CSS/ICESS (2015)
Étienne André, Didier Lime, Olivier H. Roux
Integer-Complete Synthesis for Bounded Parametric Timed Automata. RP (2015)
Claude Jard, Didier Lime, Olivier H. Roux
Blending Timed Formal Models with Clock Transition Systems. Fundam. Informaticae 129 (1-2) (2014)
Julien Tanguy, Jean-Luc Béchennec, Mikaël Briday, Olivier H. Roux
Reactive embedded device driver synthesis using logical timed models. SIMULTECH (2014)
Aleksandra Jovanovic, Didier Lime, Olivier H. Roux
Integer Parameter Synthesis for Timed Automata. TACAS (2013)
Béatrice Bérard, Franck Cassez, Serge Haddad, Didier Lime, Olivier H. Roux
The expressive power of time Petri nets. Theor. Comput. Sci. 474 (2013)
Claude Jard, Didier Lime, Olivier H. Roux, Louis-Marie Traonouez
Symbolic unfolding of parametric stopwatch Petri nets. Formal Methods Syst. Des. 43 (3) (2013)
Hanifa Boucheneb, Didier Lime, Olivier H. Roux
On Multi-enabledness in Time Petri Nets. Petri Nets (2013)
Didier Lime, Claude Martinez, Olivier H. Roux
Shrinking of Time Petri nets. Discret. Event Dyn. Syst. 23 (4) (2013)
Aleksandra Jovanovic, Didier Lime, Olivier H. Roux
Synthesis of Bounded Integer Parameters for Parametric Timed Reachability Games. ATVA (2013)
Julien Tanguy, Jean-Luc Béchennec, Mikaël Briday, Sebastien Dube, Olivier H. Roux
Device driver synthesis for embedded systems. ETFA (2013)
S. Akshay, Loïc Hélouët, Claude Jard, Didier Lime, Olivier H. Roux
Robustness of Time Petri Nets under Architectural Constraints. FORMATS (2012)
Aleksandra Jovanovic, Sébastien Faucou, Didier Lime, Olivier H. Roux
Real-time control with parametric timed reachability games. WODES (2012)
Cédrick Lelionnais, Matthias Brun, Jérôme Delatour, Olivier H. Roux, Charlotte Seidner
Formal Behavioral Modeling of Real-time Operating Systems. ICEIS (2) (2012)
Hanifa Boucheneb, Adrien Bullich, Olivier H. Roux
FIFO time Petri nets for conflicts handling. WODES (2012)
Gilles Benattar, Béatrice Bérard, Didier Lime, John Mullins, Olivier H. Roux, Mathieu Sassolas
Channel Synthesis for Finite Transducers. Int. J. Found. Comput. Sci. 23 (6) (2012)
Didier Lime, Olivier H. Roux, Claude Jard
Clock Transition Systems. CS&P (2012)
Gilles Benattar, Franck Cassez, Didier Lime, Olivier H. Roux
Control and Synthesis of Non-Interferent Timed Systems CoRR (2012)
Claude Martinez, Olivier H. Roux
Special issue on Modeling of Reactive Systems. Discret. Event Dyn. Syst. 21 (3) (2011)
Gilles Benattar, Béatrice Bérard, Didier Lime, John Mullins, Olivier H. Roux, Mathieu Sassolas
Channel Synthesis for Finite Transducers. AFL (2011)
Bartosz Grabiec, Louis-Marie Traonouez, Claude Jard, Didier Lime, Olivier H. Roux
Diagnosis Using Unfoldings of Parametric Time Petri Nets. FORMATS (2010)
Louis-Marie Traonouez, Bartosz Grabiec, Claude Jard, Didier Lime, Olivier H. Roux
Symbolic Unfolding of Parametric Stopwatch Petri Nets. ATVA (2010)
Didier Lime, Olivier H. Roux
Formal verification of real-time systems with preemptive scheduling. Real Time Syst. 41 (2) (2009)
Morgan Magnin, Pierre Molinaro, Olivier H. Roux
Expressiveness of Petri Nets with Stopwatches. Dense-time Part. Fundam. Informaticae 97 (1-2) (2009)
Louis-Marie Traonouez, Didier Lime, Olivier H. Roux
Parametric Model-Checking of Stopwatch Petri Nets. J. Univers. Comput. Sci. 15 (17) (2009)
Hanifa Boucheneb, Guillaume Gardey, Olivier H. Roux
TCTL Model Checking of Time Petri Nets. J. Log. Comput. 19 (6) (2009)
Morgan Magnin, Pierre Molinaro, Olivier H. Roux
Expressiveness of Petri Nets with Stopwatches. Discrete-time Part. Fundam. Informaticae 97 (1-2) (2009)
Mylène Maurin, Morgan Magnin, Olivier H. Roux
Modeling of Genetic Regulatory Network in Stochastic pi-Calculus. BICoB (2009)
Didier Lime, Olivier H. Roux, Charlotte Seidner, Louis-Marie Traonouez
Romeo: A Parametric Model-Checker for Petri Nets with Stopwatches. TACAS (2009)
Hind Rakkay, Hanifa Boucheneb, Olivier H. Roux
Time Arc Petri Nets and Their Analysis. ACSD (2009)
Gilles Benattar, Franck Cassez, Didier Lime, Olivier H. Roux
Synthesis of Non-Interferent Timed Systems. FORMATS (2009)
Dominique Bertrand, Anne-Marie Déplanche, Sébastien Faucou, Olivier H. Roux
A Study of the AADL Mode Change Protocol. ICECCS (2008)
Charlotte Seidner, Olivier H. Roux
Formal Methods for Systems Engineering Behavior Models. IEEE Trans. Ind. Informatics 4 (4) (2008)
Morgan Magnin, Didier Lime, Olivier H. Roux
Symbolic State Space of Stopwatch Petri Nets with Discrete-Time Semantics (Theory Paper). Petri Nets (2008)
Louis-Marie Traonouez, Didier Lime, Olivier H. Roux
Parametric Model-Checking of Time Petri Nets with Stopwatches Using the State-Class Graph. FORMATS (2008)
Marc Boyer, Olivier H. Roux
On the Compared Expressiveness of Arc, Place and Transition Time Petri Nets. Fundam. Informaticae 88 (3) (2008)
Béatrice Bérard, Franck Cassez, Serge Haddad, Didier Lime, Olivier H. Roux
When are Timed Automata weakly timed bisimilar to Time Petri Nets? Theor. Comput. Sci. 403 (2-3) (2008)
Guillaume Gardey, John Mullins, Olivier H. Roux
Non-Interference Control Synthesis for Security Timed Automata. Electron. Notes Theor. Comput. Sci. 180 (1) (2007)
Marc Boyer, Olivier H. Roux
Comparison of the Expressiveness of Arc, Place and Transition Time Petri Nets. ICATPN (2007)
Bernard Berthomieu, Didier Lime, Olivier H. Roux, François Vernadat
Reachability Problems and Abstract State Spaces for Time Petri Nets with Stopwatches. Discret. Event Dyn. Syst. 17 (2) (2007)
Didier Lime, Olivier H. Roux
Model Checking of Time Petri Nets Using the State Class Timed Automaton. Discret. Event Dyn. Syst. 16 (2) (2006)
Morgan Magnin, Didier Lime, Olivier H. Roux
An Efficient Method for Computing Exact State Space of Petri Nets With Stopwatches. Electron. Notes Theor. Comput. Sci. 144 (3) (2006)
Franck Cassez, Olivier H. Roux
Structural translation from Time Petri Nets to Timed Automata. J. Syst. Softw. 79 (10) (2006)
Guillaume Gardey, Olivier H. Roux, Olivier F. Roux
State space computation and analysis of Time Petri Nets. Theory Pract. Log. Program. 6 (3) (2006)
Didier Lime, Olivier H. Roux
Vérification formelle des systèmes temps-réel avec ordonnancement préemptif. Tech. Sci. Informatiques 25 (3) (2006)
Béatrice Bérard, Franck Cassez, Serge Haddad, Didier Lime, Olivier H. Roux
Comparison of Different Semantics for Time Petri Nets. ATVA (2005)
Béatrice Bérard, Franck Cassez, Serge Haddad, Didier Lime, Olivier H. Roux
Comparison of the Expressiveness of Timed Automata and Time Petri Nets. FORMATS (2005)
Guillaume Gardey, Olivier H. Roux, Olivier F. Roux
State Space Computation and Analysis of Time Petri Nets CoRR (2005)
Franck Cassez, Olivier H. Roux
Structural Translation from Time Petri Nets to Timed Automata. Electron. Notes Theor. Comput. Sci. 128 (6) (2005)
Béatrice Bérard, Franck Cassez, Serge Haddad, Didier Lime, Olivier H. Roux
When Are Timed Automata Weakly Timed Bisimilar to Time Petri Nets? FSTTCS (2005)
Guillaume Gardey, Didier Lime, Morgan Magnin, Olivier H. Roux
Romeo: A Tool for Analyzing Time Petri Nets. CAV (2005)
Franck Cassez, Claire Pagetti, Olivier H. Roux
A Timed Extension for ALTARICA. Fundam. Informaticae 62 (3-4) (2004)
Olivier H. Roux, Didier Lime
Time Petri Nets with Inhibitor Hyperarcs. Formal Semantics and State Space Computation. ICATPN (2004)
Didier Lime, Olivier H. Roux
A Translation Based Method for the Timed Analysis of Scheduling Extended Time Petri Nets. RTSS (2004)
Didier Lime, Olivier H. Roux
State class timed automaton of a time Petri net. PNPM (2003)
Guillaume Gardey, Olivier H. Roux, Olivier F. Roux
Using Zone Graph Method for Computing the State Space of a Time Petri Net. FORMATS (2003)

Olivier H. Roux.css-eqlu8i{font-size:small;padding-left:4px;}

Publication Activity (10 Years)

Top Topics

Top Venues

Olivier H. Roux