Verification of railway interlocking systems S Busard, Q Cappart, C Limbrée, C Pecheur, P Schaus arXiv preprint arXiv:1506.03554, 2015 | 42 | 2015 |
Verification of railway interlocking-compositional approach with OCRA C Limbrée, Q Cappart, C Pecheur, S Tonetta Reliability, Safety, and Security of Railway Systems. Modelling, Analysis …, 2016 | 40 | 2016 |
Verification of interlocking systems using statistical model checking Q Cappart, C Limbrée, P Schaus, J Quilbeuf, LM Traonouez, A Legay 2017 IEEE 18th International Symposium on High Assurance Systems Engineering …, 2017 | 33 | 2017 |
Compositional verification of railway interlockings: comparison of two methods A Fantechi, G Gori, AE Haxthausen, C Limbrée International Conference on Reliability, Safety, and Security of Railway …, 2022 | 12 | 2022 |
Formal verification of railway interlocking systems C Limbrée UCL-Université Catholique de Louvain, 2019 | 7 | 2019 |
Verification by discrete simulation of interlocking systems Q Cappart, C Limbrée, P Schaus, A Legay 29th Annual European Simulation and Modelling Conference, 402-409, 2015 | 7 | 2015 |
A framework for the formal verification of networks of railway interlockings-application to the Belgian railway C Limbrée, C Pecheur Electronic Communications of the EASST 76, 2019 | 6 | 2019 |
" Specification and verification of a railway level crossing T Ponchau, C Pecheur, C Limbrée | | |