Manuel Alcino Pereira da Cunha


AuthID: R-000-A05

Publications Requiring Validation

1
TITLE: Specifying Distributed Hash Tables with Allen Temporal Logic
AUTHORS: Nuno Policarpo; José Fragoso Santos; Alcino Cunha; João Leitão; Pedro Ákos Costa;
PUBLISHED: 2025, SOURCE: 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
INDEXED IN: Scopus DBLP
2
TITLE: Verifying Multiple TLA+ Configurations with Blast
AUTHORS: Paul Somson; Alcino Cunha;
PUBLISHED: 2025, SOURCE: 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
INDEXED IN: Scopus DBLP

footer slogan

Useful Links

Get Help

© 2025 CRACS & Inesc TEC - All Rights Reserved Privacy Policy | Terms of Service