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)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)UnWise: High T-Wise Coverage from Uniform Sampling., , , , and . VaMoS, page 37-45. ACM, (2024)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)Using Dynamic Software Product Lines to Implement Adaptive SGX-enabled Systems., , and . VaMoS, page 9:1-9:9. ACM, (2019)How Easy is SAT-Based Analysis of a Feature Model?, , , , , and . VaMoS, page 149-151. ACM, (2024)VariantInc: Automating the Integration of Versioned Software Variants - Artifact., , , and . (June 2023)