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

Research outputs (6)

  1. Published

    Effective Analysis of C Programs by Rewriting Variability

    Research output: Journal Article or Conference Article in JournalJournal articleResearchpeer-review

  2. Published

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

    Research output: Book / Anthology / Report / Ph.D. thesisPh.D. thesisResearch

  3. Published

    Trustworthy Variant Derivation with Translation Validation for Safety Critical Product Lines

    Research output: Journal Article or Conference Article in JournalJournal articleResearchpeer-review

View all (6) »

Recent activities and conferences

ID: 37399080