CSP Representation of Game Semantics for Second-Order Idealized Algol. - Aleksandar S. Dimovski; Ranko Lazic 001 (ICFEM, 2004)

Software Model Checking Based on Game Semantics and CSP. - Aleksandar S. Dimovski; Ranko Lazic 001 (AVoCS, 2004)

Abstraction-refinement for game-based model checking. - Aleksandar S. Dimovski; Dan R. Ghica; Ranko Lazic 001 (GALOP@ETAPS, 2005)

Data-Abstraction Refinement: A Game Semantic Approach. - Aleksandar S. Dimovski; Dan R. Ghica; Ranko Lazic 001 (SAS, 2005)

Assume-Guarantee Software Verification Based on Game Semantics. - Aleksandar S. Dimovski; Ranko Lazic 001 (ICFEM, 2006)

A Counterexample-Guided Refinement Tool for Open Procedural Programs. - Aleksandar S. Dimovski; Dan R. Ghica; Ranko Lazic 001 (SPIN, 2006)

Compositional software verification based on game semantics and process algebra. - Aleksandar S. Dimovski; Ranko Lazic 001 (Int. J. Softw. Tools Technol. Transf., 2007)

Compositional software verification based on game semantics. - Aleksandar S. Dimovski (2007)

Horizontal Partitioning by Predicate Abstraction and Its Application to Data Warehouse Design. - Aleksandar S. Dimovski; Goran Velinov; Dragan Sahpaski (ADBIS, 2010)

A Compositional Method for Deciding Program Termination. - Aleksandar S. Dimovski (ICT Innovations, 2010)

A Compositional Method for Deciding Equivalence and Termination of Nondeterministic Programs. - Aleksandar S. Dimovski (IFM, 2010)

Data-abstraction refinement: a game semantic approach. - Adam Bakewell; Aleksandar S. Dimovski; Dan R. Ghica; Ranko Lazic 001 (Int. J. Softw. Tools Technol. Transf., 2010)

Efficient Processing of Top-K Join Queries by Attribute Domain Refinement. - Dragan Sahpaski; Aleksandar S. Dimovski; Goran Velinov; Margita Kon-Popovska (ADBIS, 2012)

Parameterized verification of open procedural programs. - Aleksandar S. Dimovski (BCI, 2012)

Symbolic Representation of Algorithmic Game Semantics - Aleksandar S. Dimovski (GandALF, 2012)

Verifying Data Independent Programs Using Game Semantics. - Aleksandar S. Dimovski (SC@STAF, 2013)

Slot Games for Detecting Timing Leaks of Programs. - Aleksandar S. Dimovski (GandALF, 2013)

Ensuring Secure Non-interference of Programs by Game Semantics. - Aleksandar S. Dimovski (STM, 2014)

Program verification using symbolic game semantics. - Aleksandar S. Dimovski (Theor. Comput. Sci., 2014)

Variability Abstractions: Trading Precision for Speed in Family-Based Analyses. - Aleksandar S. Dimovski; Claus Brabrand; Andrzej Wasowski (ECOOP, 2015)

Experiences from Designing and Validating a Software Modernization Transformation (E). - Alexandru F. Iosif-Lazar; Ahmad Salim Al-Sibahi; Aleksandar S. Dimovski; Juha Erik Savolainen; Krzysztof Sierszecki; Andrzej Wasowski (ASE, 2015)

Family-Based Model Checking Without a Family-Based Model Checker. - Aleksandar S. Dimovski; Ahmad Salim Al-Sibahi; Claus Brabrand; Andrzej Wasowski (SPIN, 2015)

Family-based model checking using off-the-shelf model checkers: extended abstract. - Aleksandar S. Dimovski; Ahmad Salim Al-Sibahi; Claus Brabrand; Andrzej Wasowski (SPLC, 2015)

Variability Abstractions: Trading Precision for Speed in Family-Based Analyses (Extended Version). - Aleksandar S. Dimovski; Claus Brabrand; Andrzej Wasowski (CoRR, 2015)

Systematic derivation of correct variability-aware program analyses. - Jan Midtgaard; Aleksandar S. Dimovski; Claus Brabrand; Andrzej Wasowski (Sci. Comput. Program., 2015)

Finding Suitable Variability Abstractions for Family-Based Analysis. - Aleksandar S. Dimovski; Claus Brabrand; Andrzej Wasowski (FM, 2016)

Symbolic execution of high-level transformations. - Ahmad Salim Al-Sibahi; Aleksandar S. Dimovski; Andrzej Wasowski (SLE, 2016)

Symbolic Game Semantics for Model Checking Program Families. - Aleksandar S. Dimovski (SPIN, 2016)

From Transition Systems to Variability Models and from Lifted Model Checking Back to UPPAAL. - Aleksandar S. Dimovski; Andrzej Wasowski (Models, Algorithms, Logics and Tools, 2017)

Vehicle-to-grid system used to regulate the frequency of a microgrid. - Snezana Cundeva; Aleksandar S. Dimovski (EUROCON, 2017)

Variability-Specific Abstraction Refinement for Family-Based Model Checking. - Aleksandar S. Dimovski; Andrzej Wasowski (FASE, 2017)

Probabilistic Analysis Based On Symbolic Game Semantics and Model Counting. - Aleksandar S. Dimovski (GandALF, 2017)

Effective Analysis of C Programs by Rewriting Variability. - Alexandru Florin Iosif-Lazar; Jean Melo; Aleksandar S. Dimovski; Claus Brabrand; Andrzej Wasowski (Art Sci. Eng. Program., 2017)

Efficient family-based model checking via variability abstractions. - Aleksandar S. Dimovski; Ahmad Salim Al-Sibahi; Claus Brabrand; Andrzej Wasowski (Int. J. Softw. Tools Technol. Transf., 2017)

Abstract Family-Based Model Checking Using Modal Featured Transition Systems: Preservation of CTL (^{ star } ). - Aleksandar S. Dimovski (FASE, 2018)

Verification of high-level transformations with inductive refinement types. - Ahmad Salim Al-Sibahi; Thomas P. Jensen; Aleksandar S. Dimovski; Andrzej Wasowski (GPCE, 2018)

Abstract Family-based Model Checking using Modal Featured Transition Systems: Preservation of CTL* (Extended Version). - Aleksandar S. Dimovski (CoRR, 2018)

On defining a model driven architecture for an enterprise e-health system. - Blagoj Atanasovski; Milos Bogdanovic; Goran Velinov; Leonid Stoimenov; Aleksandar S. Dimovski; Bojana Koteska; Dragan Jankovic; Irena Skrceska; Margita Kon-Popovska; Boro Jakimovski (Enterp. Inf. Syst., 2018)

Variability abstractions for lifted analyses. - Aleksandar S. Dimovski; Claus Brabrand; Andrzej Wasowski (Sci. Comput. Program., 2018)

Verifying annotated program families using symbolic game semantics. - Aleksandar S. Dimovski (Theor. Comput. Sci., 2018)

Variability Abstraction and Refinement for Game-Based Lifted Model Checking of Full CTL. - Aleksandar S. Dimovski; Axel Legay; Andrzej Wasowski (FASE, 2019)

Lifted static analysis using a binary decision diagram abstract domain. - Aleksandar S. Dimovski (GPCE, 2019)

Variability Abstraction and Refinement for Game-based Lifted Model Checking of full CTL (Extended Version). - Aleksandar S. Dimovski; Axel Legay; Andrzej Wasowski (CoRR, 2019)

Prediction of Horizontal Data Partitioning Through Query Execution Cost Estimation. - Nino Arsov; Goran Velinov; Aleksandar S. Dimovski; Bojana Koteska; Dragan Sahpaski; Margita Kon-Popovska (CoRR, 2019)

Finding suitable variability abstractions for lifted analysis. - Aleksandar S. Dimovski; Claus Brabrand; Andrzej Wasowski (Formal Aspects Comput., 2019)

Computing Program Reliability Using Forward-Backward Precondition Analysis and Model Counting. - Aleksandar S. Dimovski; Axel Legay (FASE, 2020)

A Decision Tree Lifted Domain for Analyzing Program Families with Numerical Features (Extended Version). - Aleksandar S. Dimovski; Sven Apel; Axel Legay (CoRR, 2020)

$ hbox {CTL}^{ star }$ family-based model checking using variability abstractions and modal transition systems. - Aleksandar S. Dimovski (Int. J. Softw. Tools Technol. Transf., 2020)

Generalized abstraction-refinement for game-based CTL lifted model checking. - Aleksandar S. Dimovski; Axel Legay; Andrzej Wasowski (Theor. Comput. Sci., 2020)

Lifted Static Analysis of Dynamic Program Families by Abstract Interpretation. - Aleksandar S. Dimovski; Sven Apel (ECOOP, 2021)

A Decision Tree Lifted Domain for Analyzing Program Families with Numerical Features. - Aleksandar S. Dimovski; Sven Apel; Axel Legay (FASE, 2021)

Lifted termination analysis by abstract interpretation and its applications. - Aleksandar S. Dimovski (GPCE, 2021)

Program Sketching Using Lifted Analysis for Numerical Program Families. - Aleksandar S. Dimovski; Sven Apel; Axel Legay (NFM, 2021)

Model Sketching by Abstraction Refinement for Lifted Model Checking (Extended Version). - Aleksandar S. Dimovski (CoRR, 2021)

Lifted Static Analysis of Dynamic Program Families by Abstract Interpretation (Artifact). - Aleksandar S. Dimovski; Sven Apel (Dagstuhl Artifacts Ser., 2021)

Verification of Program Transformations with Inductive Refinement Types. - Ahmad Salim Al-Sibahi; Thomas P. Jensen; Aleksandar S. Dimovski; Andrzej Wasowski (ACM Trans. Softw. Eng. Methodol., 2021)

A binary decision diagram lifted domain for analyzing program families. - Aleksandar S. Dimovski (J. Comput. Lang., 2021)

Tool Artifact for "Lifted Static Analysis of Dynamic Program Families by Abstract Interpretation". - Aleksandar S. Dimovski; Sven Apel (Zenodo, 2021)

Tool Artifact for "Lifted Static Analysis of Dynamic Program Families by Abstract Interpretation". - Aleksandar S. Dimovski; Sven Apel (Zenodo, 2021)

Tool Artifact for "Lifted Static Analysis of Dynamic Program Families by Abstract Interpretation". - Aleksandar S. Dimovski; Sven Apel (Zenodo, 2021)

Quantitative Program Sketching using Lifted Static Analysis. - Aleksandar S. Dimovski (FASE, 2022)

Model sketching by abstraction refinement for lifted model checking. - Aleksandar S. Dimovski (SAC, 2022)

Very Short-Term Blackout Prediction for Grid-Tied PV Systems Operating in Low Reliability Weak Electric Grids of Developing Countries. - Benson H. Mbuya; Aleksandar S. Dimovski; Marco Merlo; Thomas Kivevele (Complex., 2022)

Several lifted abstract domains for static analysis of numerical program families. - Aleksandar S. Dimovski; Sven Apel; Axel Legay (Sci. Comput. Program., 2022)

Impact of BESS Frequency Control on Microgrids: the Case Study of the Small Island Lipari. - Matteo Spiller; Andrea Vicario; Giuliano Rancilio; Aleksandar S. Dimovski; Giuseppe Palamara; Marco Merlo (ICECET, 2023)

On Verifying Temporal Properties of Configurable Software. - Aleksandar S. Dimovski; Bekim Fetaji (MECO, 2023)

Error Invariants for Fault Localization via Abstract Interpretation. - Aleksandar S. Dimovski (SAS, 2023)

Generalized Program Sketching by Abstract Interpretation and Logical Abduction. - Aleksandar S. Dimovski (SAS, 2023)

Family-based model checking of fMultiLTL properties. - Aleksandar S. Dimovski; Sami Lazreg; Maxime Cordy; Axel Legay (SPLC (A), 2023)

Quantitative program sketching using decision tree-based lifted analysis. - Aleksandar S. Dimovski (J. Comput. Lang., 2023)

Mutation-Based Lifted Repair of Software Product Lines. - Aleksandar S. Dimovski (ECOOP, 2024)

Semantic Fault Localization for Mutation-based Program Repair. - Aleksandar S. Dimovski; Shpetim Rexhepi; Goran Velinov; Izet Zeqiri (MECO, 2024)

Mutation-Based Lifted Repair of Software Product Lines (Artifact). - Aleksandar S. Dimovski (Dagstuhl Artifacts Ser., 2024)

Fault localization by abstract interpretation and its applications. - Aleksandar S. Dimovski (J. Comput. Lang., 2024)

Imperative Program Synthesis by Abstract Static Analysis and SMT Mutations. - Aleksandar S. Dimovski (GPCE, 2025)

Feature Model for Imperative Program Synthesis. - Aleksandar S. Dimovski; Goran Velinov; Shpetim Rexhepi (MECO, 2025)

Weakest Safe Context Synthesis by Symbolic Game Semantics and Logical Abduction. - Aleksandar S. Dimovski (SAC, 2025)

Variability Fault Localization by Abstract Interpretation and its Application to SPL Repair. - Aleksandar S. Dimovski (SLE, 2025)