Olivier H. Roux
Olivier H. Roux
Professor - Ecole Centrale Nantes, LS2N (CNRS) - France
Verified email at - Homepage
Cited by
Cited by
Structural translation from time Petri nets to timed automata
F Cassez, OH Roux
Journal of Systems and Software 79 (10), 1456-1468, 2006
Romeo: A tool for analyzing time Petri nets
G Gardey, D Lime, M Magnin, OH Roux
Computer Aided Verification: 17th International Conference, CAV 2005 …, 2005
Romeo: A parametric model-checker for Petri nets with stopwatches
D Lime, OH Roux, C Seidner, LM Traonouez
Tools and Algorithms for the Construction and Analysis of Systems: 15th …, 2009
Comparison of the expressiveness of timed automata and time Petri nets
B Bérard, F Cassez, S Haddad, D Lime, OH Roux
International conference on formal modeling and analysis of timed systems …, 2005
Comparison of different semantics for time Petri nets
B Bérard, F Cassez, S Haddad, D Lime, OH Roux
Automated Technology for Verification and Analysis: Third International …, 2005
Model checking of time Petri nets using the state class timed automaton
D Lime, OH Roux
Discrete Event Dynamic Systems 16, 179-205, 2006
TCTL model checking of time Petri nets
H Boucheneb, G Gardey, OH Roux
Journal of Logic and Computation 19 (6), 1509-1540, 2009
Reachability problems and abstract state spaces for time Petri nets with stopwatches
B Berthomieu, D Lime, OH Roux, F Vernadat
Discrete Event Dynamic Systems 17, 133-158, 2007
Integer parameter synthesis for real-time systems
A Jovanović, D Lime, OH Roux
IEEE Transactions on Software Engineering 41 (5), 445-461, 2014
Integer parameter synthesis for real-time systems
A Jovanovic, D Lime, OH Roux
Institute of electrical and electronics engineers, 2015
Hybrid modelling and dynamical analysis of gene regulatory networks with delays
J Ahmad, G Bernot, JP Comet, D Lime, O Roux
ComPlexUs 3 (4), 231-251, 2007
Time Petri nets with inhibitor hyperarcs. Formal semantics and state space computation
OH Roux, D Lime
Applications and Theory of Petri Nets 2004: 25th International Conference …, 2004
A t-time Petri net extension for real time-task scheduling modeling
OH Roux, AM Déplanche
European Journal of Automation 36 (7), 973--987, 2002
On the compared expressiveness of arc, place and transition time Petri nets
M Boyer, OH Roux
Fundamenta Informaticae 88 (3), 225-249, 2008
Using zone graph method for computing the state space of a time Petri net
G Gardey, OH Roux, OF Roux
Formal Modeling and Analysis of Timed Systems: First International Workshop …, 2004
Semantics of Biological Regulatory Networks
G Bernot, F Cassez, JP Comet, F Delaplace, C Müller, O Roux
Electronic Notes in Theoretical Computer Science, 2003
State class timed automaton of a time Petri net
D Lime
Petri Nets and Performance Models, IEEE International Workshop on, 124-124, 2003
State space computation and analysis of time Petri nets
G Gardey, OH Roux, OF Roux
Theory and Practice of Logic Programming 6 (3), 301-320, 2006
Parametric model-checking of stopwatch Petri nets
LM Traonouez, D Lime, OH Roux
Journal of Universal Computer Science 15 (17), 3273-3304, 2009
Formal verification of real-time systems with preemptive scheduling
D Lime, O Roux
Real-Time Systems 41 (2), 118-151, 2009
The system can't perform the operation now. Try again later.
Articles 1–20