Travelled to:1 × Austria
1 × United Kingdom
Collaborated with:B.König
Talks about:transform (3) system (3) graph (3) analysi (2) counterexampl (1) attribut (1) abstract (1) version (1) toward (1) verif (1)
Person: Vitali Kozioura
DBLP: Kozioura:Vitali
Contributed to:
2008
2008
2006Wrote 3 papers:
- ICGT-2008-KonigK #graph transformation #towards #verification
- Towards the Verification of Attributed Graph Transformation Systems (BK, VK), pp. 305–320.
- GT-VMT-2006-KonigK08 #analysis #graph transformation
- Augur 2 — A New Version of a Tool for the Analysis of Graph Transformation Systems (BK, VK), pp. 201–210.
- TACAS-2006-KonigK #abstraction #analysis #graph transformation #refinement
- Counterexample-Guided Abstraction Refinement for the Analysis of Graph Transformation Systems (BK, VK), pp. 197–211.