Vitaly Kozyura

According to our database, Vitaly Kozyura authored at least 15 papers between 2001 and 2013.

Collaborative distances:

• Dijkstra number of four.
• Erdős number of four.

2013

Variations over Test Suite Reduction.

Dennis Güttinger, Vitaly Kozyura, Dominik Kremer, Sebastian Wieczorek

Proceedings of the Testing Software and Systems, 2013

Business Information Sector.

Sebastian Wieczorek, Vitaly Kozyura, Wei Wei, Andreas Roth, Alin Stefanescu

Proceedings of the Industrial Deployment of System Engineering Methods, 2013

2010

Checking Consistency Between Message Choreographies And Their Implementation Models.

Vitaly Kozyura, Andreas Roth, Sebastian Wieczorek, Wei Wei

Electron. Commun. Eur. Assoc. Softw. Sci. Technol., 2010

2009

Abstraction and abstraction refinement in the verification of graph transformation systems.

Vitaly Kozyura

PhD thesis, 2009

Viewpoints for modeling choreographies in service-oriented architectures.

Sebastian Wieczorek, Andreas Roth, Alin Stefanescu, Vitaly Kozyura, Anis Charfi, Frank Michael Kraft, Ina Schieferdecker

Proceedings of the Joint Working IEEE/IFIP Conference on Software Architecture 2009 and European Conference on Software Architecture 2009, 2009

Applying Model Checking to Generate Model-Based Integration Tests from Choreography Models.

Sebastian Wieczorek, Vitaly Kozyura, Andreas Roth, Michael Leuschel, Jens Bendisposto, Daniel Plagge, Ina Schieferdecker

Proceedings of the Testing of Software and Communication Systems, 2009

2008

Towards the Verification of Attributed Graph Transformation Systems.

Barbara König, Vitali Kozioura

Proceedings of the Graph Transformations, 4th International Conference, 2008

2007

Incremental construction of coverability graphs.

Barbara König, Vitali Kozioura

Inf. Process. Lett., 2007

2006

Verification of Random Graph Transformation Systems.

Vitali Kozioura

Proceedings of the Workshop on Graph Transformation for Concurrency and Verification, 2006

Augur 2 - A New Version of a Tool for the Analysis of Graph Transformation Systems.

Barbara König, Vitali Kozioura

Proceedings of the Fifth International Workshop on Graph Transformation and Visual Modeling Techniques, 2006

Counterexample-Guided Abstraction Refinement for the Analysis of Graph Transformation Systems.

Barbara König, Vitali Kozioura

Proceedings of the Tools and Algorithms for the Construction and Analysis of Systems, 2006

2005

Augur - A Tool for the Analysis of Graph Transformation Systems.

Barbara König, Vitali Kozioura

Bull. EATCS, 2005

2002

Verification of Distributed Systems Modelled by High-Level Petri Nets.

Vitaly E. Kozura, Valery A. Nepomniaschy, Ruslan M. Novikov

Proceedings of the 2002 International Conference on Parallel Computing in Electrical Engineering (PARELEC 2002), 2002

Basic-REAL: Integrated Approach for Design, Specification and Verification of Distributed Systems.

Valery A. Nepomniaschy, Nikolay V. Shilov, Evgeny V. Bodin, Vitaly E. Kozura

Proceedings of the Integrated Formal Methods, Third International Conference, 2002

2001

Unfoldings of Coloured Petri Nets.

Vitaly E. Kozura

Proceedings of the Perspectives of System Informatics, 2001