research
∙
09/13/2023
The Way We Were: Structural Operational Semantics Research in Perspective
This position paper on the (meta-)theory of Structural Operational Seman...
share
research
∙
06/29/2023
Complexity results for modal logic with recursion via translations and tableaux
This paper studies the complexity of classical modal logics and of their...
research
∙
02/16/2023
MM Algorithms to Estimate Parameters in Continuous-time Markov Chains
Continuous-time Markov chains (CTMCs) are popular modeling formalism tha...
research
∙
09/21/2022
Complexity through Translations for Modal Logic with Recursion
This paper studies the complexity of classical modal logics and of their...
research
∙
06/28/2022
On the Axiomatisation of Branching Bisimulation Congruence over CCS
In this paper we investigate the equational theory of (the restriction, ...
research
∙
01/09/2022
Bidirectional Runtime Enforcement of First-Order Branching-Time Properties
Runtime enforcement is a dynamic analysis technique that instruments a m...
research
∙
10/06/2021
Active Learning of Markov Decision Processes using Baum-Welch algorithm (Extended)
Cyber-physical systems (CPSs) are naturally modelled as reactive systems...
research
∙
05/03/2021
In search of lost time: Axiomatising parallel composition in process algebras
This survey reviews some of the most recent achievements in the saga of ...
research
∙
04/19/2021
A Choreographed Outline Instrumentation Algorithm for Asynchronous Components
The runtime analysis of decentralised software requires instrumentation ...
research
∙
02/22/2021
On the Axiomatisability of Parallel Composition
This paper studies the existence of finite equational axiomatisations of...
research
∙
06/09/2020
An axiomatization of verdict equivalence over regular monitors
Monitors are a key tool in the field of runtime verification, where they...
research
∙
06/03/2019
An Operational Guide to Monitorability
Monitorability delineates what properties can be verified at runtime. Al...
research
∙
02/13/2019
The Cost of Monitoring Alone
We compare the succinctness of two monitoring systems for properties of ...
research
∙
02/01/2019
Adventures in Monitorability: From Branching to Linear Time and Back Again
This paper establishes a comprehensive theory of runtime monitorability ...
research
∙
07/05/2018
Rule Formats for Nominal Process Calculi
The nominal transition systems (NTSs) of Parrow et al. describe the oper...
research
∙
07/03/2018
On Runtime Enforcement via Suppressions
Runtime enforcement is a dynamic analysis technique that uses monitors t...
research
∙
04/24/2018
Developing Theoretical Foundations for Runtime Enforcement
The ubiquitous reliance on software systems increases the need for ensur...
research
∙
08/24/2017