Elias Kuiter

Tseitin or not Tseitin? The Impact of CNF Transformations on Feature-Model Analyses

Thomas Thüm, G. Saake, S. Krieter, 2022, ASE.

Iterative development and changing requirements: drivers of variability in an industrial system for veterinary anesthesia

Elias Kuiter, Jacob Krüger, Gunter Saake, 2021, SPLC.

Getting rid of clone-and-own: moving to a software product line for temperature monitoring

Elias Kuiter, Sebastian Krieter, Jacob Krüger, 2018, SPLC.

variED: an editor for collaborative, real-time feature modeling

Elias Kuiter, Sebastian Krieter, Jacob Krüger, 2021, Empirical Software Engineering.

On the benefits of knowledge compilation for feature-model analyses

Thomas Thüm, S. Krieter, Elias Kuiter, 2023, Annals of Mathematics and Artificial Intelligence.

A Survey and Comparison of Industrial and Academic Research on the Evolution of Software Product Lines

Elias Kuiter, Gunter Saake, 2022, ArXiv.

Verification Strategies for Feature-Oriented Software Product Lines

Alexander Knüppel, Tabea Bordis, Tobias Runge, 2022, VaMoS.

Foundations of Collaborative, Real-Time Feature Modeling

Elias Kuiter, Sebastian Krieter, Jacob Krüger, 2019, SPLC.

Exploiting Structure: A Survey and Analysis of Structures and Hardness Measures for Propositional Formulas

Elias Kuiter, Rick Adamy, Gunter Saake, 2023, Qeios.