Shaun Azzopardi

According to our database, Shaun Azzopardi authored at least 29 papers between 2014 and 2024.

Collaborative distances:

• Dijkstra number of four.
• Erdős number of four.

2024

Sound Conflict Analysis for Timed Contract Automata.

Shaun Azzopardi, Gordon J. Pace

CoRR, 2024

A Direct Translation from LTL with Past to Deterministic Rabin Automata.

Shaun Azzopardi, David Lidell, Nir Piterman

Proceedings of the 49th International Symposium on Mathematical Foundations of Computer Science, 2024

Attributed Point-to-Point Communication in R-CHECK.

Yehia Abd Alrahman, Shaun Azzopardi, Luca Di Stefano, Nir Piterman

Proceedings of the Leveraging Applications of Formal Methods, Verification and Validation. Rigorous Engineering of Collective Adaptive Systems, 2024

2023

Language support for verifying reconfigurable interacting systems.

Yehia Abd Alrahman, Shaun Azzopardi, Luca Di Stefano, Nir Piterman

Int. J. Softw. Tools Technol. Transf., December, 2023

LTL Synthesis on Infinite-State Arenas defined by Programs.

Shaun Azzopardi, Nir Piterman, Gerardo Schneider, Luca Di Stefano

CoRR, 2023

Synchronous Agents, Verification, and Blame - A Deontic View.

Karam Younes Kharraz, Shaun Azzopardi, Gerardo Schneider, Martin Leucker

Proceedings of the Theoretical Aspects of Computing - ICTAC 2023, 2023

ppLTLTT : Temporal Testing for Pure-Past Linear Temporal Logic Formulae.

Shaun Azzopardi, David Lidell, Nir Piterman, Gerardo Schneider

Proceedings of the Automated Technology for Verification and Analysis, 2023

2022

Runtime Verification of Kotlin Coroutines.

Denis Furian, Shaun Azzopardi, Yliès Falcone, Gerardo Schneider

Proceedings of the Runtime Verification - 22nd International Conference, 2022

AspectSol: A Solidity Aspect-Oriented Programming Tool with Applications in Runtime Verification.

Shaun Azzopardi, Joshua Ellul, Ryan Falzon, Gordon J. Pace

Proceedings of the Runtime Verification - 22nd International Conference, 2022

Tainting in Smart Contracts: Combining Static and Runtime Verification.

Shaun Azzopardi, Joshua Ellul, Ryan Falzon, Gordon J. Pace

Proceedings of the Runtime Verification - 22nd International Conference, 2022

Runtime Verification Meets Controller Synthesis.

Shaun Azzopardi, Nir Piterman, Gerardo Schneider

Proceedings of the Leveraging Applications of Formal Methods, Verification and Validation. Verification Principles, 2022

Model Checking Reconfigurable Interacting Systems.

Yehia Abd Alrahman, Shaun Azzopardi, Nir Piterman

Proceedings of the Leveraging Applications of Formal Methods, Verification and Validation. Adaptation and Learning, 2022

R-CHECK: A Model Checker for Verifying Reconfigurable MAS.

Yehia Abd Alrahman, Shaun Azzopardi, Nir Piterman

Proceedings of the 21st International Conference on Autonomous Agents and Multiagent Systems, 2022

2021

On the Specification and Monitoring of Timed Normative Systems.

Shaun Azzopardi, Gordon J. Pace, Fernando Schapachnik, Gerardo Schneider

Proceedings of the Runtime Verification - 21st International Conference, 2021

Runtime Monitoring Processes Across Blockchains.

Shaun Azzopardi, Joshua Ellul, Gordon J. Pace

Proceedings of the Fundamentals of Software Engineering - 9th International Conference, 2021

Incorporating Monitors in Reactive Synthesis Without Paying the Price.

Shaun Azzopardi, Nir Piterman, Gerardo Schneider

Proceedings of the Automated Technology for Verification and Analysis, 2021

2020

Model-Based Static and Runtime Verification for Ethereum Smart Contracts.

Shaun Azzopardi, Christian Colombo, Gordon J. Pace

Proceedings of the Model-Driven Engineering and Software Development, 2020

CLARVA: Model-based Residual Verification of Java Programs.

Shaun Azzopardi, Christian Colombo, Gordon J. Pace

Proceedings of the 8th International Conference on Model-Driven Engineering and Software Development, 2020

A Technique for Automata-based Verification with Residual Reasoning.

Shaun Azzopardi, Christian Colombo, Gordon J. Pace

Proceedings of the 8th International Conference on Model-Driven Engineering and Software Development, 2020

2018

Monitoring Smart Contracts: ContractLarva and Open Challenges Beyond.

Shaun Azzopardi, Joshua Ellul, Gordon J. Pace

Proceedings of the Runtime Verification - 18th International Conference, 2018

On Observing Contracts: Deontic Contracts Meet Smart Contracts.

Shaun Azzopardi, Gordon J. Pace, Fernando Schapachnik

Proceedings of the Legal Knowledge and Information Systems, 2018

A Controlled Natural Language for Financial Services Compliance Checking.

Shaun Azzopardi, Christian Colombo, Gordon J. Pace

Proceedings of the Controlled Natural Language, 2018

2017

Control-Flow Residual Analysis for Symbolic Automata.

Shaun Azzopardi, Christian Colombo, Gordon J. Pace

Proceedings of the Proceedings Second International Workshop on Pre- and Post-Deployment Verification Techniques, 2017

Runtime Verification using VALOUR.

Shaun Azzopardi, Christian Colombo, Jean-Paul Ebejer, Edward Mallia, Gordon J. Pace

Proceedings of the RV-CuBES 2017. An International Workshop on Competitions, 2017

2016

Contract automata - An operational view of contracts between interactive parties.

Shaun Azzopardi, Gordon J. Pace, Fernando Schapachnik, Gerardo Schneider

Artif. Intell. Law, 2016

Compliance Checking in the Open Payments Ecosystem.

Shaun Azzopardi, Christian Colombo, Gordon J. Pace, Brian Vella

Proceedings of the Software Engineering and Formal Methods - 14th International Conference, 2016

Reasoning About Partial Contracts.

Shaun Azzopardi, Albert Gatt, Gordon J. Pace

Proceedings of the Legal Knowledge and Information Systems, 2016

A Model-Based Approach to Combining Static and Dynamic Verification Techniques.

Shaun Azzopardi, Christian Colombo, Gordon J. Pace

Proceedings of the Leveraging Applications of Formal Methods, Verification and Validation: Foundational Techniques, 2016

2014

Contract Automata with Reparations.

Shaun Azzopardi, Gordon J. Pace, Fernando Schapachnik

Proceedings of the Legal Knowledge and Information Systems, 2014