Alexandra Sofia Ferreira Mendes


AuthID: R-00H-J2M

Publicações Confirmadas: 45



1
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
2
TÍTULO: Are Users More Willing to Use Formally Verified Password Managers?
AUTORES: Carolina Carreira; João F Ferreira; Alexandra Mendes ; Nicolas Christin;
PUBLICAÇÃO: 2025, FONTE: CoRR, VOLUME: abs/2504.02124
INDEXADO EM: DBLP
NO MEU: DBLP
3
TÍTULO: Does Every Computer Scientist Need to Know Formal Methods?  Full Text
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: 11
NO MEU: ORCID | DBLP
4
TÍTULO: From "Worse is Better" to Better: Lessons from a Mixed Methods Study of Ansible's Challenges
AUTORES: Carolina Carreira; Nuno Saavedra; Alexandra Mendes ; João F Ferreira;
PUBLICAÇÃO: 2025, FONTE: CoRR, VOLUME: abs/2504.08678
INDEXADO EM: DBLP
NO MEU: DBLP
5
TÍTULO: GAMFLEW: serious game to teach white-box testing
AUTORES: Silva, Mateus; Paiva, Ana C. R. ; Mendes, Alexandra ;
PUBLICAÇÃO: 2025, FONTE: SOFTWARE QUALITY JOURNAL, VOLUME: 33, NÚMERO: 1
INDEXADO EM: Scopus WOS DBLP CrossRef Unpaywall
NO MEU: ORCID | DBLP
6
TÍTULO: InfraFix: Technology-Agnostic Repair of Infrastructure as Code
AUTORES: Nuno Saavedra; João F Ferreira; Alexandra Mendes ;
PUBLICAÇÃO: 2025, FONTE: CoRR, VOLUME: abs/2503.17220
INDEXADO EM: DBLP
NO MEU: DBLP
7
TÍTULO: MedLink: Retrieval and Ranking of Case Reports to Assist Clinical Decision Making
AUTORES: Luís Filipe Cunha; Nuno Guimarães ; Alexandra Mendes ; Ricardo Campos; Alípio Jorge;
PUBLICAÇÃO: 2025, FONTE: 47th European Conference on Information Retrieval, ECIR 2025 in Advances in Information Retrieval - 47th European Conference on Information Retrieval, ECIR 2025, Lucca, Italy, April 6-10, 2025, Proceedings, Part V, VOLUME: 15576
INDEXADO EM: Scopus DBLP CrossRef
8
TÍTULO: Contract Usage and Evolution in Android Mobile Applications
AUTORES: David R Ferreira; Alexandra Mendes ; João F Ferreira;
PUBLICAÇÃO: 2024, FONTE: CoRR, VOLUME: abs/2401.14244
INDEXADO EM: DBLP
9
TÍTULO: Course mapping dataset for the paper "State of the Practice in Software Testing Teaching in Four European Countries"
AUTORES: Porfirio Tramontana; Beatriz Marín; Ana C R Paiva ; Alexandra Mendes ; Tanja E J Vos; Domenico Amalfitano; Felix Cammaerts; Monique Snoeck; Anna Rita Fasolino;
PUBLICAÇÃO: 2024
INDEXADO EM: DBLP
NO MEU: DBLP
10
TÍTULO: DifFuzzAR: automatic repair of timing side-channel vulnerabilities via refactoring
AUTORES: Lima, Rui; Ferreira, Joao F.; Mendes, Alexandra ; Carreira, Carolina;
PUBLICAÇÃO: 2024, FONTE: AUTOMATED SOFTWARE ENGINEERING, VOLUME: 31, NÚMERO: 1
INDEXADO EM: Scopus WOS DBLP CrossRef
NO MEU: ORCID | DBLP
Página 1 de 5. Total de resultados: 45.

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

Links Úteis

Ajuda

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