PhD student at the IT University of Copenhagen.
IT University of Copenhagen, Rued Langgaards Vej 7, room 4D04, 2300 Copenhagen S, Denmark
C-Reconfigurator The C-Reconfigurator is a tool for rewriting variability in C code files. The tool is descibed in the paper Effective Analysis of C Programs by Rewriting Variability [Paper is submitted][GitHub]
FeatherweightVML_Coq Featherweight Variability Modeling Language implemented in Coq. The tool is described in the paper Trustworthy variant derivation with translation validation for safety critical product lines. [Paper][GitHub]