Publications

Steve Dunne, João F. Ferreira, Alexandra Mendes, Campbell Ritchie, Bill Stoddart, Frank Zeyda (2022). bGSL: An Imperative Language for Specification and Refinement of Backtracking Programs. In JLAMP.

Nuno Saavedra, João F. Ferreira (2022). GLITCH: Automated Polyglot Security Smell Detection in Infrastructure as Code. In ASE 2022. Awarded: Artifact Evaluation Award (Reusable)

Ricardo Pereira, João F. Ferreira, Alexandra Mendes, Rui Abreu (2022). Extending EcoAndroid with Automated Detection of Resource Leaks. 9th IEEE/ACM International Conference on Mobile Software Engineering and Systems 2022 (MobileSoft 2022), co-located with ICSE 2022.

Miguel Grilo, João Campos, João F. Ferreira, José Bacelar Almeida, Alexandra Mendes (2022). Verified password generation from password composition policies. In iFM 2022. Invited to ACM Formal Aspects of Computing special issue on iFM 2022

Miguel Trinca, João F. Ferreira, Rui Abreu (2022). A Preliminary Study on Generating Well-Formed Q# Quantum Programs for Fuzz Testing. In AIST 2022.

Ana Ribeiro, João F. Ferreira, Alexandra Mendes (2021). EcoAndroid: An Android Studio Plugin for Developing Energy-efficient Java Mobile Applications. In QRS 2021.

João F. Ferreira, Alexandra Mendes, Claudio Menghi (2021). Formal Methods Teaching: 4th International Workshop and Tutorial (FMTea 2021). Conference Proceedings, Springer Nature.

Carolina Carreira, João F. Ferreira, Alexandra Mendes, Nicholas Christin (2021). Exploring Usable Security to Improve the Impact of Formal Verification: A Research Agenda. In AppFM 2021 published as a volume of EPTCS.

Rui Lima, João F. Ferreira, Alexandra Mendes (2021). Automatic Repair of Java Code with Timing Side-Channel Vulnerabilities. In IWOR 2021. Invited to ASE 2021 workshop best papers special issue published by the Springer Journal on Automated Software Engineering

Carolina Carreira, João F. Ferreira, Alexandra Mendes (2021). Towards Improving the Usability of Password Managers. In INForum 2021.

Julie Porteous, João F. Ferreira, Alan Lindsay, Marc Cavazza (2021). Automated narrative planning model extension. In Autonomous Agents and Multi-Agent Systems, 35(2), pp.1-29..

João F. Ferreira, Pedro Cruz, Thomas Durieux, Rui Abreu (2020). SmartBugs: A Framework to Analyze Solidity Smart Contracts. In ASE 2020, Tool Demo Track.

PDF Code Dataset Project

David Pereira, João F. Ferreira, Alexandra Mendes (2020). Evaluating the Accuracy of Password Strength Meters using Off-The-Shelf Guessing Attacks. In ISSREW 2020 (RSDA 2020).

Thomas Durieux, João F. Ferreira, Rui Abreu, Pedro Cruz (2020). Empirical Review of Automated Analysis Tools on 47,587 Ethereum Smart Contracts. In ICSE 2020. Awarded: Artifact Evaluation Award (Available, Reusable)

PDF Code Dataset Project

Saul Johnson, João F. Ferreira, Alexandra Mendes, Julien Cordry (2020). Skeptic: Automatic, Justified and Privacy-Preserving Password Composition Policy Selection. In AsiaCCS 2020.

Julie Porteous, João F. Ferreira, Alan Lindsay, Marc Cavazza (2020). Extending Narrative Planning Domains with Linguistic Resources. In AAMAS 2020. Invited to journal publication by Autonomous Agents and Multi-Agent Systems (JAAMAS)

Thomas Hayton, Julie Porteous, João F. Ferreira, Alan Lindsay (2020). Narrative Planning Model Acquisition from Text Summaries and Descriptions. In AAAI 2020.

João F. Ferreira, Alexandra Mendes (2019). Open and Interactive Learning Resources for Algorithmic Problem Solving. In OpenCert 2019.

Saul Johnson, João F. Ferreira, Alexandra Mendes, Julien Cordry (2019). Lost in Disclosure: On The Inference of Password Composition Policies. In ISSREW 2019 (RSDA 2019).

Tony Hoare, Alexandra Mendes, João F. Ferreira (2019). Logic, Algebra, and Geometry at the Foundation of Computer Science. In FMTea 2019.

Mengda He, Viktor Vafeiadis, Shengchao Qin, João F. Ferreira (2018). GPS+: Reasoning About Fences and Relaxed Atomics. In IJPP, 46(6), pp.1157-1183.

Alexandra Mendes, João F. Ferreira (2018). Towards Verified Handwritten Calculational Proofs. In ITP 2018.

Mengda He, Shengchao Qin, João F. Ferreira (2018). Towards a Program Logic for C11 Release-Sequences. In TASE 2018.

Jonathan Siddle, Alan Lindsay, João F. Ferreira, Julie Porteous, Jonathon Read, Fred Charles (2017). Visualization of Patient Behavior from Natural Language Recommendations. In K-CAP 2017.

Malcolm McNeely, Julie Porteous, João F. Ferreira, Alan Lindsay (2017). Towards a Constraints Approach to Generating Personalised Horror Film Variants. In COPLAS 2017.

Thomas Hayton, Julie Porteous, João F. Ferreira, Alan Lindsay, Jonathon Read (2017). StoryFramer: From Input Stories to Output Planning Models. In KEPS 2017.

Ali Almohammad, João F. Ferreira, Alexandra Mendes, Phil White (2017). ReqCap: Hierarchical Requirements Modeling and Test Generation for Industrial Control Systems. In RET 2017.

Alan Lindsay, Jonathon Read, João F. Ferreira, Thomas Hayton, Julie Porteous, Peter Gregory (2017). Framer: Planning Models from Natural Language Action Descriptions. In ICAPS 2017.

João F. Ferreira, Saul Johnson, Alexandra Mendes, Phil Brooke (2017). Certified Password Quality: A Case Study Using Coq and Linux Pluggable Authentication Modules. In iFM 2017.

João F. Ferreira, Alexandra Mendes (2016). A calculational approach to path-based properties of the Eisenstein-Stern and Stern-Brocot trees via matrix algebra. In JLAMP, 85(5), pp.906-920.

Cindy Even, Anne-Gwenn Bosser, João F. Ferreira, Cédric Buche, Florian Stéphan, Marc Cavazza, Christine Lisetti (2016). Supporting Social Skills Rehabilitation with Virtual Storytelling. In FLAIRS 29.

Mengda He, Viktor Vafeiadis, Shengchao Qin, João F. Ferreira (2016). Reasoning about Fences and Relaxed Atomics. In PDP 2016.

Alexandra Mendes, Roland Backhouse, João F. Ferreira (2014). Structure Editing of Handwritten Mathematics: Improving the Computer Support for the Calculational Method. In ITS 2014.

João F. Ferreira, Cristian Gherghina, Guanhua He, Shengchao Qin, Wei-Ngan Chin (2014). Automated Verification of the FreeRTOS Scheduler in HIP/SLEEK. In STTT 16(4), pp. 381-397.

João F. Ferreira, Alexandra Mendes (2014). The Magic of Algorithm Design and Analysis: Teaching Algorithmic Skills using Magic Card Tricks. In ITiCSE 2014.

Chris Martens, João F. Ferreira, Anne-Gwenn Bosser, Marc Cavazza (2014). Generative Story Worlds as Linear Logic Programs. In INT7.

Roland Backhouse, Wei Chen, João F. Ferreira (2013). The Algorithmics of Solitaire-Like Games (Extended Version). In SCP 78 (2013), pp. 2029-2046.

Chris Martens, Anne-Gwenn Bosser, João F. Ferreira, Marc Cavazza (2013). Linear logic programming for narrative generation. In LPNMR 2013.

Yanhong Huang, João F. Ferreira, Guanhua He, Shengchao Qin, Jifeng He (2013). Deadline analysis of AUTOSAR OS periodic tasks in the presence of interrupts. In ICFEM 2013.

João F. Ferreira, Guanhua He, Shengchao Qin (2012). Automated Verification of the FreeRTOS Scheduler in HIP/SLEEK. In TASE 2012. Invited for publication in International Journal on Software Tools for Technology Transfer

Roland Backhouse, João F. Ferreira (2011). On Euclid's Algorithm and Elementary Number Theory. In SCP 76(3), pp. 160-180.

João F. Ferreira, Alexandra Mendes, Alcino Cunha, Carlos Baquero, Paulo Silva, Luis Soares Barbosa, José Nuno Oliveira (2011). Logic Training through Algorithmic Problem Solving. In TICTTL 2011.

João F. Ferreira (2010). Principles and Applications of Algorithmic Problem Solving. PhD Thesis.

Roland Backhouse, Wei Chen, João F. Ferreira (2010). The Algorithmics of Solitaire-Like Games. In MPC 2010 (Invited Paper). Invited for publication in Special Issue by Science of Computer Programming

João F. Ferreira (2010). Designing an Algorithmic Proof of the Two-Squares Theorem. In MPC 2010.

João F. Ferreira, Alexandra Mendes, Roland Backhouse, Luis Soares Barbosa (2009). Which Mathematics for the Information Society?. In TFM 2009.

PDF Project Slides

João F. Ferreira, Alexandra Mendes (2009). Students' Feedback on Teaching Mathematics Through The Calculational Method. In FiE 2009.

João F. Ferreira (2008). JFF7: An exercise from "The Art of Computer Programming". Technical report (JFF series).

Roland Backhouse, João F. Ferreira (2008). Recounting the Rationals: Twice!. In MPC 2008. Invited for publication in Special Issue by Science of Computer Programming

PDF Code Project Slides

João F. Ferreira (2008). JFF6: Resolução eficaz de problemas, quatro exemplos. Technical report (JFF series).

João F. Ferreira (2007). JFF1: Exchanging the values of two variables. Technical report (JFF series).

João F. Ferreira (2006). JFF0: Distributivity and the greatest common divisor. Technical report (JFF series).

João F. Ferreira, J. L. Sobral, A. J. Proença (2006). JaSkel: A Java Skeleton-Based Framework for Structured Cluster and Grid Computing. In CCGrid 2006.

João F. Ferreira (2005). A contribution towards a Distributed Java Virtual Machine. Technical report (PPC-VM project).

João F. Ferreira, J. L. Sobral (2005). ParC#: Parallel Computing with C# in .NET. In PaCT 2005.

Joost Visser, José Nuno Oliveira, João F. Ferreira, Alexandra Mendes (2005). Camila Revival: VDM meets Haskell. In Overture Workshop 2005.