F Cassez, A David, E Fleury, KG Larsen, D Lime

CONCUR 2005–Concurrency Theory: 16th International Conference, CONCUR 2005 …, 2005

G Behrmann, A Cougnard, A David, E Fleury, KG Larsen, D Lime

Computer Aided Verification: 19th International Conference, CAV 2007, Berlin …, 2007

G Gardey, D Lime, M Magnin, OH Roux

Computer Aided Verification: 17th International Conference, CAV 2005 …, 2005

D Lime, OH Roux, C Seidner, LM Traonouez

Tools and Algorithms for the Construction and Analysis of Systems: 15th …, 2009

B Bérard, F Cassez, S Haddad, D Lime, OH Roux

International conference on formal modeling and analysis of timed systems …, 2005

B Bérard, F Cassez, S Haddad, D Lime, OH Roux

International Symposium on Automated Technology for Verification and …, 2005

D Lime, OH Roux

Discrete Event Dynamic Systems 16, 179-205, 2006

A Jovanović, D Lime, OH Roux

IEEE Transactions on Software Engineering 41 (5), 445-461, 2014

A Jovanovic, D Lime, OH Roux

Institute of electrical and electronics engineers, 2015

B Berthomieu, D Lime, OH Roux, F Vernadat

Discrete Event Dynamic Systems 17, 133-158, 2007

J Ahmad, G Bernot, JP Comet, D Lime, O Roux

ComPlexUs 3 (4), 231-251, 2007

A David, PG Jensen, KG Larsen, A Legay, D Lime, MG Sørensen, ...

Automated Technology for Verification and Analysis: 12th International …, 2014

OH Roux, D Lime

Applications and Theory of Petri Nets 2004: 25th International Conference …, 2004

D Lime

Petri Nets and Performance Models, IEEE International Workshop on, 124-124, 2003

LM Traonouez, D Lime, OH Roux

Journal of Universal Computer Science 15 (17), 3273-3304, 2009

D Lime, O Roux

Real-Time Systems 41 (2), 118-151, 2009

F Cassez, A David, KG Larsen, D Lime, JF Raskin

Automated Technology for Verification and Analysis: 5th International …, 2007

D Lime, OH Roux

IFAC Proceedings Volumes 36 (13), 189-197, 2003

B Berard, F Cassez, S Haddad, D Lime, OH Roux

Theoretical Computer Science 474, 1-20, 2013

É André, D Lime, N Markey

Logical Methods in Computer Science 16, 2020