ITU
Alexandru Florin Iosif-Lazăr

Alexandru Florin Iosif-Lazăr

IT University of Copenhagen
Rued Langgaards Vej 7
DK-2300 Copenhagen S
Denmark

Information Desk: 72185000

View graph of relations

1 - 6 out of 6Page size: 10
  1. 2017
  2. Published

    Effective Analysis of C Programs by Rewriting Variability

    Iosif-Lazar, A. F., Melo, J., Dimovski, A., Brabrand, C. & Wasowski, A., 27 Jan 2017, In: The Art, Science, and Engineering of Programming. 1, 1, p. 1-25 25 p., 1.

    Research output: Journal Article or Conference Article in Journal › Journal article › Research › peer-review

  3. Published

    Lightweight Methods for Effective Verification of Software Product Lines with Off-the-Shelf Tools

    Iosif-Lazar, A. F., 2017, IT-Universitetet i København. 149 p. (ITU-DS; No. 132).

    Research output: Book / Anthology / Report / Ph.D. thesis › Ph.D. thesis › Research

  4. 2016
  5. Published

    Trustworthy Variant Derivation with Translation Validation for Safety Critical Product Lines

    Iosif-Lazăr, A. F. & Wasowski, A., 24 Nov 2016, In: The Journal of Logic and Algebraic Programming. 85, 6, p. 1154–1176 23 p., 85.

    Research output: Journal Article or Conference Article in Journal › Journal article › Research › peer-review

  6. 2015
  7. Published

    Experiences from Designing and Validating a Software Modernization Transformation

    Iosif-Lazăr, A. F., Al-Sibahi, A. S., Dimovski, A., Savolainen, J. E., Sierszecki, K. & Wasowski, A., Nov 2015, Proceedings of the 30th ACM/IEEE international conference on Automated software engineering. IEEE, p. 597 - 607

    Research output: Conference Article in Proceeding or Book/Report chapter › Article in proceedings › Research › peer-review

  8. 2014
  9. Published

    A Core Language for Separate Variability Modeling

    Iosif-Lazăr, A. F., Wasowski, A. & Schaefer, I., 2014, In: Lecture Notes in Computer Science. 8802, p. 257-272

    Research output: Journal Article or Conference Article in Journal › Conference article › Research › peer-review

  10. 2013
  11. Published

    Towards a core language for separate variability modeling

    Iosif-Lazăr, A. F., Schaefer, I. & Wasowski, A., 2013. 3 p.

    Research output: Contribution to conference - NOT published in proceeding or journal › Conference abstract for conference › Research › peer-review

ID: 37399080