|
|
|
|
Venues (Conferences, Journals, ...)
|
|
|
GrowBag graphs for keyword ? (Num. hits/coverage)
Group by:
The graphs summarize 4 occurrences of 4 keywords
|
|
|
|
|
Results
Found 13 publication records. Showing 13 according to the selection in the facets
| Hits ?▲ |
Authors |
Title |
Venue |
Year |
Link |
Author keywords |
| 1 | Vitaly Kozyura, Andreas Roth, Sebastian Wieczorek, Wei Wei |
Checking Consistency Between Message Choreographies And Their Implementation Models.  |
ECEASST  |
2010 |
DBLP BibTeX RDF |
|
| 1 | Vitaly Kozyura |
Abstraction and abstraction refinement in the verification of graph transformation systems. |
|
2009 |
RDF |
|
| 1 | Sebastian Wieczorek, Andreas Roth, Alin Stefanescu, Vitaly Kozyura, Anis Charfi, Frank Michael Kraft, Ina Schieferdecker |
Viewpoints for modeling choreographies in service-oriented architectures. |
WICSA/ECSA |
2009 |
DBLP DOI BibTeX RDF |
|
| 1 | Sebastian Wieczorek, Vitaly Kozyura, Andreas Roth, Michael Leuschel, Jens Bendisposto, Daniel Plagge, Ina Schieferdecker |
Applying Model Checking to Generate Model-Based Integration Tests from Choreography Models. |
TestCom/FATES |
2009 |
DBLP DOI BibTeX RDF |
Service Choreography Models, Model Checking, Formal Methods, Model-based Testing, Integration Testing |
| 1 | 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. |
2008 |
DBLP DOI BibTeX RDF |
|
| 1 | Barbara König, Vitali Kozioura |
Towards the Verification of Attributed Graph Transformation Systems. |
ICGT |
2008 |
DBLP DOI BibTeX RDF |
|
| 1 | Barbara König, Vitali Kozioura |
Incremental construction of coverability graphs. |
Inf. Process. Lett. |
2007 |
DBLP DOI BibTeX RDF |
|
| 1 | Vitali Kozioura |
Verification of Random Graph Transformation Systems. |
Electr. Notes Theor. Comput. Sci. |
2007 |
DBLP DOI BibTeX RDF |
|
| 1 | Barbara König, Vitali Kozioura |
Counterexample-Guided Abstraction Refinement for the Analysis of Graph Transformation Systems. |
TACAS |
2006 |
DBLP DOI BibTeX RDF |
|
| 1 | Barbara König, Vitali Kozioura |
Augur - A Tool for the Analysis of Graph Transformation Systems. |
Bulletin of the EATCS |
2005 |
DBLP BibTeX RDF |
|
| 1 | Vitaly E. Kozura, Valery A. Nepomniaschy, Ruslan M. Novikov |
Verification of Distributed Systems Modelled by High-Level Petri Nets. |
PARELEC |
2002 |
DBLP DOI BibTeX RDF |
|
| 1 | V. A. Nepomniaschy, Nikolay V. Shilov, E. V. Bodin, Vitaly E. Kozura |
Basic-REAL: Integrated Approach for Design, Specification and Verification of Distributed Systems. |
IFM |
2002 |
DBLP DOI BibTeX RDF |
|
| 1 | Vitaly E. Kozura |
Unfoldings of Coloured Petri Nets. |
Ershov Memorial Conference |
2001 |
DBLP DOI BibTeX RDF |
|
Displaying result #1 - #13 of 13 (100 per page; Change: )
|
|
![[Valid RSS]](Pics/valid-rss.png "Validate my RSS feed")