Chico Sundermann

36 papers A* 2A 1B 1C 3Journal 10Unranked 19
YearRankTypeTitle / Venue / Authors
2026 J jnl
How Configurable Is the Linux Kernel? Analyzing Two Decades of Feature-Model History - RCR Report.
ACM Trans. Softw. Eng. Methodol.
Elias Kuiter, Chico Sundermann, Thomas Thüm, Tobias Heß, Sebastian Krieter, Gunter Saake
2026 J jnl
How Configurable Is the Linux Kernel? Analyzing Two Decades of Feature-Model History.
ACM Trans. Softw. Eng. Methodol.
Elias Kuiter, Chico Sundermann, Thomas Thüm, Tobias Heß, Sebastian Krieter, Gunter Saake
2025 J jnl
Pseudo-Boolean d-DNNF Compilation for Expressive Feature Modeling Constructs.
CoRR
Chico Sundermann, Stefan Vill, Elias Kuiter, Sebastian Krieter, Thomas Thüm, Matthias Tichy
2025 — conf
Third Tutorial on the Universal Variablity Language: Practical Extensions and Tool Ecosystem.
SPLC (A)
José Miguel Horcas, Chico Sundermann, Malte Grave, José A. Galindo, Thomas Thüm, Rick Rabiser, David Benavides
2025 J jnl
UVL: Feature modelling with the Universal Variability Language.
J. Syst. Softw.
David Benavides, Chico Sundermann, Kevin Feichtinger, José A. Galindo, Rick Rabiser, Thomas Thüm
2024 — conf
Collecting Feature Models from the Literature: A Comprehensive Dataset for Benchmarking.
SPLC (A)
Chico Sundermann, Vincenzo Francesco Brancaccio, Elias Kuiter, Sebastian Krieter, Tobias Heß, Thomas Thüm
2024 A* conf
Efficient Slicing of Feature Models via Projected d-DNNF Compilation.
ASE
Chico Sundermann, Jacob Loth, Thomas Thüm
2024 C conf
Evaluating State-of-the-Art #SAT Solvers on Industrial Configuration Spaces.
Software Engineering
Chico Sundermann, Tobias Heß, Michael Nieke, Paul Maximilian Bittner, Jeffrey M. Young, Thomas Thüm, Ina Schaefer
2024 — conf
Generating Feature Models with UVL's Full Expressiveness.
SPLC (B)
Chico Sundermann, Tobias Heß, Rahel Sundermann, Elias Kuiter, Sebastian Krieter, Thomas Thüm
2024 — conf
How Easy is SAT-Based Analysis of a Feature Model?
VaMoS
Elias Kuiter, Tobias Heß, Chico Sundermann, Sebastian Krieter, Thomas Thüm, Gunter Saake
2024 — conf
On the Benefits of Knowledge Compilation for Feature-Model Analyses.
SPLC (A)
Chico Sundermann, Elias Kuiter, Tobias Heß, Heiko Raab, Sebastian Krieter, Thomas Thüm
2024 J jnl
On the benefits of knowledge compilation for feature-model analyses.
Ann. Math. Artif. Intell.
Chico Sundermann, Elias Kuiter, Tobias Heß, Heiko Raab, Sebastian Krieter, Thomas Thüm
2024 J jnl
Reusing d-DNNFs for Efficient Feature-Model Counting.
ACM Trans. Softw. Eng. Methodol.
Chico Sundermann, Heiko Raab, Tobias Heß, Thomas Thüm, Ina Schaefer
2024 J jnl
Sixth International Workshop on Languages for Modelling Variability (MODEVAR 2024).
CoRR
Jessie Galasso-Carbonnel, Chico Sundermann
2024 — conf
Towards Deterministic Compilation of Binary Decision Diagrams From Feature Models.
SPLC (A)
Tobias Heß, Sean Niklas Semmler, Chico Sundermann, Jacobo Torán, Thomas Thüm
2024 J jnl
UVLHub: A feature model data repository using UVL and open science principles.
J. Syst. Softw.
David Romero-Organvidez, José A. Galindo, Chico Sundermann, José Miguel Horcas, David Benavides
2023 J jnl
Evaluating state-of-the-art # SAT solvers on industrial configuration spaces.
Empir. Softw. Eng.
Chico Sundermann, Tobias Heß, Michael Nieke, Paul Maximilian Bittner, Jeffrey M. Young, Thomas Thüm, Ina Schaefer
2023 J jnl
Exploiting d-DNNFs for Repetitive Counting Queries on Feature Models.
CoRR
Chico Sundermann, Heiko Raab, Tobias Heß, Thomas Thüm, Ina Schaefer
2023 C conf
It's Your Loss: Classifying Information Loss During Variability Model Roundtrip Transformations.
Software Engineering
Kevin Feichtinger, Chico Sundermann, Thomas Thüm, Rick Rabiser
2023 — conf
Second Tutorial on the Universal Variability Language.
SPLC (A)
Sebastian Krieter, Kevin Feichtinger, José A. Galindo, David Benavides, Rick Rabiser, Chico Sundermann, Thomas Thüm
2023 C conf
Tseitin or not Tseitin? The Impact of CNF Transformations on Feature-Model Analyses.
Software Engineering
Elias Kuiter, Sebastian Krieter, Chico Sundermann, Thomas Thüm, Gunter Saake
2023 — conf
UVLParser: Extending UVL with Language Levels and Conversion Strategies.
SPLC (B)
Chico Sundermann, Stefan Vill, Thomas Thüm, Kevin Feichtinger, Prankur Agarwal, Rick Rabiser, José A. Galindo, David Benavides
2023 — conf
UVLS: A Language Server Protocol For UVL.
SPLC (B)
Jacob Loth, Chico Sundermann, Tobias Schrull, Thilo Brugger, Felix Rieg, Thomas Thüm
2022 B conf
Generic Solution-Space Sampling for Multi-domain Product Lines.
GPCE
Marc Hentze, Tobias Pett, Chico Sundermann, Sebastian Krieter, Thomas Thüm, Ina Schaefer
2022 — conf
It's your loss: classifying information loss during variability model roundtrip transformations.
SPLC (A)
Kevin Feichtinger, Chico Sundermann, Thomas Thüm, Rick Rabiser
2022 A conf
Quantifying the variability mismatch between problem and solution space.
MoDELS
Marc Hentze, Chico Sundermann, Thomas Thüm, Ina Schaefer
2022 A* conf
Tseitin or not Tseitin? The Impact of CNF Transformations on Feature-Model Analyses.
ASE
Elias Kuiter, Sebastian Krieter, Chico Sundermann, Thomas Thüm, Gunter Saake
2022 — conf
Tutorial on the universal variability language.
SPLC (A)
Chico Sundermann, Kevin Feichtinger, José A. Galindo, David Benavides, Rick Rabiser, Sebastian Krieter, Thomas Thüm
2022 — conf
ddueruem: a wrapper for feature-model analysis tools.
SPLC (B)
Tobias Heß, Tobias Müller, Chico Sundermann, Thomas Thüm
2021 — conf
Applications of #SAT Solvers on Feature Models.
VaMoS
Chico Sundermann, Michael Nieke, Paul Maximilian Bittner, Tobias Heß, Thomas Thüm, Ina Schaefer
2021 — conf
Incremental construction of modal implication graphs for evolving feature models.
SPLC (A)
Sebastian Krieter, Rahel Arens, Michael Nieke, Chico Sundermann, Tobias Heß, Thomas Thüm, Christoph Seidl
2021 — conf
Integration of UVL in FeatureIDE.
SPLC (B)
Chico Sundermann, Tobias Heß, Dominik Engelhardt, Rahel Arens, Johannes Herschel, Kevin Jedelhauser, Benedikt Jutz, Sebastian Krieter, Ina Schaefer
2021 — conf
On the scalability of building binary decision diagrams for current feature models.
SPLC (A)
Tobias Heß, Chico Sundermann, Thomas Thüm
2021 — conf
Yet another textual variability language?: a community effort towards a unified language.
SPLC (A)
Chico Sundermann, Kevin Feichtinger, Dominik Engelhardt, Rick Rabiser, Thomas Thüm
2020 — conf
Evaluating #SAT solvers on industrial feature models.
VaMoS
Chico Sundermann, Thomas Thüm, Ina Schaefer
2020 — conf
SMT-based variability analyses in FeatureIDE.
VaMoS
Joshua Sprey, Chico Sundermann, Sebastian Krieter, Michael Nieke, Jacopo Mauro, Thomas Thüm, Ina Schaefer