• Sign in
  • Sign up
conf.researchr.org / Aleksandar S. Dimovski
  • ECOOP 2025 profile
  • ECOOP and ISSTA 2021 profile
  • ISSTA/ECOOP 2024 profile
  • SPLASH 2019 profile
  • SPLASH 2021 profile
  • SPLASH 2023 profile
  • SPLASH 2024 profile
  • STAF 2025 profile
Aleksandar S. Dimovski

Registered user since Sat 15 Jun 2019

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

Contributions

2025

GPCE

  • Author of Imperative Program Synthesis by Abstract Static Analysis and SMT Mutations within the GPCE-track

SLE

  • Author of Variability Fault Localization by Abstract Interpretation and its Application to SPL Repair within the SLE 2025-track

2024

GPCE

  • Author in Program Committee within the GPCE 2024-track

ECOOP

  • Author of Mutation-based Lifted Repair of Software Product Lines within the Technical Papers-track

2023

Static Analysis Symposium

  • Author of Generalized Program Sketching by Abstract Interpretation and Logical Abduction within the SAS 2023-track
  • Author of Error Invariants for Fault Localization via Abstract Interpretation within the SAS 2023-track

2021

GPCE

  • Author of Lifted Termination Analysis by Abstract Interpretation and its Applications within the GPCE-track

ECOOP

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

2019

GPCE

  • Author of Lifted Static Analysis using a Binary Decision Diagram Abstract Domain within the GPCE 2019-track
Share
xMon 16 Jun 00:12
using conf.researchr.org (v1.69.0)
Support page
Sign Up