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 …

One major challenge in self-adaptive systems is to assure the required quality properties.
Formal methods provide the means to rigorously specify and reason about the behaviors of …

The complexity of information systems is increasing in recent years, leading to increased
effort for maintenance and configuration. Self-adaptive systems (SASs) address this issue …

Key frame extraction has been recognized as one of the important research issues in video
information retrieval. Although progress has been made in key frame extraction, the existing …

Today's society increasingly depends on software systems deployed in large companies,
banks, airports, and so on. These systems must be available 24/7 and continuously adapt to …

In product line engineering, systems are developed in families and differences between
family members are expressed in terms of features. Formal modelling and verification is an …

The premise of variability-intensive systems, specifically in software product line
engineering, is the ability to produce a large family of different systems efficiently. Many such …

We study the problem of model checking software product line (SPL) behaviours against
temporal properties. This is more difficult than for single systems because an SPL with n …

Abstract The Internet of Things (IoT) unleashes great opportunities to improve our way of
living and working through a seamless and highly dynamic cooperation among …

The internet of things (IoT) attracts great interest in many application domains concerned
with monitoring and control of physical phenomena. However, application development is …