| Experiences from designing and validating a software modernization transformation (E) AF Iosif-Lazar, AS Al-Sibahi, AS Dimovski, JE Savolainen, K Sierszecki, ... 2015 30th IEEE/ACM International Conference on Automated Software …, 2015 | 26 | 2015 |
| Effective analysis of c programs by rewriting variability AF Iosif-Lazar, J Melo, AS Dimovski, C Brabrand, A Wasowski arXiv preprint arXiv:1701.08114, 2017 | 25 | 2017 |
| A core language for separate variability modeling AF Iosif-Lazăr, I Schaefer, A Wąsowski International Symposium On Leveraging Applications of Formal Methods …, 2014 | 6 | 2014 |
| Lightweight Methods for Effective Verification of Software Product Lines with Off-the-Shelf Tools AF Iosif-Lazar IT-Universitetet i København, 2017 | | 2017 |
| Trustworthy variant derivation with translation validation for safety critical product lines AF Iosif-Lazăr, A Wąsowski Journal of Logical and Algebraic Methods in Programming 85 (6), 1154-1176, 2016 | | 2016 |
| Towards a core language for separate variability modeling AF Iosif-Lazăr, I Schaefer, A Wąsowski NWPT 2013, 37, 2013 | | 2013 |
| Application Modeling with Contracts AF Iosif-Lazăr, G Balazs, JR Kiniry | | 2012 |
