research
∙
03/29/2023
Runtime Verification of Self-Adaptive Systems with Changing Requirements
To accurately make adaptation decisions, a self-adaptive system needs pr...
share
research
∙
11/07/2022
A Property Specification Pattern Catalog for Real-Time System Verification with UPPAAL
Context: The goal of specification pattern catalogs for real-time requir...
research
∙
03/27/2021
Body Sensor Network: A Self-Adaptive System Exemplar in the Healthcare Domain
Recent worldwide events shed light on the need of human-centered systems...
research
∙
04/24/2020
A Hybrid Approach Combining Control Theory and AI for Engineering Self-Adaptive Systems
Control theoretical techniques have been successfully adopted as methods...
research
∙
05/06/2019
Taming Uncertainty in the Assurance Process of Self-Adaptive Systems: a Goal-Oriented Approach
Goals are first-class entities in a self-adaptive system (SAS) as they g...
research
∙
04/03/2018
