The MAPE-K (Monitor-Analyze-Plan-Execute over a shared Knowledge) feedback loop is
the most influential reference control model for autonomic and self-adaptive systems. This …

The modeling, analysis and performance evaluation of large-scale systems are difficult
tasks. Due to the size and complexity of the considered systems, an approach typically …

Abstract SCEL (Service Component Ensemble Language) is a new language specifically
designed to rigorously model and program autonomic components and their interaction …

In this position paper we present a conceptual vision of adaptation, a key feature of
autonomic systems. We put some stress on the role of control data and argue how some of …

Today, develo** self-adaptive systems is very challenging due to their increasing
complexity and dynamism. Consequently, ensuring the correctness of their behavior is a …

Systems able to dynamically adapt their behaviour gain growing attention to raising service
quality by reducing development costs. On the other hand, adaptation is a major source of …

We present a novel formal verification approach for collective robotic systems that is based
on the use of the formal language K laim and related analysis tools. While existing …

We investigate the use of probabilistic model checking to synthesise optimal strategies for
autonomous systems that operate among uncontrollable agents such as humans. To …

Programming autonomic systems with massive number of heterogeneous components
poses a number of challenges to language designers and software engineers and requires …

Building adaptive systems with predictable emergent behavior is a difficult task and it is
becoming a critical need. The research community has accepted the challenge by …