Aleksandar S. Dimovski
Aleksandar S. Dimovski
Mother Teresa University, Skopje
Verified email at - Homepage
Cited by
Cited by
Attacks on the transposition ciphers using optimization heuristics
A Dimovski, D Gligoroski
Proceedings of ICEST, 1-4, 2003
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
Data-abstraction refinement: A game semantic approach
A Dimovski, DR Ghica, R Lazić
International Static Analysis Symposium, 102-117, 2005
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
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
Variability-specific abstraction refinement for family-based model checking
AS Dimovski, A Wąsowski
Fundamental Approaches to Software Engineering: 20th International …, 2017
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
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
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
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
Program verification using symbolic game semantics
AS Dimovski
Theoretical Computer Science 560, 364-379, 2014
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
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
A counterexample-guided refinement tool for open procedural programs
A Dimovski, DR Ghica, R Lazić
Model Checking Software: 13th International SPIN Workshop, Vienna, Austria …, 2006
Symbolic game semantics for model checking program families
AS Dimovski
Model Checking Software: 23rd International Symposium, SPIN 2016, Co-located …, 2016
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
Generating highly nonlinear Boolean functions using a genetic algorithm
A Dimovski, D Gligoroski
6th International Conference on Telecommunications in Modern Satellite …, 2003
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
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
Lifted static analysis using a binary decision diagram abstract domain
AS Dimovski
Proceedings of the 18th ACM SIGPLAN International Conference on Generative …, 2019
The system can't perform the operation now. Try again later.
Articles 1–20