| 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 | 28 | 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 | 17 | 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 | 11 | 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 | 10 | 2023 |
| 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 | 7 | 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 | 5 | 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 | 4 | 2022 |
| 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 | 1 | 2023 |
| 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 | 1 | 2023 |
| 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 | | 2024 |
| 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 | | 2024 |
| 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 | | 2024 |
Thomas ThümProfessor, University of Ulm, GermanyVerified email at uni-ulm.de
