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

About me

I am a PhD student at the IT University of Copenhagen under the supervision of Andrzej Wąsowski. My research is partly funded by the VARIES project.

I am working in the Software and Systems Section as part of the Process and System Models Group.

Research interests

  • 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.



Latest tweets