Aleksandar S. Dimovski

Aleksandar S. Dimovski

Mother Teresa University - Kodaikanal / North Macedonia
Engineering & Technology / Computer Science
AD Scientific Index ID: 1556081
-
person_outline Aleksandar S. Dimovski's MOST POPULAR ARTICLES
1-) Attacks on the transposition ciphers using optimization heuristicsA Dimovski, D GligoroskiProceedings of ICEST, 1-4, 2003552003
2-) Systematic derivation of correct variability-aware program analysesJ Midtgaard, AS Dimovski, C Brabrand, A WąsowskiScience of Computer Programming 105, 145-170, 2015462015
3-) Family-based model checking without a family-based model checkerAS Dimovski, AS Al-Sibahi, C Brabrand, A WąsowskiInternational SPIN Workshop on Model Checking of Software, 282-299, 2015432015
4-) Data-abstraction refinement: A game semantic approachA Dimovski, DR Ghica, R LazićInternational Static Analysis Symposium, 102-117, 2005422005
5-) Efficient family-based model checking via variability abstractionsAS Dimovski, AS Al-Sibahi, C Brabrand, A WąsowskiInternational Journal on Software Tools for Technology Transfer 19, 585-603, 2017372017