Publications
Filter Publications: 2021 - 2023
Articles
International Journal Articles: 3
2022
- , Integrating an academic management system with blockchain: A case study, article in Blockchain: Research and Applications vol. 3 (4), Dec. 2022, Elsevier [bibTex]
- , bGSL: An Imperative Language for Specification and Refinement of Backtracking Programs, article in Journal of Logical and Algebraic Methods in Programming vol. 130, Sep. 2022 [DOI Article link] [Supplementary Material] [bibTex]
2021
- , Automated narrative planning model extension, article in Autonomous Agents and Multi-Agent Systems vol. 35 (19) pp. 1-29, May. 2021, Springer [DOI Article link] [bibTex]
International Conferences: 7
2022
- , A Preliminary Study on Generating Well-Formed Q# Quantum Programs for Fuzz Testing, presented at 2nd International Workshop on Artificial Intelligence in Software Testing (AIST'22), to appear on 2022 [bibTex] [PDF]
- , Extending EcoAndroid with Automated Detection of Resource Leaks, presented at 9th IEEE/ACM International Conference on Mobile Software Engineering and Systems 2022, to appear on 2022 [bibTex]
- , Verified Password Generation from Password Composition Policies, presented at 17th International Conference on integrated Formal Methods (iFM), to appear on 2022 [bibTex] [PDF]
- , GLITCH: Automated Polyglot Security Smell Detection in Infrastructure as Code, presented at 37th IEEE/ACM International Conference on Automated Software Engineering (ASE), Jul. 2022 [bibTex] [PDF]
2021
- , EcoAndroid: An Android Studio Plugin for Developing Energy-Efficient Java Mobile Applications, presented at 2021 IEEE 21st International Conference on Software Quality, Reliability and Security (QRS), Dec. 2021 [DOI Article link] [bibTex] [PDF]
- , Automatic Repair of Java Code with Timing Side-Channel Vulnerabilities, presented at International Workshop on Refactoring (IWoR 21), Nov. 2021 [bibTex]
- , Exploring Usable Security to Improve the Impact of Formal Verification: A Research Agenda, presented at 1st International Workshop on Applicable Formal Methods (appFM), Nov. 2021 [bibTex] [PDF]
as Editors
Edited Proceedings: 1
2021
- , editors, Formal Methods Teaching: 4th International Workshop and Tutorial, FMTea 2021, Virtual Event, November 21, 2021, Proceedings, LNCS 13122, Nov. 2021, Springer [bibTex]