Follow
Chico Sundermann
Chico Sundermann
PhD Student, Institute of Software Engineering and Programming Languages, University Ulm
Verified email at uni-ulm.de - Homepage
Title
Cited by
Cited by
Year
Evaluating #SAT solvers on industrial feature models
C Sundermann, T Thüm, I Schaefer
Proceedings of the 14th International Working Conference on Variability …, 2020
272020
Yet Another Textual Variability Language? A Community Effort Towards a Unified Language
C Sundermann, K Feichtinger, D Engelhardt, R Rabiser, T Thüm
Proceedings of the 25th ACM International Systems and Software Product Line …, 2021
172021
SMT-Based Variability Analyses in FeatureIDE
J Sprey, C Sundermann, S Krieter, M Nieke, J Mauro, T Thüm, I Schaefer
Proceedings of the 14th International Working Conference on Variability …, 2020
152020
Applications of #SAT Solvers on Feature Models
C Sundermann, M Nieke, PM Bittner, T Heß, T Thüm, I Schaefer
15th International Working Conference on Variability Modelling of Software …, 2021
92021
Integration of UVL in FeatureIDE
C Sundermann, T Heß, D Engelhardt, R Arens, J Herschel, K Jedelhauser, ...
Proceedings of the 25th ACM International Systems and Software Product Line …, 2021
52021
On the scalability of building binary decision diagrams for current feature models
T Heß, C Sundermann, T Thüm
Proceedings of the 25th ACM International Systems and Software Product Line …, 2021
42021
It's your loss: classifying information loss during variability model roundtrip transformations
K Feichtinger, C Sundermann, T Thüm, R Rabiser
Proceedings of the 26th ACM International Systems and Software Product Line …, 2022
12022
Tseitin or not Tseitin? The Impact of CNF Transformations on Feature-Model Analyses
E Kuiter, S Krieter, C Sundermann, T Thüm, G Saake
12022
Incremental construction of modal implication graphs for evolving feature models
S Krieter, R Arens, M Nieke, C Sundermann, T Heß, T Thüm, C Seidl
Proceedings of the 25th ACM International Systems and Software Product Line …, 2021
12021
Applications of #SAT Solvers for Product Lines
C Sundermann
Master’s thesis. TU Braunschweig, Germany. https://doi. org/10.24355/dbbs …, 2020
12020
Computing Attribute Ranges for Partial Configurations with JavaSMT
J Sprey, C Sundermann
12018
Quantifying the variability mismatch between problem and solution space
M Hentze, C Sundermann, T Thüm, I Schaefer
Proceedings of the 25th International Conference on Model Driven Engineering …, 2022
2022
Tutorial on the Universal Variability Language
C Sundermann, K Feichtinger, JA Galindo, D Benavides, R Rabiser, ...
Proceedings of the 26th ACM International Systems and Software Product Line …, 2022
2022
ddueruem: a wrapper for feature-model analysis tools
T Heß, T Müller, C Sundermann, T Thüm
Proceedings of the 26th ACM International Systems and Software Product Line …, 2022
2022
The system can't perform the operation now. Try again later.
Articles 1–14