28 citations · 113 across the 8 of their papers we have counts for
8 papers
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.…
Guidelines for Artifacts to Support Industry-Relevant Research on Self-Adaptation
Danny Weyns, Ilias Gerostathopoulos, Barbora Buhnova +16
Artifacts support evaluating new research results and help comparing them with the state of the art in a field of interest. Over the past years, several artifacts have been introdu…
Body Sensor Network: A Self-Adaptive System Exemplar in the Healthcare Domain
Eric Bernd Gil, Ricardo Caldas, Arthur Rodrigues +3
Recent worldwide events shed light on the need of human-centered systems engineering in the healthcare domain. These systems must be prepared to evolve quickly but safely, accordin…
A Hybrid Approach Combining Control Theory and AI for Engineering Self-Adaptive Systems
Ricardo Diniz Caldas, Arthur Rodrigues, Eric Bernd Gil +3
Control theoretical techniques have been successfully adopted as methods for self-adaptive systems design to provide formal guarantees about the effectiveness and robustness of ada…
Taming Uncertainty in the Assurance Process of Self-Adaptive Systems: a Goal-Oriented Approach
Gabriela Félix Solano, Ricardo Diniz Caldas, Genaína Nunes Rodrigues +2
Goals are first-class entities in a self-adaptive system (SAS) as they guide the self-adaptation. A SAS often operates in dynamic and partially unknown environments, which cause un…
A Learning Approach to Enhance Assurances for Real-Time Self-Adaptive Systems
Arthur Rodrigues, Ricardo Diniz Caldas, Genaína Nunes Rodrigues +2
The assurance of real-time properties is prone to context variability. Providing such assurance at design time would require to check all the possible context and system variations…
Pragmatic Requirements for Adaptive Systems: a Goal-Driven Modelling and Analysis Approach
Felipe Pontes Guimarães, Genaina Nunes Rodrigues, Raian Ali +1
Goal-models (GM) have been used in adaptive systems engineering for their ability to capture the different ways to fulfill the requirements. Contextual GM (CGM) extend these models…