| 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 | 50 | 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 | 43 | 2015 |
| Data-abstraction refinement: A game semantic approach A Dimovski, DR Ghica, R Lazić International Static Analysis Symposium, 102-117, 2005 | 41 | 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 | 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 |
| 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 | 16 | 2020 |
| Lifted static analysis using a binary decision diagram abstract domain AS Dimovski Proceedings of the 18th ACM SIGPLAN International Conference on Generative …, 2019 | 16 | 2019 |
| 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 |
Andrzej WąsowskiProfessor, IT University of Copenhagen, Denmark在 itu.dk 的电子邮件经过验证
