Attacks on the transposition ciphers using optimization heuristics A Dimovski, D Gligoroski
Proceedings of ICEST, 1-4, 2003
60 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
49 2015 Data-abstraction refinement: A game semantic approach A Dimovski, DR Ghica, R Lazić
International Static Analysis Symposium, 102-117, 2005
41 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
40 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
34 2017 Variability-specific abstraction refinement for family-based model checking AS Dimovski, A Wąsowski
Fundamental Approaches to Software Engineering: 20th International …, 2017
32 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
27 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
24 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
24 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
23 2010 Program verification using symbolic game semantics AS Dimovski
Theoretical Computer Science 560, 364-379, 2014
22 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
21 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
20 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
20 2006 Symbolic game semantics for model checking program families AS Dimovski
Model Checking Software: 23rd International Symposium, SPIN 2016, Co-located …, 2016
17 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
17 2007 Generating highly nonlinear Boolean functions using a genetic algorithm A Dimovski, D Gligoroski
6th International Conference on Telecommunications in Modern Satellite …, 2003
17 2003 AS Dimovski
International Journal on Software Tools for Technology Transfer 22 (1), 35-55, 2020
16 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
16 2017 Lifted static analysis using a binary decision diagram abstract domain AS Dimovski
Proceedings of the 18th ACM SIGPLAN International Conference on Generative …, 2019
15 2019 
Andrzej WąsowskiProfessor, IT University of Copenhagen, DenmarkE-mail confirmado em itu.dk
