Now showing items 1-11 of 11

    • AspectSol: A Solidity Aspect-Oriented Programming Tool with Applications in Runtime Verification 

      Azzopardi, Shaun; Ellul, Joshua; Falzon, Ryan; Pace, Gordon J. (International Conference on Runtime Verification, 2022)
      Aspect-oriented programming tools aim to provide increased code modularity by enabling programming of cross-cutting concerns separate from the main body of code. Since the inception of runtime verification, aspect-oriented ...
    • Incorporating Monitors in Reactive Synthesis without Paying the Price 

      Azzopardi, Shaun; Piterman, Nir; Schneider, Gerardo (19th International Symposium on Automated Technology for Verification and Analysis, 2021)
      Temporal synthesis attempts to construct reactive programs that satisfy a given declarative (LTL) formula. Practitioners have found it challenging to work exclusively with declarative speci cations, and have found ...
    • Language Support for Verifying Reconfigurable Interacting Systems 

      Abd Alrahman, Yehia; Azzopardi, Shaun; Di Stefano, Luca; Piterman, Nir (2023)
      Reconfigurable interacting systems consist of a set of autonomous agents, with integrated interaction capabilities that feature opportunistic interaction. Agents seemingly reconfigure their interactions interfaces by forming ...
    • Model Checking Reconfigurable Interacting Systems 

      Alrahman, Yehia Abd; Azzopardi, Shaun; Piterman, Nir (International Symposium on Leveraging Applications of Formal Methods, 2022)
      Reconfigurable multi-agent systems consist of a set of autonomous agents, with integrated interaction capabilities that feature opportunistic interaction. Agents seemingly reconfigure their interactions interfaces by forming ...
    • On the Specification and Monitoring of Timed Normative Systems 

      Azzopardi, Shaun; Pace, Gordon J.; Schapachnik, Fernando; Schneider, Gerardo (2022)
      In this article we explore different issues and design choices that arise when considering how to fully embrace timed aspects in the formalisation of normative systems, e.g., by using deontic modalities, looking primarily ...
    • ppLTLTT : Temporal Testing for Pure-Past Linear Temporal Logic Formulae 

      Azzopardi, Shaun; Lidell, David; Piterman, Nir; Schneider, Gerardo (2023)
      This paper presents ppLTLTT, a tool for translating pure-past linear temporal logic formulae into temporal testers in the form of automata. We show how ppLTLTT can be used to easily extend existing LTL-based tools, such ...
    • R-CHECK: A Model Checker for Verifying Reconfigurable MAS 

      Alrahman, Yehia Abd; Azzopardi, Shaun; Piterman, Nir (AAMAS 2022, 2022)
      Reconfigurable multi-agent systems consist of a set of autonomous agents, with integrated interaction capabilities that feature opportunistic interaction. Agents seemingly reconfigure their interactions interfaces by ...
    • Runtime Verification meets Controller Synthesis 

      Azzopardi, Shaun; Piterman, Nir; Schneider, Gerardo (2022)
      Reactive synthesis guarantees correct-by-construction controllers from logical specifications, but is costly—2EXPTIME-complete in the size of the specification. In a practical setting, the desired controllers need to ...
    • Runtime Verification of Kotlin Coroutines 

      Furian, Denis; Azzopardi, Shaun; Falcone, Yliès (2022)
      Kotlin was introduced to Android as the recommended language for development. One of the unique functionalities of Kotlin is that of coroutines, which are lightweight tasks that can run concurrently inside threads. Programming ...
    • Synchronous Agents, Verification, and Blame - A Deontic View 

      Kharraz, Karam; Azzopardi, Shaun; Schneider, Gerardo; Leucker, Martin (2023)
      A question we can ask of multi-agent systems is whether the agents’ collective interaction satisfies particular goals or specifications, which can be either individual or collective. When a collaborative goal is not reached, ...
    • Tainting in Smart Contracts: Combining Static and Runtime Verification 

      Azzopardi, Shaun; Ellul, Joshua; Falzon, Ryan; Pace, Gordon J. (Lecture Notes in Computer Science book series (LNCS,volume 13498), 2022)
      Smart contracts exist immutably on blockchains, making their pre-deployment correctness essential. Moreover, they exist openly on blockchains—open for interaction with any other smart contract and offchain entity. Interaction, ...