| 2026 | FASE | Abstract Symbolic Finite Automata for Algorithmic Game Semantics. | Aleksandar S. Dimovski |
| 2025 | FedCSIS | While-guard Synthesis by Abstract Static Analysis and CHC Solving. | Aleksandar S. Dimovski |
| 2025 | GPCE | Imperative Program Synthesis by Abstract Static Analysis and SMT Mutations. | Aleksandar S. Dimovski |
| 2025 | SAC | Weakest Safe Context Synthesis by Symbolic Game Semantics and Logical Abduction. | Aleksandar S. Dimovski |
| 2025 | SLE | Variability Fault Localization by Abstract Interpretation and its Application to SPL Repair. | Aleksandar S. Dimovski |
| 2025 | SPLC | On Synthesizing Presence Conditions in Numerical Software Product Lines. | Aleksandar S. Dimovski |
| 2024 | ECOOP | Mutation-Based Lifted Repair of Software Product Lines. | Aleksandar S. Dimovski |
| 2023 | SAS | Error Invariants for Fault Localization via Abstract Interpretation. | Aleksandar S. Dimovski |
| 2023 | SAS | Generalized Program Sketching by Abstract Interpretation and Logical Abduction. | Aleksandar S. Dimovski |
| 2023 | SPLC | Family-based model checking of fMultiLTL properties. | Aleksandar S. Dimovski, Sami Lazreg, Maxime Cordy, Axel Legay |
| 2022 | FASE | Quantitative Program Sketching using Lifted Static Analysis. | Aleksandar S. Dimovski |
| 2022 | SAC | Model sketching by abstraction refinement for lifted model checking. | Aleksandar S. Dimovski |
| 2021 | ECOOP | Lifted Static Analysis of Dynamic Program Families by Abstract Interpretation. | Aleksandar S. Dimovski, Sven Apel |
| 2021 | FASE | A Decision Tree Lifted Domain for Analyzing Program Families with Numerical Features. | Aleksandar S. Dimovski, Sven Apel, Axel Legay |
| 2021 | GPCE | Lifted termination analysis by abstract interpretation and its applications. | Aleksandar S. Dimovski |
| 2020 | FASE | Computing Program Reliability Using Forward-Backward Precondition Analysis and Model Counting. | Aleksandar S. Dimovski, Axel Legay |
| 2019 | FASE | Variability Abstraction and Refinement for Game-Based Lifted Model Checking of Full CTL. | Aleksandar S. Dimovski, Axel Legay, Andrzej Wasowski |
| 2019 | GPCE | Lifted static analysis using a binary decision diagram abstract domain. | Aleksandar S. Dimovski |
| 2018 | FASE | Abstract Family-Based Model Checking Using Modal Featured Transition Systems: Preservation of CTL\(^{\star }\). | Aleksandar S. Dimovski |
| 2018 | GPCE | Verification of high-level transformations with inductive refinement types. | Ahmad Salim Al-Sibahi, Thomas P. Jensen, Aleksandar S. Dimovski, Andrzej Wasowski |
| 2017 | FASE | Variability-Specific Abstraction Refinement for Family-Based Model Checking. | Aleksandar S. Dimovski, Andrzej Wasowski |
| 2016 | FM | Finding Suitable Variability Abstractions for Family-Based Analysis. | Aleksandar S. Dimovski, Claus Brabrand, Andrzej Wasowski |
| 2016 | SLE | Symbolic execution of high-level transformations. | Ahmad Salim Al-Sibahi, Aleksandar S. Dimovski, Andrzej Wasowski |
| 2015 | ECOOP | Variability Abstractions: Trading Precision for Speed in Family-Based Analyses. | Aleksandar S. Dimovski, Claus Brabrand, Andrzej Wasowski |
| 2015 | SPLC | Family-based model checking using off-the-shelf model checkers: extended abstract. | Aleksandar S. Dimovski, Ahmad Salim Al-Sibahi, Claus Brabrand, Andrzej Wasowski |
| 2012 | ADBIS | Efficient Processing of Top-K Join Queries by Attribute Domain Refinement. | Dragan Sahpaski, Aleksandar S. Dimovski, Goran Velinov, Margita Kon-Popovska |
| 2010 | ADBIS | Horizontal Partitioning by Predicate Abstraction and Its Application to Data Warehouse Design. | Aleksandar S. Dimovski, Goran Velinov, Dragan Sahpaski |
| 2010 | IFM | A Compositional Method for Deciding Equivalence and Termination of Nondeterministic Programs. | Aleksandar S. Dimovski |
| 2006 | ICFEM | Assume-Guarantee Software Verification Based on Game Semantics. | Aleksandar S. Dimovski, Ranko Lazic |
| 2005 | SAS | Data-Abstraction Refinement: A Game Semantic Approach. | Aleksandar S. Dimovski, Dan R. Ghica, Ranko Lazic |
| 2004 | ICFEM | CSP Representation of Game Semantics for Second-Order Idealized Algol. | Aleksandar S. Dimovski, Ranko Lazic |