Author of the publication

Evaluating State-of-the-Art #SAT Solvers on Industrial Configuration Spaces.

, , , , , , and . Software Engineering, volume P-343 of LNI, page 67-68. Gesellschaft für Informatik e.V., (2024)

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

A Toolchain for Delta-Oriented Modeling of Software Product Lines., , , , , , , and . ISoLA (2), volume 9953 of Lecture Notes in Computer Science, page 497-511. (2016)Back to the future: avoiding paradoxes in feature-model evolution., , and . SPLC (2), page 48-51. ACM, (2018)Anomaly Detection and Explanation in Context-Aware Software Product Lines., , , and . SPLC (B), page 18-21. ACM, (2017)Experiences with Constructing and Evolving aSoftware Product Line with Delta-Oriented Programming., , , and . VaMoS, page 11:1-11:9. ACM, (2022)GuyDance: Guiding Configuration Updates for Product-Line Evolution., , , , , and . SPLC (B), page 56-64. ACM, (2020)Incremental construction of modal implication graphs for evolving feature models., , , , , , and . SPLC (A), page 64-74. ACM, (2021)Consistent Feature-Model Driven Software Product Line Evolution.. Braunschweig University of Technology, Germany, (2021)Evaluating State-of-the-Art #SAT Solvers on Industrial Configuration Spaces., , , , , , and . Software Engineering, volume P-343 of LNI, page 67-68. Gesellschaft für Informatik e.V., (2024)Harmonized temporal feature modeling to uniformly perform, track, analyze, and replay software product line evolution., , , , , and . GPCE, page 115-128. ACM, (2019)Towards immersive software archaeology: regaining legacy systems' design knowledge via interactive exploration in virtual reality., , and . ESEC/SIGSOFT FSE, page 1455-1458. ACM, (2021)