Formal Methods and Verification at ULB   Computer Science Department at ULB  

Moved to LSV, ENS Cachan, France

Laurent Doyen

Laurent Doyen

PhD ULB, 2006.

Postdoctoral Researcher, F.R.S.-FNRS
Département d'Informatique
Université Libre de Bruxelles

In the group of Prof. Jean-François Raskin

Coordinates Short CV Research Teaching Personal

Coordinates (on leave)

Laurent Doyen

Université Libre de Bruxelles
Département d'Informatique
Boulevard du Triomphe CP 212
1050   Bruxelles

Office 2.N8.110 (Campus de la Plaine)

Old homepage at EPFL, Switzerland

>>> Research Group in Formal Methods and Verification <<<

>>> Centre Fédéré en Vérification <<<

>>> Computer Science Seminars <<<

Short CV

2002 - 2006: Thèse de Doctorat en Sciences (Informatique).

"Algorithmic Analysis of Complex Semantics for Timed and Hybrid Automata."

2002 - 2003 : DEA en Informatique.

"A systematic implementation of simple timed controllers."

1997 - 2002 : Ingénieur civil informaticien (Faculté des Sciences Appliquées).

Travail de fin d'études (M.Sc. Thesis): "Conception et vérification d'applications distribuées pour les robots Lego Mindstorms"


Publications [by year] [by topic]

[ BibTex List]

Keywords : real-time and hybrid systems, automata and game theory, quantitative and probabilistic verification, robustness.



  • Quasimodo: Quantitative System Properties in Model-Driven-Design of Embedded Systems
  • Gasics: Games for Analysis and Synthesis of Interactive Computational Systems
  • COMBEST: COMponent-Based Embedded Systems design Techniques

Past projects

  • Artist2 NOE: Network of Excellence on Embedded Systems Design


INFO-F-302: Logique pour l'informatique, Prof. Jean-François Raskin


HyTech: a model-checker for hybrid automata.
    The Algorithmic Analysis of Hybrid Systems by R. Alur, C. Courcoubetis, N. Halbwachs, T.A. Henzinger, P.-H. Ho, X. Nicollin, A. Olivero, J. Sifakis and S. Yovine.

PHAVer: a recent model-checker for hybrid automata.
Uppaal: a model-checker for timed automata extended with (discrete) variables.
    UPPAAL2k: Small Tutorial, by Alexandre David.
    A Theory of Timed Automata by R. Alur and D. Dill.

LaTeX FAQ (in french).


My cycling pages [English] [French]

Office's building in Brussels vs. Lausanne



Last update March 16th, 2009
Site Meter