21 citations · 21 across the 4 of their papers we have counts for
4 papers · 1 filter
RESMETRIC: Analyzing Resilience to Enable Research on Antifragility
Ferdinand Koenig, Marc Carwehl, Calum Imrie
A key feature in self-adaptive systems is resilience, which is an ongoing research topic. Recently, the community started to explore antifragility, which describes the improvement…
Formal Synthesis of Uncertainty Reduction Controllers
Marc Carwehl, Calum Imrie, Thomas Vogel +3
In its quest for approaches to taming uncertainty in self-adaptive systems (SAS), the research community has largely focused on solutions that adapt the SAS architecture or behavio…
Runtime Verification of Self-Adaptive Systems with Changing Requirements
Marc Carwehl, Thomas Vogel, Genaína Nunes Rodrigues +1
To accurately make adaptation decisions, a self-adaptive system needs precise means to analyze itself at runtime. To this end, runtime verification can be used in the feedback loop…
A Property Specification Pattern Catalog for Real-Time System Verification with UPPAAL
Thomas Vogel, Marc Carwehl, Genaína Nunes Rodrigues +1
Context: The goal of specification pattern catalogs for real-time requirements is to mask the complexity of specifying such requirements in a timed temporal logic for verification.…