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
54 2015 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
45 2015 Data-abstraction refinement: A game semantic approach A Dimovski, DR Ghica, R Lazić
International Static Analysis Symposium, 102-117, 2005
42 2005 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
38 2017 Variability-specific abstraction refinement for family-based model checking AS Dimovski, A Wąsowski
Fundamental Approaches to Software Engineering: 20th International …, 2017
34 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
27 2015 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
26 2017 AS Dimovski
International Journal on Software Tools for Technology Transfer 22 (1), 35-55, 2020
23 2020 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
23 2016 Symbolic game semantics for model checking program families AS Dimovski
Model Checking Software: 23rd International Symposium, SPIN 2016, Co-located …, 2016
23 2016 Program verification using symbolic game semantics AS Dimovski
Theoretical Computer Science 560, 364-379, 2014
23 2014 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 Lifted static analysis using a binary decision diagram abstract domain AS Dimovski
Proceedings of the 18th ACM SIGPLAN International Conference on Generative …, 2019
22 2019 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
22 2018 Several lifted abstract domains for static analysis of numerical program families AS Dimovski, S Apel, A Legay
Science of Computer Programming 213, 102725, 2022
21 2022 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
21 2017 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
21 2007 Generating highly nonlinear Boolean functions using a genetic algorithm A Dimovski, D Gligoroski
6th International Conference on Telecommunications in Modern Satellite …, 2003
21 2003 
Andrzej WąsowskiProfessor, IT University of Copenhagen, DenmarkBestätigte E-Mail-Adresse bei itu.dk
