• Publications
  • Influence
Modal I/O Automata for Interface and Product Line Theories
tl;dr
We build a new interface theory around modal I/O automata, which combine features of both game theoretic models and modal transition systems. Expand
  • 280
  • 37
  • Open Access
Feature Diagrams and Logics: There and Back Again
tl;dr
We give an automatic and efficient procedure for computing a feature model from a propositional formula using a class of logical formulas. Expand
  • 228
  • 33
Reverse engineering feature models
tl;dr
We present procedures for reverse engineering feature models based on a crucial heuristic for identifying parents - the major challenge of this task. Expand
  • 281
  • 25
  • Open Access
SAT-based analysis of feature models is easy
tl;dr
Feature models are a popular variability modeling notation used in product line engineering. Expand
  • 264
  • 24
  • Open Access
A survey of variability modeling in industrial practice
tl;dr
We present the results of a survey questionnaire distributed to industrial practitioners. Expand
  • 279
  • 21
  • Open Access
42 variability bugs in the linux kernel: a qualitative analysis
tl;dr
We present a qualitative study of 42 variability bugs collected from bug-fixing commits to the Linux kernel repository, occurring in real large-scale systems. Expand
  • 90
  • 18
  • Open Access
Cool features and tough decisions: a comparison of variability modeling approaches
tl;dr
Variability modeling is essential for defining and managing the commonalities and variabilities in software product lines. Expand
  • 265
  • 14
  • Open Access
Variability-aware performance prediction: A statistical learning approach
tl;dr
We propose a progressive and variability-aware approach to performance prediction for configurable software systems based on random samples based on statistical learning. Expand
  • 123
  • 13
  • Open Access
Moving from Specifications to Contracts in Component-Based Design
tl;dr
We study the relation between specifications of component behaviors and contracts providing means to specify assumptions on environments as well as component guarantees. Expand
  • 101
  • 12
  • Open Access
Feature and Meta-Models in Clafer: Mixed, Specialized, and Coupled
tl;dr
We present Clafer, a meta-modeling language with first-class support for feature modeling. Expand
  • 134
  • 11
  • Open Access