28 citations · 69 across the 4 of their papers we have counts for
5 papers
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.…
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…