ITU
ITU
Ahmad Salim Al-Sibahi

Ahmad Salim Al-Sibahi

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

Information Desk: 72185000

View graph of relations

Research outputs (9)

  1. Published

    Foundational Analysis Techniques for High-Level Transformation Programs

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

  2. Published

    Verification of high-level transformations with inductive refinement types

    Research output: Conference Article in Proceeding or Book/Report chapterArticle in proceedingsResearchpeer-review

  3. Published

    SymexTRON: Symbolic Execution of High-Level Transformation Languages: Symbolic Execution of High-Level Transformations

    Research output: Book / Anthology / Report / Ph.D. thesisReportResearch

View all (9) »

Recent activities and conferences

ID: 78471534