research
∙
01/09/2022
Bidirectional Runtime Enforcement of First-Order Branching-Time Properties
Runtime enforcement is a dynamic analysis technique that instruments a m...
share
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/31/2017
Towards Runtime Adaptation of Actor Systems
In this dissertation we focus on providing effective adaptations that ca...
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