Alexandru F. Iosif-Lazar

According to our database, Alexandru F. Iosif-Lazar authored at least 4 papers between 2014 and 2017.

Collaborative distances:

• Dijkstra number of four.
• Erdős number of four.

2017

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

2016

Trustworthy variant derivation with translation validation for safety critical product lines.

Alexandru F. Iosif-Lazar, Andrzej Wasowski

J. Log. Algebraic Methods Program., 2016

2015

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

Proceedings of the 30th IEEE/ACM International Conference on Automated Software Engineering, 2015

2014

A Core Language for Separate Variability Modeling.

Alexandru F. Iosif-Lazar, Ina Schaefer, Andrzej Wasowski

Proceedings of the Leveraging Applications of Formal Methods, Verification and Validation. Technologies for Mastering Change, 2014