{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2026,9,17]],"date-time":"2026-09-17T13:47:04Z","timestamp":1789652824195,"version":"4.0.0"},"publisher-location":"Berlin, Heidelberg","reference-count":21,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"value":"9783540874041","type":"print"},{"value":"9783540874058","type":"electronic"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"DOI":"10.1007\/978-3-540-87405-8_21","type":"book-chapter","created":{"date-parts":[[2008,9,17]],"date-time":"2008-09-17T06:48:17Z","timestamp":1221634097000},"page":"305-320","source":"Crossref","is-referenced-by-count":11,"title":["Towards the Verification of Attributed Graph Transformation Systems"],"prefix":"10.1007","author":[{"given":"Barbara","family":"K\u00f6nig","sequence":"first","affiliation":[],"role":[{"vocabulary":"crossref","role":"author"}]},{"given":"Vitali","family":"Kozioura","sequence":"additional","affiliation":[],"role":[{"vocabulary":"crossref","role":"author"}]}],"member":"297","reference":[{"key":"21_CR1","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"379","DOI":"10.1007\/BFb0028760","volume-title":"Computer Aided Verification","author":"P. Aziz Abdulla","year":"1998","unstructured":"Aziz Abdulla, P., Jonsson, B., Kindahl, M., Peled, D.: A general approach to partial order reductions in symbolic verification. In: Y. Vardi, M. (ed.) CAV 1998. LNCS, vol.\u00a01427, pp. 379\u2013390. Springer, Heidelberg (1998)"},{"key":"21_CR2","unstructured":"Baldan, P., Corradini, A., Esparza, J., Heindel, T., K\u00f6nig, B., Kozioura, V.: Verifying red-black trees. In: Proc. of COSMICAH 2005, Proceedings available as report RR-05-04 (Queen Mary, University of London) (2005)"},{"key":"21_CR3","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"381","DOI":"10.1007\/3-540-44685-0_26","volume-title":"CONCUR 2001 - Concurrency Theory","author":"P. Baldan","year":"2001","unstructured":"Baldan, P., Corradini, A., K\u00f6nig, B.: A static analysis technique for graph transformation systems. In: Larsen, K.G., Nielsen, M. (eds.) CONCUR 2001. LNCS, vol.\u00a02154, pp. 381\u2013395. Springer, Heidelberg (2001)"},{"key":"21_CR4","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"249","DOI":"10.1007\/978-3-540-74061-2_16","volume-title":"Static Analysis","author":"J. Bauer","year":"2007","unstructured":"Bauer, J., Wilhelm, R.: Static analysis of dynamic communication systems by partner abstraction. In: Riis Nielson, H., Fil\u00e9, G. (eds.) SAS 2007. LNCS, vol.\u00a04634, pp. 249\u2013264. Springer, Heidelberg (2007)"},{"key":"21_CR5","doi-asserted-by":"crossref","unstructured":"Cousot, P.: Abstract Interpretation. ACM Computing Surveys (1996)","DOI":"10.1145\/234528.234740"},{"key":"21_CR6","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"crossref","first-page":"261","DOI":"10.1007\/978-3-540-39958-2_18","volume-title":"Formal Methods for Open Object-Based Distributed Systems","author":"F.L. Dotti","year":"2003","unstructured":"Dotti, F.L., Foss, L., Ribeiro, L., Marchi Santos, O.: Verification of distributed object-based systems. In: Najm, E., Nestmann, U., Stevens, P. (eds.) FMOODS 2003. LNCS, vol.\u00a02884, pp. 261\u2013275. Springer, Heidelberg (2003)"},{"key":"21_CR7","unstructured":"Dotti, F.L., K\u00f6nig, B., Marchi Santos, O., Ribeiro, L.: A case study: Verifying a mutual exclusion protocol with process creation using graph transformation systems. Technical Report 08\/2004, Universit\u00e4t Stuttgart (2004)"},{"key":"21_CR8","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"crossref","first-page":"188","DOI":"10.1007\/3-540-57867-6_11","volume-title":"Recent Trends in Data Type Specification","author":"H. Ehrig","year":"1994","unstructured":"Ehrig, H., Padberg, J., Ribeiro, L.: Algebraic high-level nets: Petri nets revisited. In: Ehrig, H., Orejas, F. (eds.) Abstract Data Types 1992 and COMPASS 1992. LNCS, vol.\u00a0785, pp. 188\u2013206. Springer, Heidelberg (1994)"},{"key":"21_CR9","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"crossref","first-page":"161","DOI":"10.1007\/978-3-540-30203-2_13","volume-title":"Graph Transformations","author":"H. Ehrig","year":"2004","unstructured":"Ehrig, H., Prange, U., Taentzer, G.: Fundamental theory for typed attributed graph transformation. In: Ehrig, H., Engels, G., Parisi-Presicce, F., Rozenberg, G. (eds.) ICGT 2004. LNCS, vol.\u00a03256, pp. 161\u2013177. Springer, Heidelberg (2004)"},{"key":"21_CR10","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"crossref","first-page":"72","DOI":"10.1007\/3-540-63166-6_10","volume-title":"Computer Aided Verification","author":"S. Graf","year":"1997","unstructured":"Graf, S., Sa\u00efdi, H.: Construction of abstract state graphs with PVS. In: Grumberg, O. (ed.) CAV 1997. LNCS, vol.\u00a01254, pp. 72\u201383. Springer, Heidelberg (1997)"},{"key":"21_CR11","doi-asserted-by":"publisher","first-page":"232","DOI":"10.1145\/964001.964021","volume-title":"Proc. of POPL 2004","author":"T.A. Henzinger","year":"2004","unstructured":"Henzinger, T.A., Jhala, R., Majumdar, R., McMillan, K.L.: Abstractions from proofs. In: Proc. of POPL 2004, pp. 232\u2013244. ACM Press, New York (2004)"},{"key":"21_CR12","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"1","DOI":"10.1007\/3-540-44919-1_1","volume-title":"Applications and Theory of Petri Nets 2003","author":"K. Jensen","year":"2003","unstructured":"Jensen, K.: Coloured Petri nets: Status and outlook. In: van der Aalst, W.M.P., Best, E. (eds.) ICATPN 2003. LNCS, vol.\u00a02679, pp. 1\u20132. Springer, Heidelberg (2003)"},{"key":"21_CR13","unstructured":"Kastenberg, H.: Towards attributed graphs in GROOVE. In: Proceedings of Workshop on Graph Transformation for Verification and Concurrency, volume 05-34 of CTIT Technical Report, pp. 91\u201398 (2005)"},{"key":"21_CR14","series-title":"ENTCS","first-page":"201","volume-title":"Proc. of GT-VMT 2006 (Workshop on Graph Transformation and Visual Modeling Techniques)","author":"B. K\u00f6nig","year":"2008","unstructured":"K\u00f6nig, B., Kozioura, V.: Augur\u00a02\u2014a new version of a tool for the analysis of graph transformation systems. In: Proc. of GT-VMT 2006 (Workshop on Graph Transformation and Visual Modeling Techniques). ENTCS, vol.\u00a0211, pp. 201\u2013210. Elsevier, Amsterdam (2008)"},{"key":"21_CR15","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"197","DOI":"10.1007\/11691372_13","volume-title":"Tools and Algorithms for the Construction and Analysis of Systems","author":"B. K\u00f6nig","year":"2006","unstructured":"K\u00f6nig, B., Kozioura, V.: Counterexample-guided abstraction refinement for the analysis of graph transformation systems. In: Hermanns, H., Palsberg, J. (eds.) TACAS 2006. LNCS, vol.\u00a03920, pp. 197\u2013211. Springer, Heidelberg (2006)"},{"key":"21_CR16","doi-asserted-by":"crossref","unstructured":"Kozioura, V.: Verification of random graph transformation systems. In: Proc. of GT-VC 2006 (Graph Transformation for Verification and Concurrency. ENTCS, vol.\u00a0175.4 (2006)","DOI":"10.1016\/j.entcs.2007.04.017"},{"key":"21_CR17","unstructured":"Kozyura, V.: Abstraction and Abstraction Refinement in the Verification of Graph Transformation Systems. PhD thesis, Universit\u00e4t Duisburg-Essen, forthcoming"},{"key":"21_CR18","first-page":"185","volume-title":"Term graph rewriting: theory and practice","author":"M. L\u00f6we","year":"1993","unstructured":"L\u00f6we, M., Korff, M., Wagner, A.: An algebraic framework for the transformation of attributed graphs. In: Term graph rewriting: theory and practice, pp. 185\u2013199. John Wiley and Sons Ltd, Chichester (1993)"},{"key":"21_CR19","series-title":"EATCS Monographs on Theoretical Computer ScienceGermany","doi-asserted-by":"crossref","DOI":"10.1007\/978-3-642-69968-9","volume-title":"Petri Nets: An Introduction","author":"W. Reisig","year":"1985","unstructured":"Reisig, W.: Petri Nets: An Introduction. EATCS Monographs on Theoretical Computer ScienceGermany. Springer, Berlin (1985)"},{"key":"21_CR20","unstructured":"Rensink, A., Distefano, D.: Abstract graph transformation. In: Proc. of SVV 2005 (3rd International Workshop on Software Verification and Validation). ENTCS, vol.\u00a0157.1, pp. 39\u201359 (2005)"},{"key":"21_CR21","series-title":"ENTCS","volume-title":"Workshop on Graph Transformation and Visual Modeling Techniques 2002","author":"D. Varr\u00f3","year":"2002","unstructured":"Varr\u00f3, D.: Towards symbolic analysis of visual modeling languages. In: Workshop on Graph Transformation and Visual Modeling Techniques 2002. ENTCS, vol.\u00a072, Elsevier, Amsterdam (2002)"}],"container-title":["Lecture Notes in Computer Science","Graph Transformations"],"original-title":[],"language":"en","link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/978-3-540-87405-8_21.pdf","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2020,11,23]],"date-time":"2020-11-23T21:37:35Z","timestamp":1606167455000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/978-3-540-87405-8_21"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[null]]},"ISBN":["9783540874041","9783540874058"],"references-count":21,"URL":"https:\/\/doi.org\/10.1007\/978-3-540-87405-8_21","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"value":"0302-9743","type":"print"},{"value":"1611-3349","type":"electronic"}],"subject":[]}}