Alexandra Sofia Ferreira Mendes


AuthID: R-00H-J2M

Confirmed Publications: 36



1
TITLE: Contract Usage and Evolution in Android Mobile Applications
AUTHORS: David R Ferreira; Alexandra Mendes ; João F Ferreira;
PUBLISHED: 2024, SOURCE: CoRR, VOLUME: abs/2401.14244
INDEXED IN: DBLP
IN MY: DBLP
2
TITLE: DifFuzzAR: automatic repair of timing side-channel vulnerabilities via refactoring
AUTHORS: Lima, Rui ; Ferreira, Joao F.; Mendes, Alexandra ; Carreira, Carolina;
PUBLISHED: 2024, SOURCE: AUTOMATED SOFTWARE ENGINEERING, VOLUME: 31, ISSUE: 1
INDEXED IN: Scopus WOS DBLP CrossRef
IN MY: ORCID | DBLP
3
TITLE: GLITCH: Polyglot Code Smell Detection in Infrastructure as Code
AUTHORS: Nuno Saavedra; João F Ferreira; Alexandra Mendes ;
PUBLISHED: 2024, SOURCE: ERCIM News, VOLUME: 139, ISSUE: 138
INDEXED IN: DBLP
IN MY: DBLP
4
TITLE: How are Contracts Used in Android Mobile Applications?
AUTHORS: David R Ferreira; Alexandra Mendes ; João F Ferreira;
PUBLISHED: 2024, SOURCE: 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
INDEXED IN: Scopus DBLP CrossRef
IN MY: DBLP
5
TITLE: Leveraging Large Language Models to Boost Dafny's Developers Productivity
AUTHORS: Silva, Alvaro; Mendes, Alexandra ; Ferreira, Joao F.;
PUBLISHED: 2024, SOURCE: 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
INDEXED IN: Scopus WOS DBLP CrossRef
IN MY: DBLP
6
TITLE: Patient-Centric Health Data Sovereignty: An Approach Using Proxy Re-Encryption
AUTHORS: Rodrigues, Bruno; Amorim, Ivone ; Silva, Ivan; Mendes, Alexandra ;
PUBLISHED: 2024, SOURCE: 28th European Symposium on Research in Computer Security (ESORICS) in COMPUTER SECURITY. ESORICS 2023 INTERNATIONAL WORKSHOPS, PT I, VOLUME: 14398
INDEXED IN: Scopus WOS DBLP CrossRef
IN MY: DBLP
7
TITLE: bGSL: An imperative language for specification and refinement of backtracking programs
AUTHORS: Dunne, Steve; Ferreira, Joao F.; Mendes, Alexandra ; Ritchie, Campbell; Stoddart, Bill; Zeyda, Frank;
PUBLISHED: 2023, SOURCE: JOURNAL OF LOGICAL AND ALGEBRAIC METHODS IN PROGRAMMING, VOLUME: 130
INDEXED IN: Scopus WOS DBLP CrossRef Unpaywall
IN MY: ORCID | DBLP
8
TITLE: Exploring Automatic Specification Repair in Dafny Programs
AUTHORS: Abreu, Alexandre ; Macedo, Nuno ; Mendes, Alexandra ;
PUBLISHED: 2023, SOURCE: 38th IEEE/ACM International Conference on Automated Software Engineering (ASE) in 2023 38TH IEEE/ACM INTERNATIONAL CONFERENCE ON AUTOMATED SOFTWARE ENGINEERING WORKSHOPS, ASEW
INDEXED IN: Scopus WOS DBLP CrossRef Unpaywall
IN MY: ORCID | DBLP
9
TITLE: Polyglot Code Smell Detection for Infrastructure as Code with GLITCH
AUTHORS: Saavedra, Nuno; Goncalves, Joao; Henriques, Miguel; Ferreira, Joao F.; Mendes, Alexandra ;
PUBLISHED: 2023, SOURCE: 38th IEEE/ACM International Conference on Automated Software Engineering (ASE) in 2023 38TH IEEE/ACM INTERNATIONAL CONFERENCE ON AUTOMATED SOFTWARE ENGINEERING, ASE
INDEXED IN: Scopus WOS DBLP CrossRef: 1
IN MY: ORCID | DBLP
10
TITLE: Extending EcoAndroid with Automated Detection of Resource Leaks
AUTHORS: Pereira, Ricardo B.; Ferreira, Joao F.; Mendes, Alexandra ; Abreu, Rui;
PUBLISHED: 2022, SOURCE: 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
INDEXED IN: Scopus WOS DBLP CrossRef: 2
IN MY: DBLP
Page 1 of 4. Total results: 36.

footer slogan

Useful Links

Get Help

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