conf.researchr.org / Aleksandar S. Dimovski
Aleksandar S. Dimovski

Registered user since Sat 15 Jun 2019

Name:Aleksandar S. Dimovski
Affiliation:Mother Teresa University, Skopje
Personal website:https://aleksdimovski.github.io/
Research interests:Software Product Lines, Static Analysis, Abstract Interpretation, Model Checking

Contributions

GPCE 2021 Author of Lifted Termination Analysis by Abstract Interpretation and its Applications within the GPCE-track
ECOOP 2021 Author of Lifted Static Analysis of Dynamic Program Families by Abstract Interpretation within the ECOOP Technical Papers-track
GPCE 2019 Author of Lifted Static Analysis using a Binary Decision Diagram Abstract Domain within the GPCE 2019-track