Alexandra Sofia Ferreira Mendes


AuthID: R-00H-J2M

Confirmed Publications: 52



21
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: 1
IN MY: ORCID | DBLP
22
TITLE: State of the Practice in Software Testing Teaching in Four European Countries
AUTHORS: Tramontana, Porfirio; Marin, Beatriz; Paiva, Ana C. R. ; Mendes, Alexandra ; Vos, Tanja E. J.; Amalfitano, Domenico; Cammaerts, Felix; Snoeck, Monique; Fasolino, Anna Rita;
PUBLISHED: 2024, SOURCE: 17th IEEE International Conference on Software Testing, Verification, and Validation (ICST) in 2024 IEEE CONFERENCE ON SOFTWARE TESTING, VERIFICATION AND VALIDATION, ICST 2024
INDEXED IN: WOS DBLP
IN MY: DBLP
23
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: 1 Unpaywall
IN MY: ORCID | DBLP
24
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: 3 Unpaywall
IN MY: ORCID | DBLP
25
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: 5
IN MY: ORCID | DBLP
26
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
27
TITLE: Verified Password Generation from Password Composition Policies
AUTHORS: Grilo, Miguel; Campos, Joao; Ferreira, Joao F.; Almeida, Jose Bacelar ; Mendes, Alexandra ;
PUBLISHED: 2022, SOURCE: 17th International Conference on Integrated Formal Methods (IFM) in INTEGRATED FORMAL METHODS, IFM 2022, VOLUME: 13274
INDEXED IN: Scopus WOS DBLP CrossRef: 4
IN MY: DBLP
28
TITLE: Automatic Repair of Java Code with Timing Side-Channel Vulnerabilities
AUTHORS: Lima, Rui; Ferreira, Joao F. ; Mendes, Alexandra ;
PUBLISHED: 2021, SOURCE: 36th IEEE/ACM International Conference on Automated Software Engineering (ASE) in 2021 36TH IEEE/ACM INTERNATIONAL CONFERENCE ON AUTOMATED SOFTWARE ENGINEERING WORKSHOPS (ASEW 2021)
INDEXED IN: Scopus WOS DBLP CrossRef: 4
IN MY: DBLP
29
TITLE: EcoAndroid: An Android Studio Plugin for Developing Energy-Efficient Java Mobile Applications
AUTHORS: Ribeiro, Ana; Ferreira, Joao F.; Mendes, Alexandra ;
PUBLISHED: 2021, SOURCE: 21st IEEE International Conference on Software Quality, Reliability and Security (QRS) in 2021 IEEE 21ST INTERNATIONAL CONFERENCE ON SOFTWARE QUALITY, RELIABILITY AND SECURITY (QRS 2021)
INDEXED IN: WOS DBLP CrossRef: 20
IN MY: DBLP
30
TITLE: Exploring Usable Security to Improve the Impact of Formal Verification: A Research Agenda
AUTHORS: Carolina Carreira; João F Ferreira; Alexandra Mendes ; Nicolas Christin;
PUBLISHED: 2021, SOURCE: 1st Workshop on Applicable Formal Methods, AppFM 2021 in Proceedings First Workshop on Applicable Formal Methods, AppFM@FM 2021, virtual, 23rd November 2021., VOLUME: 349
INDEXED IN: Scopus DBLP
IN MY: DBLP
Page 3 of 6. Total results: 52.

footer slogan

Useful Links

Get Help

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