Publications

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

PDF

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

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

PDF

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

PDF Project

(2020). Extending Narrative Planning Domains with Linguistic Resources. In AAMAS 2020. Invited to journal publication by Autonomous Agents and Multi-Agent Systems (JAAMAS)

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

PDF Code Project Slides