default search action
Google
Google Scholar
Semantic Scholar
Internet Archive Scholar
CiteSeerX
ORCIDOlivier 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
showing all ?? records
2020 – today
- 2026
[j42]Jan Komenda, Dimitri Lefebvre, Olivier H. Roux:
On clock interval automata for a class of time PNs. Discret. Event Dyn. Syst. 36(1): 2 (2026)- [j41]Jan Komenda, Sébastien Lahaye, Rémi Parrot, Olivier H. Roux:
Weakly strong semantics of Time Petri Nets and its algebraic description. Discret. Event Dyn. Syst. 36(1): 11 (2026) - [j40]Étienne André
, Didier Lime, Olivier H. Roux:
Dense Integer-Complete Synthesis for Bounded Parametric Timed Automata. Log. Methods Comput. Sci. 22(2) (2026) - [c67]Manon Le Moigne, Rémi Parrot, Olivier H. Roux:
Active identification of safe Petri nets with interleaving and maximal step semantics. WODES 2026: 199-204 - 2025
- [j39]Imane Haur, Jean-Luc Béchennec, Olivier H. Roux:
Model-Checking of Concurrent Real-Time Software Using High-Level Colored Time Petri Nets with Stopwatches. Cybern. Syst. 56(6): 886-916 (2025) - [c66]Didier Lime, Rémi Parrot, Olivier H. Roux:
Decidability Problems for Weak Time Petri Nets with Read, Reset and Transfer Arcs. Petri Nets 2025: 333-353 - [c65]Étienne André, Jean-Luc Béchennec, Sudipta Chattopadhyay, Sébastien Faucou, Didier Lime, Dylan Marinho, Olivier H. Roux, Jun Sun:
Verifying Timed Properties of Programs in IoT nodes using Parametric Time Petri Nets. SAC 2025: 1998-2006 - 2024
- [c64]Loriane Leclercq, Didier Lime, Olivier H. Roux:
On Parametric DBMs and Their Applications to Time Petri Nets. QEST+FORMATS 2024: 107-124 - 2023
- [j38]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): 1-24 (2023) - [j37]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): 63-93 (2023) - [j36]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): 497-531 (2023) - [c63]Loriane Leclercq, Didier Lime, Olivier H. Roux:
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, David Delfieu, Loïg Jezequel, Olivier Henri Roux:
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, Didier Lime, Olivier H. Roux:
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, Didier Lime, Olivier H. Roux:
Logical time control of concurrent DES. Discret. Event Dyn. Syst. 31(2): 185-217 (2021) - [j31]Didier Lime, Olivier H. Roux, Charlotte Seidner:
Cost Problems for Parametric Time Petri Nets. Fundam. Informaticae 183(1-2): 97-123 (2021) - [c59]Rémi Parrot, Mikaël Briday, Olivier H. Roux:
Timed Petri Nets with Reset for Pipelined Synchronous Circuit Design. Petri Nets 2021: 55-75 - [c58]Serge Haddad, Didier Lime, Olivier H. Roux:
A Turn-Based Approach for Qualitative Time Concurrent Games. Petri Nets 2021: 76-92 - [c57]Rémi Parrot, Mikaël Briday, Olivier H. Roux:
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, Olivier H. Roux:
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, Olivier H. Roux, Charlotte Seidner:
Parameter Synthesis for Bounded Cost Reachability in Time Petri Nets. Petri Nets 2019: 406-425 - 2018
- [j28]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): 31-37 (2018) - [c53]Hanifa Boucheneb, Didier Lime, Olivier H. Roux, Charlotte Seidner:
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, Philippe Martinet, Olivier H. Roux:
A Formal Approach for the Design of a Dependable Perception System for Autonomous Vehicles. ITSC 2018: 2452-2459 - [c50]Thomas Chatain, Maurice Comlan, David Delfieu, Loïg Jezequel, Olivier H. Roux:
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, 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): 3-22 (2017) - [j25]Tigori Kabland Toussaint Gautier, Jean-Luc Béchennec, Sébastien Faucou, Olivier Henry Roux:
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, Olivier H. Roux:
Coverability Synthesis in Parametric Petri Nets. CONCUR 2017: 14:1-14:16 - [c48]Hanifa Boucheneb, Didier Lime, Baptiste Parquier, Olivier H. Roux, Charlotte Seidner:
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, 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: 1841-1847 - 2016
- [j24]Johan Girault, Jean Jacques Loiseau, Olivier H. Roux:
On-line compositional controller synthesis for AGV. Discret. Event Dyn. Syst. 26(4): 583-610 (2016) - [c45]Yrvann Emzivat, Benoît Delahaye, Didier Lime, Olivier H. Roux:
Probabilistic Time Petri Nets. Petri Nets 2016: 261-280 - [c44]Étienne André, Didier Lime, Olivier H. Roux:
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, Étienne André:
Applying Parametric Model-Checking Techniques for Reusing Real-Time Critical Systems. FTSCS 2016: 129-144 - [c42]Étienne André, Didier Lime, Olivier H. Roux:
Decision Problems for Parametric Timed Automata. ICFEM 2016: 400-416 - [c41]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: 199-204 - 2015
- [j23]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): 1896-1915 (2015) - [j22]Gilles Benattar, Franck Cassez, Didier Lime, Olivier H. Roux:
Control and synthesis of non-interferent timed systems. Int. J. Control 88(2): 217-236 (2015) - [j21]Aleksandra Jovanovic, Didier Lime, Olivier H. Roux:
Integer Parameter Synthesis for Real-Time Systems. IEEE Trans. Software Eng. 41(5): 445-461 (2015) - [c40]Nicolas David, Claude Jard, Didier Lime, Olivier H. Roux:
Discrete Parameters in Petri Nets. Petri Nets 2015: 137-156 - [c39]Tigori Kabland Toussaint Gautier, Jean-Luc Béchennec, Olivier Henry Roux:
Formal Synthesis of Optimal RTOS. HPCC/CSS/ICESS 2015: 977-983 - [c38]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: 984-990 - [c37]Étienne André, Didier Lime, Olivier H. Roux:
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, Olivier H. Roux:
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, Claude Martinez, Olivier H. Roux:
Shrinking of Time Petri nets. Discret. Event Dyn. Syst. 23(4): 419-438 (2013) - [j18]Claude Jard, Didier Lime, Olivier H. Roux, Louis-Marie Traonouez:
Symbolic unfolding of parametric stopwatch Petri nets. Formal Methods Syst. Des. 43(3): 493-519 (2013) - [j17]Béatrice Bérard, Franck Cassez, Serge Haddad, Didier Lime, Olivier H. Roux:
The expressive power of time Petri nets. Theor. Comput. Sci. 474: 1-20 (2013) - [c33]Hanifa Boucheneb, Didier Lime, Olivier H. Roux:
On Multi-enabledness in Time Petri Nets. Petri Nets 2013: 130-149 - [c32]Aleksandra Jovanovic, Didier Lime, Olivier H. Roux:
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, Olivier H. Roux:
Integer Parameter Synthesis for Timed Automata. TACAS 2013: 401-415 - [p2]Didier Lime, Olivier H. Roux, Jirí Srba:
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, Paul Pettersson, Jacob Illum Rasmussen, Jirí Srba, Wang Yi, Kenneth Yrke Jørgensen, Didier Lime, Morgan Magnin, Olivier H. Roux, Louis-Marie Traonouez:
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, John Mullins, Olivier H. Roux, Mathieu Sassolas:
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, Olivier H. Roux:
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, Didier Lime, Olivier H. Roux:
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, Olivier H. Roux:
Symbolic Unfolding of Parametric Stopwatch Petri Nets. ATVA 2010: 291-305 - [c22]Bartosz Grabiec, Louis-Marie Traonouez, Claude Jard, Didier Lime, Olivier H. Roux:
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, Olivier H. Roux:
Formal verification of real-time systems with preemptive scheduling. Real Time Syst. 41(2): 118-151 (2009) - [c21]Hind Rakkay, Hanifa Boucheneb, Olivier H. Roux:
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, Olivier H. Roux, Charlotte Seidner, Louis-Marie Traonouez:
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, Serge Haddad, Didier Lime, Olivier H. Roux:
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, Olivier H. Roux:
Symbolic State Space of Stopwatch Petri Nets with Discrete-Time Semantics (Theory Paper). Petri Nets 2008: 307-326 - [c16]Louis-Marie Traonouez, Didier Lime, Olivier H. Roux:
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, Olivier H. Roux:
A Study of the AADL Mode Change Protocol. ICECCS 2008: 288-293 - 2007
- [j6]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): 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, Olivier H. Roux:
Model Checking of Time Petri Nets Using the State Class Timed Automaton. Discret. Event Dyn. Syst. 16(2): 179-205 (2006) - [j4]Franck Cassez, Olivier H. Roux:
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, Olivier H. Roux:
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, Olivier H. Roux:
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
[j40] [c66] [c65] [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 2026-10-03 00:44 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, funded, and maintained by:
Schloss Dagstuhl - Leibniz Center for Informatics is a member of the Leibniz Association and is funded by the federal government of Germany and the states of Germany, especially Saarland and Rhineland‑Palatinate.
