papers
Publications (3)
cs.AI2025
Pseudo-Boolean d-DNNF Compilation for Expressive Feature Modeling Constructs
Chico Sundermann, Stefan Vill, Elias Kuiter +3
Configurable systems typically consist of reusable assets that have dependencies between each other. To specify such dependencies, feature models are commonly used. As feature mode…
cs.SE2023
Exploiting d-DNNFs for Repetitive Counting Queries on Feature Models
Chico Sundermann, Heiko Raab, Tobias Heà +2
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 constrai…
cs.PL2023
Sixth International Workshop on Languages for Modelling Variability (MODEVAR 2024)
Jessie Galasso-Carbonnel, Chico Sundermann
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.