Author of the publication

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.

 

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)UnWise: High T-Wise Coverage from Uniform Sampling., , , , and . VaMoS, page 37-45. ACM, (2024)Sixth International Workshop on Variability and Evolution of Software-Intensive Systems (VariVolution 2023)., , , and . SPLC (A), page 274. ACM, (2023)Propagating Configuration Decisions with Modal Implication Graphs., , , , and . SE/SWM, volume P-292 of LNI, page 77-78. GI, (2019)Using Dynamic Software Product Lines to Implement Adaptive SGX-enabled Systems., , and . VaMoS, page 9:1-9:9. ACM, (2019)EXtracting product lines from vAriaNTs (EXPLANT)., , , and . VaMoS, page 13:1-13:2. ACM, (2020)T-Wise Presence Condition Coverage and Sampling for Configurable Systems., , , , , , and . CoRR, (2022)Incremental construction of modal implication graphs for evolving feature models., , , , , , and . SPLC (A), page 64-74. ACM, (2021)Derivation of subset product lines in FeatureIDE., , , , , and . SPLC (B), page 38-41. ACM, (2022)