Olivier H. Roux
Olivier H. Roux
Professor - Ecole Centrale Nantes, LS2N (CNRS) - France
Verified email at ec-nantes.fr - Homepage
Title
Cited by
Cited by
Year
Structural translation from time Petri nets to timed automata
F Cassez, OH Roux
Journal of Systems and Software 79 (10), 1456-1468, 2006
237*2006
Romeo: A tool for analyzing time Petri nets
G Gardey, D Lime, M Magnin
International Conference on Computer Aided Verification, 418-423, 2005
2012005
Romeo: A parametric model-checker for Petri nets with stopwatches
D Lime, OH Roux, C Seidner, LM Traonouez
International Conference on Tools and Algorithms for the Construction and …, 2009
1322009
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
1172005
Model checking of time Petri nets using the state class timed automaton
D Lime, OH Roux
Discrete Event Dynamic Systems 16 (2), 179-205, 2006
882006
TCTL model checking of time Petri nets
H Boucheneb, G Gardey, OH Roux
Journal of Logic and Computation 19 (6), 1509-1540, 2009
822009
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, 2006
822006
Comparison of different semantics for time Petri nets
B Bérard, F Cassez, S Haddad, D Lime, OH Roux
International Symposium on Automated Technology for Verification and …, 2005
822005
Integer parameter synthesis for real-time systems
A Jovanović, D Lime, OH Roux
IEEE Transactions on Software Engineering 41 (5), 445-461, 2014
81*2014
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 (2), 133-158, 2007
812007
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
782002
Time Petri nets with inhibitor hyperarcs. Formal semantics and state space computation
OH Roux, D Lime
International Conference on Application and Theory of Petri Nets, 371-390, 2004
722004
Using zone graph method for computing the state space of a time Petri net
G Gardey, OH Roux, OF Roux
International Conference on Formal Modeling and Analysis of Timed Systems …, 2003
702003
Integer parameter synthesis for real-time systems
A Jovanovic, D Lime, OH Roux
IEEE Transactions on Software Engineering 41 (5), 445-461, 2015
692015
On the compared expressiveness of arc, place and transition time Petri nets
M Boyer, OH Roux
Fundamenta Informaticae 88 (3), 225-249, 2008
682008
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
63*2003
State class timed automaton of a time Petri net
D Lime
Petri Nets and Performance Models, IEEE International Workshop on, 124-124, 2003
602003
Formal verification of real-time systems with preemptive scheduling
D Lime
Real-Time Systems 41 (2), 118-151, 2009
552009
State space computation and analysis of time Petri nets
G Gardey, OH Roux, OF Roux
arXiv preprint cs/0505023, 2005
552005
Parametric Model-Checking of Stopwatch Petri Nets.
LM Traonouez, D Lime, OH Roux
J. UCS 15 (17), 3273-3304, 2009
532009
The system can't perform the operation now. Try again later.
Articles 1–20