Dalay Israel de Almeida Pereira
Publication record assembled from the DBLP archive of ranked conferences.
Papers indexed
5
Venues
5
Active years
2017–2024
Best venue rank
C
Where they publish
Papers
5 indexed papers, newest first.
| Year | Venue | Title | Authors |
|---|---|---|---|
| 2024 | FMICS | 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 |
| 2022 | SAC | CSP specification and verification of relay-based railway interlocking systems. | Dalay Israel de Almeida Pereira, Marcel Vincius Medeiros Oliveira, P. E. R. Bezerra, Philippe Bon, Simon Collart Dutilleul |
| 2019 | ER | 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 |
| 2018 | MEDI | An MDA Approach for the Specification of Relay-Based Diagrams. | Dalay Israel de Almeida Pereira, Ouahmed Malki, Philippe Bon, Matthieu Perin, Simon Collart Dutilleul |
| 2017 | IFM | BTS: A Tool for Formal Component-Based Development. | Dalay Israel de Almeida Pereira, Marcel Vincius Medeiros Oliveira, Madiel S. Conserva Filho, Sarah Raquel Da Rocha Silva |