Chico Sundermann

According to our database, Chico Sundermann authored at least 20 papers between 2020 and 2024.

Collaborative distances:

• Dijkstra number of four.
• Erdős number of five.

2024

Sixth International Workshop on Languages for Modelling Variability (MODEVAR 2024).

Jessie Galasso-Carbonnel, Chico Sundermann

CoRR, 2024

How Easy is SAT-Based Analysis of a Feature Model?

Elias Kuiter, Tobias Heß, Chico Sundermann, Sebastian Krieter, Thomas Thüm, Gunter Saake

Proceedings of the 18th International Working Conference on Variability Modelling of Software-Intensive Systems, 2024

2023

Evaluating state-of-the-art # SAT solvers on industrial configuration spaces.

Chico Sundermann, Tobias Heß, Michael Nieke, Paul Maximilian Bittner, Jeffrey M. Young, Thomas Thüm, Ina Schaefer

Empir. Softw. Eng., March, 2023

Exploiting d-DNNFs for Repetitive Counting Queries on Feature Models.

Chico Sundermann, Heiko Raab, Tobias Heß, Thomas Thüm, Ina Schaefer

CoRR, 2023

UVLParser: Extending UVL with Language Levels and Conversion Strategies.

Chico Sundermann, Stefan Vill, Thomas Thüm, Kevin Feichtinger, Prankur Agarwal, Rick Rabiser, José A. Galindo, David Benavides

Proceedings of the 27th ACM International Systems and Software Product Line Conference, 2023

UVLS: A Language Server Protocol For UVL.

Jacob Loth, Chico Sundermann, Tobias Schrull, Thilo Brugger, Felix Rieg, Thomas Thüm

Proceedings of the 27th ACM International Systems and Software Product Line Conference, 2023

Second Tutorial on the Universal Variability Language.

Sebastian Krieter, Kevin Feichtinger, José A. Galindo, David Benavides, Rick Rabiser, Chico Sundermann, Thomas Thüm

Proceedings of the 27th ACM International Systems and Software Product Line Conference, 2023

Tseitin or not Tseitin? The Impact of CNF Transformations on Feature-Model Analyses.

Elias Kuiter, Sebastian Krieter, Chico Sundermann, Thomas Thüm, Gunter Saake

Proceedings of the Software Engineering 2023, 2023

It's Your Loss: Classifying Information Loss During Variability Model Roundtrip Transformations.

Kevin Feichtinger, Chico Sundermann, Thomas Thüm, Rick Rabiser

Proceedings of the Software Engineering 2023, 2023

2022

Tutorial on the universal variability language.

Chico Sundermann, Kevin Feichtinger, José A. Galindo, David Benavides, Rick Rabiser, Sebastian Krieter, Thomas Thüm

Proceedings of the SPLC '22: 26th ACM International Systems and Software Product Line Conference, Graz, Austria, September 12, 2022

ddueruem: a wrapper for feature-model analysis tools.

Tobias Heß, Tobias Müller, Chico Sundermann, Thomas Thüm

Proceedings of the SPLC '22: 26th ACM International Systems and Software Product Line Conference, Graz, Austria, September 12, 2022

Quantifying the variability mismatch between problem and solution space.

Marc Hentze, Chico Sundermann, Thomas Thüm, Ina Schaefer

Proceedings of the 25th International Conference on Model Driven Engineering Languages and Systems, 2022

Generic Solution-Space Sampling for Multi-domain Product Lines.

Marc Hentze, Tobias Pett, Chico Sundermann, Sebastian Krieter, Thomas Thüm, Ina Schaefer

Proceedings of the 21st ACM SIGPLAN International Conference on Generative Programming: Concepts and Experiences, 2022

2021

Applications of #SAT Solvers on Feature Models.

Chico Sundermann, Michael Nieke, Paul Maximilian Bittner, Tobias Heß, Thomas Thüm, Ina Schaefer

Proceedings of the VaMoS'21: 15th International Working Conference on Variability Modelling of Software-Intensive Systems, 2021

Integration of UVL in FeatureIDE.

Chico Sundermann, Tobias Heß, Dominik Engelhardt, Rahel Arens, Johannes Herschel, Kevin Jedelhauser, Benedikt Jutz, Sebastian Krieter, Ina Schaefer

Proceedings of the SPLC '21: 25th ACM International Systems and Software Product Line Conference, 2021

Yet another textual variability language?: a community effort towards a unified language.

Chico Sundermann, Kevin Feichtinger, Dominik Engelhardt, Rick Rabiser, Thomas Thüm

Proceedings of the SPLC '21: 25th ACM International Systems and Software Product Line Conference, 2021

Incremental construction of modal implication graphs for evolving feature models.

Sebastian Krieter, Rahel Arens, Michael Nieke, Chico Sundermann, Tobias Heß, Thomas Thüm, Christoph Seidl

Proceedings of the SPLC '21: 25th ACM International Systems and Software Product Line Conference, 2021

On the scalability of building binary decision diagrams for current feature models.

Tobias Heß, Chico Sundermann, Thomas Thüm

Proceedings of the SPLC '21: 25th ACM International Systems and Software Product Line Conference, 2021

2020

Evaluating #SAT solvers on industrial feature models.

Chico Sundermann, Thomas Thüm, Ina Schaefer

Proceedings of the VaMoS '20: 14th International Working Conference on Variability Modelling of Software-Intensive Systems, 2020

SMT-based variability analyses in FeatureIDE.

Joshua Sprey, Chico Sundermann, Sebastian Krieter, Michael Nieke, Jacopo Mauro, Thomas Thüm, Ina Schaefer

Proceedings of the VaMoS '20: 14th International Working Conference on Variability Modelling of Software-Intensive Systems, 2020