ITU
ITU
Aleksandar Dimovski

Aleksandar Dimovski, PhD in Computer Science

(Former)

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

Information Desk: 72185000

View graph of relations

Research outputs (16)

  1. Published

    Variability abstractions for lifted analyses

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

  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

    Variability-Specific Abstraction Refinement for Family-Based Model Checking

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

View all (16) »

Research Activities (3)

  1. Advanced Topics in Domain Specific Language Design and Implementation

    Activity: Participating in or organising an event typesOrganisation and participation in workshop, seminar, course

  2. Coccinelle: A Program Matching and Transformation Tool for Systems Code

    Activity: Participating in or organising an event typesOrganisation and participation in workshop, seminar, course

  3. Analysis, Test and Verification in The Presence of Variability

    Activity: Participating in or organising an event typesOrganisation and participation in workshop, seminar, course

Recent activities and conferences

ID: 49508672