Shaun Azzopardi
Visar 15 publikationer
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
Ladda ner publikationslistor
Du kan ladda ner denna lista till din dator.
Filtrera och ladda ner publikationslista
Som inloggad användare hittar du ytterligare funktioner i MyResearch.
Du kan även exportera direkt till Zotero eller Mendeley genom webbläsarplugins. Dessa hittar du här:
Zotero Connector
Mendeley Web Importer
Tjänsten SwePub erbjuder uttag av Researchs listor i andra format, till exempel kan du få uttag av publikationer enligt Harvard och Oxford i .RIS, BibTex och RefWorks-format.