Spremljaj
Aleksandar S. Dimovski
Aleksandar S. Dimovski
Mother Teresa University, Skopje
Preverjeni e-poštni naslov na unt.edu.mk - Domača stran
Naslov
Navedeno
Navedeno
Leto
Attacks on the transposition ciphers using optimization heuristics
A Dimovski, D Gligoroski
Proceedings of ICEST, 1-4, 2003
602003
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
492015
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
412015
Data-abstraction refinement: A game semantic approach
A Dimovski, DR Ghica, R Lazić
International Static Analysis Symposium, 102-117, 2005
412005
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
342017
Variability-specific abstraction refinement for family-based model checking
AS Dimovski, A Wąsowski
Fundamental Approaches to Software Engineering: 20th International …, 2017
322017
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
272015
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
242017
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
242015
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
232010
Program verification using symbolic game semantics
AS Dimovski
Theoretical Computer Science 560, 364-379, 2014
222014
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
212016
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
202018
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
202006
Symbolic game semantics for model checking program families
AS Dimovski
Model Checking Software: 23rd International Symposium, SPIN 2016, Co-located …, 2016
172016
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
Generating highly nonlinear Boolean functions using a genetic algorithm
A Dimovski, D Gligoroski
6th International Conference on Telecommunications in Modern Satellite …, 2003
172003
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
162020
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
162017
Lifted static analysis using a binary decision diagram abstract domain
AS Dimovski
Proceedings of the 18th ACM SIGPLAN International Conference on Generative …, 2019
152019
Sistem trenutno ne more izvesti postopka. Poskusite znova pozneje.
Članki 1–20