Elias Kuiter
M.Sc. Elias Kuiter
AG Datenbanken & Software Engineering (Wiss. Mitarbeiter)
Universitätsplatz 2, 39106 Magdeburg, G29-109
Universitätsplatz 2, 39106 Magdeburg, G29-109
Institut für Softwaretechnik und Fahrzeuginformatik (Gast)
Universitätsplatz 2, 38106 Braunschweig, IZ 415
Universitätsplatz 2, 38106 Braunschweig, IZ 415
Vita
- 04-07/2024: Forschungsaufenthalt Softwaretechnik, Universität Paderborn
- ab 01/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
- Software Variability, Quality, and Evolution
- Feature-Model Extraction, Transformation, and Analysis
- Satisfiability Solving, Formal Methods, and Applied Category Theory
Projekte und Kooperationen
- Gast am ISF, Technische Universität Braunschweig
Lehre
- Themen für Abschlussarbeiten und Projekte
- WS 2024/25: ISP, Datenbanken I
- SS 2024: Student Conference
- WS 2023/24: ISP, Datenbanken I
- SS 2023: Student Conference, Requirements Engineering II (Hochschule Harz)
- WS 2022/23: ISP, Datenbanken I
- SS 2022: Student Conference
- WS 2021/22: ISP, Datenbanken I
- SS 2021: ISP, Student Conference
- WS 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
Gutachter- und Gremientätigkeiten
- Invited Reviewer: TOSEM, EMSE
- Program Committee Member: ICSE 2024 (Artifact Evaluation Track), Re:Volution 2024
- Sub-Reviewer: EMSE, IST, SPLC, VaMoS, ENASE, ICSOFT, SCICO, ESWA, EAAI, SOFTX, GvDB
- Publicity Chair: VaMoS 2024
- Student Volunteer: VaMoS 2020
2024
- Chico Sundermann, Tobias Heß, Rahel
Sundermann, Elias Kuiter, Sebastian Krieter, and Thomas Thüm.
Generating
Feature Models with UVL's Full Expressiveness.
In Proc. Int'l Workshop on Languages for Modelling Variability
(MODEVAR), pages 61–65. ACM, September 2024.
- Chico Sundermann, Vincenzo Francesco
Brancaccio, Elias Kuiter, Sebastian Krieter, Tobias Heß, and Thomas
Thüm.
Collecting
Feature Models from the Literature: A Comprehensive Dataset for
Benchmarking.
In Proc. Int'l Systems and Software Product Line Conf. (SPLC).
ACM, September 2024.
- Chico Sundermann, Elias Kuiter, Tobias
Heß, Heiko Raab, Sebastian Krieter, and Thomas Thüm.
On the
Benefits of Knowledge Compilation for Feature-Model Analyses.
In Proc. Int'l Systems and Software Product Line Conf. (SPLC).
ACM, September 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), pages 149–151. ACM, February
2024.
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, Qeios, September 2023.
- Elias Kuiter, Sebastian Krieter, Jacob
Krüger, Gunter Saake, and Thomas Leich.
variED: An Editor for Collaborative, Real-Time
Feature Modeling.
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.
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, arXiv, 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 Workshop on Variability and Evolution of
Software-Intensive Systems (VariVolution), 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.
2021
Aktuelle Projekte
Compositional Feature-Model Analyses
Laufzeit: 01.01.2021 bis 01.01.2026
Feature modeling is widely used to systematically model features of variant-rich software systems and their dependencies. By translating feature models into propositional formulas and analyzing them with solvers, a wide range of automated analyses across all phases of the software development process become possible. Most solvers only accept formulas in conjunctive normal form (CNF), so an additional transformation of feature models is often necessary.
In this project, we investigate whether this transformation has a noticeable impact on analyses and how to influence this impact positively. We raise awareness about CNF transformations for feature-model analysis and mitigate it as a threat to validity for research evaluations to ensure reproducibility and fair comparisons. Furthermore, we investigate other steps in the feature-model analysis process, their alternatives, and their interactions; for instance, we study the potential and impact of knowledge compilation, interfaces, slicing, and evolution on feature-model analyses.
Our vision for this project is to lay a foundation for a compositional feature-model analysis algebra; that is, to understand how complex analyses are made of simple parts, how they can be re-assembled, and how those parts interact with each other.
- Datenbanken ( Link zur LV im LSF )
- Datenbanken ( Link zur LV im LSF )
- Implementierungstechniken für Software-Produktlinien ( Link zur LV im LSF )
- Implementierungstechniken für Software-Produktlinien ( Link zur LV im LSF )