PhD student at the IT University of Copenhagen.
IT University of Copenhagen, Rued Langgaards Vej 7, room 4D04, 2300 Copenhagen S, Denmark
Formal verification of variability modeling languages and Software Product Lines.
Testing model transformations of Domain Specific Languages.
Effective Analysis of C Programs by Rewriting Variability. GPCE’16. [Submitted]
Trustworthy Variant Derivation with Translation Validation for Safety Critical Product Lines. JLAMP’16. [In Press]
Experiences from Designing and Validating a Software Modernization Transformation. ASE’15.