conf.researchr.org / Aleksandar S. Dimovski
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

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