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...
share
research
∙
06/08/2023
If At First You Don't Succeed: Extended Monitorability through Multiple Executions
This paper investigates the observational capabilities of monitors that ...
research
∙
12/14/2022
PSTMonitor: Monitor Synthesis from Probabilistic Session Types
We present PSTMonitor, a tool for the run-time verification of quantitat...
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
∙
08/09/2022
Session Fidelity for ElixirST: A Session-Based Type System for Elixir Modules
This paper builds on prior work investigating the adaptation of session ...
research
∙
02/23/2022
Monitoring hyperproperties with circuits
This paper presents an extension of the safety fragment of Hennessy-Miln...
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
∙
07/19/2021
Towards Probabilistic Session-Type Monitoring
We present a tool-based approach for the runtime analysis of communicati...
research
∙
05/13/2021
On the Monitorability of Session Types, in Theory and Practice (Extended Version)
In concurrent and distributed systems, software components are expected ...
research
∙
04/19/2021
A Choreographed Outline Instrumentation Algorithm for Asynchronous Components
The runtime analysis of decentralised software requires instrumentation ...
research
∙
02/28/2020
Behavioural Types for Memory and Method Safety in a Core Object-Oriented Language
We present a type-based analysis ensuring memory safety and object proto...
research
∙
06/03/2019
An Operational Guide to Monitorability
Monitorability delineates what properties can be verified at runtime. Al...
research
∙
05/06/2019
Heaps Don't Lie: Countering Unsoundness with Heap Snapshots
Static analyses aspire to explore all possible executions in order to ac...
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
∙
11/16/2018
A Survey of Challenges for Runtime Verification from Advanced Application Domains (Beyond Software)
Runtime verification is an area of formal methods that studies the dynam...
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
Reliability and Fault-Tolerance by Choreographic Design
Distributed programs are hard to get right because they are required to ...
research
∙
08/24/2017