Aleksandar S. Dimovski

Publication Activity (10 Years)

Years Active: 2004-2024
Publications (10 Years): 45

Top Topics

Symbolic Execution

Abstract Interpretation

Temporal Properties

Top Venues

Theor. Comput. Sci.

Publications

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