Dalay Israel de Almeida Pereira

Publication Activity (10 Years)

Years Active: 2017-2024
Publications (10 Years): 6

Top Topics

Tree Decompositions

Propositional Logic

Conceptual Model

Top Venues

Publications

Dalay Israel de Almeida Pereira, Florian Jamain, Thierry Lecomte
Formal Analysis and Monitoring of Legacy Safety-Critical Interlocking Systems with the Use of Certified Industrial Tools. FMICS (2024)
P. E. R. Bezerra, Marcel Vinícius Medeiros Oliveira, Thierry Lecomte, Dalay Israel de Almeida Pereira
CSP Specification and Verification of a Relay-Based Railway Interlocking System. SBMF (2023)
Dalay Israel de Almeida Pereira, David Déharbe, Matthieu Perin, Philippe Bon
B-Specification of Relay-Based Railway Interlocking Systems Based on the Propositional Logic of the System State Evolution. RSSRail (2019)
Dalay Israel de Almeida Pereira, Sana Debbech, Matthieu Perin, Philippe Bon, Simon Collart Dutilleul
Formal Specification of Environmental Aspects of a Railway Interlocking System Based on a Conceptual Model. ER (2019)
Dalay Israel de Almeida Pereira, Ouahmed Malki, Philippe Bon, Matthieu Perin, Simon Collart Dutilleul
An MDA Approach for the Specification of Relay-Based Diagrams. MEDI Workshops (2018)
Dalay Israel de Almeida Pereira, Marcel Vinícius Medeiros Oliveira, Madiel S. Conserva Filho, Sarah Raquel Da Rocha Silva
BTS: A Tool for Formal Component-Based Development. IFM (2017)