Shaun Azzopardi
-
Runtime Verification of Kotlin
Coroutines
Denis Furian, Shaun Azzopardi, Yliès Falcone, Gerardo Schneider
Lecture Notes in Computer Science book series (LNCS,volume 13498) - 2022 -
AspectSol: A Solidity Aspect-Oriented Programming Tool with Applications in Runtime
Verification
Shaun Azzopardi, Joshua Ellul, Ryan Falzon, Gordon J. Pace
Lecture Notes in Computer Science book series (LNCS, volume 13498) - 2022 -
Tainting in Smart Contracts: Combining Static and Runtime
Verification
Shaun Azzopardi, Joshua Ellul, Ryan Falzon, Gordon J. Pace
Lecture Notes in Computer Science book series (LNCS,volume 13498) - 2022 -
Model Checking Reconfigurable Interacting
Systems
Yehia Abd Alrahman, Shaun Azzopardi, Nir Piterman
Lecture Notes in Computer Science book series (LNCS,volume 13703) - 2022 -
R-CHECK: A Model Checker for Verifying Reconfigurable
MAS
Yehia Abd Alrahman, Shaun Azzopardi, Nir Piterman
AAMAS 2022 - 2022 -
Runtime Verification Meets Controller
Synthesis
Shaun Azzopardi, Nir Piterman, Gerardo Schneider
Lecture Notes in Computer Science book series (LNCS,volume 13701) - 2022 -
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 -
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 -
Model-Based Static and Runtime Verification for Ethereum Smart
Contracts
Shaun Azzopardi, Christian Colombo, Gordon Pace
Communications in Computer and Information Science - 2021 -
Runtime Monitoring Processes Across
Blockchains
Shaun Azzopardi, Joshua Ellul, Gordon Pace
9th IPM International Conference on Fundamentals of Software Engineering 2021 (FSEN 2021) - 2021