Dalay Almeida

According to our database, Dalay Almeida authored at least 12 papers between 2017 and 2026.

Collaborative distances:

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

2026

Pragmatic Uses of AI in Formal Methods-Based Railway Projects: Early Lessons and Perspectives (Extended Abstract).

Thierry Lecomte, Dalay Almeida, Norman Maury

Proceedings of the Formal Methods - 27th International Symposium, 2026

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

From Relay-Based Railway Interlocking Circuits to Formal Specification: An AI-Driven Approach.

Dalay Israel de Almeida Pereira, Loïc Glemarec

Proceedings of the Reliability, Safety, and Security of Railway Systems. Modelling, Analysis, Verification, and Certification, 2025

Use of Certified Industrial Tools for Formal Analysis and Monitoring of Communications-Based Train Control Systems.

Dalay Almeida

Proceedings of the Reliability, Safety, and Security of Railway Systems. Modelling, Analysis, Verification, and Certification, 2025

2024

Formal Analysis and Monitoring of Legacy Safety-Critical Interlocking Systems with the Use of Certified Industrial Tools.

Dalay Israel de Almeida Pereira, Florian Jamain, Thierry Lecomte

Proceedings of the Formal Methods for Industrial Critical Systems, 2024

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

2020

Analysis and formal specification of relay-based railway interlocking systems. (Analyse et spécification formelle des systèmes d'enclenchement ferroviaire basés sur les relais).

Dalay Israel de Almeida Pereira

PhD thesis, 2020

2019

B-Specification of Relay-Based Railway Interlocking Systems Based on the Propositional Logic of the System State Evolution.

Dalay Israel de Almeida Pereira, David Déharbe, Matthieu Perin, Philippe Bon

Proceedings of the Reliability, Safety, and Security of Railway Systems. Modelling, Analysis, Verification, and Certification, 2019

Formal Specification of Environmental Aspects of a Railway Interlocking System Based on a Conceptual Model.

Dalay Israel de Almeida Pereira, Sana Debbech, Matthieu Perin, Philippe Bon, Simon Collart Dutilleul

Proceedings of the Conceptual Modeling - 38th International Conference, 2019

2018

An MDA Approach for the Specification of Relay-Based Diagrams.

Dalay Israel de Almeida Pereira, Ouahmed Malki, Philippe Bon, Matthieu Perin, Simon Collart Dutilleul

Proceedings of the New Trends in Model and Data Engineering, 2018

2017

BTS: A Tool for Formal Component-Based Development.

Dalay Israel de Almeida Pereira, Marcel Vinícius Medeiros Oliveira, Madiel S. Conserva Filho, Sarah Raquel Da Rocha Silva

Proceedings of the Integrated Formal Methods - 13th International Conference, 2017