Software diversity: state of the art and perspectives
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 …
customer requirements or the execution environment. Diversity has an impact on all phases …
Featured transition systems: Foundations for verifying variability-intensive systems and their application to LTL model checking
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 …
engineering, is the ability to produce a large family of different systems efficiently. Many such …
Symbolic model checking of software product lines
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 …
temporal properties. This is more difficult than for single systems because an SPL with n …
Model checking software product lines with SNIP
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 …
software product lines is generally expressed in terms of features, and the number of …
Formal description of variability in product families
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 …
Transition System (MTS) and an associated set of formulae expressed in the branching-time …
[HTML][HTML] Modelling and analysing variability in product families: Model checking of modal transition systems with variability constraints
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 …
specification and verification of variability in product families. We address variability at the …
Efficient static analysis and verification of featured transition systems
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 …
Software Product Line (SPL) in a single compact structure, by associating action-labelled …
Simulation-based abstractions for software product-line model checking
Software Product Line (SPL) engineering is a software engineering paradigm that exploits
the commonality between similar software products to reduce life cycle costs and time-to …
the commonality between similar software products to reduce life cycle costs and time-to …
User-level workflow design
AL Lamprecht - Lecture Notes in Computer Science, 2013 - Springer
This book addresses the challenge of user-level workflow design with a particular focus on
the bioinformatics application domain. Towards this aim, it follows a novel, constraint-driven …
the bioinformatics application domain. Towards this aim, it follows a novel, constraint-driven …
[HTML][HTML] Variability encoding: From compile-time to load-time variability
Many software systems today are configurable. Analyzing configurable systems is
challenging, especially as (1) the number of system variants may grow exponentially with …
challenging, especially as (1) the number of system variants may grow exponentially with …