Paulo E. R. Bezerra

According to our database, Paulo E. R. Bezerra authored at least 3 papers between 2022 and 2025.

Collaborative distances:

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

2025

Engineering Safe Robotics Software from Simulation Models via RoboSim.

Pedro Ribeiro, Dalay Almeida, Paulo E. R. Bezerra, Ana Cavalcanti, Thierry Lecomte, Marcel Vinícius Medeiros Oliveira

Proceedings of the Engineering Trustworthy Software Systems - 7th International School, 2025

2023

CSP Specification and Verification of a Relay-Based Railway Interlocking System.

P. E. R. Bezerra, Marcel Vinícius Medeiros Oliveira, Thierry Lecomte, Dalay Israel de Almeida Pereira

Proceedings of the Formal Methods: Foundations and Applications - 26th Brazilian Symposium, 2023

2022

CSP specification and verification of relay-based railway interlocking systems.

Dalay Israel de Almeida Pereira, Marcel Vinícius Medeiros Oliveira, P. E. R. Bezerra, Philippe Bon, Simon Collart Dutilleul

Proceedings of the SAC '22: The 37th ACM/SIGAPP Symposium on Applied Computing, Virtual Event, April 25, 2022