Publications: Elias Kuiter

Elias Kuiter, Chico Sundermann, Thomas Thüm, Tobias Heß, Sebastian Krieter, and Gunter Saake. How Configurable is the Linux Kernel? Analyzing Two Decades of Feature-Model History. Trans. on Software Engineering and Methodology (TOSEM), April 2025. To appear.
Elias Kuiter, Thomas Thüm, and Timo Kehrer. Teach Variability! A Modern University Course on Software Product Lines. In Proc. Int'l Working Conf. on Variability Modelling of Software-Intensive Systems (VaMoS). ACM, February 2025.

Chico Sundermann, Elias Kuiter, Tobias Heß, Heiko Raab, Sebastian Krieter, and Thomas Thüm. On the Benefits of Knowledge Compilation for Feature-Model Analyses. Annals of Mathematics and Artificial Intelligence (AMAI), 92(5):1013–1050, October 2024.
Chico Sundermann, Tobias Heß, Rahel Sundermann, Elias Kuiter, Sebastian Krieter, and Thomas Thüm. Generating Feature Models with UVL's Full Expressiveness. In Proc. Int'l Workshop on Languages for Modelling Variability (MODEVAR), pages 61–65. ACM, September 2024.
Chico Sundermann, Vincenzo Francesco Brancaccio, Elias Kuiter, Sebastian Krieter, Tobias Heß, and Thomas Thüm. Collecting Feature Models from the Literature: A Comprehensive Dataset for Benchmarking. In Proc. Int'l Systems and Software Product Line Conf. (SPLC). ACM, September 2024.
Chico Sundermann, Elias Kuiter, Tobias Heß, Heiko Raab, Sebastian Krieter, and Thomas Thüm. On the Benefits of Knowledge Compilation for Feature-Model Analyses. In Proc. Int'l Systems and Software Product Line Conf. (SPLC). ACM, September 2024.
Elias Kuiter, Tobias Heß, Chico Sundermann, Sebastian Krieter, Thomas Thüm, and Gunter Saake. How Easy is SAT-Based Analysis of a Feature Model?. In Proc. Int'l Working Conf. on Variability Modelling of Software-Intensive Systems (VaMoS), pages 149–151. ACM, February 2024.

Rick Adamy, Elias Kuiter, and Gunter Saake. Exploiting Structure: A Survey and Analysis of Structures and Hardness Measures for Propositional Formulas. Technical report, Qeios, September 2023.
Elias Kuiter, Sebastian Krieter, Jacob Krüger, Gunter Saake, and Thomas Leich. variED: An Editor for Collaborative, Real-Time Feature Modeling. In Proc. Software Engineering (SE). Gesellschaft für Informatik, February 2023.
Elias Kuiter, Sebastian Krieter, Chico Sundermann, Thomas Thüm, and Gunter Saake. Tseitin or not Tseitin? The Impact of CNF Transformations on Feature-Model Analyses. In Proc. Software Engineering (SE). Gesellschaft für Informatik, February 2023.

Elias Kuiter and Gunter Saake. A Survey and Comparison of Industrial and Academic Research on the Evolution of Software Product Lines. Technical report, arXiv, December 2022.
Elias Kuiter, Sebastian Krieter, Chico Sundermann, Thomas Thüm, and Gunter Saake. Tseitin or not Tseitin? The Impact of CNF Transformations on Feature-Model Analyses. In Proc. Int'l Conf. on Automated Software Engineering (ASE). ACM, October 2022.
Elias Kuiter, Alexander Knüppel, Tabea Bordis, Tobias Runge, and Ina Schaefer. Verification Strategies for Feature-Oriented Software Product Lines. In Proc. Int'l Working Conf. on Variability Modelling of Software-Intensive Systems (VaMoS), pages 12:1–12:9. ACM, February 2022.

Elias Kuiter, Jacob Krüger, and Gunter Saake. Iterative Development and Changing Requirements: Drivers of Variability in an Industrial System for Veterinary Anesthesia. In Proc. Int'l Workshop on Variability and Evolution of Software-Intensive Systems (VariVolution), pages 113–122. ACM, September 2021.
Elias Kuiter, Sebastian Krieter, Jacob Krüger, Gunter Saake, and Thomas Leich. variED: An Editor for Collaborative, Real-Time Feature Modeling. Empirical Software Engineering (EMSE), 26(2), March 2021.

Elias Kuiter, Sebastian Krieter, Jacob Krüger, Thomas Leich, and Gunter Saake. Foundations of Collaborative, Real-Time Feature Modeling. In Proc. Int'l Systems and Software Product Line Conf. (SPLC), pages 257–264. ACM, September 2019.
Elias Kuiter. Consistency Maintenance for Collaborative Real-Time Feature Modeling. Bachelor's thesis, University of Magdeburg, April 2019.

Elias Kuiter, Sebastian Krieter, Jacob Krüger, Kai Ludwig, Thomas Leich, and Gunter Saake. PCLocator: A Tool Suite to Automatically Identify Configurations for Code Locations. In Proc. Int'l Systems and Software Product Line Conf. (SPLC), pages 284–288. ACM, September 2018.
Elias Kuiter, Jacob Krüger, Sebastian Krieter, Thomas Leich, and Gunter Saake. Getting Rid of Clone-and-Own: Moving to a Software Product Line for Temperature Monitoring. In Proc. Int'l Systems and Software Product Line Conf. (SPLC), pages 179–189. ACM, September 2018.

Eric Ketzler. Extracting Hierarchies from Kconfig-Based Feature Models. Bachelor's thesis, University of Magdeburg, Germany, March 2025.

Till Sehlen. Evaluating the Efficiency of Hybrid CNF Transformations for Feature-Model Formulas. Master's thesis, University of Magdeburg, May 2023.

Daniel Hohmann. Konfiguration von Softwareproduktlinien mit Configuring-Constraints über Feature-Attributen. Master's thesis, University of Magdeburg, May 2022.
Mohammed Khaled. A Semi-Automated Release Management Process for Microservices. Bachelor's thesis, University of Magdeburg, February 2022.
Johannes Hauffe. Reengineering einer Microservice-Architektur: Eine Fallstudie am PEGASOS-System. Master's thesis, University of Magdeburg, January 2022.
Logesh Babu Radhakrishnan. System Tools' Firmware Flashing Automation in a Complex Software/Hardware Environment. Master's thesis, University of Magdeburg, Germany, January 2022.