Unfoldings of Coloured Petri Nets. - Vitaly E. Kozura (Ershov Memorial Conference, 2001)

Basic-REAL: Integrated Approach for Design, Specification and Verification of Distributed Systems. - Valery A. Nepomniaschy; Nikolay V. Shilov 002; Evgeny V. Bodin; Vitaly E. Kozura (IFM, 2002)

Verification of Distributed Systems Modelled by High-Level Petri Nets. - Vitaly E. Kozura; Valery A. Nepomniaschy; Ruslan M. Novikov (PARELEC, 2002)

Augur - A Tool for the Analysis of Graph Transformation Systems. - Barbara König 001; Vitali Kozioura (Bull. EATCS, 2005)

Counterexample-Guided Abstraction Refinement for the Analysis of Graph Transformation Systems. - Barbara König 001; Vitali Kozioura (TACAS, 2006)

Augur 2 - A New Version of a Tool for the Analysis of Graph Transformation Systems. - Barbara König 001; Vitali Kozioura (GT-VMT@ETAPS, 2006)

Verification of Random Graph Transformation Systems. - Vitali Kozioura (GT-VC@CONCUR, 2006)

Incremental construction of coverability graphs. - Barbara König 001; Vitali Kozioura (Inf. Process. Lett., 2007)

Towards the Verification of Attributed Graph Transformation Systems. - Barbara König 001; Vitali Kozioura (ICGT, 2008)

Applying Model Checking to Generate Model-Based Integration Tests from Choreography Models. - Sebastian Wieczorek; Vitaly Kozyura; Andreas Roth 001; Michael Leuschel; Jens Bendisposto; Daniel Plagge; Ina Schieferdecker (TestCom/FATES, 2009)

Viewpoints for modeling choreographies in service-oriented architectures. - Sebastian Wieczorek; Andreas Roth 001; Alin Stefanescu; Vitaly Kozyura; Anis Charfi; Frank Michael Kraft; Ina Schieferdecker (WICSA/ECSA, 2009)

Abstraction and abstraction refinement in the verification of graph transformation systems. - Vitaly Kozyura (2009)

Checking Consistency Between Message Choreographies And Their Implementation Models. - Vitaly Kozyura; Andreas Roth 001; Sebastian Wieczorek; Wei Wei 015 (Electron. Commun. Eur. Assoc. Softw. Sci. Technol., 2010)

Business Information Sector. - Sebastian Wieczorek; Vitaly Kozyura; Wei Wei 015; Andreas Roth 001; Alin Stefanescu (Industrial Deployment of System Engineering Methods, 2013)

Variations over Test Suite Reduction. - Dennis Güttinger; Vitaly Kozyura; Dominik Kremer; Sebastian Wieczorek (ICTSS, 2013)