Volgen
Olivier H. Roux
Olivier H. Roux
Professor - Ecole Centrale Nantes, LS2N (CNRS) - France
Geverifieerd e-mailadres voor ec-nantes.fr - Homepage
Titel
Geciteerd door
Geciteerd door
Jaar
Structural translation from time Petri nets to timed automata
F Cassez, OH Roux
Journal of Systems and Software 79 (10), 1456-1468, 2006
266*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
2282005
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
1802009
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
1332005
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
1132005
TCTL model checking of time Petri nets
H Boucheneb, G Gardey, OH Roux
Journal of Logic and Computation 19 (6), 1509-1540, 2009
1022009
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
1022007
Model checking of time Petri nets using the state class timed automaton
D Lime, OH Roux
Discrete Event Dynamic Systems 16, 179-205, 2006
1022006
Integer parameter synthesis for real-time systems
A Jovanović, D Lime, OH Roux
IEEE Transactions on Software Engineering 41 (5), 445-461, 2014
99*2014
Integer parameter synthesis for real-time systems
A Jovanovic, D Lime, OH Roux
IEEE Transactions on Software Engineering 41 (5), 445-461, 2015
922015
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
902007
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
852004
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
832002
On the compared expressiveness of arc, place and transition time Petri nets
M Boyer, OH Roux
Fundamenta Informaticae 88 (3), 225-249, 2008
802008
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
782004
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
71*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
672006
State class timed automaton of a time Petri net
D Lime
Petri Nets and Performance Models, IEEE International Workshop on, 124-124, 2003
672003
Formal verification of real-time systems with preemptive scheduling
D Lime, O Roux
Real-Time Systems 41 (2), 118-151, 2009
622009
Parametric model-checking of stopwatch Petri nets
LM Traonouez, D Lime, OH Roux
Journal of Universal Computer Science 15 (17), 3273-3304, 2009
612009
Het systeem kan de bewerking nu niet uitvoeren. Probeer het later opnieuw.
Artikelen 1–20