Dalay Israel de Almeida Pereira
Orcid: 0000-0001-9698-5569
According to our database1,
Dalay Israel de Almeida Pereira
authored at least 8 papers
between 2017 and 2024.
Collaborative distances:
Collaborative distances:
Timeline
Legend:
Book In proceedings Article PhD thesis Dataset OtherLinks
Online presence:
-
on orcid.org
On csauthors.net:
Bibliography
2024
Formal Analysis and Monitoring of Legacy Safety-Critical Interlocking Systems with the Use of Certified Industrial Tools.
Proceedings of the Formal Methods for Industrial Critical Systems, 2024
2023
Proceedings of the Formal Methods: Foundations and Applications - 26th Brazilian Symposium, 2023
2022
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).
PhD thesis, 2020
2019
B-Specification of Relay-Based Railway Interlocking Systems Based on the Propositional Logic of the System State Evolution.
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.
Proceedings of the Conceptual Modeling - 38th International Conference, 2019
2018
Proceedings of the New Trends in Model and Data Engineering, 2018
2017
Proceedings of the Integrated Formal Methods - 13th International Conference, 2017