Shaun Azzopardi
Showing 15 publications
Attributed Point-to-Point Communication in R-CHECK
Full LTL Synthesis over Infinite-State Arenas
A Direct Translation from LTL with Past to Deterministic Rabin Automata
Language Support for Verifying Reconfigurable Interacting Systems
ppLTLTT : Temporal Testing for Pure-Past Linear Temporal Logic Formulae
Synchronous Agents, Verification, and Blame - A Deontic View
Model Checking Reconfigurable Interacting Systems
Runtime Verification Meets Controller Synthesis
Runtime Verification of Kotlin Coroutines
Tainting in Smart Contracts: Combining Static and Runtime Verification
R-CHECK: A Model Checker for Verifying Reconfigurable MAS
AspectSol: A Solidity Aspect-Oriented Programming Tool with Applications in Runtime Verification
Incorporating Monitors in Reactive Synthesis without Paying the Price
On the Specification and Monitoring of Timed Normative Systems
Runtime Monitoring Processes Across Blockchains
Download publication list
You can download this list to your computer.
Filter and download publication list
As logged in user (Chalmers employee) you find more export functions in MyResearch.
You may also import these directly to Zotero or Mendeley by using a browser plugin. These are found herer:
Zotero Connector
Mendeley Web Importer
The service SwePub offers export of contents from Research in other formats, such as Harvard and Oxford in .RIS, BibTex and RefWorks format.