Context: Championed by IBM's vision of autonomic computing paper in 2003, the autonomic
computing research field has seen increased research activity over the last 20 years …

Self-adaptive systems (SASs) can change their structures autonomously and dynamically
adapt their behaviors aiming at (i) attaining longer-term system goals and (ii) coping with …

Ubiquitous and pervasive systems interact with each other and perform actions favoring the
emergence of a global desired behavior. To function well, these systems need to be self …

Control theoretical techniques have been successfully adopted as methods for self-adaptive
systems design to provide formal guarantees about the effectiveness and robustness of …

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 …

Goal models have been a popular subject of study by researchers in requirements
engineering, due to their ability to capture and analyze alternative solutions through which a …

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 to …

We present DeepDECS, a new method for the synthesis of correct-by-construction software
controllers for autonomous systems that use deep neural network (DNN) classifiers for the …

We present an efficient parametric model checking technique for the analysis of software
performability, ie, of the performance and dependability properties of software systems. The …

Self-Adaptive Systems (SASs) adapt themselves to environmental changes during runtime
to maintain Quality of Service (QoS) goals. Designing and optimizing the adaptation strategy …