Aleksandar S. Dimovski -

Registered user since Thu 28 Feb 2019

Name:Aleksandar S. Dimovski

Affiliation:Mother Teresa University, Skopje

Personal website:https://aleksdimovski.github.io/

Contributions

ECOOP 2021	Author of Lifted Static Analysis of Dynamic Program Families by Abstract Interpretation within the ECOOP Artifacts-track
FASE 2019	Author of Variability Abstraction and Refinement for Game-based Lifted Model Checking of full CTL within the FASE 2019-track
GPCE 2018	Author of Verification of High-Level Transformations with Inductive Refinement Types within the GPCE 2018-track
‹Programming› 2017	Author of Effective Analysis of C Programs by Rewriting Variability within the Research Papers-track
SLE 2016	Author of Symbolic Execution of High-Level Transformations within the SLE-track
ECOOP 2015	Author of Variability Abstractions: Trading Precision for Speed in Family-Based Analyses within the Research Track-track