Folgen
Elias Kuiter
Titel
Zitiert von
Zitiert von
Jahr
Getting rid of clone-and-own: moving to a software product line for temperature monitoring
E Kuiter, J Krüger, S Krieter, T Leich, G Saake
Proceedings of the 22nd International Systems and Software Product Line …, 2018
252018
PClocator: a tool suite to automatically identify configurations for code locations
E Kuiter, S Krieter, J Krüger, K Ludwig, T Leich, G Saake
Proceedings of the 22nd International Systems and Software Product Line …, 2018
132018
Tseitin or not Tseitin? The Impact of CNF Transformations on Feature-Model Analyses
E Kuiter, S Krieter, C Sundermann, T Thüm, G Saake
37th IEEE/ACM International Conference on Automated Software Engineering, 1-13, 2022
122022
Foundations of Collaborative, Real-Time Feature Modeling
E Kuiter, S Krieter, J Krüger, T Leich, G Saake
Proceedings of the 23rd International Systems and Software Product Line …, 2019
72019
Verification Strategies for Feature-Oriented Software Product Lines
E Kuiter, A Knüppel, T Bordis, T Runge, I Schaefer
Proceedings of the 16th International Working Conference on Variability …, 2022
62022
variED: an editor for collaborative, real-time feature modeling
E Kuiter, S Krieter, J Krüger, G Saake, T Leich
Empirical Software Engineering 26 (2), 24, 2021
52021
Iterative development and changing requirements: drivers of variability in an industrial system for veterinary anesthesia
E Kuiter, J Krüger, G Saake
Proceedings of the 25th ACM International Systems and Software Product Line …, 2021
32021
Proof Repositories for Correct-by-Construction Software Product Lines
E Kuiter
Otto-von-Guericke University Magdeburg, 2020
32020
On the benefits of knowledge compilation for feature-model analyses
C Sundermann, E Kuiter, T Heß, H Raab, S Krieter, T Thüm
Annals of Mathematics and Artificial Intelligence, 1-38, 2023
12023
Exploiting Structure: A Survey and Analysis of Structures and Hardness Measures for Propositional Formulas
R Adamy, E Kuiter, G Saake
Qeios, 2023
12023
Consistency Maintenance for Collaborative Real-Time Feature Modeling
E Kuiter
Bachelor Thesis. University of Magdeburg, 2019
12019
How Easy is SAT-Based Analysis of a Feature Model?
E Kuiter, T Heß, C Sundermann, S Krieter, T Thüm, G Saake
Proceedings of the 18th International Working Conference on Variability …, 2024
2024
A Survey and Comparison of Industrial and Academic Research on the Evolution of Software Product Lines
E Kuiter, G Saake
arXiv preprint arXiv:2212.05953, 2022
2022
Das System kann den Vorgang jetzt nicht ausführen. Versuchen Sie es später erneut.
Artikel 1–13