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

Abstract A Featured Transition System (FTS) models the behaviour of all products of a
Software Product Line (SPL) in a single compact structure, by associating action-labelled …

The detection of interactions is a challenging task present in almost all stages of software
development. In feature-oriented system design, this task is mainly investigated for …

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

Variability permeates software development to satisfy ever-changing requirements and
mass-customization needs. A prime example is the Linux kernel, which employs the C …

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 (SASs) can be …

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

The sheer complexity of modern systems requires compositional approaches to variability
modelling. To manage the variability of large systems' architecture, feature models are …

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 …