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"






Research


Publications [by year] [by topic]
Talks

[ BibTex List]

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

Co-authors

Projects

  • 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





Teaching

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





Links

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.
LaTeX FAQ (in french).





Personal

My cycling pages [English] [French]

Office's building in Brussels vs. Lausanne

Ouchy

Epitaphe





Last update March 16th, 2009
Site Meter