| Structural translation from time Petri nets to timed automata F Cassez, OH Roux Journal of Systems and Software 79 (10), 1456-1468, 2006 | 274* | 2006 |
| Romeo: A tool for analyzing time Petri nets G Gardey, D Lime, M Magnin, O Roux International Conference on Computer Aided Verification, 418-423, 2005 | 241 | 2005 |
| 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 | 192 | 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 | 141 | 2005 |
| 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 | 121 | 2005 |
| TCTL model checking of time Petri nets H Boucheneb, G Gardey, OH Roux Journal of Logic and Computation 19 (6), 1509-1540, 2009 | 112 | 2009 |
| 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 | 110 | 2006 |
| Integer parameter synthesis for real-time systems A Jovanović, D Lime, OH Roux IEEE Transactions on Software Engineering 41 (5), 445-461, 2014 | 109* | 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 | 103 | 2007 |
| Integer parameter synthesis for real-time systems A Jovanovic, D Lime, OH Roux IEEE Transactions on Software Engineering 41 (5), 445-461, 2015 | 102 | 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 | 96 | 2007 |
| On the compared expressiveness of arc, place and transition time Petri nets M Boyer, OH Roux Fundamenta Informaticae 88 (3), 225-249, 2008 | 91 | 2008 |
| 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 | 86 | 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 | 86 | 2002 |
| 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 | 84 | 2003 |
| 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 | 80* | 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 | 71 | 2006 |
| State class timed automaton of a time Petri net D Lime, OH Roux The 10th International Workshop on Petri Nets and Performance Models,(PNPM …, 2003 | 70 | 2003 |
| Parametric model-checking of stopwatch Petri nets LM Traonouez, D Lime, OH Roux Journal of Universal Computer Science 15 (17), 3273-3304, 2009 | 65 | 2009 |
| Formal verification of real-time systems with preemptive scheduling D Lime, O Roux Real-Time Systems 41 (2), 118-151, 2009 | 62 | 2009 |
Didier LimeÉcole Centrale de NantesVerified email at ec-nantes.fr
