Research Group Databases and Software Engineering

Elias Kuiter

AG Datenbanken & Software Engineering (Wiss. Mitarbeiter)
Universitätsplatz 2, 39106 Magdeburg, G29-109

Institut für Softwaretechnik und Fahrzeuginformatik (Gast)
Universitätsplatz 2, 38106 Braunschweig, IZ 415

Tel.: +49 391 67-51680 Fax: +49 391 67-42020

kuiter@ovgu.de
Homepage

Vita

04-07/2024: Forschungsaufenthalt Softwaretechnik, Universität Paderborn
ab 01/2021: Wissenschaftlicher Mitarbeiter, Otto-von-Guericke-Universität Magdeburg
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

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

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

Publikationen

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

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.

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), November 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.

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.

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

Logesh Babu Radhakrishnan. System Tools' Firmware Flashing Automation in a Complex Software/Hardware Environment. Master's thesis, University of Magdeburg, December 2021.

Courses