Christophe Limbrée

Christophe Limbrée

Université Catholique de Louvain - Louvain-la-Neuve / Belgium
Others
AD Scientific Index ID: 5661505
Catholic University of Louvain
person_outline Christophe Limbrée's MOST POPULAR ARTICLES
1-) Verification of railway interlocking-compositional approach with OCRAC Limbrée, Q Cappart, C Pecheur, S TonettaReliability, Safety, and Security of Railway Systems. Modelling, Analysis …, 2016402016
2-) Verification of railway interlocking systemsS Busard, Q Cappart, C Limbrée, C Pecheur, P SchausarXiv preprint arXiv:1506.03554, 2015392015
3-) Verification of interlocking systems using statistical model checkingQ Cappart, C Limbrée, P Schaus, J Quilbeuf, LM Traonouez, A Legay2017 IEEE 18th International Symposium on High Assurance Systems Engineering …, 2017342017
4-) Compositional verification of railway interlockings: comparison of two methodsA Fantechi, G Gori, AE Haxthausen, C LimbréeInternational Conference on Reliability, Safety, and Security of Railway …, 2022142022
5-) Formal verification of railway interlocking systemsC LimbréeUCL-Université Catholique de Louvain, 201982019