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 …

The premise of variability-intensive systems, specifically in software product line
engineering, is the ability to produce a large family of different systems efficiently. Many such …

In product line engineering, systems are developed in families and differences between
family members are expressed in terms of features. Formal modelling and verification is an …

We study the problem of model checking software product line (SPL) behaviours against
temporal properties. This is more difficult than for single systems because an SPL with n …

We present SNIP, an efficient model checker for software product lines (SPLs). Variability in
software product lines is generally expressed in terms of features, and the number of …

A software product line is a set of similar software products that share a common code base.
While software product lines can be implemented efficiently using feature-oriented …

We present the formal underpinnings of a modelling and analysis framework for the
specification and verification of variability in product families. We address variability at 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 …

We illustrate how to manage variability in a single logical framework consisting of a Modal
Transition System (MTS) and an associated set of formulae expressed in the branching-time …