João Fernando Peixoto Ferreira


AuthID: R-000-J08

Confirmed Publications: 38



1
TITLE: Are Users More Willing to Use Formally Verified Password Managers?  Full Text
AUTHORS: Carolina Carreira; João F Ferreira ; Alexandra Mendes ; Nicolas Christin;
PUBLISHED: 2025, SOURCE: SEFM, VOLUME: 16192 LNCS
INDEXED IN: Scopus DBLP CrossRef
IN MY: CIÊNCIAVITAE
2
TITLE: Do Experts Agree About Smelly Infrastructure?  Full Text
AUTHORS: Masoumzadeh, Sogol; Saavedra, Nuno; Maipradit, Rungroj; Wei, Lili; Ferreira, Joao F. ; Varro, Daniel; McIntosh, Shane;
PUBLISHED: 2025, SOURCE: IEEE TRANSACTIONS ON SOFTWARE ENGINEERING, VOLUME: 51, ISSUE: 5
INDEXED IN: Scopus WOS CrossRef
IN MY: ORCID | CIÊNCIAVITAE
3
4
TITLE: <i>DifFuzzAR</i>: automatic repair of timing side-channel vulnerabilities via refactoring  Full Text
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: 2
IN MY: ORCID | CIÊNCIAVITAE
5
TITLE: CoqPyt: Proof Navigation in Python in the Era of LLMs
AUTHORS: Carrott, Pedro; Saavedra, Nuno; Thompson, Kyle; Lerner, Sorin; Ferreira, Joao F. ; First, Emily;
PUBLISHED: 2024, SOURCE: 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
INDEXED IN: Scopus WOS CrossRef
IN MY: ORCID | CIÊNCIAVITAE
6
TITLE: How are Contracts Used in Android Mobile Applications?
AUTHORS: Ferreira, David R.; Mendes, Alexandra ; Ferreira, Joao F. ;
PUBLISHED: 2024, SOURCE: 44th International Conference on Software Engineering: Companion Proceedings in 2024 ACM/IEEE 44TH INTERNATIONAL CONFERENCE ON SOFTWARE ENGINEERING: COMPANION PROCEEDINGS, ICSE-COMPANION 2024
INDEXED IN: Scopus WOS DBLP CrossRef
IN MY: ORCID | CIÊNCIAVITAE
7
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: 8
IN MY: ORCID | CIÊNCIAVITAE
8
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: 7
IN MY: ORCID | CIÊNCIAVITAE
9
TITLE: SmartBugs 2.0: An Execution Framework for Weakness Detection in Ethereum Smart Contracts
AUTHORS: di Angelo, Monika; Durieux, Thomas; Ferreira, Joao F. ; Salzer, Gernot;
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 CrossRef: 2
IN MY: ORCID | CIÊNCIAVITAE
10
TITLE: GLITCH: Automated Polyglot Security Smell Detection in Infrastructure as Code
AUTHORS: Saavedra, Nuno ; Ferreira, Joao F.;
PUBLISHED: 2022, SOURCE: 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
INDEXED IN: Scopus WOS CrossRef: 8
IN MY: ORCID | CIÊNCIAVITAE
Page 1 of 4. Total results: 38.

footer slogan

Useful Links

Get Help

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