Alexandra Sofia Ferreira Mendes


AuthID: R-00H-J2M

Publicações Confirmadas: 50



21
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
22
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
23
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
24
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
25
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
26
TÍTULO: Automatic Repair of Java Code with Timing Side-Channel Vulnerabilities
AUTORES: Lima, Rui; Ferreira, Joao F. ; Mendes, Alexandra ;
PUBLICAÇÃO: 2021, FONTE: 36th IEEE/ACM International Conference on Automated Software Engineering (ASE) in 2021 36TH IEEE/ACM INTERNATIONAL CONFERENCE ON AUTOMATED SOFTWARE ENGINEERING WORKSHOPS (ASEW 2021)
INDEXADO EM: Scopus WOS DBLP CrossRef: 4
NO MEU: DBLP
27
TÍTULO: EcoAndroid: An Android Studio Plugin for Developing Energy-Efficient Java Mobile Applications
AUTORES: Ribeiro, Ana; Ferreira, Joao F.; Mendes, Alexandra ;
PUBLICAÇÃO: 2021, FONTE: 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)
INDEXADO EM: WOS DBLP CrossRef: 20
NO MEU: DBLP
28
TÍTULO: Exploring Usable Security to Improve the Impact of Formal Verification: A Research Agenda
AUTORES: Carolina Carreira; João F Ferreira; Alexandra Mendes ; Nicolas Christin;
PUBLICAÇÃO: 2021, FONTE: 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
INDEXADO EM: Scopus DBLP
NO MEU: DBLP
29
TÍTULO: Formal Methods Teaching. 4th International Workshop and Tutorial, FMTea 2021, Virtual Event, November 21, 2021, Proceedings
AUTORES: João F Ferreira ; Alexandra Mendes ; Claudio Menghi;
PUBLICAÇÃO: 2021, FONTE: Lecture Notes in Computer Science
INDEXADO EM: CrossRef: 2
30
TÍTULO: Formal Methods Teaching - 4th International Workshop and Tutorial, FMTea 2021, Virtual Event, November 21, 2021, Proceedings
AUTORES: João F Ferreira; Alexandra Mendes ; Claudio Menghi;
PUBLICAÇÃO: 2021, FONTE: FMTea, VOLUME: 13122
INDEXADO EM: DBLP
NO MEU: DBLP
Página 3 de 5. Total de resultados: 50.

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