Shaun Azzopardi

Publication Activity (10 Years)

Years Active: 2014-2024
Publications (10 Years): 30

Top Topics

Automata Theoretic

Banking Services

Top Venues

Publications

Shaun Azzopardi, David Lidell, Nir Piterman
A Direct Translation from LTL with Past to Deterministic Rabin Automata. CoRR (2024)
Shaun Azzopardi, David Lidell, Nir Piterman
A Direct Translation from LTL with Past to Deterministic Rabin Automata. MFCS (2024)
Shaun Azzopardi, Nir Piterman, Gerardo Schneider, Luca Di Stefano
LTL Synthesis on Infinite-State Arenas defined by Programs. CoRR (2023)
Yehia Abd Alrahman, Shaun Azzopardi, Luca Di Stefano, Nir Piterman
Language support for verifying reconfigurable interacting systems. Int. J. Softw. Tools Technol. Transf. 25 (5) (2023)
Karam Younes Kharraz, Shaun Azzopardi, Gerardo Schneider, Martin Leucker
Synchronous Agents, Verification, and Blame - A Deontic View. ICTAC (2023)
Shaun Azzopardi, David Lidell, Nir Piterman, Gerardo Schneider
ppLTLTT : Temporal Testing for Pure-Past Linear Temporal Logic Formulae. ATVA (2023)
Karam Younes Kharraz, Shaun Azzopardi, Gerardo Schneider, Martin Leucker
Synchronous Agents, Verification, and Blame - A Deontic View. CoRR (2023)
Yehia Abd Alrahman, Shaun Azzopardi, Nir Piterman
R-CHECK: A Model Checker for Verifying Reconfigurable MAS. CoRR (2022)
Denis Furian, Shaun Azzopardi, Yliès Falcone, Gerardo Schneider
Runtime Verification of Kotlin Coroutines. RV (2022)
Shaun Azzopardi, Joshua Ellul, Ryan Falzon, Gordon J. Pace
Tainting in Smart Contracts: Combining Static and Runtime Verification. RV (2022)
Shaun Azzopardi, Nir Piterman, Gerardo Schneider
Runtime Verification Meets Controller Synthesis. ISoLA (1) (2022)
Yehia Abd Alrahman, Shaun Azzopardi, Nir Piterman
R-CHECK: A Model Checker for Verifying Reconfigurable MAS. AAMAS (2022)
Yehia Abd Alrahman, Shaun Azzopardi, Nir Piterman
Model Checking Reconfigurable Interacting Systems. ISoLA (3) (2022)
Shaun Azzopardi, Joshua Ellul, Ryan Falzon, Gordon J. Pace
AspectSol: A Solidity Aspect-Oriented Programming Tool with Applications in Runtime Verification. RV (2022)
Shaun Azzopardi, Nir Piterman, Gerardo Schneider
Incorporating Monitors in Reactive Synthesis without Paying the Price. CoRR (2021)
Shaun Azzopardi, Joshua Ellul, Gordon J. Pace
Runtime Monitoring Processes Across Blockchains. FSEN (2021)
Shaun Azzopardi, Gordon J. Pace, Fernando Schapachnik, Gerardo Schneider
On the Specification and Monitoring of Timed Normative Systems. RV (2021)
Shaun Azzopardi, Nir Piterman, Gerardo Schneider
Incorporating Monitors in Reactive Synthesis Without Paying the Price. ATVA (2021)
Shaun Azzopardi, Christian Colombo, Gordon J. Pace
CLARVA: Model-based Residual Verification of Java Programs. MODELSWARD (2020)
Shaun Azzopardi, Christian Colombo, Gordon J. Pace
Model-Based Static and Runtime Verification for Ethereum Smart Contracts. MODELSWARD (Revised Selected Papers) (2020)
Shaun Azzopardi, Christian Colombo, Gordon J. Pace
A Technique for Automata-based Verification with Residual Reasoning. MODELSWARD (2020)
Shaun Azzopardi, Christian Colombo, Gordon J. Pace
A Controlled Natural Language for Financial Services Compliance Checking. CNL (2018)
Shaun Azzopardi, Joshua Ellul, Gordon J. Pace
Monitoring Smart Contracts: ContractLarva and Open Challenges Beyond. RV (2018)
Shaun Azzopardi, Gordon J. Pace, Fernando Schapachnik
On Observing Contracts: Deontic Contracts Meet Smart Contracts. JURIX (2018)
Shaun Azzopardi, Christian Colombo, Jean-Paul Ebejer, Edward Mallia, Gordon J. Pace
Runtime Verification using VALOUR. RV-CuBES (2017)
Shaun Azzopardi, Christian Colombo, Gordon J. Pace
Control-Flow Residual Analysis for Symbolic Automata. PrePost@iFM (2017)
Shaun Azzopardi, Gordon J. Pace, Fernando Schapachnik, Gerardo Schneider
Contract automata - An operational view of contracts between interactive parties. Artif. Intell. Law 24 (3) (2016)
Shaun Azzopardi, Christian Colombo, Gordon J. Pace, Brian Vella
Compliance Checking in the Open Payments Ecosystem. SEFM (2016)
Shaun Azzopardi, Albert Gatt, Gordon J. Pace
Reasoning About Partial Contracts. JURIX (2016)
Shaun Azzopardi, Christian Colombo, Gordon J. Pace
A Model-Based Approach to Combining Static and Dynamic Verification Techniques. ISoLA (1) (2016)
Shaun Azzopardi, Gordon J. Pace, Fernando Schapachnik
Contract Automata with Reparations. JURIX (2014)