Software systems dealing with distributed applications in changing environments normally
require human supervision to continue operation in all conditions. These (re-) configuring …

Autonomic Computing is a concept that brings together many fields of computing with the
purpose of creating computing systems that self-manage. In its early days it was criticised as …

Self-management is put forward as one of the means by which we could provide systems
that are scalable, support dynamic composition and rigorous analysis, and are flexible and …

As modern software-based systems and applications gain in versatility and functionality, the
ability to manage inconsistent resources and service disparate user requirements becomes …

Software architectures capture the most significant properties and design constraints of
software systems. Thus, modifications to a system that violate its architectural principles can …

One major challenge in self-adaptive systems is to assure the required quality properties.
Formal methods provide the means to rigorously specify and reason about the behaviors of …

Self-adaptation enables a software system to deal autonomously with uncertainties, such as
dynamic operating conditions that are difficult to predict or changing goals. A common …

In the context of software development, models provide an abstract representation of a
software system or a part of it. In the software development process, they are primarily used …

Our research shows that autonomic behavior can be achieved by leveraging variability
models at runtime. In this way, the modeling effort made at design time is not only useful for …

Increasingly, software systems should self-adapt to satisfy new requirements and
environmental conditions that may arise after deployment. Due to their high complexity …