Didier Lime
제목
인용
인용
연도
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
3442005
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
3262007
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
2112005
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
1412009
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
1202005
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
912006
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
912005
Integer parameter synthesis for real-time systems
A Jovanović, D Lime, OH Roux
IEEE Transactions on Software Engineering 41 (5), 445-461, 2014
88*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
842007
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
822006
Integer parameter synthesis for real-time systems
A Jovanovic, D Lime, OH Roux
IEEE Transactions on Software Engineering 41 (5), 445-461, 2015
782015
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
722004
State class timed automaton of a time Petri net
D Lime
Petri Nets and Performance Models, IEEE International Workshop on, 124-124, 2003
612003
Formal verification of real-time systems with preemptive scheduling
D Lime
Real-Time Systems 41 (2), 118-151, 2009
602009
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
542014
Parametric Model-Checking of Stopwatch Petri Nets.
LM Traonouez, D Lime, OH Roux
J. Univers. Comput. Sci. 15 (17), 3273-3304, 2009
542009
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
522007
The expressive power of time Petri nets
B Berard, F Cassez, S Haddad, D Lime, OH Roux
Theoretical Computer Science 474, 1-20, 2013
412013
Expressiveness and analysis of scheduling extended time Petri nets
D Lime, OH Roux
IFAC Proceedings Volumes 36 (13), 189-197, 2003
392003
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
382004
현재 시스템이 작동되지 않습니다. 나중에 다시 시도해 주세요.
학술자료 1–20