Author of the publication

Visualization of Variability Analysis of Control Software From Industrial Automation Systems.

, , , , and . SMC, page 3357-3364. IEEE, (2019)

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

Product sampling for product lines: the scalability challenge., , , , , and . SPLC (A), page 14:1-14:6. ACM, (2019)Oil palm and rubber expansion facilitates earthworm invasion in Indonesia, , , , , and . Biological Invasions, 23 (9): 2783–2795 (April 2021)Software Reuse: From Cloned Variants to Managed Software Product Lines., , and . Automotive Systems and Software Engineering, Springer, (2019)Refactoring Delta-Oriented Software Product Lines., and . Software Engineering & Management, volume P-239 of LNI, page 82. GI, (2015)Analysis Strategies for Software Product Lines: A Classification and Survey., , , , and . Software Engineering & Management, volume P-239 of LNI, page 57-58. GI, (2015)Evolution of software in automated production systems: challenges and research directions., , , and . Software Engineering, volume P-252 of LNI, page 107-108. GI, (2016)Correctness-by-construction for feature-oriented software product lines., , and . GPCE, page 22-34. ACM, (2020)Experience Report on Formally Verifying Parts of OpenJDK's API with KeY., , , and . F-IDE@FLoC, volume 284 of EPTCS, page 53-70. (2018)Applications of #SAT Solvers on Feature Models., , , , , and . VaMoS, page 12:1-12:10. ACM, (2021)Sampling Cardinality-Based Feature Models., , , and . VaMoS, page 46-55. ACM, (2024)