Author of the publication

Automated reasoning for multi-step feature model configuration problems.

, , , and . SPLC, volume 446 of ACM International Conference Proceeding Series, page 11-20. ACM, (2009)

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

BeTTy: benchmarking and testing on the automated analysis of feature models., , , , and . VaMoS, page 63-71. ACM, (2012)A variability-based testing approach for synthesizing video sequences., , , , and . ISSTA, page 293-303. ACM, (2014)Variability Modelling and Analysis During 30 Years.. From Software Engineering to Formal Methods and Tools, and Back, volume 11865 of Lecture Notes in Computer Science, page 365-373. Springer, (2019)Open Source Adoption Factors - A Systematic Literature Review., , , and . IEEE Access, (2020)DirectDebug: A software package for the automated testing and debugging of feature models., , , , , , and . Softw. Impacts, (2021)Automated Reasoning on Feature Models., , and . CAiSE, volume 3520 of Lecture Notes in Computer Science, page 491-503. Springer, (2005)First International Workshop on Analysis of Software Product Lines (ASPL'08)., , , and . SPLC, page 385. IEEE Computer Society, (2008)Integrating heterogeneous variability modeling approaches with invar., , , , , , and . VaMoS, page 8:1-8:5. ACM, (2013)Unleashing the Power of Implicit Feedback in Software Product Lines: Benefits Ahead., , and . GPCE, page 113-121. ACM, (2023)A Parallelized Variant of Junker's QuickXPlain Algorithm., , , , and . ISMIS, volume 12117 of Lecture Notes in Computer Science, page 457-468. Springer, (2020)