default search action
Olivier H. Roux
Olivier Henri Roux – Olivier Henry Roux
Person information
- affiliation: IRCCyN / École Centrale de Nantes, Nantes, France
- not to be confused with: Olivier F. Roux
Refine list
refinements active!
zoomed in on ?? of ?? records
view refined list in
export refined list as
showing all ?? records
2020 – today
- 2024
- [c64]Loriane Leclercq
, Didier Lime
On Parametric DBMs and Their Applications to Time Petri Nets. QEST+FORMATS 2024: 107-124 - 2023
- [j38]Rémi Parrot
Design and verification of pipelined circuits with Timed Petri Nets. Discret. Event Dyn. Syst. 33(1): 1-24 (2023) - [j37]Antoine Bernabeu
Cost-optimal timed trace synthesis for scheduling of intermittent embedded systems. Discret. Event Dyn. Syst. 33(1): 63-93 (2023) - [j36]Imane Haur
Formal verification process of the compliance of a multicore AUTOSAR OS. Softw. Qual. J. 31(2): 497-531 (2023) - [c63]Loriane Leclercq
A State Class Based Controller Synthesis Approach for Time Petri Nets. Petri Nets 2023: 393-414 - [c62]Anthony Spriet, Didier Lime, Olivier H. Roux:
Timed Non-interference Under Partial Observability and Bounded Memory. FORMATS 2023: 122-137 - [i6]Étienne André, Didier Lime, Olivier H. Roux:
Dense Integer-Complete Synthesis for Bounded Parametric Timed Automata. CoRR abs/2310.09109 (2023) - 2022
- [j35]Thomas Chatain, Maurice Comlan
Pomset bisimulation and unfolding for reset Petri nets. Inf. Comput. 283: 104674 (2022) - [j34]Étienne André, Didier Lime, Olivier H. Roux:
Reachability and liveness in parametric timed automata. Log. Methods Comput. Sci. 18(1) (2022) - [j33]Aleksandra Jovanovic
Control of Real-Time Systems With Integer Parameters. IEEE Trans. Autom. Control. 67(1): 75-88 (2022) - [c61]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: 21-26 - [c60]Imane Haur, Jean-Luc Béchennec, Olivier H. Roux:
Formal Verification of the Inter-core Synchronization of a Multi-core RTOS Kernel. ICFEM 2022: 140-155 - 2021
- [j32]Jean-Luc Béchennec
Logical time control of concurrent DES. Discret. Event Dyn. Syst. 31(2): 185-217 (2021) - [j31]Didier Lime, Olivier H. Roux
Cost Problems for Parametric Time Petri Nets. Fundam. Informaticae 183(1-2): 97-123 (2021) - [c59]Rémi Parrot
Timed Petri Nets with Reset for Pipelined Synchronous Circuit Design. Petri Nets 2021: 55-75 - [c58]Serge Haddad, Didier Lime
A Turn-Based Approach for Qualitative Time Concurrent Games. Petri Nets 2021: 76-92 - [c57]Rémi Parrot
Pipeline Optimization using a Cost Extension of Timed Petri Nets. ARITH 2021: 37-44 - [c56]Imane Haur, Jean-Luc Béchennec, Olivier Henri Roux:
Formal schedulability analysis based on multi-core RTOS model. RTNS 2021: 216-225 - [i5]Didier Lime, Olivier H. Roux, Charlotte Seidner:
Cost Problems for Parametric Time Petri Nets. CoRR abs/2109.03658 (2021) - 2020
- [i4]Étienne André, Didier Lime, Olivier H. Roux:
Reachability and liveness in parametric timed automata. CoRR abs/2004.09171 (2020)
2010 – 2019
- 2019
- [j30]Victor Khomenko, Jetty Kleijn, Wojciech Penczek, Olivier H. Roux:
Preface. Fundam. Informaticae 169(1-2): v-vi (2019) - [j29]Aleksandra Jovanovic, Didier Lime
A game approach to the parametric control of real-time systems. Int. J. Control 92(9): 2025-2036 (2019) - [c55]Jean-Luc Béchennec, Didier Lime, Olivier H. Roux:
Control of DES with Urgency, Avoidability and Ineluctability. ACSD 2019: 92-101 - [c54]Didier Lime
Parameter Synthesis for Bounded Cost Reachability in Time Petri Nets. Petri Nets 2019: 406-425 - 2018
- [j28]Jean-Luc Béchennec
Testing Real-Time Systems With Runtime Enforcement. IEEE Des. Test 35(4): 31-37 (2018) - [c53]Hanifa Boucheneb, Didier Lime
Optimal-Cost Reachability Analysis Based on Time Petri Nets. ACSD 2018: 30-39 - [c52]Jean-Luc Béchennec, Olivier Henry Roux, Tigori Kabland Toussaint Gautier:
Formal model-based conformance verification of an OSEK/VDX compliant RTOS. CoDIT 2018: 628-634 - [c51]Yrvann Emzivat, Javier Ibañez-Guzmán, Herve Illy
A Formal Approach for the Design of a Dependable Perception System for Autonomous Vehicles. ITSC 2018: 2452-2459 - [c50]Thomas Chatain, Maurice Comlan
Pomsets and Unfolding of Reset Petri Nets. LATA 2018: 258-270 - [e2]Victor Khomenko, Olivier H. Roux:
Application and Theory of Petri Nets and Concurrency - 39th International Conference, PETRI NETS 2018, Bratislava, Slovakia, June 24-29, 2018, Proceedings. Lecture Notes in Computer Science 10877, Springer 2018, ISBN 978-3-319-91267-7 [contents] - [i3]Xinwei Chai, Morgan Magnin, Olivier H. Roux:
A Heuristic for Reachability Problem in Asynchronous Binary Automata Networks. CoRR abs/1804.07543 (2018) - 2017
- [j27]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): 8 (2017) - [j26]Nicolas Beldiceanu, Barbara Dumas Feris, Philippe Gravey, Md Sabbir Hasan, Claude Jard, Thomas Ledoux, Yunbo Li, Didier Lime
Towards energy-proportional clouds partially powered by renewable energy. Computing 99(1): 3-22 (2017) - [j25]Tigori Kabland Toussaint Gautier, Jean-Luc Béchennec
Formal Model-Based Synthesis of Application-Specific Static RTOS. ACM Trans. Embed. Comput. Syst. 16(4): 97:1-97:25 (2017) - [c49]Nicolas David, Claude Jard, Didier Lime
Coverability Synthesis in Parametric Petri Nets. CONCUR 2017: 14:1-14:16 - [c48]Hanifa Boucheneb, Didier Lime
Optimal Reachability in Cost Time Petri Nets. FORMATS 2017: 58-73 - [c47]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: 1-6 - [c46]Yrvann Emzivat, Javier Ibañez-Guzmán, Philippe Martinet
Dynamic driving task fallback for an automated driving system whose ability to monitor the driving environment has been compromised. Intelligent Vehicles Symposium 2017: 1841-1847 - 2016
- [j24]Johan Girault, Jean Jacques Loiseau
On-line compositional controller synthesis for AGV. Discret. Event Dyn. Syst. 26(4): 583-610 (2016) - [c45]Yrvann Emzivat, Benoît Delahaye, Didier Lime
Probabilistic Time Petri Nets. Petri Nets 2016: 261-280 - [c44]Étienne André
On the Expressiveness of Parametric Timed Automata. FORMATS 2016: 19-34 - [c43]Baptiste Parquier, Laurent Rioux, Rafik Henia, Romain Soulat, Olivier H. Roux, Didier Lime
Applying Parametric Model-Checking Techniques for Reusing Real-Time Critical Systems. FTSCS 2016: 129-144 - [c42]Étienne André
Decision Problems for Parametric Timed Automata. ICFEM 2016: 400-416 - [c41]Louis-Marie Givel, Jean-Luc Béchennec, Matthias Brun, Sébastien Faucou
Testing real-time embedded software using runtime enforcement. SIES 2016: 199-204 - 2015
- [j23]Francisco Chinesta, Morgan Magnin, Olivier H. Roux, Amine Ammar
Kinetic Theory Modeling and Efficient Numerical Simulation of Gene Regulatory Networks Based on Qualitative Descriptions. Entropy 17(4): 1896-1915 (2015) - [j22]Gilles Benattar, Franck Cassez
Control and synthesis of non-interferent timed systems. Int. J. Control 88(2): 217-236 (2015) - [j21]Aleksandra Jovanovic, Didier Lime
Integer Parameter Synthesis for Real-Time Systems. IEEE Trans. Software Eng. 41(5): 445-461 (2015) - [c40]Nicolas David, Claude Jard, Didier Lime
Discrete Parameters in Petri Nets. Petri Nets 2015: 137-156 - [c39]Tigori Kabland Toussaint Gautier, Jean-Luc Béchennec
Formal Synthesis of Optimal RTOS. HPCC/CSS/ICESS 2015: 977-983 - [c38]Louis-Marie Givel, Matthias Brun, Camille Constant, Sébastien Faucou
Use of Runtime Enforcement for the Test of Real-time Systems. HPCC/CSS/ICESS 2015: 984-990 - [c37]Étienne André
Integer-Complete Synthesis for Bounded Parametric Timed Automata. RP 2015: 7-19 - [c36]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: 388-394 - [c35]Nicolas David, Claude Jard, Didier Lime, Olivier H. Roux:
Discrete Parameters in Petri Nets (Informal Presentation). SynCoP 2015: 103-103 - 2014
- [j20]Claude Jard, Didier Lime
Blending Timed Formal Models with Clock Transition Systems. Fundam. Informaticae 129(1-2): 85-100 (2014) - [c34]Julien Tanguy, Jean-Luc Béchennec, Mikaël Briday, Olivier H. Roux:
Reactive embedded device driver synthesis using logical timed models. SIMULTECH 2014: 163-169 - 2013
- [j19]Didier Lime
Shrinking of Time Petri nets. Discret. Event Dyn. Syst. 23(4): 419-438 (2013) - [j18]Claude Jard, Didier Lime
Symbolic unfolding of parametric stopwatch Petri nets. Formal Methods Syst. Des. 43(3): 493-519 (2013) - [j17]Béatrice Bérard, Franck Cassez
The expressive power of time Petri nets. Theor. Comput. Sci. 474: 1-20 (2013) - [c33]Hanifa Boucheneb, Didier Lime
On Multi-enabledness in Time Petri Nets. Petri Nets 2013: 130-149 - [c32]Aleksandra Jovanovic, Didier Lime
Synthesis of Bounded Integer Parameters for Parametric Timed Reachability Games. ATVA 2013: 87-101 - [c31]Julien Tanguy, Jean-Luc Béchennec, Mikaël Briday, Sebastien Dube, Olivier H. Roux:
Device driver synthesis for embedded systems. ETFA 2013: 1-8 - [c30]Aleksandra Jovanovic, Didier Lime
Integer Parameter Synthesis for Timed Automata. TACAS 2013: 401-415 - [p2]Didier Lime
Models for Real-Time Embedded Systems. Communicating Embedded Systems 2013: 1-37 - [p1]Alexandre David, Gerd Behrmann, Peter E. Bulychev, Joakim Byg, Thomas Chatain, Kim G. Larsen
Tools for Model-Checking Timed Systems. Communicating Embedded Systems 2013: 165-225 - [e1]Claude Jard, Olivier H. Roux:
Communicating Embedded Systems. Wiley 2013, ISBN 978-1-84821-143-8 [contents] - 2012
- [j16]Gilles Benattar, Béatrice Bérard, Didier Lime
Channel Synthesis for Finite Transducers. Int. J. Found. Comput. Sci. 23(6): 1241-1260 (2012) - [c29]Didier Lime, Olivier H. Roux, Claude Jard:
Clock Transition Systems. CS&P 2012: 227-238 - [c28]S. Akshay, Loïc Hélouët, Claude Jard, Didier Lime
Robustness of Time Petri Nets under Architectural Constraints. FORMATS 2012: 11-26 - [c27]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: 407-414 - [c26]Hanifa Boucheneb, Adrien Bullich, Olivier H. Roux:
FIFO time Petri nets for conflicts handling. WODES 2012: 143-148 - [c25]Aleksandra Jovanovic, Sébastien Faucou
Real-time control with parametric timed reachability games. WODES 2012: 323-330 - [i2]Gilles Benattar, Franck Cassez, Didier Lime, Olivier H. Roux:
Control and Synthesis of Non-Interferent Timed Systems. CoRR abs/1207.4984 (2012) - 2011
- [j15]Claude Martinez, Olivier H. Roux:
Special issue on Modeling of Reactive Systems. Discret. Event Dyn. Syst. 21(3): 305-306 (2011) - [c24]Gilles Benattar, Béatrice Bérard, Didier Lime, John Mullins, Olivier H. Roux, Mathieu Sassolas:
Channel Synthesis for Finite Transducers. AFL 2011: 79-92 - 2010
- [c23]Louis-Marie Traonouez, Bartosz Grabiec, Claude Jard, Didier Lime
Symbolic Unfolding of Parametric Stopwatch Petri Nets. ATVA 2010: 291-305 - [c22]Bartosz Grabiec, Louis-Marie Traonouez, Claude Jard, Didier Lime
Diagnosis Using Unfoldings of Parametric Time Petri Nets. FORMATS 2010: 137-151
2000 – 2009
- 2009
- [j14]Morgan Magnin, Pierre Molinaro, Olivier H. Roux:
Expressiveness of Petri Nets with Stopwatches. Dense-time Part. Fundam. Informaticae 97(1-2): 111-138 (2009) - [j13]Morgan Magnin, Pierre Molinaro, Olivier H. Roux:
Expressiveness of Petri Nets with Stopwatches. Discrete-time Part. Fundam. Informaticae 97(1-2): 139-176 (2009) - [j12]Louis-Marie Traonouez, Didier Lime, Olivier H. Roux:
Parametric Model-Checking of Stopwatch Petri Nets. J. Univers. Comput. Sci. 15(17): 3273-3304 (2009) - [j11]Hanifa Boucheneb, Guillaume Gardey, Olivier H. Roux:
TCTL Model Checking of Time Petri Nets. J. Log. Comput. 19(6): 1509-1540 (2009) - [j10]Didier Lime
Formal verification of real-time systems with preemptive scheduling. Real Time Syst. 41(2): 118-151 (2009) - [c21]Hind Rakkay, Hanifa Boucheneb
Time Arc Petri Nets and Their Analysis. ACSD 2009: 138-147 - [c20]Mylène Maurin, Morgan Magnin, Olivier H. Roux:
Modeling of Genetic Regulatory Network in Stochastic pi-Calculus. BICoB 2009: 282-294 - [c19]Gilles Benattar, Franck Cassez, Didier Lime, Olivier H. Roux:
Synthesis of Non-Interferent Timed Systems. FORMATS 2009: 28-42 - [c18]Didier Lime
Romeo: A Parametric Model-Checker for Petri Nets with Stopwatches. TACAS 2009: 54-57 - 2008
- [j9]Marc Boyer, Olivier H. Roux:
On the Compared Expressiveness of Arc, Place and Transition Time Petri Nets. Fundam. Informaticae 88(3): 225-249 (2008) - [j8]Béatrice Bérard, Franck Cassez
When are Timed Automata weakly timed bisimilar to Time Petri Nets? Theor. Comput. Sci. 403(2-3): 202-220 (2008) - [j7]Charlotte Seidner, Olivier H. Roux:
Formal Methods for Systems Engineering Behavior Models. IEEE Trans. Ind. Informatics 4(4): 280-291 (2008) - [c17]Morgan Magnin, Didier Lime
Symbolic State Space of Stopwatch Petri Nets with Discrete-Time Semantics (Theory Paper). Petri Nets 2008: 307-326 - [c16]Louis-Marie Traonouez, Didier Lime
Parametric Model-Checking of Time Petri Nets with Stopwatches Using the State-Class Graph. FORMATS 2008: 280-294 - [c15]Dominique Bertrand, Anne-Marie Déplanche, Sébastien Faucou
A Study of the AADL Mode Change Protocol. ICECCS 2008: 288-293 - 2007
- [j6]Bernard Berthomieu, Didier Lime
Reachability Problems and Abstract State Spaces for Time Petri Nets with Stopwatches. Discret. Event Dyn. Syst. 17(2): 133-158 (2007) - [c14]Marc Boyer, Olivier H. Roux:
Comparison of the Expressiveness of Arc, Place and Transition Time Petri Nets. ICATPN 2007: 63-82 - 2006
- [j5]Didier Lime
Model Checking of Time Petri Nets Using the State Class Timed Automaton. Discret. Event Dyn. Syst. 16(2): 179-205 (2006) - [j4]Franck Cassez
Structural translation from Time Petri Nets to Timed Automata. J. Syst. Softw. 79(10): 1456-1468 (2006) - [j3]Guillaume Gardey, Olivier H. Roux, Olivier F. Roux:
State space computation and analysis of Time Petri Nets. Theory Pract. Log. Program. 6(3): 301-320 (2006) - [j2]Didier Lime, Olivier H. Roux:
Vérification formelle des systèmes temps-réel avec ordonnancement préemptif. Tech. Sci. Informatiques 25(3): 343-370 (2006) - 2005
- [c13]Béatrice Bérard, Franck Cassez, Serge Haddad, Didier Lime, Olivier H. Roux:
Comparison of Different Semantics for Time Petri Nets. ATVA 2005: 293-307 - [c12]Guillaume Gardey, Didier Lime, Morgan Magnin, Olivier H. Roux:
Romeo: A Tool for Analyzing Time Petri Nets. CAV 2005: 418-423 - [c11]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: 211-225 - [c10]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: 273-284 - [c9]Guillaume Gardey, John Mullins, Olivier H. Roux:
Non-Interference Control Synthesis for Security Timed Automata. SecCO@CONCUR 2005: 35-53 - [c8]Morgan Magnin, Didier Lime
An Efficient Method for Computing Exact State Space of Petri Nets With Stopwatches. SoftMC@CAV 2005: 59-77 - [i1]Guillaume Gardey, Olivier H. Roux, Olivier F. Roux:
State Space Computation and Analysis of Time Petri Nets. CoRR abs/cs/0505023 (2005) - 2004
- [j1]Franck Cassez, Claire Pagetti, Olivier H. Roux:
A Timed Extension for ALTARICA. Fundam. Informaticae 62(3-4): 291-332 (2004) - [c7]Olivier H. Roux, Didier Lime:
Time Petri Nets with Inhibitor Hyperarcs. Formal Semantics and State Space Computation. ICATPN 2004: 371-390 - [c6]Didier Lime, Olivier H. Roux:
A Translation Based Method for the Timed Analysis of Scheduling Extended Time Petri Nets. RTSS 2004: 187-196 - [c5]Franck Cassez
Structural Translation from Time Petri Nets to Timed Automata. AVoCS 2004: 145-160 - 2003
- [c4]Guillaume Gardey, Olivier H. Roux, Olivier F. Roux:
Using Zone Graph Method for Computing the State Space of a Time Petri Net. FORMATS 2003: 246-259 - [c3]Didier Lime, Olivier H. Roux:
State class timed automaton of a time Petri net. PNPM 2003: 124-133 - 2001
- [c2]Olivier H. Roux, David Delfieu, Pierre Molinaro:
Discrete time approach of time Petri nets for real-time systems analysis. ETFA (2) 2001: 197-204
1990 – 1999
- 1993
- [c1]Pierre Molinaro, Olivier H. Roux:
Oreste : a Reliable Reactive Real-Time Language. SAFECOMP 1993: 302-310
Coauthor Index
[c64] [c63] [c62] [i6] [j34] [j33] [j32] [j31] [c58] [i5] [i4] [j29] [c55] [c54] [c53] [j26] [c49] [c48] [c45] [c44] [c43] [c42] [j22] [j21] [c40] [c37] [c36] [c35] [j20] [j19] [j18] [j17] [c33] [c32] [c30] [p2] [p1] [j16] [c29] [c28] [c25] [i2] [c24] [c23] [c22] [j12] [j10] [c19] [c18] [j8] [c17] [c16] [j6] [j5] [j2] [c13] [c12] [c11] [c10] [c8] [c7] [c6] [c3]
manage site settings
To protect your privacy, all features that rely on external API calls from your browser are turned off by default. You need to opt-in for them to become active. All settings here will be stored as cookies with your web browser. For more information see our F.A.Q.
Unpaywalled article links
Add open access links from to the list of external document links (if available).
Privacy notice: By enabling the option above, your browser will contact the API of unpaywall.org to load hyperlinks to open access articles. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the Unpaywall privacy policy.
Archived links via Wayback Machine
For web page which are no longer available, try to retrieve content from the of the Internet Archive (if available).
Privacy notice: By enabling the option above, your browser will contact the API of archive.org to check for archived content of web pages that are no longer available. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the Internet Archive privacy policy.
Reference lists
Add a list of references from ,
, and
to record detail pages.
load references from crossref.org and opencitations.net
Privacy notice: By enabling the option above, your browser will contact the APIs of crossref.org, opencitations.net, and semanticscholar.org to load article reference information. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the Crossref privacy policy and the OpenCitations privacy policy, as well as the AI2 Privacy Policy covering Semantic Scholar.
Citation data
Add a list of citing articles from and
to record detail pages.
load citations from opencitations.net
Privacy notice: By enabling the option above, your browser will contact the API of opencitations.net and semanticscholar.org to load citation information. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the OpenCitations privacy policy as well as the AI2 Privacy Policy covering Semantic Scholar.
OpenAlex data
Load additional information about publications from .
Privacy notice: By enabling the option above, your browser will contact the API of openalex.org to load additional information. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the information given by OpenAlex.
last updated on 2024-10-07 22:23 CEST by the dblp team
all metadata released as open data under CC0 1.0 license
see also: Terms of Use | Privacy Policy | Imprint
dblp was originally created in 1993 at:
since 2018, dblp has been operated and maintained by:
the dblp computer science bibliography is funded and supported by: