Aleksandar S. Dimovski

Summary

• 2 papers in 2 bundles
• Top 3 popular topics:
  • T5D: Formal Methods (2 times)
  • T3B: Transformation Languages (1 times)
  • T4C: Vertical Transformation (1 times)
• Top 3 coauthors:
  • Ahmad Salim Al-Sibahi (1 times)
  • Andrzej Wąsowski (1 times)
  • ∅ (1 times)
• Made 2 contributions (see below)

List of contributions

• (SLE 2016) Coauthored Symbolic Execution of High-Level Transformations (Ahmad Salim Al-Sibahi, Aleksandar S. Dimovski, Andrzej Wąsowski)
• (SLE 2025) Authored Variability Fault Localization by Abstract Interpretation and its Application to SPL Repair (Aleksandar S. Dimovski)

---

The page is maintained by Dr. Vadim Zaytsev a.k.a. @grammarware. Last updated: June 2026.