Models@ run. time: a guided tour of the state of the art and research challenges

N Bencomo, S Götz, H Song - Software & Systems Modeling, 2019 - Springer
More than a decade ago, the research topic models@ run. time was coined. Since then, the
research area has received increasing attention. Given the prolific results during these …

Using models at runtime to address assurance for self-adaptive systems

BHC Cheng, KI Eder, M Gogolla, L Grunske… - Models@ run. time …, 2014 - Springer
A self-adaptive software system modifies its behavior at runtime in response to changes
within the system or in its execution environment. The fulfillment of the system requirements …

Disentangling factors of variation by mixing them

Q Hu, A Szabó, T Portenier… - Proceedings of the …, 2018 - openaccess.thecvf.com
We propose an approach to learn image representations that consist of disentangled factors
of variation without exploiting any manual labeling or data domain knowledge. A factor of …

Control strategies for self-adaptive software systems

A Filieri, M Maggio, K Angelopoulos… - ACM Transactions on …, 2017 - dl.acm.org
The pervasiveness and growing complexity of software systems are challenging software
engineering to design systems that can adapt their behavior to withstand unpredictable …

Hope for the best, prepare for the worst: multi-tier control for adaptive systems

N D'Ippolito, V Braberman, J Kramer, J Magee… - Proceedings of the 36th …, 2014 - dl.acm.org
Most approaches for adaptive systems rely on models, particularly behaviour or architecture
models, which describe the system and the environment in which it operates. One of the …

Supporting decision-making for self-adaptive systems: from goal models to dynamic decision networks

N Bencomo, A Belaggoun - … for Software Quality: 19th International Working …, 2013 - Springer
Abstract [Context/Motivation] Different modeling techniques have been used to model
requirements and decision-making of self-adaptive systems (SASs). Specifically, goal …

Living with uncertainty in the age of runtime models

H Giese, N Bencomo, L Pasquale, AJ Ramirez… - Models@ run. time …, 2014 - Springer
Uncertainty can be defined as the difference between information that is represented in an
executing system and the information that is both measurable and available about the …

Dynamic decision networks for decision-making in self-adaptive systems: a case study

N Bencomo, A Belaggoun… - 2013 8th International …, 2013 - ieeexplore.ieee.org
Bayesian decision theory is increasingly applied to support decision-making processes
under environmental variability and uncertainty. Researchers from application areas like …

Modeling and verification of functional and non-functional requirements of ambient self-adaptive systems

M Ahmad, N Belloir, JM Bruel - Journal of Systems and Software, 2015 - Elsevier
Abstract Self-Adaptive Systems modify their behavior at run-time in response to changing
environmental conditions. For these systems, Non-Functional Requirements play an …

Specifying uncertainty in use case models

M Zhang, T Yue, S Ali, B Selic, O Okariz… - Journal of Systems and …, 2018 - Elsevier
Context Latent uncertainty in the context of software-intensive systems (eg, Cyber-Physical
Systems (CPSs)) demands explicit attention right from the start of development. Use case …