B-specification of relay-based railway interlocking systems based on the propositional logic of the system state evolution DI de Almeida Pereira, D Deharbe, M Perin, P Bon International Conference on Reliability, Safety, and Security of Railway …, 2019 | 16 | 2019 |
Towards safe and secure computer based railway interlocking systems S Martinez, DIDA Pereira, P Bon, S Collart-Dutilleul, M Perin International Journal of Transport Development and Integration 4 (3), 218-229, 2020 | 8 | 2020 |
Formal specification of environmental aspects of a railway interlocking system based on a conceptual model DI de Almeida Pereira, S Debbech, M Perin, P Bon, S Collart-Dutilleul International Conference on Conceptual Modeling, 338-351, 2019 | 5 | 2019 |
Designing operating rules for ERTMS transnational lines S Collart-Dutilleul, DIA Pereira, P Bon Operating Rules and Interoperability in Trans-National High-Speed Rail, 133-161, 2022 | 4 | 2022 |
Bts: A tool for formal component-based development DI de Almeida Pereira, MVM Oliveira, MS Conserva Filho, ... International Conference on Integrated Formal Methods, 211-226, 2017 | 3 | 2017 |
Analysis and formal specification of relay-based railway interlocking systems DI De Almeida Pereira Ecole centrale de Lille, 2020 | 2 | 2020 |
An MDA approach for the specification of relay-based diagrams DI de Almeida Pereira, O Malki, P Bon, M Perin, S Collart-Dutilleul International Conference on Model and Data Engineering, 17-29, 2018 | 2 | 2018 |
Csp specification and verification of relay-based railway interlocking systems DI de Almeida Pereira, MVM Oliveira, PER Bezerra, P Bon, ... Proceedings of the 37th ACM/SIGAPP Symposium on Applied Computing, 97-106, 2022 | 1 | 2022 |
From French National Signaling Systems to ERTMS: Considering the Evolution of Track-Side Systems JB Dalay Israel de Almeida Pereira, Ouail Himrane, Philippe Bon International Journal of Signal Processing Systems 9 (2), 11-16, 2021 | 1* | 2021 |
A framework for the formal specification of relay-based systems based on a b-method graph specification DI de Almeida Pereira, M Perin, P Bon, S Collart-Dutilleul International Journal of Computer and Electrical Engineering (IJCEE) 11 (1 …, 2019 | 1 | 2019 |
Tool Support for Formal Component-based Development DIA Pereira, MVM Oliveira, SRR Silva CIP–CATALOGAÇÃO NA PUBLICAÇÃO, 43, 2016 | 1 | 2016 |
CSP Specification and Verification of a Relay-Based Railway Interlocking System PER Bezerra, MVM Oliveira, T Lecomte, DI de Almeida Pereira Brazilian Symposium on Formal Methods, 36-54, 2023 | | 2023 |
An extension of a tool for the formal support for component-based development DIA Pereira Brasil, 2017 | | 2017 |
Inclusão de Suporte a Metadados a Uma Ferramenta de Suporte Formal ao Desenvolvimento Baseado em Componentes DI de Almeida Pereira | | 2015 |