Author of the publication

Incremental software product line verification: a performance analysis with dead variable code.

, , , and . SPLC (A), page 257. ACM, (2022)

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

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)Variability-aware semantic slicing using code property graphs., and . SPLC (A), page 12:1-12:7. ACM, (2019)Comparing the intensity of variability changes in software product line evolution., , and . J. Syst. Softw., (September 2023)Comparing the intensity of variability changes in software product line evolution (Summary)., , and . Software Engineering, volume P-343 of LNI, page 83-84. Gesellschaft für Informatik e.V., (2024)Syntax-preserving slicing of C-based software product lines: an experience report., and . VaMoS, page 17:1-17:5. ACM, (2020)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)Utilizing Software Architecture Recovery to Explore Large-Scale Software Systems in Virtual Reality., , and . VISSOFT, page 119-130. IEEE, (2022)Third International Workshop on Variability and Evolution of Software-Intensive Systems (VariVolution 2020)., , , and . SPLC (A), page 34:1. ACM, (2020)Control Action Types -- Patterns of Applied Control for Self-adaptive Systems., , and . Software Engineering, volume P-343 of LNI, page 149-150. Gesellschaft für Informatik e.V., (2024)