Vita

• ab 01/2021: Wissenschaftlicher Mitarbeiter, Otto-von-Guericke-Universität Magdeburg
• 04-07/2024: Forschungsaufenthalt Softwaretechnik, Universität Paderborn
• 2019-2020: M.Sc. Informatik, Otto-von-Guericke-Universität Magdeburg
• 2017-2019: Wissenschaftliche Hilfskraft, Otto-von-Guericke-Universität Magdeburg
• 2015-2019: B.Sc. Informatik, Otto-von-Guericke-Universität Magdeburg

Forschung

• Software Variability, Quality, and Evolution
• Feature-Model Extraction, Transformation, and Analysis
• Satisfiability Solving, Formal Methods, and Applied Category Theory

Projekte und Kooperationen

• Gast am ISF, Technische Universität Braunschweig
  • Compositional Feature-Model Analyses
  • Course on Software Product Lines
  • FeatureIDE

Lehre

Themen für Abschlussarbeiten und Projekte

• SS 2025: Student Conference (Lehrauftrag)
• WS 2024/25: ISP, Datenbanken I
• SS 2024: Student Conference
• WS 2023/24: ISP, Datenbanken I
• SS 2023: Student Conference, Requirements Engineering II (Lehrauftrag, HS Harz)
• WS 2022/23: ISP, Datenbanken I
• SS 2022: Student Conference
• WS 2021/22: ISP, Datenbanken I
• SS 2021: ISP, Student Conference
• WS 2017/18: TheoInf I

Auszeichnungen und Förderung

• VaMoS 2025: Best Paper Award
• Fakultät für Informatik der Otto-von-Guericke-Universität Magdeburg
  • Bester Absolvent im Masterstudiengang Informatik (2021)
  • Bester Absolvent im Bachelorstudiengang Informatik (2019)
  • Rudolf-Kruse-Preis (2018)
• Drittmittelförderung
  • pure-systems GmbH: Go SPLC 2019 Challenge

Gutachter- und Gremientätigkeiten

• Invited Reviewer: TOSEM, EMSE, JSS
• Program Committee Member: ICSE (Artifact Evaluation Track 2024), Re:Volution (2024, 2025)
• Sub-Reviewer: EMSE, IST, SPLC, VaMoS, ENASE, ICSOFT, SCICO, ESWA, EAAI, SOFTX, GvDB
• Publicity Chair: VaMoS 2024
• Student Volunteer: VaMoS 2020

2025

---

• Chico Sundermann, Stefan Vill, Elias Kuiter, Sebastian Krieter, Thomas Thüm, and Matthias Tichy. Pseudo-Boolean d-DNNF Compilation for Expressive Feature Modeling Constructs. Technical report, arXiv, May 2025.
   
• 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.
   

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. 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.
   

2023

---

• 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.
   

2022

---

• 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.
   

2021

---

• 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.
   

2020

---

• Elias Kuiter. Proof Repositories for Correct-by-Construction Software Product Lines. Master's thesis, University of Magdeburg, December 2020.
   

2019

---

• 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.
   

2018

---

• 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.
   

Betreute Arbeiten

2025

---

• Rami Alfish. Evaluierung von ConfigFix als Werkzeug zur Extraktion KConfig-basierter Feature-Modelle. Master's thesis, University of Magdeburg, Germany, May 2025.
   
• Urs-Benedict Braun. Automatisierte Feature-Modell-Analyse des Linux-Kernels: Eine Reise durch die Zeit. Bachelor's thesis, University of Magdeburg, Germany, May 2025.
   
• Raphael Dunkel. Engineering and Selecting Machine Learning Features for Feature Models. Master's thesis, University of Ulm, Germany, May 2025.
   
• Eric Ketzler. Extracting Hierarchies from Kconfig-Based Feature Models. Bachelor's thesis, University of Magdeburg, Germany, March 2025.
   

2023

---

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

2022

---

• 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.