Structural translation from time Petri nets to timed automata F Cassez, OH Roux Journal of Systems and Software 79 (10), 1456-1468, 2006 | 267* | 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 | 229 | 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 | 183 | 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 | 133 | 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 | 115 | 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 | 105 | 2006 |
TCTL model checking of time Petri nets H Boucheneb, G Gardey, OH Roux Journal of Logic and Computation 19 (6), 1509-1540, 2009 | 104 | 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 | 100 | 2007 |
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 Institute of electrical and electronics engineers, 2015 | 95 | 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 | 91 | 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 | 84 | 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 | 83 | 2002 |
On the compared expressiveness of arc, place and transition time Petri nets M Boyer, OH Roux Fundamenta Informaticae 88 (3), 225-249, 2008 | 81 | 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 | 79 | 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 | 75* | 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 | 69 | 2006 |
State class timed automaton of a time Petri net D Lime Petri Nets and Performance Models, IEEE International Workshop on, 124-124, 2003 | 69 | 2003 |
Parametric model-checking of stopwatch Petri nets LM Traonouez, D Lime, OH Roux Journal of Universal Computer Science 15 (17), 3273-3304, 2009 | 61 | 2009 |
Formal verification of real-time systems with preemptive scheduling D Lime, O Roux Real-Time Systems 41 (2), 118-151, 2009 | 60 | 2009 |