| 2026 | CAV | sweap: Reactive Synthesis for Infinite-State Integer Problems. | Shaun Azzopardi, Luca Di Stefano, Nir Piterman |
| 2025 | CAV | Full LTL Synthesis over Infinite-State Arenas. | Shaun Azzopardi, Luca Di Stefano, Nir Piterman, Gerardo Schneider |
| 2024 | ISoLA | Attributed Point-to-Point Communication in R-CHECK. | Yehia Abd Alrahman, Shaun Azzopardi, Luca Di Stefano, Nir Piterman |
| 2024 | JURIX | Conflict Analysis for Timed Contract Automata. | Shaun Azzopardi, Gordon J. Pace |
| 2024 | MFCS | A Direct Translation from LTL with Past to Deterministic Rabin Automata. | Shaun Azzopardi, David Lidell, Nir Piterman |
| 2023 | ATVA | ppLTLTT : Temporal Testing for Pure-Past Linear Temporal Logic Formulae. | Shaun Azzopardi, David Lidell, Nir Piterman, Gerardo Schneider |
| 2023 | ICTAC | Synchronous Agents, Verification, and Blame - A Deontic View. | Karam Younes Kharraz, Shaun Azzopardi, Gerardo Schneider, Martin Leucker |
| 2022 | ISoLA | Model Checking Reconfigurable Interacting Systems. | Yehia Abd Alrahman, Shaun Azzopardi, Nir Piterman |
| 2022 | ISoLA | Runtime Verification Meets Controller Synthesis. | Shaun Azzopardi, Nir Piterman, Gerardo Schneider |
| 2022 | RV | Tainting in Smart Contracts: Combining Static and Runtime Verification. | Shaun Azzopardi, Joshua Ellul, Ryan Falzon, Gordon J. Pace |
| 2022 | RV | AspectSol: A Solidity Aspect-Oriented Programming Tool with Applications in Runtime Verification. | Shaun Azzopardi, Joshua Ellul, Ryan Falzon, Gordon J. Pace |
| 2022 | RV | Runtime Verification of Kotlin Coroutines. | Denis Furian, Shaun Azzopardi, Ylis Falcone, Gerardo Schneider |
| 2021 | ATVA | Incorporating Monitors in Reactive Synthesis Without Paying the Price. | Shaun Azzopardi, Nir Piterman, Gerardo Schneider |
| 2021 | RV | On the Specification and Monitoring of Timed Normative Systems. | Shaun Azzopardi, Gordon J. Pace, Fernando Schapachnik, Gerardo Schneider |
| 2020 | MODELSWARD | A Technique for Automata-based Verification with Residual Reasoning. | Shaun Azzopardi, Christian Colombo, Gordon J. Pace |
| 2020 | MODELSWARD | CLARVA: Model-based Residual Verification of Java Programs. | Shaun Azzopardi, Christian Colombo, Gordon J. Pace |
| 2020 | MODELSWARD | Model-Based Static and Runtime Verification for Ethereum Smart Contracts. | Shaun Azzopardi, Christian Colombo, Gordon J. Pace |
| 2018 | JURIX | On Observing Contracts: Deontic Contracts Meet Smart Contracts. | Shaun Azzopardi, Gordon J. Pace, Fernando Schapachnik |
| 2018 | RV | Monitoring Smart Contracts: ContractLarva and Open Challenges Beyond. | Shaun Azzopardi, Joshua Ellul, Gordon J. Pace |
| 2017 | RV | Runtime Verification using VALOUR. | Shaun Azzopardi, Christian Colombo, Jean-Paul Ebejer, Edward Mallia, Gordon J. Pace |
| 2016 | ISoLA | A Model-Based Approach to Combining Static and Dynamic Verification Techniques. | Shaun Azzopardi, Christian Colombo, Gordon J. Pace |
| 2016 | JURIX | Reasoning About Partial Contracts. | Shaun Azzopardi, Albert Gatt, Gordon J. Pace |
| 2016 | SEFM | Compliance Checking in the Open Payments Ecosystem. | Shaun Azzopardi, Christian Colombo, Gordon J. Pace, Brian Vella |
| 2014 | JURIX | Contract Automata with Reparations. | Shaun Azzopardi, Gordon J. Pace, Fernando Schapachnik |