P Bouyer, U Fahrenberg, KG Larsen, N Markey, J Srba

Formal Modeling and Analysis of Timed Systems: 6th International Conference …, 2008

P Bouyer, C Dufourd, E Fleury, A Petit

Theoretical Computer Science 321 (2-3), 291-345, 2004

P Bouyer

Formal Methods in System Design 24, 281-320, 2004

P Bouyer, F Chevalier, D D’Souza

International Conference on Foundations of Software Science and Computation …, 2005

P Bouyer, F Cassez, E Fleury, KG Larsen

International Conference on Foundations of Software Technology and …, 2004

G Behrmann, P Bouyer, KG Larsen, R Pelánek

International Journal on Software Tools for Technology Transfer 8, 204-215, 2006

P Bouyer

Annual Symposium on Theoretical Aspects of Computer Science, 620-631, 2003

P Bouyer, C Dufourd, E Fleury, A Petit

Computer Aided Verification: 12th International Conference, CAV 2000 …, 2000

G Behrmann, P Bouyer, E Fleury, KG Larsen

International Conference on Tools and Algorithms for the Construction and …, 2003

L Aceto, P Bouyer, A Burgueno, KG Larsen

Theoretical Computer Science 300 (1-3), 411-475, 2003

P Bouyer, T Brihaye, V Bruyere, JF Raskin

Formal Methods in System Design 31 (2), 135-175, 2007

P Bouyer, F Chevalier, N Markey

International Conference on Foundations of Software Technology and …, 2005

P Bouyer, E Brinksma, KG Larsen

Formal Methods in System Design 32, 3-23, 2008

P Bouyer, D D’Souza, P Madhusudan, A Petit

Computer Aided Verification: 15th International Conference, CAV 2003 …, 2003

P Bouyer, T Brihaye, N Markey

Information Processing Letters 98 (5), 188-194, 2006

P Bouyer, A Petit, D Thérien

Information and Computation 182 (2), 137-162, 2003

P Bouyer

Electronic notes in theoretical computer science 231, 323-341, 2009

P Bouyer, U Fahrenberg, KG Larsen, N Markey

Communications of the ACM 54 (9), 78-87, 2011

P Bouyer, E Brinksma, KG Larsen

International Workshop on Hybrid Systems: Computation and Control, 203-218, 2004

P Bouyer

Information Processing Letters 84 (2), 75-85, 2002