| 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 | 15 | 2021 |
| 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 | 6 | 2021 |
| 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 | 6 | 2021 |
| 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 | 2 | 2021 |
| 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 | 1 | 2023 |
| 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 | 1 | 2022 |
| 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 | | 2023 |
Chico SundermannPhD Student, Institute of Software Engineering and Programming Languages, University UlmVerified email at uni-ulm.de
