A Core Language for Separate Variability Modeling. - Alexandru F. Iosif-Lazar; Ina Schaefer; Andrzej Wasowski (ISoLA (1), 2014)

Experiences from Designing and Validating a Software Modernization Transformation (E). - Alexandru F. Iosif-Lazar; Ahmad Salim Al-Sibahi; Aleksandar S. Dimovski; Juha Erik Savolainen; Krzysztof Sierszecki; Andrzej Wasowski (ASE, 2015)

Trustworthy variant derivation with translation validation for safety critical product lines. - Alexandru F. Iosif-Lazar; Andrzej Wasowski (J. Log. Algebraic Methods Program., 2016)

Effective Analysis of C Programs by Rewriting Variability. - Alexandru Florin Iosif-Lazar; Jean Melo; Aleksandar S. Dimovski; Claus Brabrand; Andrzej Wasowski (Art Sci. Eng. Program., 2017)