Alexandra Sofia Ferreira Mendes


AuthID: R-00H-J2M

Publicações Confirmadas: 36



1
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
NO MEU: DBLP
2
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
3
TÍTULO: GLITCH: Polyglot Code Smell Detection in Infrastructure as Code
AUTORES: Nuno Saavedra; João F Ferreira; Alexandra Mendes ;
PUBLICAÇÃO: 2024, FONTE: ERCIM News, VOLUME: 139, NÚMERO: 138
INDEXADO EM: DBLP
NO MEU: DBLP
4
TÍTULO: How are Contracts Used in Android Mobile Applications?
AUTORES: David R Ferreira; Alexandra Mendes ; João F Ferreira;
PUBLICAÇÃO: 2024, FONTE: 46th International Conference on Software Engineering: Companion, ICSE-Companion 2024 in Proceedings of the 2024 IEEE/ACM 46th International Conference on Software Engineering: Companion Proceedings, ICSE Companion 2024, Lisbon, Portugal, April 14-20, 2024
INDEXADO EM: Scopus DBLP CrossRef
NO MEU: DBLP
5
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
NO MEU: DBLP
6
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
NO MEU: DBLP
7
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 Unpaywall
NO MEU: ORCID | DBLP
8
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 Unpaywall
NO MEU: ORCID | DBLP
9
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: 1
NO MEU: ORCID | DBLP
10
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
Página 1 de 4. Total de resultados: 36.

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

Links Úteis

Ajuda

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