| |
| 2008 | ||
|---|---|---|
| 6 | EE | Barbara König, Vitali Kozioura: Towards the Verification of Attributed Graph Transformation Systems. ICGT 2008: 305-320 |
| 5 | EE | Barbara 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 | ||
| 4 | EE | Vitali Kozioura: Verification of Random Graph Transformation Systems. Electr. Notes Theor. Comput. Sci. 175(4): 63-72 (2007) |
| 3 | EE | Barbara König, Vitali Kozioura: Incremental construction of coverability graphs. Inf. Process. Lett. 103(5): 203-209 (2007) |
| 2006 | ||
| 2 | EE | Barbara 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) | |
| 1 | Barbara König | [1] [2] [3] [5] [6] |