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

2023

GPCE

Committee Member in Program Committee within the GPCE 2023-track

2021

ECOOP

Author of Lifted Static Analysis of Dynamic Program Families by Abstract Interpretation within the ECOOP Artifacts-track

2019

FASE

Author of Variability Abstraction and Refinement for Game-based Lifted Model Checking of full CTL within the FASE 2019-track

2018

GPCE

Author of Verification of High-Level Transformations with Inductive Refinement Types within the GPCE 2018-track

2017

‹Programming›

Author of Effective Analysis of C Programs by Rewriting Variability within the Research Papers-track

2016

SLE

Author of Symbolic Execution of High-Level Transformations within the SLE-track

2015

ECOOP

Author of Variability Abstractions: Trading Precision for Speed in Family-Based Analyses within the Research Track-track