Author of the publication

Forked and integrated variants in an open-source firmware project.

, , and . ICSME, page 151-160. IEEE Computer Society, (2015)

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

Automatic Generation of Program Families by Model Restrictions. (2004)Techniques for Efficient Interactive Configuration of Distribution Networks., , and . IJCAI, page 100-105. (2007)Variability Abstractions: Trading Precision for Speed in Family-Based Analyses (Extended Version)., , and . CoRR, (2015)Symbolic Semantics for Probabilistic Programs., , , , and . QEST, volume 14287 of Lecture Notes in Computer Science, page 329-345. Springer, (2023)On efficient program synthesis from statecharts.. LCTES, page 163-170. ACM, (2003)Privacy with Good Taste - A Case Study in Quantifying Privacy Risks in Genetic Scores., , , , , , , and . DPM/CBT@ESORICS, volume 13619 of Lecture Notes in Computer Science, page 103-119. Springer, (2022)Modal I/O Automata for Interface and Product Line Theories., , and . ESOP, volume 4421 of Lecture Notes in Computer Science, page 64-79. Springer, (2007)Finding Suitable Variability Abstractions for Family-Based Analysis., , and . FM, volume 9995 of Lecture Notes in Computer Science, page 217-234. (2016)Model Transformation Languages under a Magnifying Glass: A Controlled Experiment with Xtend, ATL, and QVT., , , , and . SE/SWM, volume P-292 of LNI, page 91-92. GI, (2019)Identifying Redundancies in Fork-based Development., , , and . SANER, page 230-241. IEEE, (2019)