F Cassez, OH Roux

Journal of Systems and Software 79 (10), 1456-1468, 2006

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

Automated Technology for Verification and Analysis: Third International …, 2005

D Lime, OH Roux

Discrete Event Dynamic Systems 16, 179-205, 2006

H Boucheneb, G Gardey, OH Roux

Journal of Logic and Computation 19 (6), 1509-1540, 2009

A Jovanović, D Lime, OH Roux

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

B Berthomieu, D Lime, OH Roux, F Vernadat

Discrete Event Dynamic Systems 17, 133-158, 2007

A Jovanovic, D Lime, OH Roux

Institute of electrical and electronics engineers, 2015

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

ComPlexUs 3 (4), 231-251, 2007

OH Roux, D Lime

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

OH Roux, AM Déplanche

European Journal of Automation 36 (7), 973--987, 2002

M Boyer, OH Roux

Fundamenta Informaticae 88 (3), 225-249, 2008

G Gardey, OH Roux, OF Roux

Formal Modeling and Analysis of Timed Systems: First International Workshop …, 2004

G Bernot, F Cassez, JP Comet, F Delaplace, C Müller, O Roux

Electronic Notes in Theoretical Computer Science, 2003

G Gardey, OH Roux, OF Roux

Theory and Practice of Logic Programming 6 (3), 301-320, 2006

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