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

Lehre

• 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

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.
   

• Software-Produktlinien
• Formale Methoden
• Feature-Modell- und Konfigurationsanalyse