Seguir
Elias Kuiter
Título
Citado por
Citado por
Año
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
272018
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
202022
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
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
72022
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
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
52021
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
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
El sistema no puede realizar la operación en estos momentos. Inténtalo de nuevo más tarde.
Artículos 1–13