Research Group Databases and Software Engineering

Elias Kuiter

Institut für Technische und Betriebliche Informationssysteme (ITI)
AG Datenbanken & Software Engineering

Universitätsplatz 2, 39106 Magdeburg, G29-109

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

kuiter@ovgu.de
Homepage

Vita

ab 04/2024: Forschungsaufenthalt Softwaretechnik (Universität Paderborn)
Raum: ZM2.B.03.19
Tel.: +49 5251 60-4511
ab 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

Sommersemester 2024: Student Conference
Wintersemester 2023/24: ISP, Datenbanken I
Sommersemester 2023: Student Conference, Requirements Engineering II (Hochschule Harz)
Wintersemester 2022/23: ISP, Datenbanken I
Sommersemester 2022: Student Conference
Wintersemester 2021/22: ISP, Datenbanken I
Sommersemester 2021: ISP, Student Conference
Wintersemester 2017/18: TheoInf I

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 / PC Member
- TOSEM, EMSE
- ICSE 2024: Artifact Evaluation Track
- Re:Volution 2024
Sub-Reviewer
- EMSE, IST, SPLC, VaMoS, ENASE, ICSOFT, SCICO, ESWA, EAAI, SOFTX, GvDB
VaMoS 2024: Publicity Chair
VaMoS 2020: Student Volunteer

Publikationen

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. To appear.
Chico Sundermann, Elias Kuiter, Tobias Heß, Heiko Raab, Sebastian Krieter, and Thomas Thüm. On the Benefits of Knowledge Compilation for Feature-Model Analyses (Extended Abstract). In Proc. Int'l Systems and Software Product Line Conf. (SPLC). ACM, September 2024. 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). ACM, September 2024. To appear.
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