Olivier H. Roux

Orcid: 0000-0003-1665-0481

Affiliations:
  • IRCCyN / École Centrale de Nantes, Nantes, France


According to our database1, Olivier H. Roux authored at least 103 papers between 1993 and 2024.

Collaborative distances:
  • Dijkstra number2 of four.
  • Erdős number3 of four.

Timeline

Legend:

Book 
In proceedings 
Article 
PhD thesis 
Dataset
Other 

Links

Online presence:

On csauthors.net:

Bibliography

2024
On Parametric DBMs and Their Applications to Time Petri Nets.
Proceedings of the Quantitative Evaluation of Systems and Formal Modeling and Analysis of Timed Systems, 2024

2023
Formal verification process of the compliance of a multicore AUTOSAR OS.
Softw. Qual. J., June, 2023

Design and verification of pipelined circuits with Timed Petri Nets.
Discret. Event Dyn. Syst., March, 2023

Cost-optimal timed trace synthesis for scheduling of intermittent embedded systems.
Discret. Event Dyn. Syst., March, 2023

Dense Integer-Complete Synthesis for Bounded Parametric Timed Automata.
CoRR, 2023

Timed Non-interference Under Partial Observability and Bounded Memory.
Proceedings of the Formal Modeling and Analysis of Timed Systems, 2023

A State Class Based Controller Synthesis Approach for Time Petri Nets.
Proceedings of the Application and Theory of Petri Nets and Concurrency, 2023

2022
Control of Real-Time Systems With Integer Parameters.
IEEE Trans. Autom. Control., 2022

Reachability and liveness in parametric timed automata.
Log. Methods Comput. Sci., 2022

Pomset bisimulation and unfolding for reset Petri nets.
Inf. Comput., 2022

Formal Verification of the Inter-core Synchronization of a Multi-core RTOS Kernel.
Proceedings of the Formal Methods and Software Engineering, 2022

High-level Colored Time Petri Nets for true concurrency modeling in real-time software.
Proceedings of the 8th International Conference on Control, 2022

2021
Cost Problems for Parametric Time Petri Nets.
Fundam. Informaticae, 2021

Logical time control of concurrent DES.
Discret. Event Dyn. Syst., 2021

Formal schedulability analysis based on multi-core RTOS model.
Proceedings of the RTNS'2021: 29th International Conference on Real-Time Networks and Systems, 2021

Pipeline Optimization using a Cost Extension of Timed Petri Nets.
Proceedings of the 28th IEEE Symposium on Computer Arithmetic, 2021

Timed Petri Nets with Reset for Pipelined Synchronous Circuit Design.
Proceedings of the Application and Theory of Petri Nets and Concurrency, 2021

A Turn-Based Approach for Qualitative Time Concurrent Games.
Proceedings of the Application and Theory of Petri Nets and Concurrency, 2021

2019
A game approach to the parametric control of real-time systems.
Int. J. Control, 2019

Preface.
Fundam. Informaticae, 2019

Parameter Synthesis for Bounded Cost Reachability in Time Petri Nets.
Proceedings of the Application and Theory of Petri Nets and Concurrency, 2019

Control of DES with Urgency, Avoidability and Ineluctability.
Proceedings of the 19th International Conference on Application of Concurrency to System Design, 2019

2018
Testing Real-Time Systems With Runtime Enforcement.
IEEE Des. Test, 2018

A Heuristic for Reachability Problem in Asynchronous Binary Automata Networks.
CoRR, 2018

Pomsets and Unfolding of Reset Petri Nets.
Proceedings of the Language and Automata Theory and Applications, 2018

A Formal Approach for the Design of a Dependable Perception System for Autonomous Vehicles.
Proceedings of the 21st International Conference on Intelligent Transportation Systems, 2018

Formal model-based conformance verification of an OSEK/VDX compliant RTOS.
Proceedings of the 5th International Conference on Control, 2018

Optimal-Cost Reachability Analysis Based on Time Petri Nets.
Proceedings of the 18th International Conference on Application of Concurrency to System Design, 2018

2017
Formal Model-Based Synthesis of Application-Specific Static RTOS.
ACM Trans. Embed. Comput. Syst., 2017

Towards energy-proportional clouds partially powered by renewable energy.
Computing, 2017

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

Dynamic driving task fallback for an automated driving system whose ability to monitor the driving environment has been compromised.
Proceedings of the IEEE Intelligent Vehicles Symposium, 2017

Adaptability of automated driving systems to the hazardous nature of road networks.
Proceedings of the 20th IEEE International Conference on Intelligent Transportation Systems, 2017

Optimal Reachability in Cost Time Petri Nets.
Proceedings of the Formal Modeling and Analysis of Timed Systems, 2017

Coverability Synthesis in Parametric Petri Nets.
Proceedings of the 28th International Conference on Concurrency Theory, 2017

2016
On-line compositional controller synthesis for AGV.
Discret. Event Dyn. Syst., 2016

Testing real-time embedded software using runtime enforcement.
Proceedings of the 11th IEEE Symposium on Industrial Embedded Systems, 2016

Decision Problems for Parametric Timed Automata.
Proceedings of the Formal Methods and Software Engineering, 2016

Applying Parametric Model-Checking Techniques for Reusing Real-Time Critical Systems.
Proceedings of the Formal Techniques for Safety-Critical Systems, 2016

On the Expressiveness of Parametric Timed Automata.
Proceedings of the Formal Modeling and Analysis of Timed Systems, 2016

Probabilistic Time Petri Nets.
Proceedings of the Application and Theory of Petri Nets and Concurrency, 2016

2015
Integer Parameter Synthesis for Real-Time Systems.
IEEE Trans. Software Eng., 2015

Control and synthesis of non-interferent timed systems.
Int. J. Control, 2015

Kinetic Theory Modeling and Efficient Numerical Simulation of Gene Regulatory Networks Based on Qualitative Descriptions.
Entropy, 2015

Discrete Parameters in Petri Nets (Informal Presentation).
Proceedings of the 2nd International Workshop on Synthesis of Complex Parameters, 2015


Integer-Complete Synthesis for Bounded Parametric Timed Automata.
Proceedings of the Reachability Problems - 9th International Workshop, 2015

Use of Runtime Enforcement for the Test of Real-time Systems.
Proceedings of the 17th IEEE International Conference on High Performance Computing and Communications, 2015

Formal Synthesis of Optimal RTOS.
Proceedings of the 17th IEEE International Conference on High Performance Computing and Communications, 2015

Discrete Parameters in Petri Nets.
Proceedings of the Application and Theory of Petri Nets and Concurrency, 2015

2014
Blending Timed Formal Models with Clock Transition Systems.
Fundam. Informaticae, 2014

Reactive embedded device driver synthesis using logical timed models.
Proceedings of the 4th International Conference On Simulation And Modeling Methodologies, 2014

2013
The expressive power of time Petri nets.
Theor. Comput. Sci., 2013

Symbolic unfolding of parametric stopwatch Petri nets.
Formal Methods Syst. Des., 2013

Shrinking of Time Petri nets.
Discret. Event Dyn. Syst., 2013

Integer Parameter Synthesis for Timed Automata.
Proceedings of the Tools and Algorithms for the Construction and Analysis of Systems, 2013

Device driver synthesis for embedded systems.
Proceedings of 2013 IEEE 18th Conference on Emerging Technologies & Factory Automation, 2013

Synthesis of Bounded Integer Parameters for Parametric Timed Reachability Games.
Proceedings of the Automated Technology for Verification and Analysis, 2013

On Multi-enabledness in Time Petri Nets.
Proceedings of the Application and Theory of Petri Nets and Concurrency, 2013

Models for Real-Time Embedded Systems.
Proceedings of the Communicating Embedded Systems, 2013


2012
Channel Synthesis for Finite Transducers.
Int. J. Found. Comput. Sci., 2012

Real-time control with parametric timed reachability games.
Proceedings of the 11th International Workshop on Discrete Event Systems, 2012

FIFO time Petri nets for conflicts handling.
Proceedings of the 11th International Workshop on Discrete Event Systems, 2012

Formal Behavioral Modeling of Real-time Operating Systems.
Proceedings of the ICEIS 2012 - Proceedings of the 14th International Conference on Enterprise Information Systems, Volume 2, Wroclaw, Poland, 28 June, 2012

Robustness of Time Petri Nets under Architectural Constraints.
Proceedings of the Formal Modeling and Analysis of Timed Systems, 2012

Clock Transition Systems.
Proceedings of the 21th International Workshop on Concurrency, 2012

2011
Special issue on Modeling of Reactive Systems.
Discret. Event Dyn. Syst., 2011

2010
Diagnosis Using Unfoldings of Parametric Time Petri Nets.
Proceedings of the Formal Modeling and Analysis of Timed Systems, 2010

Symbolic Unfolding of Parametric Stopwatch Petri Nets.
Proceedings of the Automated Technology for Verification and Analysis, 2010

2009
Formal verification of real-time systems with preemptive scheduling.
Real Time Syst., 2009

TCTL Model Checking of Time Petri Nets.
J. Log. Comput., 2009

Parametric Model-Checking of Stopwatch Petri Nets.
J. Univers. Comput. Sci., 2009

Expressiveness of Petri Nets with Stopwatches. Discrete-time Part.
Fundam. Informaticae, 2009

Expressiveness of Petri Nets with Stopwatches. Dense-time Part.
Fundam. Informaticae, 2009

Romeo: A Parametric Model-Checker for Petri Nets with Stopwatches.
Proceedings of the Tools and Algorithms for the Construction and Analysis of Systems, 2009

Synthesis of Non-Interferent Timed Systems.
Proceedings of the Formal Modeling and Analysis of Timed Systems, 2009

Modeling of Genetic Regulatory Network in Stochastic pi-Calculus.
Proceedings of the Bioinformatics and Computational Biology, 2009

Time Arc Petri Nets and Their Analysis.
Proceedings of the Ninth International Conference on Application of Concurrency to System Design, 2009

2008
Formal Methods for Systems Engineering Behavior Models.
IEEE Trans. Ind. Informatics, 2008

When are Timed Automata weakly timed bisimilar to Time Petri Nets?
Theor. Comput. Sci., 2008

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

A Study of the AADL Mode Change Protocol.
Proceedings of the 13th International Conference on Engineering of Complex Computer Systems (ICECCS 2008), March 31 2008, 2008

Parametric Model-Checking of Time Petri Nets with Stopwatches Using the State-Class Graph.
Proceedings of the Formal Modeling and Analysis of Timed Systems, 2008

Symbolic State Space of Stopwatch Petri Nets with Discrete-Time Semantics (Theory Paper).
Proceedings of the Applications and Theory of Petri Nets, 29th International Conference, 2008

2007
Reachability Problems and Abstract State Spaces for Time Petri Nets with Stopwatches.
Discret. Event Dyn. Syst., 2007

Comparison of the Expressiveness of Arc, Place and Transition Time Petri Nets.
Proceedings of the Petri Nets and Other Models of Concurrency, 2007

2006
Vérification formelle des systèmes temps-réel avec ordonnancement préemptif.
Tech. Sci. Informatiques, 2006

State space computation and analysis of Time Petri Nets.
Theory Pract. Log. Program., 2006

Structural translation from Time Petri Nets to Timed Automata.
J. Syst. Softw., 2006

Model Checking of Time Petri Nets Using the State Class Timed Automaton.
Discret. Event Dyn. Syst., 2006

2005
An Efficient Method for Computing Exact State Space of Petri Nets With Stopwatches.
Proceedings of the 3rd Workshop on Software Model Checking, 2005

Non-Interference Control Synthesis for Security Timed Automata.
Proceedings of the International Workshop on Security and Concurrency, SecCo@CONCUR 2005, 2005

Comparison of the Expressiveness of Timed Automata and Time Petri Nets.
Proceedings of the Formal Modeling and Analysis of Timed Systems, 2005

Romeo: A Tool for Analyzing Time Petri Nets.
Proceedings of the Computer Aided Verification, 17th International Conference, 2005

Comparison of Different Semantics for Time Petri Nets.
Proceedings of the Automated Technology for Verification and Analysis, 2005

2004
A Timed Extension for ALTARICA.
Fundam. Informaticae, 2004

A Translation Based Method for the Timed Analysis of Scheduling Extended Time Petri Nets.
Proceedings of the 25th IEEE Real-Time Systems Symposium (RTSS 2004), 2004

Time Petri Nets with Inhibitor Hyperarcs. Formal Semantics and State Space Computation.
Proceedings of the Applications and Theory of Petri Nets 2004, 2004

2003
State class timed automaton of a time Petri net.
Proceedings of the 10th International Workshop on Petri Nets and Performance Models, 2003

Using Zone Graph Method for Computing the State Space of a Time Petri Net.
Proceedings of the Formal Modeling and Analysis of Timed Systems: First International Workshop, 2003

2001
Discrete time approach of time Petri nets for real-time systems analysis.
Proceedings of 8th IEEE International Conference on Emerging Technologies and Factory Automation, 2001

1993
Oreste : a Reliable Reactive Real-Time Language.
Proceedings of the 12th International Conference on Computer Safety, 1993


  Loading...