Christophe Limbrée

Publication Activity (10 Years)

Years Active: 2015-2022
Publications (10 Years): 7

Top Topics

Temporal Properties

False Acceptance

Formal Verification

Top Venues

Electron. Commun. Eur. Assoc. Softw. Sci. Technol.

Catholic University of Louvain, Louvain-la-Neuve, Belgium (PHD)

Education History

Catholic University of Louvain, Louvain-la-Neuve, Belgium

PHD

Publications

Alessandro Fantechi, Gloria Gori, Anne E. Haxthausen, Christophe Limbrée
Compositional Verification of Railway Interlockings: Comparison of Two Methods. RSSRail (2022)
Christophe Limbrée, Charles Pecheur
A Framework for the Formal Verification of Networks of Railway Interlockings - Application to the Belgian Railway. Electron. Commun. Eur. Assoc. Softw. Sci. Technol. 76 (2018)
Quentin Cappart, Christophe Limbrée, Pierre Schaus, Jean Quilbeuf, Louis-Marie Traonouez, Axel Legay
Verification of Interlocking Systems Using Statistical Model Checking. HASE (2017)
Quentin Cappart, Christophe Limbrée, Pierre Schaus, Jean Quilbeuf, Louis-Marie Traonouez, Axel Legay
Verification of interlocking systems using statistical model checking. CoRR (2016)
Christophe Limbrée, Quentin Cappart, Charles Pecheur, Stefano Tonetta
Verification of Railway Interlocking - Compositional Approach with OCRA. RSSRail (2016)
Christophe Limbrée, Quentin Cappart, Charles Pecheur, Stefano Tonetta
Verification of railway interlocking - Compositional approach with OCRA. CoRR (2016)
Simon Busard, Quentin Cappart, Christophe Limbrée, Charles Pecheur, Pierre Schaus
Verification of railway interlocking systems. ESSS (2015)