Publications

(2022). GLITCH: Automated Polyglot Security Smell Detection in Infrastructure as Code. In ASE 2022. Awarded: Artifact Evaluation Award (Reusable). CORE A* conference.

PDF Dataset

(2022). Verified password generation from password composition policies. In iFM 2022. Invited to ACM Formal Aspects of Computing special issue on iFM 2022. CORE B conference.

PDF Code

(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 (see JASE 2024 extended paper).

PDF

(2021). Automated narrative planning model extension. In Autonomous Agents and Multi-Agent Systems, 35(2), pp.1-29. Q2 Journal.

PDF Project

(2020). Empirical Review of Automated Analysis Tools on 47,587 Ethereum Smart Contracts. In ICSE 2020. Awarded: Artifact Evaluation Award (Available, Reusable). Most cited paper from ICSE 2020 (Google Scholar Metrics). CORE A* conference.

PDF Code Dataset Project

(2020). Extending Narrative Planning Domains with Linguistic Resources. In AAMAS 2020. Invited to journal publication by Autonomous Agents and Multi-Agent Systems (JAAMAS) (see JAAMAS 2021 extended paper). CORE A* conference.

PDF Project

(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.

PDF

(2010). The Algorithmics of Solitaire-Like Games. In MPC 2010 (Invited Paper). Invited for publication in Special Issue by Science of Computer Programming.

PDF Project

(2008). Recounting the Rationals: Twice!. In MPC 2008. Invited for publication in Special Issue by Science of Computer Programming. CORE B conference.

PDF Code Project Slides