Manuel Alcino Pereira da Cunha
AuthID: R-000-A05
1
TÃTULO: Specifying Distributed Hash Tables with Allen Temporal Logic
AUTORES: Nuno Policarpo; José Fragoso Santos; Alcino Cunha; João Leitão; Pedro Ákos Costa;
PUBLICAÇÃO: 2025, FONTE: 13th IEEE/ACM International Conference on Formal Methods in Software Engineering, FormaliSE 2025 in 13th IEEE/ACM International Conference on Formal Methods in Software Engineering, FormaliSE@ICSE 2025, Ottawa, ON, Canada, April 27-28, 2025
AUTORES: Nuno Policarpo; José Fragoso Santos; Alcino Cunha; João Leitão; Pedro Ákos Costa;
PUBLICAÇÃO: 2025, FONTE: 13th IEEE/ACM International Conference on Formal Methods in Software Engineering, FormaliSE 2025 in 13th IEEE/ACM International Conference on Formal Methods in Software Engineering, FormaliSE@ICSE 2025, Ottawa, ON, Canada, April 27-28, 2025
INDEXADO EM: 
Scopus 
DBLP
Scopus DBLP2
TÃTULO: Verifying Multiple TLA+ Configurations with Blast
AUTORES: Paul Somson; Alcino Cunha;
PUBLICAÇÃO: 2025, FONTE: 13th IEEE/ACM International Conference on Formal Methods in Software Engineering, FormaliSE 2025 in 13th IEEE/ACM International Conference on Formal Methods in Software Engineering, FormaliSE@ICSE 2025, Ottawa, ON, Canada, April 27-28, 2025
AUTORES: Paul Somson; Alcino Cunha;
PUBLICAÇÃO: 2025, FONTE: 13th IEEE/ACM International Conference on Formal Methods in Software Engineering, FormaliSE 2025 in 13th IEEE/ACM International Conference on Formal Methods in Software Engineering, FormaliSE@ICSE 2025, Ottawa, ON, Canada, April 27-28, 2025
INDEXADO EM: Scopus DBLP
Scopus DBLP