João F. Ferreira

82 papers A* 8A 4B 12C 4Misc 3Journal 33Unranked 17
YearRankTypeTitle / Venue / Authors
2025 J jnl
A Systematic Review of Security Communication Strategies: Guidelines and Open Challenges.
CoRR
Carolina Carreira, Alexandra Mendes, João F. Ferreira, Nicolas Christin
2025 B conf
Are Users More Willing to Use Formally Verified Password Managers?
SEFM
Carolina Carreira, João F. Ferreira, Alexandra Mendes, Nicolas Christin
2025 J jnl
Are Users More Willing to Use Formally Verified Password Managers?
CoRR
Carolina Carreira, João F. Ferreira, Alexandra Mendes, Nicolas Christin
2025 A conf
Contract Usage and Evolution in Android Mobile Applications.
ECOOP
David R. Ferreira, Alexandra Mendes, João F. Ferreira, Carolina Carreira
2025 J jnl
Do Experts Agree About Smelly Infrastructure?
IEEE Trans. Software Eng.
Sogol Masoumzadeh, Nuno Saavedra, Rungroj Maipradit, Lili Wei, João F. Ferreira, Dániel Varró, Shane McIntosh
2025 J jnl
Environmental Impact of CI/CD Pipelines.
CoRR
Nuno Saavedra, Alexandra Mendes, João F. Ferreira
2025 J jnl
From "Worse is Better" to Better: Lessons from a Mixed Methods Study of Ansible's Challenges.
CoRR
Carolina Carreira, Nuno Saavedra, Alexandra Mendes, João F. Ferreira
2025 — conf
InfraFix: Technology-Agnostic Repair of Infrastructure as Code.
ISSTA Companion
Nuno Saavedra, João F. Ferreira, Alexandra Mendes
2025 J jnl
InfraFix: Technology-Agnostic Repair of Infrastructure as Code.
CoRR
Nuno Saavedra, João F. Ferreira, Alexandra Mendes
2025 J jnl
ProfOlaf: Semi-Automated Tool for Systematic Literature Reviews.
CoRR
Martim Afonso, Nuno Saavedra, Bruno Lourenço, Alexandra Mendes, João F. Ferreira
2025 A* conf
Rango: Adaptive Retrieval-Augmented Proving for Automated Software Verification.
ICSE
Kyle Thompson, Nuno Saavedra, Pedro Carrott, Kevin Fisher, Alex Sanchez-Stern, Yuriy Brun, João F. Ferreira, Sorin Lerner, Emily First
2024 J jnl
Contract Usage and Evolution in Android Mobile Applications.
CoRR
David R. Ferreira, Alexandra Mendes, João F. Ferreira
2024 — conf
CoqPyt: Proof Navigation in Python in the Era of LLMs.
SIGSOFT FSE Companion
Pedro Carrott, Nuno Saavedra, Kyle Thompson, Sorin Lerner, João F. Ferreira, Emily First
2024 J jnl
CoqPyt: Proof Navigation in Python in the Era of LLMs.
CoRR
Pedro Carrott, Nuno Saavedra, Kyle Thompson, Sorin Lerner, João F. Ferreira, Emily First
2024 J jnl
DifFuzzAR: automatic repair of timing side-channel vulnerabilities via refactoring.
Autom. Softw. Eng.
Rui Lima, João F. Ferreira, Alexandra Mendes, Carolina Carreira
2024 J jnl
Evolution of automated weakness detection in Ethereum bytecode: a comprehensive study.
Empir. Softw. Eng.
Monika Di Angelo, Thomas Durieux, João F. Ferreira, Gernot Salzer
2024 J jnl
GLITCH: Polyglot Code Smell Detection in Infrastructure as Code.
ERCIM News
Nuno Saavedra, João F. Ferreira, Alexandra Mendes
2024 — conf
How are Contracts Used in Android Mobile Applications?
ICSE Companion
David R. Ferreira, Alexandra Mendes, João F. Ferreira
2024 — conf
Leveraging Large Language Models to Boost Dafny's Developers Productivity.
FormaliSE@ICSE
Álvaro F. Silva, Alexandra Mendes, João F. Ferreira
2024 J jnl
Leveraging Large Language Models to Boost Dafny's Developers Productivity.
CoRR
Álvaro F. Silva, Alexandra Mendes, João F. Ferreira
2024 J jnl
Rango: Adaptive Retrieval-Augmented Proving for Automated Software Verification.
CoRR
Kyle Thompson, Nuno Saavedra, Pedro Carrott, Kevin Fisher, Alex Sanchez-Stern, Yuriy Brun, João F. Ferreira, Sorin Lerner, Emily First
2023 J jnl
Evolution of Automated Weakness Detection in Ethereum Bytecode: a Comprehensive Study.
CoRR
Monika Di Angelo, Thomas Durieux, João F. Ferreira, Gernot Salzer
2023 J jnl
Hoogle⋆: Constants and λ-abstractions in Petri-net-based Synthesis using Symbolic Execution (Artifact).
Dagstuhl Artifacts Ser.
Henrique Botelho Guerra, João F. Ferreira, João Costa Seco
2023 A conf
Hoogle⋆: Constants and λ-abstractions in Petri-net-based Synthesis using Symbolic Execution.
ECOOP
Henrique Botelho Guerra, João F. Ferreira, João Costa Seco
2023 J jnl
MUFIN: Improving Neural Repair Models with Back-Translation.
CoRR
André Silva, João F. Ferreira, He Ye, Martin Monperrus
2023 A* conf
Polyglot Code Smell Detection for Infrastructure as Code with GLITCH.
ASE
Nuno Saavedra, João Gonçalves, Miguel Henriques, João F. Ferreira, Alexandra Mendes
2023 J jnl
Polyglot Code Smell Detection for Infrastructure as Code with GLITCH.
CoRR
Nuno Saavedra, João Gonçalves, Miguel Henriques, João F. Ferreira, Alexandra Mendes
2023 A* conf
SmartBugs 2.0: An Execution Framework for Weakness Detection in Ethereum Smart Contracts.
ASE
Monika Di Angelo, Thomas Durieux, João F. Ferreira, Gernot Salzer
2023 J jnl
SmartBugs 2.0: An Execution Framework for Weakness Detection in Ethereum Smart Contracts.
CoRR
Monika Di Angelo, Thomas Durieux, João F. Ferreira, Gernot Salzer
2023 J jnl
bGSL: An imperative language for specification and refinement of backtracking programs.
J. Log. Algebraic Methods Program.
Steve Dunne, João F. Ferreira, Alexandra Mendes, Campbell Ritchie, Bill Stoddart, Frank Zeyda
2022 — conf
A Preliminary Study on Generating Well-Formed Q# Quantum Programs for Fuzz Testing.
ICST Workshops
Miguel Trinca, João F. Ferreira, Rui Abreu
2022 — conf
Extending EcoAndroid with Automated Detection of Resource Leaks.
MOBILESoft
Ricardo B. Pereira, João F. Ferreira, Alexandra Mendes, Rui Abreu
2022 A* conf
GLITCH: Automated Polyglot Security Smell Detection in Infrastructure as Code.
ASE
Nuno Saavedra, João F. Ferreira
2022 J jnl
GLITCH: an Intermediate-Representation-Based Security Analysis for Infrastructure as Code Scripts.
CoRR
Nuno Saavedra, João F. Ferreira
2022 — conf
Message from the RSDA 2022 Workshop Chairs.
ISSRE Workshops
Raffaele Della Corte, Marta Catillo, João F. Ferreira, Guanpeng Li
2022 B conf
Verified Password Generation from Password Composition Policies.
IFM
Miguel Grilo, João Campos, João F. Ferreira, José Bacelar Almeida, Alexandra Mendes
2021 J jnl
Automated narrative planning model extension.
Auton. Agents Multi Agent Syst.
Julie Porteous, João F. Ferreira, Alan Lindsay, Marc Cavazza
2021 — conf
Automatic Repair of Java Code with Timing Side-Channel Vulnerabilities.
ASE Workshops
Rui Lima, João F. Ferreira, Alexandra Mendes
2021 C conf
EcoAndroid: An Android Studio Plugin for Developing Energy-Efficient Java Mobile Applications.
QRS
Ana Ribeiro, João F. Ferreira, Alexandra Mendes
2021 — conf
Exploring Usable Security to Improve the Impact of Formal Verification: A Research Agenda.
AppFM@FM
Carolina Carreira, João F. Ferreira, Alexandra Mendes, Nicolas Christin
2021 — ed.
Formal Methods Teaching - 4th International Workshop and Tutorial, FMTea 2021, Virtual Event, November 21, 2021, Proceedings
FMTea
João F. Ferreira, Alexandra Mendes, Claudio Menghi
2021 J jnl
Towards Formal Verification of Password Generation Algorithms used in Password Managers.
CoRR
Miguel Grilo, João F. Ferreira, José Bacelar Almeida
2020 A* conf
Empirical review of automated analysis tools on 47, 587 Ethereum smart contracts.
ICSE
Thomas Durieux, João F. Ferreira, Rui Abreu, Pedro Cruz
2020 — conf
Evaluating the Accuracy of Password Strength Meters using Off-The-Shelf Guessing Attacks.
ISSRE Workshops
David Pereira, João F. Ferreira, Alexandra Mendes
2020 A conf
Extending Narrative Planning Domains with Linguistic Resources.
AAMAS
Julie Porteous, João F. Ferreira, Alan Lindsay, Marc Cavazza
2020 J jnl
Lost in Disclosure: On The Inference of Password Composition Policies.
CoRR
Saul A. Johnson, João F. Ferreira, Alexandra Mendes, Julien Cordry
2020 A* conf
Narrative Planning Model Acquisition from Text Summaries and Descriptions.
AAAI
Thomas Hayton, Julie Porteous, João F. Ferreira, Alan Lindsay
2020 A conf
Skeptic: Automatic, Justified and Privacy-Preserving Password Composition Policy Selection.
AsiaCCS
Saul A. Johnson, João F. Ferreira, Alexandra Mendes, Julien Cordry
2020 J jnl
Skeptic: Automatic, Justified and Privacy-Preserving Password Composition Policy Selection.
CoRR
Saul A. Johnson, João F. Ferreira, Alexandra Mendes, Julien Cordry
2020 A* conf
SmartBugs: A Framework to Analyze Solidity Smart Contracts.
ASE
João F. Ferreira, Pedro Cruz, Thomas Durieux, Rui Abreu
2020 J jnl
SmartBugs: A Framework to Analyze Solidity Smart Contracts.
CoRR
João F. Ferreira, Pedro Cruz, Thomas Durieux, Rui Abreu
2019 J jnl
Empirical Review of Automated Analysis Tools on 47, 587 Ethereum Smart Contracts.
CoRR
Thomas Durieux, João F. Ferreira, Rui Abreu, Pedro Cruz
2019 — conf
Logic, Algebra, and Geometry at the Foundation of Computer Science.
FMTea
Tony Hoare, Alexandra Mendes, João F. Ferreira
2019 — conf
Lost in Disclosure: On the Inference of Password Composition Policies.
ISSRE Workshops
Saul A. Johnson, João F. Ferreira, Alexandra Mendes, Julien Cordry
2019 — conf
Open and Interactive Learning Resources for Algorithmic Problem Solving.
FM Workshops (2)
João F. Ferreira, Alexandra Mendes
2018 J jnl
GPS+: Reasoning About Fences and Relaxed Atomics.
Int. J. Parallel Program.
Mengda He, Viktor Vafeiadis, Shengchao Qin, João F. Ferreira
2018 B conf
Towards Verified Handwritten Calculational Proofs - (Short Paper).
ITP
Alexandra Mendes, João F. Ferreira
2018 Misc conf
Towards a Program Logic for C11 Release-Sequences.
TASE
Mengda He, Shengchao Qin, João F. Ferreira
2017 B conf
Certified Password Quality - A Case Study Using Coq and Linux Pluggable Authentication Modules.
IFM
João F. Ferreira, Saul A. Johnson, Alexandra Mendes, Phillip J. Brooke
2017 A* conf
Framer: Planning Models from Natural Language Action Descriptions.
ICAPS
Alan Lindsay, Jonathon Read, João F. Ferreira, Thomas Hayton, Julie Porteous, Peter Gregory
2017 — conf
ReqCap: Hierarchical Requirements Modeling and Test Generation for Industrial Control Systems.
RE Workshops
Ali Almohammad, João F. Ferreira, Alexandra Mendes, Phil White
2017 B conf
Visualization of Patient Behavior from Natural Language Recommendations.
K-CAP
Jonathan Siddle, Alan Lindsay, João F. Ferreira, Julie Porteous, Jonathon Read, Fred Charles, Marc Cavazza, Gersende Georg
2016 J jnl
A calculational approach to path-based properties of the Eisenstein-Stern and Stern-Brocot trees via matrix algebra.
J. Log. Algebraic Methods Program.
João F. Ferreira, Alexandra Mendes
2016 — conf
An adapted double threshold protocol for spastic muscles.
EMBC
Pedro M. Vieira, João F. Ferreira, Pedro R. Gomes, Carlos M. G. S. Lima
2016 C conf
Reasoning about Fences and Relaxed Atomics.
PDP
Mengda He, Viktor Vafeiadis, Shengchao Qin, João F. Ferreira
2016 Misc conf
Supporting Social Skills Rehabilitation with Virtual Storytelling.
FLAIRS
Cindy Even, Anne-Gwenn Bosser, João F. Ferreira, Cédric Buche, Florian Stéphan, Marc Cavazza, Christine L. Lisetti
2015 J jnl
On Euclid's Algorithm and Elementary Number Theory.
CoRR
Roland Carl Backhouse, João F. Ferreira
2014 J jnl
Automated verification of the FreeRTOS scheduler in Hip/Sleek.
Int. J. Softw. Tools Technol. Transf.
João F. Ferreira, Cristian Gherghina, Guanhua He, Shengchao Qin, Wei-Ngan Chin
2014 B conf
Structure Editing of Handwritten Mathematics: Improving the Computer Support for the Calculational Method.
ITS
Alexandra Mendes, Roland Carl Backhouse, João F. Ferreira
2014 B conf
The magic of algorithm design and analysis: teaching algorithmic skills using magic card tricks.
ITiCSE
João F. Ferreira, Alexandra Mendes
2013 C conf
Deadline Analysis of AUTOSAR OS Periodic Tasks in the Presence of Interrupts.
ICFEM
Yanhong Huang, João F. Ferreira, Guanhua He, Shengchao Qin, Jifeng He
2013 B conf
Linear Logic Programming for Narrative Generation.
LPNMR
Chris Martens, Anne-Gwenn Bosser, João F. Ferreira, Marc Cavazza
2013 J jnl
The algorithmics of solitaire-like games.
Sci. Comput. Program.
Roland Carl Backhouse, Wei Chen, João F. Ferreira
2012 C conf
A Timed CSP Model for the Time-Triggered Language Giotto.
SEW
Yanhong Huang, Yongxin Zhao, Shengchao Qin, Guanhua He, João F. Ferreira
2012 Misc conf
Automated Verification of the FreeRTOS Scheduler in HIP/SLEEK.
TASE
João F. Ferreira, Guanhua He, Shengchao Qin
2011 — conf
Logic Training through Algorithmic Problem Solving.
TICTTL
João F. Ferreira, Alexandra Mendes, Alcino Cunha, Carlos Baquero, Paulo F. Silva, Luís Soares Barbosa, José Nuno Oliveira
2011 J jnl
On Euclid's algorithm and elementary number theory.
Sci. Comput. Program.
Roland Carl Backhouse, João F. Ferreira
2010 B conf
Designing an Algorithmic Proof of the Two-Squares Theorem.
MPC
João F. Ferreira
2010 B conf
The Algorithmics of Solitaire-Like Games.
MPC
Roland Carl Backhouse, Wei Chen, João F. Ferreira
2009 — conf
Which Mathematics for the Information Society?
TFM
João F. Ferreira, Alexandra Mendes, Roland Carl Backhouse, Luís Soares Barbosa
2008 B conf
Recounting the Rationals: Twice!.
MPC
Roland Carl Backhouse, João F. Ferreira
2006 B conf
JaSkel: A Java Skeleton-Based Framework for Structured Cluster and Grid Computing.
CCGRID
João F. Ferreira, João Luís Sobral, Alberto José Proença