Concepedia

Aleksandar S. Dimovski

AS

19

Publications

350

Citations

13

H-Index

2006

Active since

Affiliations

IT University of Copenhagen(Current)

Mother Teresa University

Mother Teresa Hospital

UCLouvain

Saarland University

Aleksandar S. Dimovski is an author at IT University of Copenhagen specializing in engineering, formal methods, and program analysis.

ORCID

Top concepts

Publications per year

2006–2021

19

Publications

19

Systematic derivation of correct variability-aware program analyses

Jan Midtgaard, Aleksandar S. Dimovski, Claus Brabrand et al. · Science of Computer Programming · 2015 · 45 citations

, , +11

Efficient family-based model checking via variability abstractions

Aleksandar S. Dimovski, Ahmad Salim Al-Sibahi, Claus Brabrand et al. · International Journal on Software Tools for Technology Transfer · 2016 · 38 citations · Full text

, , +9

Variability Abstractions: Trading Precision for Speed in Family-Based Analyses

Aleksandar S. Dimovski, Claus Brabrand, Andrzej Wąsowski · DROPS (Schloss Dagstuhl – Leibniz Center for Informatics) · 2015 · 24 citations · Full text

, , +21

Effective Analysis of C Programs by Rewriting Variability

Alexandru F. Iosif-Lazăr, Jean Melo, Aleksandar S. Dimovski et al. · The Art Science and Engineering of Programming · 2017 · 23 citations · Full text

Program verification using symbolic game semantics

Aleksandar S. Dimovski · Theoretical Computer Science · 2014 · 21 citations · Full text

, , +9

Rows per page

1–5 of 19