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 | 32 | 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 | 19 | 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 | 13 | 2023 |
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 | 13 | 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 | 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 | 6 | 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 | 6 | 2022 |
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 | 2 | 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 | 1 | 2024 |
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 |
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 |
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 |