Stop the war!

Остановите войну!

for scientists:

default search action

combined dblp search
author search
venue search
publication search

ask others

Olivier H. Roux

Olivier Henri Roux – Olivier Henry Roux

> Home > Persons

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

Journal Articles

see FAQ

What is the meaning of the colors in the publication lists?

2023
[j38]
- view
  authority control:
- export record
  dblp key:
  - journals/deds/ParrotBR23
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/deds/ParrotBR23
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]
- view
  authority control:
- export record
  dblp key:
  - journals/deds/BernabeuBBFR23
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/deds/BernabeuBBFR23
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]
- view
  authority control:
- export record
  dblp key:
  - journals/sqj/HaurBR23
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/sqj/HaurBR23
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)
2022
[j35]
- view
  authority control:
- export record
  dblp key:
  - journals/iandc/ChatainCDJR22
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/iandc/ChatainCDJR22
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]
- view
  - electronic edition via DOI (open access)
  - references & citations
  authority control:
- export record
  dblp key:
  - journals/lmcs/AndreLR22
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/lmcs/AndreLR22
Étienne André, Didier Lime, Olivier H. Roux:
Reachability and liveness in parametric timed automata. Log. Methods Comput. Sci. 18(1) (2022)
[j33]
- view
  authority control:
- export record
  dblp key:
  - journals/tac/JovanovicLR22
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/tac/JovanovicLR22
Aleksandra Jovanovic, Didier Lime, Olivier H. Roux:
Control of Real-Time Systems With Integer Parameters. IEEE Trans. Autom. Control. 67(1): 75-88 (2022)
2021
[j32]
- view
  authority control:
- export record
  dblp key:
  - journals/deds/BechennecLR21
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/deds/BechennecLR21
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]
- view
  authority control:
- export record
  dblp key:
  - journals/fuin/LimeRS21
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/fuin/LimeRS21
Didier Lime, Olivier H. Roux, Charlotte Seidner:
Cost Problems for Parametric Time Petri Nets. Fundam. Informaticae 183(1-2): 97-123 (2021)
2019
[j30]
- view
  authority control:
- export record
  dblp key:
  - journals/fuin/KhomenkoKPR19
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/fuin/KhomenkoKPR19
Victor Khomenko, Jetty Kleijn, Wojciech Penczek, Olivier H. Roux:
Preface. Fundam. Informaticae 169(1-2): v-vi (2019)
[j29]
- view
  authority control:
- export record
  dblp key:
  - journals/ijcon/JovanovicLR19
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/ijcon/JovanovicLR19
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)
2018
[j28]
- view
  authority control:
- export record
  dblp key:
  - journals/dt/BechennecFRBG18
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/dt/BechennecFRBG18
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)
2017
[j27]
- view
  - electronic edition via DOI (open access)
  - references & citations
  authority control:
- export record
  dblp key:
  - journals/algorithms/AbdallahRMRI17
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/algorithms/AbdallahRMRI17
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]
- view
  authority control:
- export record
  dblp key:
  - journals/computing/BeldiceanuFGHJL17
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/computing/BeldiceanuFGHJL17
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]
- view
  authority control:
- export record
  dblp key:
  - journals/tecs/GautierBFR17
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/tecs/GautierBFR17
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)
2016
[j24]
- view
  authority control:
- export record
  dblp key:
  - journals/deds/GiraultLR16
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/deds/GiraultLR16
Johan Girault, Jean Jacques Loiseau, Olivier H. Roux:
On-line compositional controller synthesis for AGV. Discret. Event Dyn. Syst. 26(4): 583-610 (2016)
2015
[j23]
- view
  - electronic edition via DOI (open access)
  - references & citations
  authority control:
- export record
  dblp key:
  - journals/entropy/ChinestaMRAC15
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/entropy/ChinestaMRAC15
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]
- view
  authority control:
- export record
  dblp key:
  - journals/ijcon/BenattarCLR15
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/ijcon/BenattarCLR15
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]
- view
  authority control:
- export record
  dblp key:
  - journals/tse/JovanovicLR15
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/tse/JovanovicLR15
Aleksandra Jovanovic, Didier Lime, Olivier H. Roux:
Integer Parameter Synthesis for Real-Time Systems. IEEE Trans. Software Eng. 41(5): 445-461 (2015)
2014
[j20]
- view
  authority control:
- export record
  dblp key:
  - journals/fuin/JardLR14
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/fuin/JardLR14
Claude Jard, Didier Lime, Olivier H. Roux:
Blending Timed Formal Models with Clock Transition Systems. Fundam. Informaticae 129(1-2): 85-100 (2014)
2013
[j19]
- view
  authority control:
- export record
  dblp key:
  - journals/deds/LimeMR13
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/deds/LimeMR13
Didier Lime, Claude Martinez, Olivier H. Roux:
Shrinking of Time Petri nets. Discret. Event Dyn. Syst. 23(4): 419-438 (2013)
[j18]
- view
  authority control:
- export record
  dblp key:
  - journals/fmsd/JardLRT13
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/fmsd/JardLRT13
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]
- view
  - electronic edition via DOI (open access)
  - references & citations
  authority control:
- export record
  dblp key:
  - journals/tcs/BerardCHLR13
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/tcs/BerardCHLR13
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)
2012
[j16]
- view
  authority control:
- export record
  dblp key:
  - journals/ijfcs/BenattarBLMRS12
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/ijfcs/BenattarBLMRS12
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)
2011
[j15]
- view
  authority control:
- export record
  dblp key:
  - journals/deds/MartinezR11
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/deds/MartinezR11
Claude Martinez, Olivier H. Roux:
Special issue on Modeling of Reactive Systems. Discret. Event Dyn. Syst. 21(3): 305-306 (2011)
2009
[j14]
- view
  authority control:
- export record
  dblp key:
  - journals/fuin/MagninMR09
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/fuin/MagninMR09
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]
- view
  authority control:
- export record
  dblp key:
  - journals/fuin/MagninMR09a
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/fuin/MagninMR09a
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]
- view
  - electronic edition via DOI (open access)
  - references & citations
  authority control:
- export record
  dblp key:
  - journals/jucs/TraonouezLR09
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/jucs/TraonouezLR09
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]
- view
  authority control:
- export record
  dblp key:
  - journals/logcom/BouchenebGR09
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/logcom/BouchenebGR09
Hanifa Boucheneb, Guillaume Gardey, Olivier H. Roux:
TCTL Model Checking of Time Petri Nets. J. Log. Comput. 19(6): 1509-1540 (2009)
[j10]
- view
  authority control:
- export record
  dblp key:
  - journals/rts/LimeR09
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/rts/LimeR09
Didier Lime, Olivier H. Roux:
Formal verification of real-time systems with preemptive scheduling. Real Time Syst. 41(2): 118-151 (2009)
2008
[j9]
- view
  - electronic edition @ iospress.com
  - no references & citations available
- export record
  dblp key:
  - journals/fuin/BoyerR08
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/fuin/BoyerR08
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]
- view
  - electronic edition via DOI (open access)
  - references & citations
  authority control:
- export record
  dblp key:
  - journals/tcs/BerardCHLR08
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/tcs/BerardCHLR08
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]
- view
  authority control:
- export record
  dblp key:
  - journals/tii/SeidnerR08
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/tii/SeidnerR08
Charlotte Seidner, Olivier H. Roux:
Formal Methods for Systems Engineering Behavior Models. IEEE Trans. Ind. Informatics 4(4): 280-291 (2008)
2007
[j6]
- view
  authority control:
- export record
  dblp key:
  - journals/deds/BerthomieuLRV07
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/deds/BerthomieuLRV07
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)
2006
[j5]
- view
  authority control:
- export record
  dblp key:
  - journals/deds/LimeR06
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/deds/LimeR06
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]
- view
  authority control:
- export record
  dblp key:
  - journals/jss/CassezR06
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/jss/CassezR06
Franck Cassez, Olivier H. Roux:
Structural translation from Time Petri Nets to Timed Automata. J. Syst. Softw. 79(10): 1456-1468 (2006)
[j3]
- view
  authority control:
- export record
  dblp key:
  - journals/tplp/GardeyRR06
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/tplp/GardeyRR06
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]
- view
  authority control:
- export record
  dblp key:
  - journals/tsi/LimeR06
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/tsi/LimeR06
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)
2004
[j1]
- view
  - electronic edition @ iospress.com
  - no references & citations available
- export record
  dblp key:
  - journals/fuin/CassezPR04
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/fuin/CassezPR04
Franck Cassez, Claire Pagetti, Olivier H. Roux:
A Timed Extension for ALTARICA. Fundam. Informaticae 62(3-4): 291-332 (2004)

Conference and Workshop Papers

see FAQ

What is the meaning of the colors in the publication lists?

2023
[c63]
- view
  authority control:
- export record
  dblp key:
  - conf/apn/LeclercqLR23
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/apn/LeclercqLR23
Loriane Leclercq, Didier Lime, Olivier H. Roux:
A State Class Based Controller Synthesis Approach for Time Petri Nets. Petri Nets 2023: 393-414
[c62]
- view
  authority control:
- export record
  dblp key:
  - conf/formats/SprietLR23
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/formats/SprietLR23
Anthony Spriet, Didier Lime, Olivier H. Roux:
Timed Non-interference Under Partial Observability and Bounded Memory. FORMATS 2023: 122-137
2022
[c61]
- view
  authority control:
- export record
  dblp key:
  - conf/codit/HaurBR22
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/codit/HaurBR22
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]
- view
  authority control:
- export record
  dblp key:
  - conf/icfem/HaurBR22
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/icfem/HaurBR22
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
[c59]
- view
  authority control:
- export record
  dblp key:
  - conf/apn/ParrotBR21
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/apn/ParrotBR21
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]
- view
  authority control:
- export record
  dblp key:
  - conf/apn/HaddadLR21
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/apn/HaddadLR21
Serge Haddad, Didier Lime, Olivier H. Roux:
A Turn-Based Approach for Qualitative Time Concurrent Games. Petri Nets 2021: 76-92
[c57]
- view
  authority control:
- export record
  dblp key:
  - conf/arith/ParrotBR21
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/arith/ParrotBR21
Rémi Parrot, Mikaël Briday, Olivier H. Roux:
Pipeline Optimization using a Cost Extension of Timed Petri Nets. ARITH 2021: 37-44
[c56]
- view
  authority control:
- export record
  dblp key:
  - conf/rtns/HaurBR21
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/rtns/HaurBR21
Imane Haur, Jean-Luc Béchennec, Olivier Henri Roux:
Formal schedulability analysis based on multi-core RTOS model. RTNS 2021: 216-225
2019
[c55]
- view
  authority control:
- export record
  dblp key:
  - conf/acsd/BechennecLR19
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/acsd/BechennecLR19
Jean-Luc Béchennec, Didier Lime, Olivier H. Roux:
Control of DES with Urgency, Avoidability and Ineluctability. ACSD 2019: 92-101
[c54]
- view
  authority control:
- export record
  dblp key:
  - conf/apn/LimeRS19
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/apn/LimeRS19
Didier Lime, Olivier H. Roux, Charlotte Seidner:
Parameter Synthesis for Bounded Cost Reachability in Time Petri Nets. Petri Nets 2019: 406-425
2018
[c53]
- view
  authority control:
- export record
  dblp key:
  - conf/acsd/BouchenebLRS18
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/acsd/BouchenebLRS18
Hanifa Boucheneb, Didier Lime, Olivier H. Roux, Charlotte Seidner:
Optimal-Cost Reachability Analysis Based on Time Petri Nets. ACSD 2018: 30-39
[c52]
- view
  authority control:
- export record
  dblp key:
  - conf/codit/BechennecRG18
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/codit/BechennecRG18
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]
- view
  authority control:
- export record
  dblp key:
  - conf/itsc/EmzivatGIMR18
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/itsc/EmzivatGIMR18
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]
- view
  authority control:
- export record
  dblp key:
  - conf/lata/ChatainCDJR18
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/lata/ChatainCDJR18
Thomas Chatain, Maurice Comlan, David Delfieu, Loïg Jezequel, Olivier H. Roux:
Pomsets and Unfolding of Reset Petri Nets. LATA 2018: 258-270
2017
[c49]
- view
  - electronic edition via DOI (open access)
  - references & citations
  authority control:
- export record
  dblp key:
  - conf/concur/DavidJLR17
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/concur/DavidJLR17
Nicolas David, Claude Jard, Didier Lime, Olivier H. Roux:
Coverability Synthesis in Parametric Petri Nets. CONCUR 2017: 14:1-14:16
[c48]
- view
  authority control:
- export record
  dblp key:
  - conf/formats/BouchenebLPRS17
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/formats/BouchenebLPRS17
Hanifa Boucheneb, Didier Lime, Baptiste Parquier, Olivier H. Roux, Charlotte Seidner:
Optimal Reachability in Cost Time Petri Nets. FORMATS 2017: 58-73
[c47]
- view
  authority control:
- export record
  dblp key:
  - conf/itsc/EmzivatIMR17
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/itsc/EmzivatIMR17
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]
- view
  authority control:
- export record
  dblp key:
  - conf/ivs/EmzivatGMR17
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/ivs/EmzivatGMR17
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
[c45]
- view
  authority control:
- export record
  dblp key:
  - conf/apn/EmzivatDLR16
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/apn/EmzivatDLR16
Yrvann Emzivat, Benoît Delahaye, Didier Lime, Olivier H. Roux:
Probabilistic Time Petri Nets. Petri Nets 2016: 261-280
[c44]
- view
  authority control:
- export record
  dblp key:
  - conf/formats/AndreLR16
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/formats/AndreLR16
Étienne André, Didier Lime, Olivier H. Roux:
On the Expressiveness of Parametric Timed Automata. FORMATS 2016: 19-34
[c43]
- view
  authority control:
- export record
  dblp key:
  - conf/ftscs/ParquierRHSRLA16
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/ftscs/ParquierRHSRLA16
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]
- view
  authority control:
- export record
  dblp key:
  - conf/icfem/AndreLR16
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/icfem/AndreLR16
Étienne André, Didier Lime, Olivier H. Roux:
Decision Problems for Parametric Timed Automata. ICFEM 2016: 400-416
[c41]
- view
  authority control:
- export record
  dblp key:
  - conf/sies/GivelBBFR16
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/sies/GivelBBFR16
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
[c40]
- view
  authority control:
- export record
  dblp key:
  - conf/apn/DavidJLR15
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/apn/DavidJLR15
Nicolas David, Claude Jard, Didier Lime, Olivier H. Roux:
Discrete Parameters in Petri Nets. Petri Nets 2015: 137-156
[c39]
- view
  authority control:
- export record
  dblp key:
  - conf/hpcc/GautierBR15
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/hpcc/GautierBR15
Tigori Kabland Toussaint Gautier, Jean-Luc Béchennec, Olivier Henry Roux:
Formal Synthesis of Optimal RTOS. HPCC/CSS/ICESS 2015: 977-983
[c38]
- view
  authority control:
- export record
  dblp key:
  - conf/hpcc/GivelBCFR15
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/hpcc/GivelBCFR15
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]
- view
  authority control:
- export record
  dblp key:
  - conf/rp/AndreLR15
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/rp/AndreLR15
Étienne André, Didier Lime, Olivier H. Roux:
Integer-Complete Synthesis for Bounded Parametric Timed Automata. RP 2015: 7-19
[c36]
- view
  authority control:
- export record
  dblp key:
  - conf/smartgreens/BeldiceanuFGHJL15
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/smartgreens/BeldiceanuFGHJL15
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]
- view
  - electronic edition via DOI (open access)
  - references & citations
  authority control:
- export record
  dblp key:
  - conf/syncop/DavidJLR15
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/syncop/DavidJLR15
Nicolas David, Claude Jard, Didier Lime, Olivier H. Roux:
Discrete Parameters in Petri Nets (Informal Presentation). SynCoP 2015: 103-103
2014
[c34]
- view
  - electronic edition @ ieee.org
  - no references & citations available
- export record
  dblp key:
  - conf/simultech/TanguyBBR14
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/simultech/TanguyBBR14
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
[c33]
- view
  authority control:
- export record
  dblp key:
  - conf/apn/BouchenebLR13
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/apn/BouchenebLR13
Hanifa Boucheneb, Didier Lime, Olivier H. Roux:
On Multi-enabledness in Time Petri Nets. Petri Nets 2013: 130-149
[c32]
- view
  authority control:
- export record
  dblp key:
  - conf/atva/JovanovicLR13
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/atva/JovanovicLR13
Aleksandra Jovanovic, Didier Lime, Olivier H. Roux:
Synthesis of Bounded Integer Parameters for Parametric Timed Reachability Games. ATVA 2013: 87-101
[c31]
- view
  authority control:
- export record
  dblp key:
  - conf/etfa/TanguyBBDR13
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/etfa/TanguyBBDR13
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]
- view
  authority control:
- export record
  dblp key:
  - conf/tacas/JovanovicLR13
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/tacas/JovanovicLR13
Aleksandra Jovanovic, Didier Lime, Olivier H. Roux:
Integer Parameter Synthesis for Timed Automata. TACAS 2013: 401-415
2012
[c29]
- view
  - electronic edition @ ceur-ws.org (open access)
  - no references & citations available
- export record
  dblp key:
  - conf/csp/LimeRJ12
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/csp/LimeRJ12
Didier Lime, Olivier H. Roux, Claude Jard:
Clock Transition Systems. CS&P 2012: 227-238
[c28]
- view
  authority control:
- export record
  dblp key:
  - conf/formats/AkshayHJLR12
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/formats/AkshayHJLR12
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]
- no documents available
  - no references & citations available
- export record
  dblp key:
  - conf/iceis/LelionnaisBDRS12
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/iceis/LelionnaisBDRS12
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]
- view
  authority control:
- export record
  dblp key:
  - conf/wodes/BouchenebBR12
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/wodes/BouchenebBR12
Hanifa Boucheneb, Adrien Bullich, Olivier H. Roux:
FIFO time Petri nets for conflicts handling. WODES 2012: 143-148
[c25]
- view
  authority control:
- export record
  dblp key:
  - conf/wodes/JovanovicFLR12
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/wodes/JovanovicFLR12
Aleksandra Jovanovic, Sébastien Faucou, Didier Lime, Olivier H. Roux:
Real-time control with parametric timed reachability games. WODES 2012: 323-330
2011
[c24]
- no documents available
  - no references & citations available
- export record
  dblp key:
  - conf/afl/BenattarBLMRS11
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/afl/BenattarBLMRS11
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]
- view
  authority control:
- export record
  dblp key:
  - conf/atva/TraonouezGJLR10
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/atva/TraonouezGJLR10
Louis-Marie Traonouez, Bartosz Grabiec, Claude Jard, Didier Lime, Olivier H. Roux:
Symbolic Unfolding of Parametric Stopwatch Petri Nets. ATVA 2010: 291-305
[c22]
- view
  authority control:
- export record
  dblp key:
  - conf/formats/GrabiecTJLR10
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/formats/GrabiecTJLR10
Bartosz Grabiec, Louis-Marie Traonouez, Claude Jard, Didier Lime, Olivier H. Roux:
Diagnosis Using Unfoldings of Parametric Time Petri Nets. FORMATS 2010: 137-151
2009
[c21]
- view
  authority control:
- export record
  dblp key:
  - conf/acsd/RakkayBR09
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/acsd/RakkayBR09
Hind Rakkay, Hanifa Boucheneb, Olivier H. Roux:
Time Arc Petri Nets and Their Analysis. ACSD 2009: 138-147
[c20]
- view
  authority control:
- export record
  dblp key:
  - conf/bicob/MaurinMR09
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/bicob/MaurinMR09
Mylène Maurin, Morgan Magnin, Olivier H. Roux:
Modeling of Genetic Regulatory Network in Stochastic pi-Calculus. BICoB 2009: 282-294
[c19]
- view
  authority control:
- export record
  dblp key:
  - conf/formats/BenattarCLR09
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/formats/BenattarCLR09
Gilles Benattar, Franck Cassez, Didier Lime, Olivier H. Roux:
Synthesis of Non-Interferent Timed Systems. FORMATS 2009: 28-42
[c18]
- view
  - electronic edition via DOI (open access)
  - references & citations
  authority control:
- export record
  dblp key:
  - conf/tacas/LimeRST09
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/tacas/LimeRST09
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
[c17]
- view
  authority control:
- export record
  dblp key:
  - conf/apn/MagninLR08
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/apn/MagninLR08
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]
- view
  authority control:
- export record
  dblp key:
  - conf/formats/TraonouezLR08
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/formats/TraonouezLR08
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]
- view
  authority control:
- export record
  dblp key:
  - conf/iceccs/BertrandDFR08
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/iceccs/BertrandDFR08
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
[c14]
- view
  authority control:
- export record
  dblp key:
  - conf/apn/BoyerR07
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/apn/BoyerR07
Marc Boyer, Olivier H. Roux:
Comparison of the Expressiveness of Arc, Place and Transition Time Petri Nets. ICATPN 2007: 63-82
2005
[c13]
- view
  authority control:
- export record
  dblp key:
  - conf/atva/BerardCHLR05
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/atva/BerardCHLR05
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]
- view
  - electronic edition via DOI (open access)
  - references & citations
  authority control:
- export record
  dblp key:
  - conf/cav/GardeyLMR05
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/cav/GardeyLMR05
Guillaume Gardey, Didier Lime, Morgan Magnin, Olivier H. Roux:
Romeo: A Tool for Analyzing Time Petri Nets. CAV 2005: 418-423
[c11]
- view
  authority control:
- export record
  dblp key:
  - conf/formats/BerardCHLR05
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/formats/BerardCHLR05
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]
- view
  authority control:
- export record
  dblp key:
  - conf/fsttcs/BerardCHLR05
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/fsttcs/BerardCHLR05
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]
- view
  - electronic edition via DOI (open access)
  - references & citations
  authority control:
- export record
  dblp key:
  - journals/entcs/GardeyMR07
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/entcs/GardeyMR07
Guillaume Gardey, John Mullins, Olivier H. Roux:
Non-Interference Control Synthesis for Security Timed Automata. SecCO@CONCUR 2005: 35-53
[c8]
- view
  - electronic edition via DOI (open access)
  - references & citations
  authority control:
- export record
  dblp key:
  - journals/entcs/MagninLR06
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/entcs/MagninLR06
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
2004
[c7]
- view
  authority control:
- export record
  dblp key:
  - conf/apn/RouxL04
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/apn/RouxL04
Olivier H. Roux, Didier Lime:
Time Petri Nets with Inhibitor Hyperarcs. Formal Semantics and State Space Computation. ICATPN 2004: 371-390
[c6]
- view
  authority control:
- export record
  dblp key:
  - conf/rtss/LimeR04
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/rtss/LimeR04
Didier Lime, Olivier H. Roux:
A Translation Based Method for the Timed Analysis of Scheduling Extended Time Petri Nets. RTSS 2004: 187-196
[c5]
- view
  - electronic edition via DOI (open access)
  - references & citations
  authority control:
- export record
  dblp key:
  - journals/entcs/CassezR05
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/entcs/CassezR05
Franck Cassez, Olivier H. Roux:
Structural Translation from Time Petri Nets to Timed Automata. AVoCS 2004: 145-160
2003
[c4]
- view
  authority control:
- export record
  dblp key:
  - conf/formats/GardeyRR03
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/formats/GardeyRR03
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]
- view
  authority control:
- export record
  dblp key:
  - conf/pnpm/LimeR03
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/pnpm/LimeR03
Didier Lime, Olivier H. Roux:
State class timed automaton of a time Petri net. PNPM 2003: 124-133
2001
[c2]
- view
  authority control:
- export record
  dblp key:
  - conf/etfa/RouxDM01
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/etfa/RouxDM01
Olivier H. Roux, David Delfieu, Pierre Molinaro:
Discrete time approach of time Petri nets for real-time systems analysis. ETFA (2) 2001: 197-204
1993
[c1]
- view
  authority control:
- export record
  dblp key:
  - conf/safecomp/MolinaroR93
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/safecomp/MolinaroR93
Pierre Molinaro, Olivier H. Roux:
Oreste : a Reliable Reactive Real-Time Language. SAFECOMP 1993: 302-310

Parts in Books or Collections

see FAQ

What is the meaning of the colors in the publication lists?

2013
[p2]
- view
  authority control:
- export record
  dblp key:
  - books/wi/13/LimeRS13
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/books/wi/13/LimeRS13
Didier Lime, Olivier H. Roux, Jirí Srba:
Models for Real-Time Embedded Systems. Communicating Embedded Systems 2013: 1-37
[p1]
- view
  authority control:
- export record
  dblp key:
  - books/wi/13/DavidBBBCLPRS0JLMRT13
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/books/wi/13/DavidBBBCLPRS0JLMRT13
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

Editorship

see FAQ

What is the meaning of the colors in the publication lists?

2018
[e2]
- view
  authority control:
- export record
  dblp key:
  - conf/apn/2018
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/apn/2018
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]
2013
[e1]
- view
  authority control:
- export record
  dblp key:
  - books/wi/13/JR2013
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/books/wi/13/JR2013
Claude Jard, Olivier H. Roux:
Communicating Embedded Systems. Wiley 2013, ISBN 978-1-84821-143-8 [contents]

Informal and Other Publications

see FAQ

What is the meaning of the colors in the publication lists?

2023
[i6]
- view
  - electronic edition via DOI (open access)
  - references & citations
  authority control:
- export record
  dblp key:
  - journals/corr/abs-2310-09109
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/corr/abs-2310-09109
Étienne André, Didier Lime, Olivier H. Roux:
Dense Integer-Complete Synthesis for Bounded Parametric Timed Automata. CoRR abs/2310.09109 (2023)
2021
[i5]
- view
  - electronic edition @ arxiv.org (open access)
  - references & citations
- export record
  dblp key:
  - journals/corr/abs-2109-03658
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/corr/abs-2109-03658
Didier Lime, Olivier H. Roux, Charlotte Seidner:
Cost Problems for Parametric Time Petri Nets. CoRR abs/2109.03658 (2021)
2020
[i4]
- view
  - electronic edition @ arxiv.org (open access)
  - references & citations
- export record
  dblp key:
  - journals/corr/abs-2004-09171
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/corr/abs-2004-09171
Étienne André, Didier Lime, Olivier H. Roux:
Reachability and liveness in parametric timed automata. CoRR abs/2004.09171 (2020)
2018
[i3]
- view
  - electronic edition @ arxiv.org (open access)
  - references & citations
- export record
  dblp key:
  - journals/corr/abs-1804-07543
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/corr/abs-1804-07543
Xinwei Chai, Morgan Magnin, Olivier H. Roux:
A Heuristic for Reachability Problem in Asynchronous Binary Automata Networks. CoRR abs/1804.07543 (2018)
2012
[i2]
- view
  - electronic edition @ arxiv.org (open access)
  - references & citations
- export record
  dblp key:
  - journals/corr/abs-1207-4984
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/corr/abs-1207-4984
Gilles Benattar, Franck Cassez, Didier Lime, Olivier H. Roux:
Control and Synthesis of Non-Interferent Timed Systems. CoRR abs/1207.4984 (2012)
2005
[i1]
- view
  - electronic edition @ arxiv.org (open access)
  - references & citations
- export record
  dblp key:
  - journals/corr/abs-cs-0505023
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/corr/abs-cs-0505023
Guillaume Gardey, Olivier H. Roux, Olivier F. Roux:
State Space Computation and Analysis of Time Petri Nets. CoRR abs/cs/0505023 (2005)

Coauthor Index

see FAQ

a service of

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.