dblp.uni-trier.dewww.uni-trier.de

Vitali Kozioura

List of publications from the DBLP Bibliography Server - FAQ
Coauthor Index - Ask others: ACM DL/Guide - CiteSeer - CSB - Google - MSN - Yahoo

2008
6EEBarbara König, Vitali Kozioura: Towards the Verification of Attributed Graph Transformation Systems. ICGT 2008: 305-320
5EEBarbara König, Vitali Kozioura: Augur 2 - A New Version of a Tool for the Analysis of Graph Transformation Systems. Electr. Notes Theor. Comput. Sci. 211: 201-210 (2008)
2007
4EEVitali Kozioura: Verification of Random Graph Transformation Systems. Electr. Notes Theor. Comput. Sci. 175(4): 63-72 (2007)
3EEBarbara König, Vitali Kozioura: Incremental construction of coverability graphs. Inf. Process. Lett. 103(5): 203-209 (2007)
2006
2EEBarbara König, Vitali Kozioura: Counterexample-Guided Abstraction Refinement for the Analysis of Graph Transformation Systems. TACAS 2006: 197-211
2005
1 Barbara König, Vitali Kozioura: Augur - A Tool for the Analysis of Graph Transformation Systems. Bulletin of the EATCS 87: 126-137 (2005)

Coauthor Index

1Barbara König [1] [2] [3] [5] [6]

Copyright © Sun May 17 03:24:02 2009 by Michael Ley (ley@uni-trier.de)