Aleksandar S. Dimovski
Aleksandar S. Dimovski
Verified email at itu.dk - Homepage
TitleCited byYear
Attacks on the transposition ciphers using optimization heuristics
A Dimovski, D Gligoroski
Proceedings of ICEST, 1-4, 2003
412003
Data-abstraction refinement: A game semantic approach
A Dimovski, DR Ghica, R Lazić
International Static Analysis Symposium, 102-117, 2005
392005
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
292015
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
222015
Variability-specific abstraction refinement for family-based model checking
AS Dimovski, A Wąsowski
International Conference on Fundamental Approaches to Software Engineering …, 2017
192017
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 (5), 585-603, 2017
182017
Horizontal partitioning by predicate abstraction and its application to data warehouse design
A Dimovski, G Velinov, D Sahpaski
East European Conference on Advances in Databases and Information Systems …, 2010
182010
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
172015
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
172007
A counterexample-guided refinement tool for open procedural programs
A Dimovski, DR Ghica, R Lazić
International SPIN Workshop on Model Checking of Software, 288-292, 2006
172006
Generating highly nonlinear Boolean functions using a genetic algorithm
A Dimovski, D Gligoroski
6th International Conference on Telecommunications in Modern Satellite …, 2003
162003
Program verification using symbolic game semantics
AS Dimovski
Theoretical Computer Science 560, 364-379, 2014
152014
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
142017
From transition systems to variability models and from lifted model checking back to UPPAAL
AS Dimovski, A Wąsowski
Models, Algorithms, Logics and Tools, 249-268, 2017
132017
Symbolic game semantics for model checking program families
AS Dimovski
International Symposium on Model Checking Software, 19-37, 2016
132016
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
132015
Finding suitable variability abstractions for family-based analysis
AS Dimovski, C Brabrand, A Wąsowski
International Symposium on Formal Methods, 217-234, 2016
102016
Attack on the polyalphabetic substitution cipher using a parallel genetic algorithm
A Dimovski, D Gligoroski
Swiss-Macedonian scientific cooperation trought SCOPES project, 2003
102003
Csp representation of game semantics for second-order idealized algol
A Dimovski, R Lazić
International Conference on Formal Engineering Methods, 146-161, 2004
82004
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
72016
The system can't perform the operation now. Try again later.
Articles 1–20