Shaun Azzopardi
Om Shaun Azzopardi
-
R-CHECK: A Model Checker for Verifying Reconfigurable
MAS
Yehia Abd Alrahman, Shaun Azzopardi, Nir Piterman
AAMAS 2022 - 2022-01-01 -
Model-Based Static and Runtime Verification for Ethereum Smart
Contracts
Shaun Azzopardi, Christian Colombo, Gordon Pace
Communications in Computer and Information Science - 2021-01-01 -
Incorporating Monitors in Reactive Synthesis without Paying the
Price
Shaun Azzopardi, Nir Piterman, Gerardo Schneider
19th International Symposium on Automated Technology for Verification and Analysis - 2021-01-01 -
On the Specification and Monitoring of Timed Normative
Systems
Shaun Azzopardi, Gordon Pace, Fernando Schapachnik, Gerardo Schneider
Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics) - 2021-01-01 -
Runtime Monitoring Processes Across
Blockchains
Shaun Azzopardi, Joshua Ellul, Gordon Pace
9th IPM International Conference on Fundamentals of Software Engineering 2021 (FSEN 2021) - 2021-01-01