24 citations · 24 across the 4 of their papers we have counts for
5 papers
Mechanising Denotational Semantics in Agda
Peter D. Mosses, Jesper Cockx, Bernhard Reus
Mechanisation of a mathematical definition (also referred to as formalisation) has many benefits. Here, we focus on mechanising denotational semantic definitions of programming lan…
Interpreting Knowledge-based Programs (Extended Version with Proofs)
Alexander Knapp, Heribert Mühlberger, Bernhard Reus
Knowledge-based programs specify multi-agent protocols with epistemic guards that abstract from how agents learn and record facts or information about other agents and the environm…
Model Checking Software-Defined Networks with Flow Entries that Time Out (version with appendix)
Vasileios Klimis, George Parisis, Bernhard Reus
Software-defined networking (SDN) enables advanced operation and management of network deployments through (virtually) centralised, programmable controllers, which deploy network f…
Towards Model Checking Real-World Software-Defined Networks (version with appendix)
Vasileios Klimis, George Parisis, Bernhard Reus
In software-defined networks (SDN), a controller program is in charge of deploying diverse network functionality across a large number of switches, but this comes at a great risk:…
Nested Hoare Triples and Frame Rules for Higher-order Store
Jan Schwinghammer, Lars Birkedal, Bernhard Reus +1
Separation logic is a Hoare-style logic for reasoning about programs with heap-allocated mutable data structures. As a step toward extending separation logic to high-level language…