| 2007 |
|---|
| 7 | EE | Aleksandar Dimovski,
Ranko Lazic:
Compositional software verification based on game semantics and process algebra.
STTT 9(1): 37-51 (2007) |
| 2006 |
|---|
| 6 | EE | Aleksandar Dimovski,
Ranko Lazic:
Assume-Guarantee Software Verification Based on Game Semantics.
ICFEM 2006: 529-548 |
| 5 | EE | Aleksandar Dimovski,
Dan R. Ghica,
Ranko Lazic:
A Counterexample-Guided Refinement Tool for Open Procedural Programs.
SPIN 2006: 288-292 |
| 2005 |
|---|
| 4 | | Aleksandar Dimovski,
Dan R. Ghica,
Ranko Lazic:
Abstraction-refinement for game-based model checking.
GALOP 2005: 139 |
| 3 | EE | Aleksandar Dimovski,
Dan R. Ghica,
Ranko Lazic:
Data-Abstraction Refinement: A Game Semantic Approach.
SAS 2005: 102-117 |
| 2 | EE | Aleksandar Dimovski,
Ranko Lazic:
Software Model Checking Based on Game Semantics and CSP.
Electr. Notes Theor. Comput. Sci. 128(6): 105-125 (2005) |
| 2004 |
|---|
| 1 | EE | Aleksandar Dimovski,
Ranko Lazic:
CSP Representation of Game Semantics for Second-Order Idealized Algol.
ICFEM 2004: 146-161 |
