Seguir
Didier Lime
Didier Lime
École Centrale de Nantes
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
CONCUR 2005–Concurrency Theory: 16th International Conference, CONCUR 2005 …, 2005
4012005
UPPAAL-Tiga: Time for Playing Games! (Tool Paper)
G Behrmann, A Cougnard, A David, E Fleury, KG Larsen, D Lime
Computer Aided Verification: 19th International Conference, CAV 2007, Berlin …, 2007
3862007
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
2342005
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
1862009
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
1342005
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
1152005
Model checking of time Petri nets using the state class timed automaton
D Lime, OH Roux
Discrete Event Dynamic Systems 16, 179-205, 2006
1082006
Integer parameter synthesis for real-time systems
A Jovanović, D Lime, OH Roux
IEEE Transactions on Software Engineering 41 (5), 445-461, 2014
102*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, 133-158, 2007
1012007
Integer parameter synthesis for real-time systems
A Jovanovic, D Lime, OH Roux
Institute of electrical and electronics engineers, 2015
972015
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
912007
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
842004
On time with minimal expected cost!
A David, PG Jensen, KG Larsen, A Legay, D Lime, MG Sørensen, ...
Automated Technology for Verification and Analysis: 12th International …, 2014
802014
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
632009
Formal verification of real-time systems with preemptive scheduling
D Lime, O Roux
Real-Time Systems 41 (2), 118-151, 2009
602009
Timed control with observation based and stuttering invariant strategies
F Cassez, A David, KG Larsen, D Lime, JF Raskin
Automated Technology for Verification and Analysis: 5th International …, 2007
602007
The expressive power of time Petri nets
B Berard, F Cassez, S Haddad, D Lime, OH Roux
Theoretical Computer Science 474, 1-20, 2013
492013
Expressiveness and analysis of scheduling extended time Petri nets
D Lime, OH Roux
IFAC Proceedings Volumes 36 (13), 189-197, 2003
492003
Language preservation problems in parametric timed automata
É André, D Lime, N Markey
Logical Methods in Computer Science 16, 2020
422020
El sistema no puede realizar la operación en estos momentos. Inténtalo de nuevo más tarde.
Artículos 1–20