research
∙
09/13/2023
Joint Distributions in Probabilistic Semantics
Various categories have been proposed as targets for the denotational se...
share
research
∙
08/28/2023
Conflict-Aware Active Automata Learning
Active automata learning algorithms cannot easily handle conflict in the...
research
∙
07/19/2023
Symbolic Semantics for Probabilistic Programs (extended version)
We present a new symbolic execution semantics of probabilistic programs ...
research
∙
05/08/2023
Outcome Separation Logic: Local Reasoning for Correctness and Incorrectness with Computational Effects
Separation logic's compositionality and local reasoning properties have ...
research
∙
05/02/2023
Probabilistic Guarded KAT Modulo Bisimilarity: Completeness and Complexity
We introduce Probabilistic Guarded Kleene Algebra with Tests (ProbGKAT),...
research
∙
03/06/2023
Outcome Logic: A Unifying Foundation for Correctness and Incorrectness Reasoning
Program logics for bug-finding (such as the recently introduced Incorrec...
research
∙
01/26/2023
A Complete Inference System for Skip-free Guarded Kleene Algebra with Tests
Guarded Kleene Algebra with Tests (GKAT) is a fragment of Kleene Algebra...
research
∙
01/25/2023
Multisets and Distributions
We give a lightweight alternative construction of Jacobs's distributive ...
research
∙
08/31/2022
Tree-Based Adaptive Model Learning
We extend the Kearns-Vazirani learning algorithm to be able to handle sy...
research
∙
08/06/2022
Long-Term Mentoring for Computer Science Researchers
Early in the pandemic, we – leaders in the research areas of programming...
research
∙
02/14/2022
Processes Parametrised by an Algebraic Theory
We develop a (co)algebraic framework to study a family of process calcul...
research
∙
01/25/2022
Concurrent NetKAT: Modeling and analyzing stateful, concurrent networks
We introduce Concurrent NetKAT (CNetKAT), an extension of NetKAT with op...
research
∙
11/14/2021
Prognosis: Closed-Box Analysis of Network Protocol Implementations
We present Prognosis, a framework offering automated closed-box learning...
research
∙
06/15/2021
On Star Expressions and Coalgebraic Completeness Theorems
An open problem posed by Milner asks for a proof that a certain axiomati...
research
∙
02/16/2021
Guarded Kleene Algebra with Tests: Coequations, Coinduction, and Completeness
Guarded Kleene Algebra with Tests (GKAT) is an efficient fragment of KAT...
research
∙
08/20/2020
A Logic to Reason about Dependence and Independence
Independence and conditional independence are fundamental concepts for r...
research
∙
07/15/2020
Partially Observable Concurrent Kleene Algebra
We introduce partially observable concurrent Kleene algebra (POCKA), an ...
research
∙
05/23/2020
Minimisation in Logical Form
Stone-type dualities provide a powerful mathematical framework for study...
research
∙
02/22/2020
Concurrent Kleene Algebra with Observations: from Hypotheses to Completeness
Concurrent Kleene Algebra (CKA) extends basic Kleene algebra with a para...
research
∙
01/27/2020
Actor-Based Model Checking for SDN Networks
Software-Defined Networking (SDN) is a networking paradigm that has beco...
research
∙
01/17/2020
Preservation of Equations by Monoidal Monads
If a monad T is monoidal, then operations on a set X can be lifted canon...
research
∙
07/12/2019
Guarded Kleene Algebra with Tests: Verification of Uninterpreted Programs in Nearly Linear Time
Guarded Kleene Algebra with Tests (GKAT) is a variation on Kleene Algebr...
research
∙
05/21/2019
Completeness and Incompleteness of Synchronous Kleene Algebra
Synchronous Kleene algebra (SKA), an extension of Kleene algebra (KA), w...
research
∙
04/17/2019
Scalable Verification of Probabilistic Networks
This paper presents McNetKAT, a scalable tool for verifying probabilisti...
research
∙
11/16/2018
Kleene Algebra with Observations
Kleene algebra with tests (KAT) is an algebraic framework for reasoning ...
research
∙
05/29/2018
Convex Language Semantics for Nondeterministic Probabilistic Automata
We explore language semantics for automata combining probabilistic and n...
research
∙
02/17/2018
Almost Sure Productivity
We define Almost Sure Productivity (ASP), a probabilistic generalization...
research
∙
12/04/2017
Layer by layer - Combining Monads
We develop a method to incrementally construct programming languages. Ou...
research
∙
07/10/2017