Suivre
Olivier H. Roux
Olivier H. Roux
Professor - Ecole Centrale Nantes, LS2N (CNRS) - France
Adresse e-mail validée de ec-nantes.fr - Page d'accueil
Titre
Citée par
Citée par
Année
Structural translation from time Petri nets to timed automata
F Cassez, OH Roux
Journal of Systems and Software 79 (10), 1456-1468, 2006
268*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
2362005
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
1892009
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
1352005
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
1172005
Model checking of time Petri nets using the state class timed automaton
D Lime, OH Roux
Discrete Event Dynamic Systems 16, 179-205, 2006
1092006
Integer parameter synthesis for real-time systems
A Jovanović, D Lime, OH Roux
IEEE Transactions on Software Engineering 41 (5), 445-461, 2014
107*2014
TCTL model checking of time Petri nets
H Boucheneb, G Gardey, OH Roux
Journal of Logic and Computation 19 (6), 1509-1540, 2009
1062009
Integer parameter synthesis for real-time systems
A Jovanovic, D Lime, OH Roux
Institute of electrical and electronics engineers, 2015
1032015
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
1032007
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
942007
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
872004
On the compared expressiveness of arc, place and transition time Petri nets
M Boyer, OH Roux
Fundamenta Informaticae 88 (3), 225-249, 2008
852008
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
842002
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
822004
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
81*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
722006
State class timed automaton of a time Petri net
D Lime
Petri Nets and Performance Models, IEEE International Workshop on, 124-124, 2003
692003
Parametric model-checking of stopwatch Petri nets
LM Traonouez, D Lime, OH Roux
Journal of Universal Computer Science 15 (17), 3273-3304, 2009
642009
Formal verification of real-time systems with preemptive scheduling
D Lime, O Roux
Real-Time Systems 41 (2), 118-151, 2009
612009
Le système ne peut pas réaliser cette opération maintenant. Veuillez réessayer plus tard.
Articles 1–20