| 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 | 40 | 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 | 27 | 2023 |
| 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 | 27 | 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 | 16 | 2021 |
| 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 | 9 | 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 | 9 | 2022 |
| 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 | 9 | 2021 |
| 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 | 6 | 2023 |
| UnWise: High T-Wise Coverage from Uniform Sampling T Heß, TJ Schmidt, L Ostheimer, S Krieter, T Thüm Proceedings of the 18th International Working Conference on Variability …, 2024 | 5 | 2024 |
| Reusing d-DNNFs for Efficient Feature-Model Counting C Sundermann, H Raab, T Heß, T Thüm, I Schaefer ACM Transactions on Software Engineering and Methodology 33 (8), 1-32, 2024 | 4 | 2024 |
| Continuous T-Wise Coverage T Pett, T Heß, S Krieter, T Thüm, I Schaefer Proceedings of the 27th ACM International Systems and Software Product Line …, 2023 | 4 | 2023 |
| How Easy is SAT-Based Analysis of a Feature Model? E Kuiter, T Heß, C Sundermann, S Krieter, T Thüm, G Saake Proceedings of the 18th International Working Conference on Variability …, 2024 | 3 | 2024 |
| Towards Deterministic Compilation of Binary Decision Diagrams From Feature Models T Heß, SN Semmler, C Sundermann, J Torán, T Thüm Proceedings of the 28th ACM International Systems and Software Product Line …, 2024 | 2 | 2024 |
| Collecting Feature Models from the Literature: A Comprehensive Dataset for Benchmarking C Sundermann, VF Brancaccio, E Kuiter, S Krieter, T Heß, T Thüm Proceedings of the 28th ACM International Systems and Software Product Line …, 2024 | 2 | 2024 |
| Incremental Identification of T-Wise Feature Interactions S Böhm, S Krieter, T Heß, T Thüm, M Lochau Proceedings of the 18th International Working Conference on Variability …, 2024 | 2 | 2024 |
| Generating Feature Models with UVL's Full Expressiveness C Sundermann, T Heß, R Sundermann, E Kuiter, S Krieter, T Thüm Proceedings of the 28th ACM International Systems and Software Product Line …, 2024 | 1 | 2024 |
| A Fast Counting-Free Algorithm for Computing Atomic Sets in Feature Models T Heß, A Molt arXiv preprint arXiv:2501.12490, 2025 | | 2025 |
| Multi-Version Decision Propagation for Configuring Feature Models in Space and Time T Heß, S Karrer, L Ostheimer Proceedings of the 28th ACM International Systems and Software Product Line …, 2024 | | 2024 |
Thomas ThümProfessor, TU Braunschweig, GermanyVerified email at tu-braunschweig.de
