Follow
Aleksandar S. Dimovski
Aleksandar S. Dimovski
Mother Teresa University, Skopje
Verified email at unt.edu.mk - Homepage
Title
Cited by
Cited by
Year
Attacks on the transposition ciphers using optimization heuristics
A Dimovski, D Gligoroski
Proceedings of ICEST, 1-4, 2003
602003
Systematic derivation of correct variability-aware program analyses
J Midtgaard, AS Dimovski, C Brabrand, A Wąsowski
Science of Computer Programming 105, 145-170, 2015
532015
Family-based model checking without a family-based model checker
AS Dimovski, AS Al-Sibahi, C Brabrand, A Wąsowski
International SPIN Workshop on Model Checking of Software, 282-299, 2015
442015
Data-abstraction refinement: A game semantic approach
A Dimovski, DR Ghica, R Lazić
International Static Analysis Symposium, 102-117, 2005
422005
Efficient family-based model checking via variability abstractions
AS Dimovski, AS Al-Sibahi, C Brabrand, A Wąsowski
International Journal on Software Tools for Technology Transfer 19, 585-603, 2017
362017
Variability-specific abstraction refinement for family-based model checking
AS Dimovski, A Wąsowski
Fundamental Approaches to Software Engineering: 20th International …, 2017
332017
Variability abstractions: Trading precision for speed in family-based analyses
AS Dimovski, C Brabrand, A Wasowski
29th European Conference on Object-Oriented Programming (ECOOP 2015), 2015
272015
Experiences from designing and validating a software modernization transformation (E)
AF Iosif-Lazar, AS Al-Sibahi, AS Dimovski, JE Savolainen, K Sierszecki, ...
2015 30th IEEE/ACM International Conference on Automated Software …, 2015
262015
Effective analysis of c programs by rewriting variability
AF Iosif-Lazar, J Melo, AS Dimovski, C Brabrand, A Wasowski
arXiv preprint arXiv:1701.08114, 2017
252017
Symbolic execution of high-level transformations
AS Al-Sibahi, AS Dimovski, A Wąsowski
Proceedings of the 2016 ACM SIGPLAN International Conference on Software …, 2016
232016
Program verification using symbolic game semantics
AS Dimovski
Theoretical Computer Science 560, 364-379, 2014
232014
Horizontal partitioning by predicate abstraction and its application to data warehouse design
A Dimovski, G Velinov, D Sahpaski
Advances in Databases and Information Systems: 14th East European Conference …, 2010
232010
Lifted static analysis using a binary decision diagram abstract domain
AS Dimovski
Proceedings of the 18th ACM SIGPLAN International Conference on Generative …, 2019
222019
On defining a model driven architecture for an enterprise e-health system
B Atanasovski, M Bogdanovic, G Velinov, L Stoimenov, AS Dimovski, ...
Enterprise information systems 12 (8-9), 915-941, 2018
222018
family-based model checking using variability abstractions and modal transition systems
AS Dimovski
International Journal on Software Tools for Technology Transfer 22 (1), 35-55, 2020
212020
From transition systems to variability models and from lifted model checking back to UPPAAL
AS Dimovski, A Wąsowski
Models, Algorithms, Logics and Tools: Essays Dedicated to Kim Guldstrand …, 2017
212017
Symbolic game semantics for model checking program families
AS Dimovski
Model Checking Software: 23rd International Symposium, SPIN 2016, Co-located …, 2016
212016
Compositional software verification based on game semantics and process algebra
A Dimovski, R Lazić
International Journal on Software Tools for Technology Transfer 9 (1), 37-51, 2007
212007
Generating highly nonlinear Boolean functions using a genetic algorithm
A Dimovski, D Gligoroski
6th International Conference on Telecommunications in Modern Satellite …, 2003
212003
Several lifted abstract domains for static analysis of numerical program families
AS Dimovski, S Apel, A Legay
Science of Computer Programming 213, 102725, 2022
202022
The system can't perform the operation now. Try again later.
Articles 1–20