Detecting and understanding reasons for defects and inadvertent behavior in software is
challenging due to their increasing complexity. In configurable software systems, the …

The detection and understanding of reasons for defects and inadvertent behavior in software
is challenging due to its ever increasing complexity. One major aspect contributing to this …

Self-adaptation is a crucial feature of autonomous systems that must cope with uncertainties
in, eg, their environment and their internal state. Self-adaptive systems are often modelled …

Modern software systems are increasingly complex due to their configurability and
adaptivity. For modeling and implementing such systems, the concept of roles is particularly …

Abstract (EN) The often huge configuration spaces of modern software systems render the
detection, prediction, and explanation of defects and inadvertent behaviors challenging …

Self-adaptation is a crucial feature of autonomous systems that must cope with uncertainties
in, eg, their environment and their internal state. Self-adaptive systems (SASs) can be …

Probabilistic model checking (PMC) is a well-established method for the quantitative
analysis of state based operational models such as Markov decision processes. Description …

Most modern systems, be it cyber-physical or mere software systems, are highly
configurable. The main challenge when dealing with such configurable systems stems from …

Improved autonomy in robotic systems is needed for innovation in, eg, the marine sector.
Autonomous robots that are let loose in hazardous environments, such as underwater, need …

Abstract (EN) With the widespread use of information systems in modern society comes a
growing demand for customizable and adaptable software. As a result, systems are …