Software-product-line engineering has gained considerable momentum in recent years,
both in industry and in academia. A software product line is a family of software products that …

Diversity is prevalent in modern software systems to facilitate adapting the software to
customer requirements or the execution environment. Diversity has an impact on all phases …

Context: Software product lines (SPL) engineering defines a set of systems that share
common features and artifacts to achieve high productivity, quality, market agility, low time to …

Modularity of feature representations has been a long standing goal of feature-oriented
software development. While some researchers regard feature modules and corresponding …

Today, formal methods are widely recognized as an essential step in the design process of
industrial safety-critical systems. In its more general definition, the term formal methods …

This paper introduces a technique for incremental and compositional model checking that
allows efficient reuse of model-checking results associated with the features in a product …

Variability is ubiquitous in today's software development. While techniques to efficiently
implement software product lines are used for decades, verification techniques have been a …

Programs are increasingly organized around features, which are encapsulated using
aspects and other linguistic mechanisms. Despite their growing popularity amongst …

With the introduction of software into cars, many functions are now realized with reduced
cost, weight and energy. The development of these software systems is done in a distributed …

A goal of software product lines is the economical assembly of programs in a family of
programs. In this paper, we explore how theorems about program properties may be …