{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,9,5]],"date-time":"2024-09-05T00:20:08Z","timestamp":1725495608304},"publisher-location":"Berlin, Heidelberg","reference-count":12,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783540758662"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"DOI":"10.1007\/978-3-540-75867-9_62","type":"book-chapter","created":{"date-parts":[[2007,11,16]],"date-time":"2007-11-16T03:34:40Z","timestamp":1195184080000},"page":"488-496","source":"Crossref","is-referenced-by-count":0,"title":["Pattern-Based Verification for Trees"],"prefix":"10.1007","author":[{"given":"Milan","family":"\u010ce\u0161ka","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Pavel","family":"Erlebach","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Tom\u00e1\u0161","family":"Vojnar","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","reference":[{"key":"62_CR1","series-title":"Lecture Notes in Computer Science","volume-title":"Tools and Algorithms for the Construction and Analysis of Systems","author":"A. Bouajjani","year":"2005","unstructured":"Bouajjani, A., Habermehl, P., Moro, P., Vojnar, T.: Verifying Programs with Dynamic 1-Selector-Linked Structures in Regular Model Checking. In: Halbwachs, N., Zuck, L.D. (eds.) TACAS 2005. LNCS, vol.\u00a03440, Springer, Heidelberg (2005)"},{"key":"62_CR2","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","DOI":"10.1007\/11823230_5","volume-title":"Static Analysis","author":"A. Bouajjani","year":"2006","unstructured":"Bouajjani, A., Habermehl, P., Rogalewicz, A., Vojnar, T.: Abstract Regular Tree Model Checking of Complex Dynamic Data Structures. In: Yi, K. (ed.) SAS 2006. LNCS, vol.\u00a04134, Springer, Heidelberg (2006)"},{"key":"62_CR3","volume-title":"Formal Aspect of Computing","author":"M. \u010ce\u0161ka","year":"2006","unstructured":"\u010ce\u0161ka, M., Erlebach, P., Vojnar, T.: Generalized Multi-Pattern-Based Verification of Programs with Linear Linked Structures. In: Formal Aspect of Computing, Springer, Heidelberg (accepted, 2006)"},{"key":"62_CR4","doi-asserted-by":"crossref","unstructured":"\u010ce\u0161ka, M., Erlebach, P., Vojnar, T.: Pattern-Based Verification of Programs with Extended Linear Linked Data Structures. In: Proc. of AVOCS 2005. ENTCS, vol.\u00a0145, pp. 113\u2013130 (2006)","DOI":"10.1016\/j.entcs.2005.10.008"},{"key":"62_CR5","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","DOI":"10.1007\/11691372_19","volume-title":"Tools and Algorithms for the Construction and Analysis of Systems","author":"D. Distefano","year":"2006","unstructured":"Distefano, D., O\u2019Hearn, P.W., Yang, H.: A Local Shape Analysis Based on Separation Logic. In: Hermanns, H., Palsberg, J. (eds.) TACAS 2006 and ETAPS 2006. LNCS, vol.\u00a03920, Springer, Heidelberg (2006)"},{"key":"62_CR6","unstructured":"Erlebach, P.: Automated Formal Verification of Programs Working with Dynamic Data Structures. PhD. thesis, Brno University of Technology, Czech Republic (to appear during 2007)"},{"key":"62_CR7","unstructured":"Erlebach, P.: Automated Pattern-Based Verification for Tree Structures. In: Proc. of the PhD Student Workshop MEMICS 2006 (2006)"},{"key":"62_CR8","unstructured":"Erlebach, P.: Towards a Systematic Framework for Automatic Pattern-Based Verification of Dynamic Data Structures. In: Proc. of the PhD Student Workshop MEMICS 2005 (2005)"},{"key":"62_CR9","series-title":"Lecture Notes in Computer Science","volume-title":"Programming Languages and Systems","author":"O. Lee","year":"2005","unstructured":"Lee, O., Yang, H., Yi, K.: Automatic Verification of Pointer Programs Using Grammar-Based Shape Analysis. In: Sagiv, M. (ed.) ESOP 2005. LNCS, vol.\u00a03444, Springer, Heidelberg (2005)"},{"key":"62_CR10","doi-asserted-by":"crossref","unstructured":"M\u00f8ller, A., Schwartzbach, M.: The Pointer Assertion Logic Engine. In: PLDI 2001 (2001)","DOI":"10.1145\/378795.378851"},{"key":"62_CR11","doi-asserted-by":"crossref","unstructured":"Sagiv, S., Reps, T.W., Wilhelm, R.: Parametric Shape Analysis via 3-Valued Logic. TOPLAS\u00a024(3) (2002)","DOI":"10.1145\/514188.514190"},{"key":"62_CR12","unstructured":"Yavuz-Kahveci, T.: Specification and Automated Verification of Concurrent Software Systems. PhD. thesis, Computer Science Department of University of California, Santa Barbara, CA, USA (2004)"}],"container-title":["Lecture Notes in Computer Science","Computer Aided Systems Theory \u2013 EUROCAST 2007"],"original-title":[],"language":"en","link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/978-3-540-75867-9_62.pdf","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2021,4,27]],"date-time":"2021-04-27T10:35:56Z","timestamp":1619519756000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/978-3-540-75867-9_62"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[null]]},"ISBN":["9783540758662"],"references-count":12,"URL":"https:\/\/doi.org\/10.1007\/978-3-540-75867-9_62","relation":{},"subject":[]}}