Adaptive systems (ASs) and context‐aware systems (CASs) are able to evaluate their own
behaviour and to adapt it when the system fails to accomplish its goals or when better …

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 …

The changes of market, the shift of manufacturing paradigm, the evolution of devices, and
the emergence of new technologies, require and drive manufacturing to be flexible …

Self-adaptive systems can change their behavior due to internal or external issues detected
during operation. Such systems should be able to change their internal structure or …

The development of self-adaptive software has attracted a lot of attention. Decentralization is
an effective way to manage the complexity of modern self-adaptive software systems …

Runtime testing of dynamically adaptable and distributed systems is currently highly
demanded to ensure their correctness and trustworthiness. However, this runtime validation …

This thesis deals with runtime validation of dynamically adaptable and distributed
component-based systems. With the aim of ensuring its correctness after each dynamic …