( en | de | ru )

 

Disambiguation of "Krieter, Sebastian"

Author of the publication

copydeleteadd this publication to your clipboard
Compositional Analyses of Highly-Configurable Systems with Feature-Model Interfaces.

, , , , and . Software Engineering, volume P-267 of LNI, page 129-130. GI, (2017)

Please choose a person to relate this publication to

To differ between persons with the same name, the academic degree and the title of an important publication will be displayed. You can also use the button next to the name to display some publications already assigned to the person.

Joachim Krieter

Manfred Krieter

Michael Krieter

Detlef Krieter

Beda Krieter

 

Other publications of authors with the same name

Enabling efficient automated configuration generation and management.. SPLC (B), page 93:1-93:7. ACM, (2019)Using Abstract Contracts for Verifying Evolving Features and Their Interactions., , , , , , and . 20 Years of KeY, volume 12345 of Lecture Notes in Computer Science, Springer, (2020)Sixth International Workshop on Variability and Evolution of Software-Intensive Systems (VariVolution 2023)., , , and . SPLC (A), page 274. ACM, (2023)UnWise: High T-Wise Coverage from Uniform Sampling., , , , and . VaMoS, page 37-45. ACM, (2024)Propagating Configuration Decisions with Modal Implication Graphs., , , , and . SE/SWM, volume P-292 of LNI, page 77-78. GI, (2019)EXtracting product lines from vAriaNTs (EXPLANT)., , , and . VaMoS, page 13:1-13:2. ACM, (2020)Using Dynamic Software Product Lines to Implement Adaptive SGX-enabled Systems., , and . VaMoS, page 9:1-9:9. ACM, (2019)T-Wise Presence Condition Coverage and Sampling for Configurable Systems., , , , , , and . CoRR, (2022)How Easy is SAT-Based Analysis of a Feature Model?, , , , , and . VaMoS, page 149-151. ACM, (2024)Derivation of subset product lines in FeatureIDE., , , , , and . SPLC (B), page 38-41. ACM, (2022)