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 …

Autonomous or semi-autonomous systems are deployed in environments where contact with
programmers or technicians is infrequent or undesirable. To operate reliably, such systems …

We present SGR (1), a novel synthesis technique and methodological guidelines for
automatically constructing event-based behavior models. Our approach works for an …

Many software systems operate in environments where change and uncertainty are the rule,
rather than exceptions. Techniques for self-adaptation allow these systems to automatically …

A self-adaptive system uses runtime models to adapt its architecture to the changing
requirements and contexts. However, there is no one-to-one map** between the …

The next generation of computer system designers will be less concerned about details of
processors and memories, and more concerned about the elements of a system tailored to …

Run-time generation of adaptation plans is a powerful mechanism that helps a self-adaptive
system to meet its goals in a dynamically changing environment. In the past, researchers …

We present a novel technique for synthesising behaviour models that works for an
expressive subset of liveness properties and conforms to the foundational requirements …

To operate reliably in environments where interaction with an operator is infrequent or
undesirable, an autonomous system should be capable of both determining how to achieve …

Nowadays, there are more and more software systems operating in highly open, dynamic
and unpredictable environments. Moreover, as technology advances, requirements for these …