Alexandra Sofia Ferreira Mendes


AuthID: R-00H-J2M

Publicações Confirmadas: 56



1
TÍTULO: Are Users More Willing to Use Formally Verified Password Managers?
AUTORES: Carreira, Carolina; Ferreira, Joao F. ; Mendes, Alexandra ; Christin, Nicolas;
PUBLICAÇÃO: 2026, FONTE: 23rd International Conference on Software Engineering and Formal Methods-SEFM-Annual in SOFTWARE ENGINEERING AND FORMAL METHODS, SEFM 2025, VOLUME: 16192
INDEXADO EM: Scopus WOS DBLP CrossRef
NO MEU: DBLP
2
TÍTULO: Can Large Language Models Help Students Prove Software Correctness? An Experimental Study with Dafny
AUTORES: Carreira, Carolina; Silva, Alvaro; Abreu, Alexandre; Mendes, Alexandra ;
PUBLICAÇÃO: 2026, FONTE: 23rd International Conference on Software Engineering and Formal Methods-SEFM-Annual in SOFTWARE ENGINEERING AND FORMAL METHODS, SEFM 2025, VOLUME: 16192
INDEXADO EM: Scopus WOS DBLP CrossRef: 1
NO MEU: DBLP
3
TÍTULO: Software Testing Education and Industry Needs- Report from the ENACTEST EU Project
AUTORES: Saadatmand, Mehrdad; Khan, Abbas; Marin, Beatriz; Paiva, Ana C. R. ; Van Asch, Nele; Moran, Graham; Cammaerts, Felix; Snoeck, Monique; Mendes, Alexandra ;
PUBLICAÇÃO: 2026, FONTE: 26th International Conference on Product Focused Software Process Improvement-PROFES-Annual in PRODUCT-FOCUSED SOFTWARE PROCESS IMPROVEMENT. INDUSTRY, DOCTORAL-SYMPOSIUM, TUTORIAL, AND WORKSHOP PAPERS, PROFES 2025, VOLUME: 16362
INDEXADO EM: Scopus WOS DBLP CrossRef Unpaywall
NO MEU: DBLP
4
TÍTULO: Specification-Guided Repair of Arithmetic Errors in Dafny Programs Using LLMs
AUTORES: Wu, Valentina; Mendes, Alexandra ; Abreu, Alexandre;
PUBLICAÇÃO: 2026, FONTE: 23rd International Conference on Software Engineering and Formal Methods-SEFM-Annual in SOFTWARE ENGINEERING AND FORMAL METHODS, SEFM 2025, VOLUME: 16192
INDEXADO EM: Scopus WOS DBLP CrossRef: 1 Unpaywall
NO MEU: DBLP
5
TÍTULO: Teachers' Perspective on Software Testing Education  Full Text
AUTORES: Fasolino, Anna Rita; Marin, Beatriz; Vos, Tanja E. J.; Mendes, Alexandra ; Paiva, Ana C. R. ; Cammaerts, Felix; Snoeck, Monique; Saadatmand, Mehrdad; Tramontana, Porfirio;
PUBLICAÇÃO: 2026, FONTE: ACM TRANSACTIONS ON COMPUTING EDUCATION, VOLUME: 26, NÚMERO: 1
INDEXADO EM: Scopus WOS DBLP CrossRef
NO MEU: DBLP
6
TÍTULO: A Systematic Review of Security Communication Strategies: Guidelines and Open Challenges
AUTORES: Carolina Carreira; Alexandra Mendes ; João F Ferreira; Nicolas Christin;
PUBLICAÇÃO: 2025, FONTE: CoRR, VOLUME: abs/2504.02109
INDEXADO EM: DBLP
NO MEU: DBLP
7
TÍTULO: Contract Usage and Evolution in Android Mobile Applications
AUTORES: Ferreira, David R.; Mendes, Alexandra ; Ferreira, Joao F.; Carreira, Carolina;
PUBLICAÇÃO: 2025, FONTE: 39th European Conference on Object-Orientated Programming-ECOOP in 39TH EUROPEAN CONFERENCE ON OBJECT-ORIENTED PROGRAMMING, ECOOP 2025, VOLUME: 333
INDEXADO EM: Scopus WOS DBLP
NO MEU: DBLP
8
TÍTULO: Detecting Resource Leaks on Android with Alpakka
AUTORES: Santos, Gustavo; Bispo, Joao ; Mendes, Alexandra ;
PUBLICAÇÃO: 2025, FONTE: 18th International Conference on Software Language Engineering-SLE-Annual in PROCEEDINGS OF SLE 2025 18TH ACM SIGPLAN INTERNATIONAL CONFERENCE ON SOFTWARE LANGUAGE ENGINEERING, SLE 2025
INDEXADO EM: Scopus WOS DBLP CrossRef
NO MEU: DBLP
9
TÍTULO: Does Every Computer Scientist Need to Know Formal Methods?
AUTORES: Broy, Manfred; Brucker, Achim D.; Fantechi, Alessandro; Gleirscher, Mario; Havelund, Klaus; Kuppe, Markus Alexander; Mendes, Alexandra ; Platzer, Andre; Ringert, Jan Oliver; Sullivan, Allison;
PUBLICAÇÃO: 2025, FONTE: FORMAL ASPECTS OF COMPUTING, VOLUME: 37, NÚMERO: 1
INDEXADO EM: Scopus WOS DBLP CrossRef: 20
NO MEU: DBLP
10
TÍTULO: Environmental Impact of CI/CD Pipelines
AUTORES: Nuno Saavedra; Alexandra Mendes ; João F Ferreira;
PUBLICAÇÃO: 2025, FONTE: CoRR, VOLUME: abs/2510.26413
INDEXADO EM: DBLP
NO MEU: DBLP
Página 1 de 6. Total de resultados: 56.

Um espaço para investigadores e suas Instituições

Links Úteis

Ajuda

© 2026 CRACS & Inesc TEC - All Rights Reserved Política de Privacidade | Terms of Service