João F. Ferreira

Instituto de Engenharia de Sistemas e Computadores Investigação e Desenvolvimento — Portugal

Computer Science · Physical Sciences

15h-index1.3kcitations96works1.72yr avg
OpenAlex↗ORCID↗Google Scholar↗Lab page↗

Accepting Students?

No reports yet. Know if this professor is taking students?

Research Topics

Advanced Malware Detection Techniques(19), Software Engineering Research(14), Security and Verification in Computing(12), Logic, programming, and type systems(10), Blockchain Technology Applications and Security(10)

Publications96 total

IMPLEMENTAÇÃO DE CACHE COM REDIS EM APLICAÇÕES JAVA SPRING BOOT: ANÁLISE DE PERFORMANCE E ESCALABILIDADE
Revista fisio&terapia.·2025
Are Users More Willing to Use Formally Verified Password Managers?
Lecture notes in computer science·2025
Structuring Security: A Survey of Cybersecurity Ontologies, Semantic Log Processing, and LLMs Application
arXiv (Cornell University)·2025Open Access
InfraFix: Technology-Agnostic Repair of Infrastructure as Code
2025Open Access
Rango: Adaptive Retrieval-Augmented Proving for Automated Software Verification
2025· 3 cited
The Ultimate Configuration Management Tool? Lessons from a Mixed Methods Study of Ansible's Challenges
ArXiv.org·2025Open Access
Are Users More Willing to Use Formally Verified Password Managers?
arXiv (Cornell University)·2025Open Access
A Systematic Review of Security Communication Strategies: Guidelines and Open Challenges
ArXiv.org·2025· 1 citedOpen Access
Do Experts Agree About Smelly Infrastructure?
IEEE Transactions on Software Engineering·2025
InfraFix: Technology-Agnostic Repair of Infrastructure as Code
arXiv (Cornell University)·2025Open Access
Rango: Adaptive Retrieval-Augmented Proving for Automated Software Verification
arXiv (Cornell University)·2024Open Access
CoqPyt: Proof Navigation in Python in the Era of LLMs
2024· 5 citedOpen Access
CoqPyt: Proof Navigation in Python in the Era of LLMs
Zenodo (CERN European Organization for Nuclear Research)·2024Open Access
Leveraging Large Language Models to Boost Dafny’s Developers Productivity
2024· 8 citedOpen Access
How are Contracts Used in Android Mobile Applications?
2024Open Access
Evolution of automated weakness detection in Ethereum bytecode: a comprehensive study
Empirical Software Engineering·2024· 13 citedOpen Access
Contract Usage and Evolution in Android Mobile Applications
arXiv (Cornell University)·2024Open Access
Contract Usage and Evolution in Android Mobile Applications
arXiv (Cornell University)·2024Open Access
CoqPyt: Proof Navigation in Python in the Era of LLMs
Zenodo (CERN European Organization for Nuclear Research)·2023Open Access
DifFuzzAR: automatic repair of timing side-channel vulnerabilities via refactoring
Automated Software Engineering·2023· 2 citedOpen Access
page 1 of 5Next →

Frequent Co-authors

Alexandra Mendes(18), Alan Lindsay(6), Julie Porteous(6), Thomas Durieux(5), Rui Abreu(5), Shengchao Qin(5), Marc Cavazza(5), Roland Backhouse(4), Pedro E. D. Cruz(3), Jonathon Read(3), Thomas Hayton(3), Guanhua He(3), Nuno Saavedra(3), Monika di Angelo(2), Gernot Salzer(2), Chris Martens(2), Anne-Gwenn Bosser(2), Mengda He(2), Viktor Vafeiadis(2), Lu­ís Soares Barbosa(2)