Author pages are created from data sourced from our academic publisher partnerships and public sources.
Share This Author
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 . 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
- S. She, R. Lotufo, T. Berger, A. Wasowski, K. Czarnecki
- Computer Science33rd International Conference on Software…
- 21 May 2011
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
- T. Berger, Ralf Rublack, +4 authors A. Wasowski
- Engineering, Computer ScienceVaMoS '13
- 23 January 2013
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
- Jianmei Guo, K. Czarnecki, S. Apel, Norbert Siegmund, A. Wasowski
- Computer Science28th IEEE/ACM International Conference on…
- 11 November 2013
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
- K. Bak, Z. Diskin, M. Antkiewicz, K. Czarnecki, A. Wasowski
- Computer ScienceSoftware & Systems Modeling
- 1 July 2016
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
- K. Czarnecki, P. Grünbacher, Rick Rabiser, Klaus Schmid, A. Wasowski
- Computer ScienceVaMoS '12
- 25 January 2012
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…