Olivier H. Roux

According to our database1, Olivier H. Roux authored at least 78 papers between 2001 and 2018.

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

Timeline

Legend:

Book 
In proceedings 
Article 
PhD thesis 
Other 

Links

Homepages:

On csauthors.net:

Bibliography

2018
Testing Real-Time Systems With Runtime Enforcement.
IEEE Design & Test, 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. Embedded 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.
Discrete Event Dynamic Systems, 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. Inform., 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 in System Design, 2013

Shrinking of Time Petri nets.
Discrete Event Dynamic Systems, 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

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.
Discrete Event Dynamic Systems, 2011

Channel Synthesis for Finite Transducers.
Proceedings of the Automata and Formal Languages, 13th International Conference, 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 Systems, 2009

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

Parametric Model-Checking of Stopwatch Petri Nets.
J. UCS, 2009

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

Expressiveness of Petri Nets with Stopwatches. Dense-time Part.
Fundam. Inform., 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. Industrial Informatics, 2008

On the Compared Expressiveness of Arc, Place and Transition Time Petri Nets.
Fundam. Inform., 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
Non-Interference Control Synthesis for Security Timed Automata.
Electr. Notes Theor. Comput. Sci., 2007

Reachability Problems and Abstract State Spaces for Time Petri Nets with Stopwatches.
Discrete Event Dynamic Systems, 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.
Technique et Science Informatiques, 2006

State space computation and analysis of Time Petri Nets.
TPLP, 2006

Structural translation from Time Petri Nets to Timed Automata.
Journal of Systems and Software, 2006

An Efficient Method for Computing Exact State Space of Petri Nets With Stopwatches.
Electr. Notes Theor. Comput. Sci., 2006

Model Checking of Time Petri Nets Using the State Class Timed Automaton.
Discrete Event Dynamic Systems, 2006

2005
Structural Translation from Time Petri Nets to Timed Automata.
Electr. Notes Theor. Comput. Sci., 2005

When Are Timed Automata Weakly Timed Bisimilar to Time Petri Nets?
Proceedings of the FSTTCS 2005: Foundations of Software Technology and Theoretical Computer Science, 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. Inform., 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


  Loading...