Alexandra Sofia Ferreira Mendes


AuthID: R-00H-J2M

Publicações Confirmadas: 45



11
TÍTULO: GLITCH: Polyglot Code Smell Detection in Infrastructure as Code
AUTORES: Saavedra, Nuno; Ferreira, Joao F.; Mendes, Alexandra ;
PUBLICAÇÃO: 2024, FONTE: ERCIM NEWS, VOLUME: 139, NÚMERO: 139
INDEXADO EM: WOS DBLP
NO MEU: DBLP
12
TÍTULO: How are Contracts Used in Android Mobile Applications?
AUTORES: Ferreira, David R.; Mendes, Alexandra ; Ferreira, Joao F.;
PUBLICAÇÃO: 2024, FONTE: 44th International Conference on Software Engineering: Companion Proceedings in 2024 ACM/IEEE 44TH INTERNATIONAL CONFERENCE ON SOFTWARE ENGINEERING: COMPANION PROCEEDINGS, ICSE-COMPANION 2024
INDEXADO EM: Scopus WOS DBLP CrossRef
NO MEU: ORCID | DBLP
13
TÍTULO: Leveraging Large Language Models to Boost Dafny's Developers Productivity
AUTORES: Silva, Alvaro; Mendes, Alexandra ; Ferreira, Joao F.;
PUBLICAÇÃO: 2024, FONTE: IEEE/ACM 12th International Conference on Formal Methods in Software Engineering (FormaliSE) in PROCEEDINGS OF THE 2024 IEEE/ACM 12TH INTERNATIONAL CONFERENCE ON FORMAL METHODS IN SOFTWARE ENGINEERING, FORMALISE 2024
INDEXADO EM: Scopus WOS DBLP CrossRef: 4
NO MEU: ORCID | DBLP
14
TÍTULO: Patient-Centric Health Data Sovereignty: An Approach Using Proxy Re-Encryption
AUTORES: Rodrigues, Bruno; Amorim, Ivone ; Silva, Ivan; Mendes, Alexandra ;
PUBLICAÇÃO: 2024, FONTE: 28th European Symposium on Research in Computer Security (ESORICS) in COMPUTER SECURITY. ESORICS 2023 INTERNATIONAL WORKSHOPS, PT I, VOLUME: 14398
INDEXADO EM: Scopus WOS DBLP CrossRef: 1
NO MEU: ORCID | DBLP
15
TÍTULO: State of the Practice in Software Testing Teaching in Four European Countries
AUTORES: Tramontana, Porfirio; Marin, Beatriz; Paiva, Ana C. R. ; Mendes, Alexandra ; Vos, Tanja E. J.; Amalfitano, Domenico; Cammaerts, Felix; Snoeck, Monique; Fasolino, Anna Rita;
PUBLICAÇÃO: 2024, FONTE: 17th IEEE International Conference on Software Testing, Verification, and Validation (ICST) in 2024 IEEE CONFERENCE ON SOFTWARE TESTING, VERIFICATION AND VALIDATION, ICST 2024
INDEXADO EM: WOS DBLP
NO MEU: DBLP
16
TÍTULO: bGSL: An imperative language for specification and refinement of backtracking programs
AUTORES: Dunne, Steve; Ferreira, Joao F.; Mendes, Alexandra ; Ritchie, Campbell; Stoddart, Bill; Zeyda, Frank;
PUBLICAÇÃO: 2023, FONTE: JOURNAL OF LOGICAL AND ALGEBRAIC METHODS IN PROGRAMMING, VOLUME: 130
INDEXADO EM: Scopus WOS DBLP CrossRef: 1 Unpaywall
NO MEU: ORCID | DBLP
17
TÍTULO: Exploring Automatic Specification Repair in Dafny Programs
AUTORES: Abreu, Alexandre ; Macedo, Nuno ; Mendes, Alexandra ;
PUBLICAÇÃO: 2023, FONTE: 38th IEEE/ACM International Conference on Automated Software Engineering (ASE) in 2023 38TH IEEE/ACM INTERNATIONAL CONFERENCE ON AUTOMATED SOFTWARE ENGINEERING WORKSHOPS, ASEW
INDEXADO EM: Scopus WOS DBLP CrossRef: 3 Unpaywall
NO MEU: ORCID | DBLP
18
TÍTULO: Polyglot Code Smell Detection for Infrastructure as Code with GLITCH
AUTORES: Saavedra, Nuno; Goncalves, Joao; Henriques, Miguel; Ferreira, Joao F.; Mendes, Alexandra ;
PUBLICAÇÃO: 2023, FONTE: 38th IEEE/ACM International Conference on Automated Software Engineering (ASE) in 2023 38TH IEEE/ACM INTERNATIONAL CONFERENCE ON AUTOMATED SOFTWARE ENGINEERING, ASE
INDEXADO EM: Scopus WOS DBLP CrossRef: 5
NO MEU: ORCID | DBLP
19
TÍTULO: Extending EcoAndroid with Automated Detection of Resource Leaks
AUTORES: Pereira, Ricardo B.; Ferreira, Joao F.; Mendes, Alexandra ; Abreu, Rui ;
PUBLICAÇÃO: 2022, FONTE: 9th IEEE/ACM International Conference on Mobile Software Engineering and Systems (MobileSoft) in 9TH IEEE/ACM INTERNATIONAL CONFERENCE ON MOBILE SOFTWARE ENGINEERING AND SYSTEMS, MOBILESOFT 2022
INDEXADO EM: Scopus WOS DBLP CrossRef: 2
NO MEU: DBLP
20
TÍTULO: Verified Password Generation from Password Composition Policies
AUTORES: Grilo, Miguel; Campos, Joao; Ferreira, Joao F.; Almeida, Jose Bacelar ; Mendes, Alexandra ;
PUBLICAÇÃO: 2022, FONTE: 17th International Conference on Integrated Formal Methods (IFM) in INTEGRATED FORMAL METHODS, IFM 2022, VOLUME: 13274
INDEXADO EM: Scopus WOS DBLP CrossRef: 4
NO MEU: DBLP
Página 2 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