Author of the publication

Incremental Software Product Line Verification - A Performance Analysis with Dead Variable Code.

, , , and . Software Engineering, volume P-332 of LNI, page 79-80. Gesellschaft für Informatik e.V., (2023)

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

Incremental software product line verification: a performance analysis with dead variable code., , , and . SPLC (A), page 257. ACM, (2022)Evolutionary Verification of Consistency Properties in Software Product Lines.. University of Hildesheim, Germany, (2023)KernelHaven - An Experimentation Workbench for Analyzing Software Product Lines., , and . CoRR, (2021)Combining Central Control with Collective Adaptive Systems., , , and . ACSOS-C, page 56-61. IEEE, (2021)Combining Distributed and Central Control for Self-Adaptive Systems of Systems., , and . ICDCS Workshops, page 109-112. IEEE, (2022)Identifying the Intensity of Variability Changes in Software Product Line Evolution., , and . SE/SWM, volume P-292 of LNI, page 105-106. GI, (2019)Incremental Software Product Line Verification - A Performance Analysis with Dead Variable Code., , , and . Software Engineering, volume P-332 of LNI, page 79-80. Gesellschaft für Informatik e.V., (2023)Improving Software Engineering Research through Experimentation Workbenches., , and . CoRR, (2021)KernelHaven: an open infrastructure for product line analysis., , and . SPLC (2), page 5-10. ACM, (2018)Comparing the intensity of variability changes in software product line evolution., , and . J. Syst. Softw., (September 2023)