João Fernando Peixoto Ferreira


AuthID: R-000-J08

Publicações Confirmadas: 38



1
TÍTULO: Are Users More Willing to Use Formally Verified Password Managers?  Full Text
AUTORES: Carolina Carreira; João F Ferreira ; Alexandra Mendes ; Nicolas Christin;
PUBLICAÇÃO: 2025, FONTE: SEFM, VOLUME: 16192 LNCS
INDEXADO EM: Scopus DBLP CrossRef
NO MEU: CIÊNCIAVITAE
2
TÍTULO: Do Experts Agree About Smelly Infrastructure?  Full Text
AUTORES: Masoumzadeh, Sogol; Saavedra, Nuno; Maipradit, Rungroj; Wei, Lili; Ferreira, Joao F. ; Varro, Daniel; McIntosh, Shane;
PUBLICAÇÃO: 2025, FONTE: IEEE TRANSACTIONS ON SOFTWARE ENGINEERING, VOLUME: 51, NÚMERO: 5
INDEXADO EM: Scopus WOS CrossRef
NO MEU: ORCID | CIÊNCIAVITAE
3
TÍTULO: InfraFix: Technology-Agnostic Repair of Infrastructure as Code
AUTORES: Nuno Saavedra; João F Ferreira ; Alexandra Mendes ;
PUBLICAÇÃO: 2025, FONTE: ISSTA Companion
INDEXADO EM: DBLP CrossRef: 1
NO MEU: ORCID | CIÊNCIAVITAE
4
TÍTULO: <i>DifFuzzAR</i>: automatic repair of timing side-channel vulnerabilities via refactoring  Full Text
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: 2
NO MEU: ORCID | CIÊNCIAVITAE
5
TÍTULO: CoqPyt: Proof Navigation in Python in the Era of LLMs
AUTORES: Carrott, Pedro; Saavedra, Nuno; Thompson, Kyle; Lerner, Sorin; Ferreira, Joao F. ; First, Emily;
PUBLICAÇÃO: 2024, FONTE: 32nd ACM International Conference on the Foundations of Software Engineering (FSE) in COMPANION PROCEEDINGS OF THE 32ND ACM INTERNATIONAL CONFERENCE ON THE FOUNDATIONS OF SOFTWARE ENGINEERING, FSE COMPANION 2024
INDEXADO EM: Scopus WOS CrossRef
NO MEU: ORCID | CIÊNCIAVITAE
6
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 | CIÊNCIAVITAE
7
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: 8
NO MEU: ORCID | CIÊNCIAVITAE
8
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: 7
NO MEU: ORCID | CIÊNCIAVITAE
9
TÍTULO: SmartBugs 2.0: An Execution Framework for Weakness Detection in Ethereum Smart Contracts
AUTORES: di Angelo, Monika; Durieux, Thomas; Ferreira, Joao F. ; Salzer, Gernot;
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 CrossRef: 2
NO MEU: ORCID | CIÊNCIAVITAE
10
TÍTULO: GLITCH: Automated Polyglot Security Smell Detection in Infrastructure as Code
AUTORES: Saavedra, Nuno ; Ferreira, Joao F.;
PUBLICAÇÃO: 2022, FONTE: 37th IEEE/ACM International Conference on Automated Software Engineering (ASE) in PROCEEDINGS OF THE 37TH IEEE/ACM INTERNATIONAL CONFERENCE ON AUTOMATED SOFTWARE ENGINEERING, ASE 2022
INDEXADO EM: Scopus WOS CrossRef: 8
NO MEU: ORCID | CIÊNCIAVITAE
Página 1 de 4. Total de resultados: 38.

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

Links Úteis

Ajuda

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