Most modern software systems (operating systems like Linux or Android, Web browsers like
Firefox or Chrome, video encoders like ffmpeg, x264 or VLC, mobile and cloud applications …

In view of the growing complexity of modern software architectures, formal models are
increasingly used to understand why a system works the way it does, opposed to simply …

Handling large-scale software variability is still a challenge for many organizations. After
decades of research on variability management concepts, many industrial organizations …

Almost every software system provides configuration options to tailor the system to the target
platform and application scenario. Often, this configurability renders the analysis of every …

Feature models are arguably one of the most intuitive and successful notations for modeling
the features of a variant-rich software system. Feature models help developers to keep an …

Quality assurance for highly-configurable systems is challenging due to the exponentially
growing configuration space. Interactions among multiple options can lead to surprising …

Feature models have been used since the 90s to describe software product lines as a way of
reusing common parts in a family of software systems. In 2010, a systematic literature review …

Feature modeling is widely used to systematically model features of variant-rich software
systems and their dependencies. By translating feature models into propositional formulas …

Performance-influence models can help stakeholders understand how and where
configuration options and their interactions influence the performance of a system. With this …

Highly-configurable systems allow users to tailor the software to their specific needs. Not all
combinations of configuration options are valid though, and constraints arise for technical or …