Didier Lime
Didier Lime
Dirección de correo verificada de ec-nantes.fr
Título
Citado por
Citado por
Año
Efficient on-the-fly algorithms for the analysis of timed games
F Cassez, A David, E Fleury, KG Larsen, D Lime
International Conference on Concurrency Theory, 66-80, 2005
3132005
Uppaal-tiga: Time for playing games!
G Behrmann, A Cougnard, A David, E Fleury, KG Larsen, D Lime
International Conference on Computer Aided Verification, 121-125, 2007
2822007
Romeo: A tool for analyzing time Petri nets
G Gardey, D Lime, M Magnin
International Conference on Computer Aided Verification, 418-423, 2005
1952005
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
1152009
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
1122005
Integer Parameter Synthesis for Timed Automata.
A Jovanovic, D Lime, OH Roux
TACAS 7795, 401-415, 2013
94*2013
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
892006
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
802006
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
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
692004
State class timed automaton of a time Petri net
D Lime, OH Roux
572003
Formal verification of real-time systems with preemptive scheduling
D Lime
Real-Time Systems 41 (2), 118-151, 2009
502009
Timed control with observation based and stuttering invariant strategies
F Cassez, A David, KG Larsen, D Lime, JF Raskin
International Symposium on Automated Technology for Verification and …, 2007
492007
Parametric Model-Checking of Stopwatch Petri Nets.
LM Traonouez, D Lime, OH Roux
J. UCS 15 (17), 3273-3304, 2009
452009
On time with minimal expected cost!
A David, PG Jensen, KG Larsen, A Legay, D Lime, MG Sørensen, ...
International Symposium on Automated Technology for Verification and …, 2014
372014
Expressiveness and analysis of scheduling extended time Petri nets
D Lime, OH Roux
IFAC Proceedings Volumes 36 (13), 189-197, 2003
362003
The expressive power of time Petri nets
B Berard, F Cassez, S Haddad, D Lime, OH Roux
Theoretical Computer Science 474, 1-20, 2013
342013
A translation based method for the timed analysis of scheduling extended time Petri nets
D Lime, OH Roux
25th IEEE International Real-Time Systems Symposium, 187-196, 2004
332004
Parametric model-checking of time petri nets with stopwatches using the state-class graph
LM Traonouez, D Lime, OH Roux
International Conference on Formal Modeling and Analysis of Timed Systems …, 2008
282008
El sistema no puede realizar la operación en estos momentos. Inténtalo de nuevo más tarde.
Artículos 1–20