Publikationen
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, 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.