Now showing items 1-11 of 11

    • Automated replication of tuple spaces via static analysis 

      De Nicola, Rocco; Di Stefano, Luca; Inverso, Omar; Uwimbabazi, Aline (2022)
      Coordination languages for tuple spaces can offer significant advantages in the specification and implementation of distributed systems, but often do require manual programming effort to ensure consistency. We propose an ...
    • COOL 2 – A Generic Reasoner for Modal Fixpoint Logics (System Description) 

      Görlitz, Oliver; Hausmann, Daniel; Humml, Merlin; Pattinson, Dirk; Prucker, Simon; Schröder, Lutz (2023)
      There is a wide range of modal logics whose semantics goes beyond relational structures, and instead involves, e.g., probabilities, multi-player games, weights, or neighbourhood structures. Coalgebraic logic serves as a ...
    • Games for Efficient Supervisor Synthesis 

      Hausmann, Daniel; Kumar Jha, Prabhat; Piterman, Nir (2023)
      In recent years, there has been an increasing interest in the connections between supervisory control theory and reactive synthesis. As the two fields use similar techniques there is great hope that technologies from one ...
    • Games for Efficient Supervisor Synthesis 

      Hausmann, Daniel; Prabhat, Kumar Jha; Piterman, Nir (2023)
      In recent years, there has been an increasing interest in the connections between supervisory control theory and reactive synthesis. As the two fields use similar techniques there is great hope that technologies from one ...
    • 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 ...
    • Modelling Flocks of Birds and Colonies of Ants from the Bottom Up 

      De Nicola, Rocco; Di Stefano, Luca; Inverso, Omar; Valiani, Serenella (2023)
    • Modelling Flocks of Birds from the Bottom Up 

      De Nicola, Rocco; Di Stefano, Luca; Inverso, Omar; Valiani, Serenella (2022)
      We argue that compositional specification based on formal languages can facilitate the modelling of, and reasoning about, sophisticated collective behaviour in many natural systems. One defines a system in terms of individual ...
    • A PO Characterisation of Reconfiguration 

      Abd Alrahman, Yehia; Martel, Mauricio; Piterman, Nir (2022)
      We consider partial order semantics of concurrent systems in which local reconfigurations may have global side effects. That is, local changes happening to an entity may block or unblock events relating to others, namely, ...
    • 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 ...
    • A Survey on Satisfiability Checking for the μ -Calculus Through Tree Automata 

      Hausmann, Daniel; Piterman, Nir (2022)
      Algorithms for model checking and satisfiability of the modal μ -calculus start by converting formulas to alternating parity tree automata. Thus, model checking is reduced to checking acceptance by tree automata and ...
    • 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, ...