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
- 2015-2019: B.Sc. Informatik, Otto-von-Guericke-Universität Magdeburg
Forschung
- Feature-Model Extraction, Transformation, and Analysis
- Satisfiability Solving, Formal Methods, Category Theory
Lehre
- Wintersemester 2023/24: ISP, Datenbanken I
- 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
- TOSEM, EMSE (Reviewer)
- ENASE, ICSOFT, SPLC, EMSE, ESWA, IST, SOFTX, SCICO, EAAI, VaMoS (Sub-Reviewer)
2024
- Elias Kuiter, Tobias Heß, Chico
Sundermann, Sebastian Krieter, Thomas Thüm, and Gunter Saake.
How Easy is SAT-Based Analysis of a Feature
Model?.
In Proc. Int'l Working Conf. on Variability Modelling of
Software-Intensive Systems (VaMoS). ACM, February 2024.
Accepted.
2023
- Chico Sundermann, Elias Kuiter, Tobias
Heß, Heiko Raab, Sebastian Krieter, and Thomas Thüm.
On the Benefits of Knowledge Compilation for
Feature-Model Analyses.
Annals of Mathematics and Artificial Intelligence (AMAI), November
2023.
- Rick Adamy, Elias Kuiter, and Gunter
Saake.
Exploiting Structure: A
Survey and Analysis of Structures and Hardness Measures for Propositional
Formulas.
Technical report, University of Magdeburg, September
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
2023
- Till Sehlen.
Evaluating the Efficiency of Hybrid CNF Transformations for
Feature-Model Formulas.
Master's thesis, University of Magdeburg, May 2023.
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.