Autonomous robotic systems are complex, hybrid, and often safety critical; this makes their
formal specification and verification uniquely challenging. Though commonly used, testing …

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 …

Building on concepts drawn from control theory, self-adaptive software handles
environmental and internal uncertainties by dynamically adjusting its architecture and …

The important concern for modern software systems is to become more cost-effective, while
being versatile, flexible, resilient, dependable, energy-efficient, customisable, configurable …

Computing systems form the backbone of many areas in our society, from manufacturing to
traffic control, healthcare, and financial systems. When software plays a vital role in the …

Providing assurances for self-adaptive systems is challenging. A primary underlying
problem is uncertainty that may stem from a variety of different sources, ranging from …

This article addresses the need of applying testing activities with the purpose of checking the
consistency and the correctness of distributed and dynamically adaptable systems whose …

When a self-adaptive system detects that its adaptation goals may be compromised, it needs
to determine how to adapt to ensure its goals. To that end, the system can analyze the …

Autonomous systems are on the rise. However, the challenge to test autonomous systems to
ensure their safe and fault‐free behaviour is not solved yet. This is especially critical when …

Secure and reliable management of identities has become one of the greatest challenges
facing cloud computing today, mainly due to the huge number of new cloud-based …