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
230*2006
Romeo: A tool for analyzing time Petri nets
G Gardey, D Lime, M Magnin
International Conference on Computer Aided Verification, 418-423, 2005
1982005
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
1232009
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
1152005
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
902006
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
852006
TCTL model checking of time Petri nets
H Boucheneb, G Gardey, OH Roux
Journal of Logic and Computation 19 (6), 1509-1540, 2009
802009
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
802005
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
792007
Integer parameter synthesis for real-time systems
A Jovanović, D Lime, OH Roux
IEEE Transactions on Software Engineering 41 (5), 445-461, 2014
78*2014
A t-time Petri net extension for real time-task scheduling modeling
OH Roux, AM Déplanche
752002
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
712004
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
On the compared expressiveness of arc, place and transition time Petri nets
M Boyer, OH Roux
Fundamenta Informaticae 88 (3), 225-249, 2008
662008
Integer parameter synthesis for real-time systems
A Jovanovic, D Lime, OH Roux
IEEE Transactions on Software Engineering 41 (5), 445-461, 2015
632015
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
61*2003
State class timed automaton of a time Petri net
D Lime
Petri Nets and Performance Models, IEEE International Workshop on, 124-124, 2003
572003
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
542006
Formal verification of real-time systems with preemptive scheduling
D Lime
Real-Time Systems 41 (2), 118-151, 2009
532009
Development of simulation and optimization platform to analyse maintenance policies performances for manufacturing systems
O Roux, MA Jamali, DA Kadi, E Châtelet
International Journal of Computer Integrated Manufacturing 21 (4), 407-414, 2008
512008
The system can't perform the operation now. Try again later.
Articles 1–20