• Sign in
  • Sign up
conf.researchr.org / Aleksandar S. Dimovski
  • ECOOP 2015 profile
  • ETAPS 2019 profile
  • SPLASH 2016 profile
  • SPLASH 2018 profile
  • ‹Programming› 2017 profile
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

Share
xWed 3 Mar 00:08
using conf.researchr.org (v1.42.1)
Support page
Sign Up