ARBEITSGRUPPE

DATENBANKEN UND

SOFTWARE ENGINEERING

• ab 2021: Wissenschaftlicher Mitarbeiter, OVGU
• 2019-2020: M.Sc. Informatik, OVGU
• 2017-2019: Wissenschaftliche Hilfskraft, OVGU
• 2015-2019: B.Sc. Informatik, OVGU

Lehre

• SS 2021: ISP, Student Conference
• WS 2017/18: Grundlagen der theoretischen Informatik (Tutor)

Auszeichnungen und Förderung

• OVGU, Fakultät für Informatik
  
  • Best Graduate of the Bachelor Degree Course Computer Science 2018/19
  • Student Research Award 2018
• pure-systems GmbH
  
  • Go SPLC 2019 Challenge project grant

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. ACM, September 2021. Accepted.
   
• 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