Elias Kuiter

Institut für Technische und Betriebliche Informationssysteme (ITI)
AG Datenbanken & Software Engineering
AG Datenbanken & 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, October 2022.
Accepted.
- 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.
- Johannes Hauffe.
Reengineering einer Microservice-Architektur:
Eine Fallstudie am PEGASOS-System.
Master's thesis, University of Magdeburg, January 2022.