Chico Sundermann
YOU?
Author Swipe
View article: How Configurable is the Linux Kernel? Analyzing Two Decades of Feature-Model History – RCR Report
How Configurable is the Linux Kernel? Analyzing Two Decades of Feature-Model History – RCR Report Open
This is the RCR report accompanying our TOSEM’25 paper How Configurable is the Linux Kernel? Analyzing Two Decades of Feature-Model History . In this report, we bundle all data relevant to our paper for the purpose of reproducibility and l…
View article: Pseudo-Boolean d-DNNF Compilation for Expressive Feature Modeling Constructs
Pseudo-Boolean d-DNNF Compilation for Expressive Feature Modeling Constructs Open
Configurable systems typically consist of reusable assets that have dependencies between each other. To specify such dependencies, feature models are commonly used. As feature models in practice are often complex, automated reasoning is ty…
View article: Reusing d-DNNFs for Efficient Feature-Model Counting
Reusing d-DNNFs for Efficient Feature-Model Counting Open
Feature models are commonly used to specify valid configurations of a product line. In industry, feature models are often complex due to numerous features and constraints. Thus, a multitude of automated analyses have been proposed. Many of…
View article: UVLHub: A feature model data repository using UVL and open science principles
UVLHub: A feature model data repository using UVL and open science principles Open
Feature models are the de facto standard for modelling variabilities and commonalities in features and relationships in software product lines. They are the base artefacts in many engineering activities, such as product configuration, deri…
View article: How Easy is SAT-Based Analysis of a Feature Model?
How Easy is SAT-Based Analysis of a Feature Model? Open
With feature-model analyses, stakeholders can improve their understanding of complex configuration spaces. Computationally, these analyses are typically reduced to solving satisfiability problems. While this has been found to perform reaso…
View article: Sixth International Workshop on Languages for Modelling Variability (MODEVAR 2024)
Sixth International Workshop on Languages for Modelling Variability (MODEVAR 2024) Open
This is the proceedings of the Sixth International Workshop on Languages for Modelling Variability (MODEVAR 2024) which was held at Bern, Switzerland, February 06th 2024.
View article: On the benefits of knowledge compilation for feature-model analyses
On the benefits of knowledge compilation for feature-model analyses Open
Feature models are commonly used to specify the valid configurations of product lines. As industrial feature models are typically complex, researchers and practitioners employ various automated analyses to study the configuration spaces. M…
View article: UVLS
UVLS Open
The Universal Variability Language (UVL) is a community-driven textual format for feature models. Over the last few years, UVL has been integrated into several relevant product-line tools. One of UVLs major advantages is its manual readabi…
View article: Second Tutorial on the Universal Variability Language
Second Tutorial on the Universal Variability Language Open
The Universal Variability Language (UVL) is a textual feature modeling approach that is developed in regular exchange with the community. Over the last years, the adoption of UVL in variability-modeling tools is steadily increasing. Our tu…
View article: UVLParser
UVLParser Open
The Universal Variability Language (UVL) is a community effort towards a widely adopted textual specification for feature models. For widespread usage, the language should be simple to understand and easy to embed in existing tools. Also, …
View article: Exploiting d-DNNFs for Repetitive Counting Queries on Feature Models
Exploiting d-DNNFs for Repetitive Counting Queries on Feature Models Open
Feature models are commonly used to specify the valid configurations of a product line. In industry, feature models are often complex due to a large number of features and constraints. Thus, a multitude of automated analyses have been prop…
View article: Evaluating state-of-the-art # SAT solvers on industrial configuration spaces
Evaluating state-of-the-art # SAT solvers on industrial configuration spaces Open
Product lines are widely used to manage families of products that share a common base of features. Typically, not every combination (configuration) of features is valid. Feature models are a de facto standard to specify valid configuration…
View article: Tseitin or not Tseitin? The Impact of CNF Transformations on Feature-Model Analyses
Tseitin or not Tseitin? The Impact of CNF Transformations on Feature-Model Analyses Open
Feature modeling is widely used to systematically model features of variantrich software systems and their dependencies. By translating feature models into propositional formulas and analyzing them with solvers, a wide range of automated a…
View article: ddueruem
ddueruem Open
We present ddueruem, a tool for interfacing with BDD libraries, d-DNNF compilers, uniform, and t-wise samplers. To ease usage by researchers and practitioners, ddueruem is capable of automatically installing all tools it interfaces with, p…
View article: It's your loss
It's your loss Open
In software product lines, variability models are used to explicitly capture commonalities and variability of a set of software systems. Many variability modeling approaches have been developed over a period of more than 30 years. Most of …
View article: Tutorial on the universal variability language
Tutorial on the universal variability language Open
The multitude of formats for specifying variability models induces additional effort for researchers and practitioners and hinders exchange. The Universal Variability Language (UVL) is a community effort towards a unified format. Over the …
View article: Incremental construction of modal implication graphs for evolving feature models
Incremental construction of modal implication graphs for evolving feature models Open
A feature model represents a set of variants as configurable features and dependencies between them. During variant configuration, (de)selection of a feature may entail that other features must or cannot be selected. A Modal Implication Gr…
View article: Universal-Variability-Language/uvl-parser: SPLC'21 Publication
Universal-Variability-Language/uvl-parser: SPLC'21 Publication Open
Release corresponding to the UVL version described in "Yet Another Textual Variability Language? A Community Effort Towards a Unified Language" published at SPLC'21.
View article: Universal-Variability-Language/uvl-evaluation-splc21: SPLC'21
Universal-Variability-Language/uvl-evaluation-splc21: SPLC'21 Open
This release can be used to reproduce the empirical evaluation in "Yet Another Textual Variability Language? A Community Effort Towards a Unified Language" published at SPLC'21.
View article: Applications of #SAT Solvers for Product Lines: Master's Thesis
Applications of #SAT Solvers for Product Lines: Master's Thesis Open
Product lines are widely used for managing families of similar products. Typically, product lines are complex and infeasible to analyze manually. In the last two decades, product-line analyses have been reduced to satisfiability problems w…
View article: Computing Attribute Ranges for Partial Configurations with JavaSMT: Bachelor's Thesis
Computing Attribute Ranges for Partial Configurations with JavaSMT: Bachelor's Thesis Open
Software product lines are able to describe multiple products sharing a common base of features and are commonly described as feature models. For complex software product lines, automatic analyses are required to ensure validity and to imp…