Shaun Azzopardi

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