Alexandru F. Iosif-Lazăr

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]