Follow
Alexandru F. Iosif-Lazăr
Alexandru F. Iosif-Lazăr
Verified email at itu.dk - Homepage
Title
Cited by
Cited by
Year
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
242017
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
242015
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
62014
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
The system can't perform the operation now. Try again later.
Articles 1–7