• Publications
  • Influence
Modal I/O Automata for Interface and Product Line Theories
Alfaro and Henzinger use alternating simulation in a two player game as a refinement for interface automata [1]. We show that interface automata correspond to a subset of modal transition systems of
Feature Diagrams and Logics: There and Back Again
This paper gives an automatic and efficient procedure for computing a feature model from a formula and characterize a class of logical formulas equivalent to feature models and identify logical structures corresponding to their syntactic elements.
SAT-based analysis of feature models is easy
Unlike with the general SAT instances, which fall into easy and hard classes, the instances induced by feature modeling are easy throughout the spectrum of realistic models.
Reverse engineering feature models
Feature models describe the common and variable characteristics of a product line. Their advantages are well recognized in product line methods. Unfortunately, creating a feature model for an
42 variability bugs in the linux kernel: a qualitative analysis
This study provides insights into the nature and occurrence of variability bugs in a large C software system, and shows in what ways variability affects and increases the complexity of software bugs.
A survey of variability modeling in industrial practice
The results of a survey questionnaire distributed to industrial practitioners provide insights into application scenarios and perceived benefits of variability modeling, the notations and tools used, the scale of industrial models, and experienced challenges and mitigation strategies.
Variability-aware performance prediction: A statistical learning approach
A variability-aware approach to performance prediction via statistical learning that works progressively with random samples, without additional effort to detect feature interactions is proposed.
Clafer: unifying class and feature modeling
Clafer is presented, a class modeling language with first-class support for feature modeling and a formal semantics built in a structurally explicit way that explains the meaning of hierarchical models whereby properties can be arbitrarily nested in the presence of inheritance and feature modeling constructs.
Cool features and tough decisions: a comparison of variability modeling approaches
This paper clarifies the relation between FM andDM and compares multiple aspects of FM and DM ranging from historical origins and rationale, through syntactic and semantic richness, to tool support, identifying commonalities and differences.
CVL: common variability language
The tutorial will present the present the outcome of the work done by the Joint Submission Team against the Request For Proposals for a Common Variability Language issued by the OMG (Object