Nuno Policarpo

According to our database, Nuno Policarpo authored at least 2 papers in 2025.

Collaborative distances:

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

2025

First-Order Linear Temporal Logic for Testing Distributed Protocols.

José João Ferreira, Nuno Policarpo, José Fragoso Santos, Alcino Cunha, Alessandro Gianola

Proceedings of the Short Paper Proceedings of the 7th International Workshop on Artificial Intelligence and Formal Verification, 2025

Specifying Distributed Hash Tables with Allen Temporal Logic.

Nuno Policarpo, José Fragoso Santos, Alcino Cunha, João Leitão, Pedro Ákos Costa

Proceedings of the 13th IEEE/ACM International Conference on Formal Methods in Software Engineering, 2025