Aleksandar S. Dimovski

79 papers A* 1A 4B 19C 5Misc 2Journal 28Unranked 19
YearRankTypeTitle / Venue / Authors
2026 B conf
Abstract Symbolic Finite Automata for Algorithmic Game Semantics.
FASE
Aleksandar S. Dimovski
2026 J jnl
Imperative-program synthesis from assumptions and assertions by abstract analysis and SMT mutations.
J. Comput. Lang.
Aleksandar S. Dimovski
2025 — conf
Feature Model for Imperative Program Synthesis.
MECO
Aleksandar S. Dimovski, Goran Velinov, Shpetim Rexhepi
2025 B conf
Imperative Program Synthesis by Abstract Static Analysis and SMT Mutations.
GPCE
Aleksandar S. Dimovski
2025 — conf
On Synthesizing Presence Conditions in Numerical Software Product Lines.
SPLC (A)
Aleksandar S. Dimovski
2025 B conf
Variability Fault Localization by Abstract Interpretation and its Application to SPL Repair.
SLE
Aleksandar S. Dimovski
2025 Misc conf
Weakest Safe Context Synthesis by Symbolic Game Semantics and Logical Abduction.
SAC
Aleksandar S. Dimovski
2025 C conf
While-guard Synthesis by Abstract Static Analysis and CHC Solving.
FedCSIS
Aleksandar S. Dimovski
2024 J jnl
Fault localization by abstract interpretation and its applications.
J. Comput. Lang.
Aleksandar S. Dimovski
2024 J jnl
Mutation-Based Lifted Repair of Software Product Lines (Artifact).
Dagstuhl Artifacts Ser.
Aleksandar S. Dimovski
2024 A conf
Mutation-Based Lifted Repair of Software Product Lines.
ECOOP
Aleksandar S. Dimovski
2024 — conf
Semantic Fault Localization for Mutation-based Program Repair.
MECO
Aleksandar S. Dimovski, Shpetim Rexhepi, Goran Velinov, Izet Zeqiri
2023 B conf
Error Invariants for Fault Localization via Abstract Interpretation.
SAS
Aleksandar S. Dimovski
2023 — conf
Family-based model checking of fMultiLTL properties.
SPLC (A)
Aleksandar S. Dimovski, Sami Lazreg, Maxime Cordy, Axel Legay
2023 B conf
Generalized Program Sketching by Abstract Interpretation and Logical Abduction.
SAS
Aleksandar S. Dimovski
2023 — conf
On Verifying Temporal Properties of Configurable Software.
MECO
Aleksandar S. Dimovski, Bekim Fetaji
2023 J jnl
Quantitative program sketching using decision tree-based lifted analysis.
J. Comput. Lang.
Aleksandar S. Dimovski
2022 Misc conf
Model sketching by abstraction refinement for lifted model checking.
SAC
Aleksandar S. Dimovski
2022 B conf
Quantitative Program Sketching using Lifted Static Analysis.
FASE
Aleksandar S. Dimovski
2022 J jnl
Several lifted abstract domains for static analysis of numerical program families.
Sci. Comput. Program.
Aleksandar S. Dimovski, Sven Apel, Axel Legay
2021 B conf
A Decision Tree Lifted Domain for Analyzing Program Families with Numerical Features.
FASE
Aleksandar S. Dimovski, Sven Apel, Axel Legay
2021 J jnl
A binary decision diagram lifted domain for analyzing program families.
J. Comput. Lang.
Aleksandar S. Dimovski
2021 J jnl
Lifted Static Analysis of Dynamic Program Families by Abstract Interpretation (Artifact).
Dagstuhl Artifacts Ser.
Aleksandar S. Dimovski, Sven Apel
2021 A conf
Lifted Static Analysis of Dynamic Program Families by Abstract Interpretation.
ECOOP
Aleksandar S. Dimovski, Sven Apel
2021 B conf
Lifted termination analysis by abstract interpretation and its applications.
GPCE
Aleksandar S. Dimovski
2021 J jnl
Model Sketching by Abstraction Refinement for Lifted Model Checking (Extended Version).
CoRR
Aleksandar S. Dimovski
2021 — conf
Program Sketching Using Lifted Analysis for Numerical Program Families.
NFM
Aleksandar S. Dimovski, Sven Apel, Axel Legay
2021 J jnl
Verification of Program Transformations with Inductive Refinement Types.
ACM Trans. Softw. Eng. Methodol.
Ahmad Salim Al-Sibahi, Thomas P. Jensen, Aleksandar S. Dimovski, Andrzej Wasowski
2020 J jnl
$\hbox {CTL}^{\star }$ family-based model checking using variability abstractions and modal transition systems.
Int. J. Softw. Tools Technol. Transf.
Aleksandar S. Dimovski
2020 J jnl
A Decision Tree Lifted Domain for Analyzing Program Families with Numerical Features (Extended Version).
CoRR
Aleksandar S. Dimovski, Sven Apel, Axel Legay
2020 B conf
Computing Program Reliability Using Forward-Backward Precondition Analysis and Model Counting.
FASE
Aleksandar S. Dimovski, Axel Legay
2020 J jnl
Generalized abstraction-refinement for game-based CTL lifted model checking.
Theor. Comput. Sci.
Aleksandar S. Dimovski, Axel Legay, Andrzej Wasowski
2019 J jnl
Finding suitable variability abstractions for lifted analysis.
Formal Aspects Comput.
Aleksandar S. Dimovski, Claus Brabrand, Andrzej Wasowski
2019 B conf
Lifted static analysis using a binary decision diagram abstract domain.
GPCE
Aleksandar S. Dimovski
2019 J jnl
Prediction of Horizontal Data Partitioning Through Query Execution Cost Estimation.
CoRR
Nino Arsov, Goran Velinov, Aleksandar S. Dimovski, Bojana Koteska, Dragan Sahpaski, Margita Kon-Popovska
2019 B conf
Variability Abstraction and Refinement for Game-Based Lifted Model Checking of Full CTL.
FASE
Aleksandar S. Dimovski, Axel Legay, Andrzej Wasowski
2019 J jnl
Variability Abstraction and Refinement for Game-based Lifted Model Checking of full CTL (Extended Version).
CoRR
Aleksandar S. Dimovski, Axel Legay, Andrzej Wasowski
2018 B conf
Abstract Family-Based Model Checking Using Modal Featured Transition Systems: Preservation of CTL\(^{\star }\).
FASE
Aleksandar S. Dimovski
2018 J jnl
Abstract Family-based Model Checking using Modal Featured Transition Systems: Preservation of CTL* (Extended Version).
CoRR
Aleksandar S. Dimovski
2018 J jnl
On defining a model driven architecture for an enterprise e-health system.
Enterp. Inf. Syst.
Blagoj Atanasovski, Milos Bogdanovic, Goran Velinov, Leonid Stoimenov, Aleksandar S. Dimovski, Bojana Koteska, Dragan Jankovic, Irena Skrceska, Margita Kon-Popovska, Boro Jakimovski
2018 J jnl
Variability abstractions for lifted analyses.
Sci. Comput. Program.
Aleksandar S. Dimovski, Claus Brabrand, Andrzej Wasowski
2018 J jnl
Verification of High-Level Transformations with Inductive Refinement Types.
CoRR
Ahmad Salim Al-Sibahi, Thomas P. Jensen, Aleksandar S. Dimovski, Andrzej Wasowski
2018 B conf
Verification of high-level transformations with inductive refinement types.
GPCE
Ahmad Salim Al-Sibahi, Thomas P. Jensen, Aleksandar S. Dimovski, Andrzej Wasowski
2018 J jnl
Verifying annotated program families using symbolic game semantics.
Theor. Comput. Sci.
Aleksandar S. Dimovski
2017 J jnl
Effective Analysis of C Programs by Rewriting Variability.
CoRR
Alexandru Florin Iosif-Lazar, Jean Melo, Aleksandar S. Dimovski, Claus Brabrand, Andrzej Wasowski
2017 J jnl
Effective Analysis of C Programs by Rewriting Variability.
Art Sci. Eng. Program.
Alexandru Florin Iosif-Lazar, Jean Melo, Aleksandar S. Dimovski, Claus Brabrand, Andrzej Wasowski
2017 J jnl
Efficient family-based model checking via variability abstractions.
Int. J. Softw. Tools Technol. Transf.
Aleksandar S. Dimovski, Ahmad Salim Al-Sibahi, Claus Brabrand, Andrzej Wasowski
2017 — conf
From Transition Systems to Variability Models and from Lifted Model Checking Back to UPPAAL.
Models, Algorithms, Logics and Tools
Aleksandar S. Dimovski, Andrzej Wasowski
2017 — conf
Probabilistic Analysis Based On Symbolic Game Semantics and Model Counting.
GandALF
Aleksandar S. Dimovski
2017 B conf
Variability-Specific Abstraction Refinement for Family-Based Model Checking.
FASE
Aleksandar S. Dimovski, Andrzej Wasowski
2017 — conf
Vehicle-to-grid system used to regulate the frequency of a microgrid.
EUROCON
Snezana Cundeva, Aleksandar S. Dimovski
2016 B conf
Finding Suitable Variability Abstractions for Family-Based Analysis.
FM
Aleksandar S. Dimovski, Claus Brabrand, Andrzej Wasowski
2016 — conf
Symbolic Game Semantics for Model Checking Program Families.
SPIN
Aleksandar S. Dimovski
2016 B conf
Symbolic execution of high-level transformations.
SLE
Ahmad Salim Al-Sibahi, Aleksandar S. Dimovski, Andrzej Wasowski
2015 A* conf
Experiences from Designing and Validating a Software Modernization Transformation (E).
ASE
Alexandru F. Iosif-Lazar, Ahmad Salim Al-Sibahi, Aleksandar S. Dimovski, Juha Erik Savolainen, Krzysztof Sierszecki, Andrzej Wasowski
2015 — conf
Family-Based Model Checking Without a Family-Based Model Checker.
SPIN
Aleksandar S. Dimovski, Ahmad Salim Al-Sibahi, Claus Brabrand, Andrzej Wasowski
2015 B conf
Family-based model checking using off-the-shelf model checkers: extended abstract.
SPLC
Aleksandar S. Dimovski, Ahmad Salim Al-Sibahi, Claus Brabrand, Andrzej Wasowski
2015 J jnl
Systematic derivation of correct variability-aware program analyses.
Sci. Comput. Program.
Jan Midtgaard, Aleksandar S. Dimovski, Claus Brabrand, Andrzej Wasowski
2015 J jnl
Variability Abstractions: Trading Precision for Speed in Family-Based Analyses (Extended Version).
CoRR
Aleksandar S. Dimovski, Claus Brabrand, Andrzej Wasowski
2015 A conf
Variability Abstractions: Trading Precision for Speed in Family-Based Analyses.
ECOOP
Aleksandar S. Dimovski, Claus Brabrand, Andrzej Wasowski
2014 — conf
Ensuring Secure Non-interference of Programs by Game Semantics.
STM
Aleksandar S. Dimovski
2014 J jnl
Program verification using symbolic game semantics.
Theor. Comput. Sci.
Aleksandar S. Dimovski
2013 — conf
Slot Games for Detecting Timing Leaks of Programs.
GandALF
Aleksandar S. Dimovski
2013 A conf
Verifying Data Independent Programs Using Game Semantics.
SC
Aleksandar S. Dimovski
2012 C conf
Efficient Processing of Top-K Join Queries by Attribute Domain Refinement.
ADBIS
Dragan Sahpaski, Aleksandar S. Dimovski, Goran Velinov, Margita Kon-Popovska
2012 — conf
Parameterized verification of open procedural programs.
BCI
Aleksandar S. Dimovski
2012 — conf
Symbolic Representation of Algorithmic Game Semantics
GandALF
Aleksandar S. Dimovski
2010 B conf
A Compositional Method for Deciding Equivalence and Termination of Nondeterministic Programs.
IFM
Aleksandar S. Dimovski
2010 — conf
A Compositional Method for Deciding Program Termination.
ICT Innovations
Aleksandar S. Dimovski
2010 J jnl
Data-abstraction refinement: a game semantic approach.
Int. J. Softw. Tools Technol. Transf.
Adam Bakewell, Aleksandar S. Dimovski, Dan R. Ghica, Ranko Lazic
2010 C conf
Horizontal Partitioning by Predicate Abstraction and Its Application to Data Warehouse Design.
ADBIS
Aleksandar S. Dimovski, Goran Velinov, Dragan Sahpaski
2007 J jnl
Compositional software verification based on game semantics and process algebra.
Int. J. Softw. Tools Technol. Transf.
Aleksandar S. Dimovski, Ranko Lazic
2007 — —
Compositional software verification based on game semantics.
Aleksandar S. Dimovski
2006 — conf
A Counterexample-Guided Refinement Tool for Open Procedural Programs.
SPIN
Aleksandar S. Dimovski, Dan R. Ghica, Ranko Lazic
2006 C conf
Assume-Guarantee Software Verification Based on Game Semantics.
ICFEM
Aleksandar S. Dimovski, Ranko Lazic
2005 — conf
Abstraction-refinement for game-based model checking.
GALOP@ETAPS
Aleksandar S. Dimovski, Dan R. Ghica, Ranko Lazic
2005 B conf
Data-Abstraction Refinement: A Game Semantic Approach.
SAS
Aleksandar S. Dimovski, Dan R. Ghica, Ranko Lazic
2004 C conf
CSP Representation of Game Semantics for Second-Order Idealized Algol.
ICFEM
Aleksandar S. Dimovski, Ranko Lazic
2004 — conf
Software Model Checking Based on Game Semantics and CSP.
AVoCS
Aleksandar S. Dimovski, Ranko Lazic