View Profile

João F. Ferreira

None · INESC-ID & Instituto Superior Técnico, University of Lisbon

https://researchid.co/jff
@ulisboa.pt
62Scopus Publications
2099Google Scholar Citations
20Google Scholar h-index
44Google Scholar i10-index

Research Interests

My research interests include software reliability, software verification, and formal methods applied to software engineering. I am also interested in interactive storytelling.

Recent Scopus Publications

  1. Are Users More Willing to Use Formally Verified Password Managers?
    Lecture Notes in Computer Science, 2026
  2. Do Experts Agree About Smelly Infrastructure?
    IEEE Transactions on Software Engineering, 2025
  3. Rango: Adaptive Retrieval-Augmented Proving for Automated Software Verification
    Proceedings International Conference on Software Engineering, 2025
  4. Contract Usage and Evolution in Android Mobile Applications
    Leibniz International Proceedings in Informatics Lipics, 2025
  5. CoqPyt: Proof Navigation in Python in the Era of LLMs
    Fse Companion Companion Proceedings of the 32nd ACM International Conference on the Foundations of Software Engineering, 2024

Links