João Ferreira

Publications

• The algorithmics of solitaire-like games
• Deadline analysis of AUTOSAR OS periodic tasks in the presence of interrupts
• Which mathematics for the information society?
• JaSkel: A Java skeleton-based framework for structured cluster and grid computing
• A calculational approach to path-based properties of the Eisenstein–Stern and Stern–Brocot trees via matrix algebra
• Logic, Algebra, and Geometry at the Foundation of Computer Science
• Towards a Program Logic for C11 Release-Sequences
• Towards Verified Handwritten Calculational Proofs (short paper)
• GPS+: Reasoning about Fences and Relaxed Atomics
• Framer: Planning Models from Natural Language Action Descriptions
• ReqCap: Hierarchical Requirements Modeling and Test Generation for Industrial Control Systems
• StoryFramer: From Input Stories to Output Planning Models
• Towards a Constraints Approach to Generating Personalised Horror Film Variants
• Visualization of Patient Behavior from Natural Language Recommendations
• Reasoning about Fences and Relaxed Atomics
• Supporting Social Skills Rehabilitation with Virtual Storytelling
• Generative story worlds as linear logic programs
• Structure Editing of Handwritten Mathematics: Improving the Computer Support for the Calculational Method
• The Magic of Algorithm Design and Analysis: Teaching Algorithmic Skills using Magic Card Tricks
• Automated Verification of the FreeRTOS Scheduler in HIP/SLEEK
• Camila Revival: VDM meets Haskell
• Extending Narrative Planning Domains with Linguistic Resources
• Skeptic: Automatic, Justified and Privacy-Preserving Password Composition Policy Selection
• Narrative Planning Model Acquisition from Text Summaries and Descriptions
• The algorithmics of solitaire-like games
• Linear logic programming for narrative generation
• Automated verification of the FreeRTOS scheduler in HIP/SLEEK
• Designing an algorithmic proof of the two-squares theorem
• A timed CSP model for the time-triggered language Giotto
• Logic training through algorithmic problem solving
• Recounting the rationals: Twice!
• Students' feedback on teaching mathematics through the calculational method
• On Euclid's algorithm and elementary number theory
• ParC#: Parallel computing with C# in .Net
• Empirical Review of Automated Analysis Tools on 47,587 Ethereum Smart Contracts
• Certified Password Quality – A Case Study Using Coq and Linux Pluggable Authentication Modules
• SmartBugs: a framework to analyze solidity smart contracts
• Evaluating the Accuracy of Password Strength Meters using Off-The-Shelf Guessing Attacks