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
ppLTLTT : Temporal Testing for Pure-Past Linear Temporal Logic Formulae
Synchronous Agents, Verification, and Blame - A Deontic View
Language Support for Verifying Reconfigurable Interacting Systems
Model Checking Reconfigurable Interacting Systems
Tainting in Smart Contracts: Combining Static and Runtime Verification
Runtime Verification of Kotlin Coroutines
Runtime Verification Meets Controller Synthesis
AspectSol: A Solidity Aspect-Oriented Programming Tool with Applications in Runtime Verification
R-CHECK: A Model Checker for Verifying Reconfigurable MAS
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.