ARBEITSGRUPPE

DATENBANKEN UND

SOFTWARE ENGINEERING

Vita

• 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
  • AG Communication and Networked Systems
  • AG Datenbanken und Software Engineering
  • AG Algorithmische Geometrie
• 2015-2019: B.Sc. Informatik, Otto-von-Guericke-Universität Magdeburg

Forschung

• Product-Line Analysis
• Feature-Model Interfaces & Transformations
• Formal Methods, Category Theory

Lehre

• 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

Auszeichnungen und Förderung

• 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

Gutachtertätigkeiten

• ENASE, ICSOFT, SPLC, EMSE, ESWA, IST, SOFTX, SCICO (Sub-Reviewer)
• TOSEM (Reviewer)

2023

---

• Elias Kuiter, Sebastian Krieter, Jacob Krüger, Gunter Saake, and Thomas Leich. variED: An Editor for Collaborative, Real-Time Feature Modeling (Extended Abstract). 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 (Extended Abstract). 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, University of Magdeburg, 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 Systems and Software Product Line Conf. (SPLC), 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

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.
   

2021

---

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