Miguel Grilo

According to our database, Miguel Grilo authored at least 4 papers between 2021 and 2026.

Collaborative distances:

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

2026

Assessment of the automatic train protection system and its association to signals passed at danger in railway safety management.

Guilherme Ribeiro, Gonçalo Fernandes Neves, Miguel I. Grilo, Virgínia Infante, António Ramos Andrade

Int. J. Syst. Assur. Eng. Manag., March, 2026

2025

Enhancing railway operational safety: A quantitative risk assessment of signals passed at danger.

Miguel I. Grilo, Gonçalo Fernandes Neves, Guilherme Ribeiro, Virgínia Infante, António Ramos Andrade

J. Rail Transp. Plan. Manag., 2025

2022

Verified Password Generation from Password Composition Policies.

Miguel Grilo, João Campos, João F. Ferreira, José Bacelar Almeida, Alexandra Mendes

Proceedings of the Integrated Formal Methods - 17th International Conference, 2022

2021

Towards Formal Verification of Password Generation Algorithms used in Password Managers.

Miguel Grilo, João F. Ferreira, José Bacelar Almeida

CoRR, 2021