2 papers
cs.SE2024
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…
cs.SE2023
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…