João F. Ferreira

Publication Activity (10 Years)

Years Active: 2008-2023
Publications (10 Years): 25

Top Topics

Formal Verification

Linguistic Resources

Top Venues

J. Log. Algebraic Methods Program.

Publications

André Silva, João F. Ferreira, He Ye, Martin Monperrus
MUFIN: Improving Neural Repair Models with Back-Translation. CoRR (2023)
M. Eduarda Andrada, João F. Ferreira, David Portugal, Micael S. Couceiro
Integration of an Artificial Perception System for Identification of Live Flammable Material in Forestry Robotics. SII (2022)
Miguel Grilo, João F. Ferreira, José Bacelar Almeida
Towards Formal Verification of Password Generation Algorithms used in Password Managers. CoRR (2021)
Julie Porteous, João F. Ferreira, Alan Lindsay, Marc Cavazza
Automated narrative planning model extension. Auton. Agents Multi Agent Syst. 35 (2) (2021)
Rui Lima, João F. Ferreira, Alexandra Mendes
Automatic Repair of Java Code with Timing Side-Channel Vulnerabilities. ASE Workshops (2021)
Carolina Carreira, João F. Ferreira, Alexandra Mendes, Nicolas Christin
Exploring Usable Security to Improve the Impact of Formal Verification: A Research Agenda. AppFM@FM (2021)
Saul A. Johnson, João F. Ferreira, Alexandra Mendes, Julien Cordry
Skeptic: Automatic, Justified and Privacy-Preserving Password Composition Policy Selection. CoRR (2020)
David Pereira, João F. Ferreira, Alexandra Mendes
Evaluating the Accuracy of Password Strength Meters using Off-The-Shelf Guessing Attacks. ISSRE Workshops (2020)
Julie Porteous, João F. Ferreira, Alan Lindsay, Marc Cavazza
Extending Narrative Planning Domains with Linguistic Resources. AAMAS (2020)
Thomas Durieux, João F. Ferreira, Rui Abreu, Pedro Cruz
Empirical review of automated analysis tools on 47, 587 Ethereum smart contracts. ICSE (2020)
João F. Ferreira, Pedro Cruz, Thomas Durieux, Rui Abreu
SmartBugs: A Framework to Analyze Solidity Smart Contracts. CoRR (2020)
João F. Ferreira, Pedro Cruz, Thomas Durieux, Rui Abreu
SmartBugs: A Framework to Analyze Solidity Smart Contracts. ASE (2020)
Saul A. Johnson, João F. Ferreira, Alexandra Mendes, Julien Cordry
Skeptic: Automatic, Justified and Privacy-Preserving Password Composition Policy Selection. AsiaCCS (2020)
João F. Ferreira, Alexandra Mendes
Open and Interactive Learning Resources for Algorithmic Problem Solving. FM Workshops (2) (2019)
Thomas Durieux, João F. Ferreira, Rui Abreu, Pedro Cruz
Empirical Review of Automated Analysis Tools on 47, 587 Ethereum Smart Contracts. CoRR (2019)
Tony Hoare, Alexandra Mendes, João F. Ferreira
Logic, Algebra, and Geometry at the Foundation of Computer Science. FMTea (2019)
Mengda He, Viktor Vafeiadis, Shengchao Qin, João F. Ferreira
GPS $$+$$ + : Reasoning About Fences and Relaxed Atomics. Int. J. Parallel Program. 46 (6) (2018)
Alexandra Mendes, João F. Ferreira
Towards Verified Handwritten Calculational Proofs - (Short Paper). ITP (2018)
Alan Lindsay, Jonathon Read, João F. Ferreira, Thomas Hayton, Julie Porteous, Peter Gregory
Framer: Planning Models from Natural Language Action Descriptions. ICAPS (2017)
João F. Ferreira, Saul A. Johnson, Alexandra Mendes, Phillip J. Brooke
Certified Password Quality - A Case Study Using Coq and Linux Pluggable Authentication Modules. IFM (2017)
Jonathan Siddle, Alan Lindsay, João F. Ferreira, Julie Porteous, Jonathon Read, Fred Charles, Marc Cavazza, Gersende Georg
Visualization of Patient Behavior from Natural Language Recommendations. K-CAP (2017)
João F. Ferreira, Alexandra Mendes
A calculational approach to path-based properties of the Eisenstein-Stern and Stern-Brocot trees via matrix algebra. J. Log. Algebraic Methods Program. 85 (5) (2016)
Mengda He, Viktor Vafeiadis, Shengchao Qin, João F. Ferreira
Reasoning about Fences and Relaxed Atomics. PDP (2016)
Pedro M. Vieira, João F. Ferreira, Pedro R. Gomes, Carlos S. Lima
An adapted double threshold protocol for spastic muscles. EMBC (2016)
Roland Carl Backhouse, João F. Ferreira
On Euclid's Algorithm and Elementary Number Theory. CoRR (2015)
João F. Ferreira, Alexandra Mendes
The magic of algorithm design and analysis: teaching algorithmic skills using magic card tricks. ITiCSE (2014)
João F. Ferreira, Cristian Gherghina, Guanhua He, Shengchao Qin, Wei-Ngan Chin
Automated verification of the FreeRTOS scheduler in Hip/Sleek. Int. J. Softw. Tools Technol. Transf. 16 (4) (2014)
Chris Martens, Anne-Gwenn Bosser, João F. Ferreira, Marc Cavazza
Linear Logic Programming for Narrative Generation. LPNMR (2013)
Yanhong Huang, João F. Ferreira, Guanhua He, Shengchao Qin, Jifeng He
Deadline Analysis of AUTOSAR OS Periodic Tasks in the Presence of Interrupts. ICFEM (2013)
Roland Carl Backhouse, Wei Chen, João F. Ferreira
The algorithmics of solitaire-like games. Sci. Comput. Program. 78 (11) (2013)
João F. Ferreira, Guanhua He, Shengchao Qin
Automated Verification of the FreeRTOS Scheduler in HIP/SLEEK. TASE (2012)
Yanhong Huang, Yongxin Zhao, Shengchao Qin, Guanhua He, João F. Ferreira
A Timed CSP Model for the Time-Triggered Language Giotto. SEW (2012)
Roland Carl Backhouse, João F. Ferreira
On Euclid's algorithm and elementary number theory. Sci. Comput. Program. 76 (3) (2011)
João F. Ferreira, Alexandra Mendes, Alcino Cunha, Carlos Baquero, Paulo F. Silva, Luís Soares Barbosa, José Nuno Oliveira
Logic Training through Algorithmic Problem Solving. TICTTL (2011)
João F. Ferreira
Designing an Algorithmic Proof of the Two-Squares Theorem. MPC (2010)
Roland Carl Backhouse, Wei Chen, João F. Ferreira
The Algorithmics of Solitaire-Like Games. MPC (2010)
João F. Ferreira, Alexandra Mendes, Roland Carl Backhouse, Luís Soares Barbosa
Which Mathematics for the Information Society? TFM (2009)
Roland Carl Backhouse, João F. Ferreira
Recounting the Rationals: Twice!. MPC (2008)