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

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 International Conference 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 International Working Conference on Variability Modelling of Software-Intensive Systems, VaMoS. 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 International Systems and Software Product Line Conference, 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, 26(24), 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 International Systems and Software Product Line Conference, SPLC, pages 257–264. ACM, September 2019.
   
• Elias Kuiter. Consistency Maintenance for Collaborative Real-Time Feature Modeling. Bachelor thesis, University of Magdeburg, 2019.
   

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 International Systems and Software Product Line Conference, SPLC, pages 179–189. ACM, September 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 International Systems and Software Product Line Conference, SPLC, pages 284–288. 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.