Chico Sundermann

Publication Activity (10 Years)

Years Active: 2020-2024
Publications (10 Years): 27

Top Topics

Propositional Satisfiability

Top Venues

Software Engineering

Publications

Chico Sundermann, Elias Kuiter, Tobias Heß, Heiko Raab, Sebastian Krieter, Thomas Thüm
On the Benefits of Knowledge Compilation for Feature-Model Analyses. SPLC (A) (2024)
Chico Sundermann, Tobias Heß, Michael Nieke, Paul Maximilian Bittner, Jeffrey M. Young, Thomas Thüm, Ina Schaefer
Evaluating State-of-the-Art #SAT Solvers on Industrial Configuration Spaces. Software Engineering (2024)
Chico Sundermann, Vincenzo Francesco Brancaccio, Elias Kuiter, Sebastian Krieter, Tobias Heß, Thomas Thüm
Collecting Feature Models from the Literature: A Comprehensive Dataset for Benchmarking. SPLC (A) (2024)
Elias Kuiter, Tobias Heß, Chico Sundermann, Sebastian Krieter, Thomas Thüm, Gunter Saake
How Easy is SAT-Based Analysis of a Feature Model? VaMoS (2024)
Jessie Galasso-Carbonnel, Chico Sundermann
Sixth International Workshop on Languages for Modelling Variability (MODEVAR 2024). CoRR (2024)
Tobias Heß, Sean Niklas Semmler, Chico Sundermann, Jacobo Torán, Thomas Thüm
Towards Deterministic Compilation of Binary Decision Diagrams From Feature Models. SPLC (A) (2024)
Chico Sundermann, Tobias Heß, Rahel Sundermann, Elias Kuiter, Sebastian Krieter, Thomas Thüm
Generating Feature Models with UVL's Full Expressiveness. SPLC (B) (2024)
Chico Sundermann, Heiko Raab, Tobias Heß, Thomas Thüm, Ina Schaefer
Exploiting d-DNNFs for Repetitive Counting Queries on Feature Models. CoRR (2023)
Elias Kuiter, Sebastian Krieter, Chico Sundermann, Thomas Thüm, Gunter Saake
Tseitin or not Tseitin? The Impact of CNF Transformations on Feature-Model Analyses. Software Engineering (2023)
Sebastian Krieter, Kevin Feichtinger, José A. Galindo, David Benavides, Rick Rabiser, Chico Sundermann, Thomas Thüm
Second Tutorial on the Universal Variability Language. SPLC (A) (2023)
Chico Sundermann, Stefan Vill, Thomas Thüm, Kevin Feichtinger, Prankur Agarwal, Rick Rabiser, José A. Galindo, David Benavides
UVLParser: Extending UVL with Language Levels and Conversion Strategies. SPLC (B) (2023)
Kevin Feichtinger, Chico Sundermann, Thomas Thüm, Rick Rabiser
It's Your Loss: Classifying Information Loss During Variability Model Roundtrip Transformations. Software Engineering (2023)
Chico Sundermann, Tobias Heß, Michael Nieke, Paul Maximilian Bittner, Jeffrey M. Young, Thomas Thüm, Ina Schaefer
Evaluating state-of-the-art # SAT solvers on industrial configuration spaces. Empir. Softw. Eng. 28 (2) (2023)
Jacob Loth, Chico Sundermann, Tobias Schrull, Thilo Brugger, Felix Rieg, Thomas Thüm
UVLS: A Language Server Protocol For UVL. SPLC (B) (2023)
Marc Hentze, Chico Sundermann, Thomas Thüm, Ina Schaefer
Quantifying the variability mismatch between problem and solution space. MoDELS (2022)
Elias Kuiter, Sebastian Krieter, Chico Sundermann, Thomas Thüm, Gunter Saake
Tseitin or not Tseitin? The Impact of CNF Transformations on Feature-Model Analyses. ASE (2022)
Marc Hentze, Tobias Pett, Chico Sundermann, Sebastian Krieter, Thomas Thüm, Ina Schaefer
Generic Solution-Space Sampling for Multi-domain Product Lines. GPCE (2022)
Kevin Feichtinger, Chico Sundermann, Thomas Thüm, Rick Rabiser
It's your loss: classifying information loss during variability model roundtrip transformations. SPLC (A) (2022)
Chico Sundermann, Kevin Feichtinger, José A. Galindo, David Benavides, Rick Rabiser, Sebastian Krieter, Thomas Thüm
Tutorial on the universal variability language. SPLC (A) (2022)
Tobias Heß, Tobias Müller, Chico Sundermann, Thomas Thüm
ddueruem: a wrapper for feature-model analysis tools. SPLC (B) (2022)
Chico Sundermann, Tobias Heß, Dominik Engelhardt, Rahel Arens, Johannes Herschel, Kevin Jedelhauser, Benedikt Jutz, Sebastian Krieter, Ina Schaefer
Integration of UVL in FeatureIDE. SPLC (B) (2021)
Chico Sundermann, Michael Nieke, Paul Maximilian Bittner, Tobias Heß, Thomas Thüm, Ina Schaefer
Applications of #SAT Solvers on Feature Models. VaMoS (2021)
Tobias Heß, Chico Sundermann, Thomas Thüm
On the scalability of building binary decision diagrams for current feature models. SPLC (A) (2021)
Sebastian Krieter, Rahel Arens, Michael Nieke, Chico Sundermann, Tobias Heß, Thomas Thüm, Christoph Seidl
Incremental construction of modal implication graphs for evolving feature models. SPLC (A) (2021)
Chico Sundermann, Kevin Feichtinger, Dominik Engelhardt, Rick Rabiser, Thomas Thüm
Yet another textual variability language?: a community effort towards a unified language. SPLC (A) (2021)
Chico Sundermann, Thomas Thüm, Ina Schaefer
Evaluating #SAT solvers on industrial feature models. VaMoS (2020)
Joshua Sprey, Chico Sundermann, Sebastian Krieter, Michael Nieke, Jacopo Mauro, Thomas Thüm, Ina Schaefer
SMT-based variability analyses in FeatureIDE. VaMoS (2020)