[Home]   [Research]   [Tools]   [Publications]   [CV]    [Photo Gallery]    [Links]
 
 
 

 

Aleksandar Dimovski

 

PhD student

 

Department of Computer Science

University of Warwick
Office 333
Email aleks@dcs.warwick.ac.uk
Phone +44 24 7652 2412
Fax +44 24 7657 3024
Mail Department of Computer Science, University of Warwick, Coventry CV4 7AL, UK
 
 
 
Research
 
My research is currently focused on verification open program fragments using combination of techniques like Model Checking, Game Semantics and Program Analysis.
 
Keywords: Software model checking, Game semantics, Process algebra - CSP, Program analysis
 
 
 
Tools
 
  • GameChecker - A Model Checking Tool Based on Game Semantics and CSP
 
 
 
Publications   [DBLP]
 

  • A. Dimovski. A Compositional Method for Deciding Equivalence and Termination of Nondeterministic Programs. In Proceedings of the 8th International Conference on Integrated Formal Methods (iFM'10), Lecture Notes in Computer Science 6396: 121-135, Springer, Nancy, October 2010. (PDF)

  • A.Bakewell, A. Dimovski, D. R. Ghica, and R. Lazic. Data-Abstraction Refinement: A Game Semantic Approach (Extended Version). In International Journal on Software Tools for Technology Transfer (STTT), 12(5): 373--389, Springer-Verlag, 2010. (PDF)

  • A. Dimovski, G. Velinov, and D. Sahpaski. Horizontal Partitioning by Predicate Abstraction and its Application to Data Warehouse Design. In Proceedings of the 14th East European Conference on Advances in Databases and Information Systems (ADBIS'10), Lecture Notes in Computer Science 6295: 164-175, Springer, Novi Sad, September 2010. (PDF)

  • A. Dimovski. Compositional Software Verification Based on Game Semantics. PhD Thesis, University of Warwick, UK, July 2007.

  • A. Dimovski and R. Lazic. Compositional  Software Verification Based on Game Semantics and CSP. In International Journal on Software Tools for Technology Transfer (STTT), 9(1): 37--51, Springer-Verlag, 2007. (PDF)
  • A. Dimovski and R. Lazic. Assume-Guarantee Software Verification Based on Game Semantics. In Proceedings of the 8th International Conference on Formal Engineering Methods (ICFEM'06), Lecture Notes in Computer Science 4260: 529-548, Springer, Macao, November 2006.(PDF)
  • A. Dimovski, D. R. Ghica and R. Lazic. A Counterexample-Guided Refinement Tool for Open Procedural Programs. In Proceedings of the 13th International SPIN Workshop on Model Checking of Software (SPIN'06), Lecture Notes in Computer Science 3925: 288-292,  Springer, Vienna, March 2006. (PDF)
  • A. Dimovski, D. R. Ghica and R. Lazic. Data-Abstraction Refinement: A Game Semantic Approach. In Proceedings of the 12th International Static Analysis Symposium (SAS'05), Lecture Notes in Computer Science 3672: 102-117,  Springer, London, September 2005. (PDF)
  • A. Dimovski and R. Lazic. Software Model Checking Based on Game Semantics and CSP. In Proceedings of the 4th International Workshop on Automated Verification of Critical Systems (AVoCS'04), Electronic Notes in Theoretical Computer Science 128(6): 105-125, Elsevier, London, September 2004. (PDF)
  • A. Dimovski and R. Lazic. CSP Representation of Game Semantics for Second-order Idealized Algol. In Proceedings of the 6th International Conference on Formal Engineering Methods (ICFEM'04), Lecture Notes in Computer Science 3308: 146-161, Springer, Seattle, November 2004. (PDF)
  • A. Dimovski and D. Gligoroski. Generating highly nonlinear Boolean functions using a Genetic algorithm. In Proceedings of 1st Balcan Conference in Informatics (BCI'03), Thessaloniki, Greece, November 2003. (PDF)
  • A. Dimovski and D. Gligoroski. Attacks On the Transposition Ciphers using Optimization Heuristics. In Proceedings of the XXXVIII International Scientific Conference on Information, Communication & Energy Systems & Technologies (ICEST'03), Sofia, Bulgaria, October 2003. (PDF)