Christophe Limbrée

According to our database, Christophe Limbrée authored at least 7 papers between 2015 and 2024.

Collaborative distances:

• Dijkstra number of four.
• Erdős number of four.

2024

Formal Verification of Railway Interlockings: a Compositional Approach Based on a Library of Pre-verified Components.

Christophe Limbrée, Anne E. Haxthausen, Gloria Gori, Alessandro Fantechi

Proceedings of the Leveraging Applications of Formal Methods, Verification and Validation. Application Areas, 2024

2022

Compositional Verification of Railway Interlockings: Comparison of Two Methods.

Alessandro Fantechi, Gloria Gori, Anne E. Haxthausen, Christophe Limbrée

Proceedings of the Reliability, Safety, and Security of Railway Systems. Modelling, Analysis, Verification, and Certification, 2022

2019

Formal verification of railway interlocking systems.

Christophe Limbrée

PhD thesis, 2019

2018

A Framework for the Formal Verification of Networks of Railway Interlockings - Application to the Belgian Railway.

Christophe Limbrée, Charles Pecheur

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

2017

Verification of Interlocking Systems Using Statistical Model Checking.

Quentin Cappart, Christophe Limbrée, Pierre Schaus, Jean Quilbeuf, Louis-Marie Traonouez, Axel Legay

Proceedings of the 18th IEEE International Symposium on High Assurance Systems Engineering, 2017

2016

Verification of Railway Interlocking - Compositional Approach with OCRA.

Christophe Limbrée, Quentin Cappart, Charles Pecheur, Stefano Tonetta

Proceedings of the Reliability, Safety, and Security of Railway Systems. Modelling, Analysis, Verification, and Certification, 2016

2015

Verification of railway interlocking systems.

Simon Busard, Quentin Cappart, Christophe Limbrée, Charles Pecheur, Pierre Schaus

Proceedings of the Proceedings 4th International Workshop on Engineering Safety and Security Systems, 2015