2018

• A Framework for the Formal Verification of Networks of Railway Interlockings - Application to the Belgian Railway. Christophe Limbrée, Charles Pecheur. .

2016

• 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.

2015

• 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.