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
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
492021
Evaluating #SAT solvers on industrial feature models
C Sundermann, T Thüm, I Schaefer
Proceedings of the 14th International Working Conference on Variability …, 2020
462020
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
272021
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
232020
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
172021
Tseitin or not Tseitin? The Impact of CNF Transformations on Feature-Model Analyses
E Kuiter, S Krieter, C Sundermann, T Thüm, G Saake
37th IEEE/ACM International Conference on Automated Software Engineering, 1-13, 2022
122022
Evaluating State-of-the-Art #SAT Solvers on Industrial Configuration Spaces
C Sundermann, T Heß, M Nieke, PM Bittner, JM Young, T Thüm, ...
Empirical Software Engineering 28 (2), 1-38, 2023
102023
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
102021
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
92022
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
92022
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
72021
UVLParser: Extending UVL with Language Levels and Conversion Strategies
C Sundermann, S Vill, T Thüm, K Feichtinger, P Agarwal, R Rabiser, ...
Proceedings of the 27th ACM International Systems and Software Product Line …, 2023
62023
Exploiting d-DNNFs for Repetitive Counting Queries on Feature Models
C Sundermann, H Raab, T Heß, T Thüm, I Schaefer
arXiv preprint arXiv:2303.12383, 2023
52023
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
52022
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
42022
Generic Solution-Space Sampling for Multi-domain Product Lines
M Hentze, T Pett, C Sundermann, S Krieter, T Thüm, I Schaefer
Proceedings of the 21st ACM SIGPLAN International Conference on Generative …, 2022
32022
Applications of #SAT Solvers for Product Lines
C Sundermann
Master’s thesis. TU Braunschweig, Germany. https://doi. org/10.24355/dbbs …, 2020
32020
UVLS: A Language Server Protocol For UVL
J Loth, C Sundermann, T Schrull, T Brugger, F Rieg, T Thüm
Proceedings of the 27th ACM International Systems and Software Product Line …, 2023
22023
On the benefits of knowledge compilation for feature-model analyses
C Sundermann, E Kuiter, T Heß, H Raab, S Krieter, T Thüm
Annals of Mathematics and Artificial Intelligence, 1-38, 2023
12023
Computing Attribute Ranges for Partial Configurations with JavaSMT
J Sprey, C Sundermann
12018
The system can't perform the operation now. Try again later.
Articles 1–20