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 …

Predictive models are one of the most important techniques that are widely applied in many
areas of software engineering. There have been a large number of primary studies that …

DevOps is an emerging paradigm that reduces the barriers between developers and
operations teams to offer continuous fast delivery and enable quick responses to changing …

Modern Medical Information Systems very often comprise Medical Devices and governed by
regulations which require stringent Risk Management activities to be implemented to …

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 …

An increasingly used method for the engineering of software systems with strict quality-of-
service (QoS) requirements involves the synthesis and verification of probabilistic models for …

The Human Machine Teaming (HMT) paradigm focuses on supporting partnerships
between humans and autonomous machines. HMT describes requirements for …

Probabilistic model checking is a powerful technique for formally verifying quantitative
properties of systems that exhibit stochastic behaviour. Such systems are found in many …

The MAPE-K feedback loop has been established as the primary reference model for self-
adaptive and autonomous systems in domains such as autonomous driving, robotics, and …

We describe a tool-supported method for the efficient synthesis of parametric continuous-
time Markov chains (pCTMC) that correspond to robust designs of a system under …