| 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 | 33 | 2022 |
| Getting rid of clone-and-own: moving to a software product line for temperature monitoring E Kuiter, J Krüger, S Krieter, T Leich, G Saake Proceedings of the 22nd International Systems and Software Product Line …, 2018 | 32 | 2018 |
| PClocator: a tool suite to automatically identify configurations for code locations E Kuiter, S Krieter, J Krüger, K Ludwig, T Leich, G Saake Proceedings of the 22nd International Systems and Software Product Line …, 2018 | 13 | 2018 |
| 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 |
| Verification Strategies for Feature-Oriented Software Product Lines E Kuiter, A Knüppel, T Bordis, T Runge, I Schaefer Proceedings of the 16th International Working Conference on Variability …, 2022 | 9 | 2022 |
| Foundations of Collaborative, Real-Time Feature Modeling E Kuiter, S Krieter, J Krüger, T Leich, G Saake Proceedings of the 23rd International Systems and Software Product Line …, 2019 | 8 | 2019 |
| Iterative development and changing requirements: drivers of variability in an industrial system for veterinary anesthesia E Kuiter, J Krüger, G Saake Proceedings of the 25th ACM International Systems and Software Product Line …, 2021 | 7 | 2021 |
| variED: an editor for collaborative, real-time feature modeling E Kuiter, S Krieter, J Krüger, G Saake, T Leich Empirical Software Engineering 26 (2), 24, 2021 | 7 | 2021 |
| Proof Repositories for Correct-by-Construction Software Product Lines E Kuiter Otto-von-Guericke University Magdeburg, 2020 | 4 | 2020 |
| 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 | 3 | 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 | 3 | 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 |
| Exploiting Structure: A Survey and Analysis of Structures and Hardness Measures for Propositional Formulas R Adamy, E Kuiter, G Saake Qeios, 2023 | 1 | 2023 |
| Consistency Maintenance for Collaborative Real-Time Feature Modeling E Kuiter Bachelor Thesis. University of Magdeburg, 2019 | 1 | 2019 |
| Teach Variability! A Modern University Course on Software Product Lines E Kuiter, T Thüm, T Kehrer | | 2025 |
| A Survey and Comparison of Industrial and Academic Research on the Evolution of Software Product Lines E Kuiter, G Saake arXiv preprint arXiv:2212.05953, 2022 | | 2022 |
Gunter SaakeProfessor of Computer Science, Magdeburg Universityכתובת אימייל מאומתת בדומיין ovgu.de