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 …

Airport exercises and action plans have significantly improved in the last two decades. They
help in the development of the worldwide carrier industry. The amendment of the tenets …

Feedback control loops that monitor and adapt managed parts of a software system are
considered crucial for realizing self-adaptation in software systems. The MAPE-K (Monitor …

In this paper, we propose a methodology for deriving a model of a complex system by
exploiting the information extracted from topological data analysis. Central to our approach …

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 …

Abstract Model checking is an influential method to verify complex interactions, concurrent
and distributed systems. Model checking constructs a behavioral model of the system using …

Context In recent years, software environments such as the cloud and Internet of Things
(IoT) have become increasingly sophisticated, and as a result, development of adaptable …

Background RNA secondary structure comparison is a fundamental task for several studies,
among which are RNA structure prediction and evolution. The comparison can currently be …

This paper integrates run-time verification enablers in the feedback adaptation loop of the
ASSET adaptive security framework for Internet of Things (IoT) in the eHealth settings and …

Complex adaptive systems (CAS) theory is acquiring mainstream recognition in sustainable
community building. In this paper, we bring the applicability of CAS theory into sharper …