Christophe Limbrée
Contact Information
|
Christophe Limbrée |
Office: Réaumur A.151 (1st floor) |
Biography
Christophe Limbrée is a senior railway engineer with more than 20 years experience in railway interlocking. Christophe graduated as a civil engineer in IT (UCL - EPL). He is a part-time Ph.D. inside the LVL under the supervision of prof. Pecheur. His researches concern the development of verification methods for railway interlocking by mean of model checking.
Publications
- A Framework for the Formal Verification of Networks of Railway Interlockings - Application to the Belgian Railway. Christophe Limbrée, Charles Pecheur. .
- Verification of railway interlocking - Compositional approach with OCRA. Christophe Limbrée, Quentin Cappart, Charles Pecheur, Stefano Tonetta?. Reliability, Safety, and Security of Railway Systems. Modelling, Analysis, Verification, and Certification.
- Verification of railway interlocking systems. Simon Busard, Quentin Cappart, Christophe Limbrée, Charles Pecheur, Pierre Schaus. Proceedings 4th International Workshop on Engineering Safety and Security Systems, Oslo, Norway, June 22, 2015.
Talks
Tags: Verification-
Find It
Sections
Verification Diagnosis Autonomy ModelChecking Planning PDDL Requirements Testing LTL ThemeCoverage HumanComputerInteraction UserModel ProjectMOVES ThemeHMI LVL Website SymbolicModelChecking CTL Actions SMV EpistemicLogic ProjectNASA PartialOrderReduction BoundedModelChecking ThemePOR TemporalLogic Simulation Tools Tutorial Publication Equivalences