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

Publications

  • Alexandru F. Iosif-Lazăr, Jean Melo, Aleksandar S. Dimovski, Claus Brabrand, Andrzej Wąsowski, Effective Analysis of C Programs by Rewriting Variability. In 15th International Conference on Generative Programming: Concepts & Experiences, GPCE 2016, Amsterdam, Netherlands, October 31–November 1, 2016. 2016. [BibTeX] [Submitted]

  • Alexandru F. Iosif-Lazăr and Andrzej Wąsowski, Trustworthy variant derivation with translation validation for safety critical product lines. In Journal of Logical and Algebraic Methods in Programming. 2016. ISSN 2352-2208. DOI 10.1016/j.jlamp.2016.02.001. [URL][BibTeX] [In Press.]

  • Alexandru F. Iosif-Lazăr, Ahmad Salim Al-Sibahi, Aleksandar S. Dimovski, Juha Erik Savolainen, Krzysztof Sierszecki and Andrzej Wąsowski, Experiences from Designing and Validating a Software Modernization Transformation (E). In 30th IEEE/ACM International Conference on Automated Software Engineering, ASE 2015, Lincoln, NE, USA, November 9-13, 2015. Ed. by Myra B. Cohen and Lars Grunske and Michael Whalen. IEEE Computer Society, 2015. pp. 597–607 DOI 10.1109/ASE.2015.84. [URL][BibTeX]

  • Alexandru F. Iosif-Lazăr, Ina Schaefer and Andrzej Wąsowski, A Core Language for Separate Variability Modeling. In Leveraging Applications of Formal Methods, Verification and Validation. Technologies for Mastering Change - 6th International Symposium, ISoLA 2014, Imperial, Corfu, Greece, October 8-11, 2014, Proceedings, Part I. Ed. by Tiziana Margaria & Bernhard Steffen. Berlin, Heidelberg: Springer Berlin Heidelberg, 2014, pp. 257-–272. ISBN 978-3-662-45233-2. DOI 10.1007/978-3-662-45234-9_19. [URL][BibTeX]

  • Alexandru F. Iosif-Lazăr, Ina Schaefer and Andrzej Wąsowski, Towards A Core Language for Separate Variability Modeling. In 25th Nordic Workshop on Programming Theory. NWPT 2013. Tallinn, Estonia, 20-22 November 2013. Abstracts. Ed. by Tarmo Uustalu and Jüri Vain. Tallinn, Estonia: Institute of Cybernetics at Tallinn University of Technology, 2013, pp 37–39. ISBN 978-9949-430-70-3, [PDF][BibTeX]