Contract Automata with Reparations. - Shaun Azzopardi; Gordon J. Pace; Fernando Schapachnik (JURIX, 2014)

A Model-Based Approach to Combining Static and Dynamic Verification Techniques. - Shaun Azzopardi; Christian Colombo 001; Gordon J. Pace (ISoLA (1), 2016)

Reasoning About Partial Contracts. - Shaun Azzopardi; Albert Gatt; Gordon J. Pace (JURIX, 2016)

Compliance Checking in the Open Payments Ecosystem. - Shaun Azzopardi; Christian Colombo 001; Gordon J. Pace; Brian Vella (SEFM, 2016)

Contract automata - An operational view of contracts between interactive parties. - Shaun Azzopardi; Gordon J. Pace; Fernando Schapachnik; Gerardo Schneider (Artif. Intell. Law, 2016)

Runtime Verification using VALOUR. - Shaun Azzopardi; Christian Colombo 001; Jean-Paul Ebejer; Edward Mallia; Gordon J. Pace (RV-CuBES, 2017)

Control-Flow Residual Analysis for Symbolic Automata. - Shaun Azzopardi; Christian Colombo 001; Gordon J. Pace (PrePost@iFM, 2017)

A Controlled Natural Language for Financial Services Compliance Checking. - Shaun Azzopardi; Christian Colombo 001; Gordon J. Pace (CNL, 2018)

On Observing Contracts: Deontic Contracts Meet Smart Contracts. - Shaun Azzopardi; Gordon J. Pace; Fernando Schapachnik (JURIX, 2018)

Monitoring Smart Contracts: ContractLarva and Open Challenges Beyond. - Shaun Azzopardi; Joshua Ellul; Gordon J. Pace (RV, 2018)

A Technique for Automata-based Verification with Residual Reasoning. - Shaun Azzopardi; Christian Colombo 001; Gordon J. Pace (MODELSWARD, 2020)

CLARVA: Model-based Residual Verification of Java Programs. - Shaun Azzopardi; Christian Colombo 001; Gordon J. Pace (MODELSWARD, 2020)

Model-Based Static and Runtime Verification for Ethereum Smart Contracts. - Shaun Azzopardi; Christian Colombo 001; Gordon J. Pace (MODELSWARD (Revised Selected Papers), 2020)

Incorporating Monitors in Reactive Synthesis Without Paying the Price. - Shaun Azzopardi; Nir Piterman; Gerardo Schneider (ATVA, 2021)

Runtime Monitoring Processes Across Blockchains. - Shaun Azzopardi; Joshua Ellul; Gordon J. Pace (FSEN, 2021)

On the Specification and Monitoring of Timed Normative Systems. - Shaun Azzopardi; Gordon J. Pace; Fernando Schapachnik; Gerardo Schneider (RV, 2021)

R-CHECK: A Model Checker for Verifying Reconfigurable MAS. - Yehia Abd Alrahman; Shaun Azzopardi; Nir Piterman (AAMAS, 2022)

Model Checking Reconfigurable Interacting Systems. - Yehia Abd Alrahman; Shaun Azzopardi; Nir Piterman (ISoLA (3), 2022)

Runtime Verification Meets Controller Synthesis. - Shaun Azzopardi; Nir Piterman; Gerardo Schneider (ISoLA (1), 2022)

Tainting in Smart Contracts: Combining Static and Runtime Verification. - Shaun Azzopardi; Joshua Ellul; Ryan Falzon; Gordon J. Pace (RV, 2022)

AspectSol: A Solidity Aspect-Oriented Programming Tool with Applications in Runtime Verification. - Shaun Azzopardi; Joshua Ellul; Ryan Falzon; Gordon J. Pace (RV, 2022)

Runtime Verification of Kotlin Coroutines. - Denis Furian; Shaun Azzopardi; Yliès Falcone; Gerardo Schneider (RV, 2022)

ppLTLTT : Temporal Testing for Pure-Past Linear Temporal Logic Formulae. - Shaun Azzopardi; David Lidell; Nir Piterman; Gerardo Schneider (ATVA, 2023)

Synchronous Agents, Verification, and Blame - A Deontic View. - Karam Younes Kharraz; Shaun Azzopardi; Gerardo Schneider; Martin Leucker (ICTAC, 2023)

LTL Synthesis on Infinite-State Arenas defined by Programs. - Shaun Azzopardi; Nir Piterman; Gerardo Schneider; Luca Di Stefano 001 (CoRR, 2023)

Language support for verifying reconfigurable interacting systems. - Yehia Abd Alrahman; Shaun Azzopardi; Luca Di Stefano 001; Nir Piterman (Int. J. Softw. Tools Technol. Transf., 2023)

Attributed Point-to-Point Communication in R-CHECK. - Yehia Abd Alrahman; Shaun Azzopardi; Luca Di Stefano 001; Nir Piterman (ISoLA (2), 2024)

Conflict Analysis for Timed Contract Automata. - Shaun Azzopardi; Gordon J. Pace (JURIX, 2024)

A Direct Translation from LTL with Past to Deterministic Rabin Automata. - Shaun Azzopardi; David Lidell; Nir Piterman (MFCS, 2024)

Sound Conflict Analysis for Timed Contract Automata. - Shaun Azzopardi; Gordon J. Pace (CoRR, 2024)

Full LTL Synthesis over Infinite-State Arenas. - Shaun Azzopardi; Luca Di Stefano 001; Nir Piterman; Gerardo Schneider (CAV (4), 2025)