{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2026,4,16]],"date-time":"2026-04-16T21:04:11Z","timestamp":1776373451302,"version":"3.51.2"},"publisher-location":"New York, NY, USA","reference-count":23,"publisher":"ACM","license":[{"start":{"date-parts":[[2006,5,28]],"date-time":"2006-05-28T00:00:00Z","timestamp":1148774400000},"content-version":"vor","delay-in-days":0,"URL":"https:\/\/www.acm.org\/publications\/policies\/copyright_policy#Background"}],"content-domain":{"domain":["dl.acm.org"],"crossmark-restriction":true},"short-container-title":[],"published-print":{"date-parts":[[2006,5,28]]},"DOI":"10.1145\/1134285.1134297","type":"proceedings-article","created":{"date-parts":[[2006,7,24]],"date-time":"2006-07-24T16:53:01Z","timestamp":1153759981000},"page":"72-81","update-policy":"https:\/\/doi.org\/10.1145\/crossmark-policy","source":"Crossref","is-referenced-by-count":71,"title":["Symbolic invariant verification for systems with dynamic structural adaptation"],"prefix":"10.1145","author":[{"given":"Basil","family":"Becker","sequence":"first","affiliation":[{"name":"University of Paderborn, Germany"}],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Dirk","family":"Beyer","sequence":"additional","affiliation":[{"name":"EPFL, Lausanne, Switzerland"}],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Holger","family":"Giese","sequence":"additional","affiliation":[{"name":"University of Paderborn, Germany"}],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Florian","family":"Klein","sequence":"additional","affiliation":[{"name":"University of Paderborn, Germany"}],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Daniela","family":"Schilling","sequence":"additional","affiliation":[{"name":"University of Paderborn, Germany"}],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"320","published-online":{"date-parts":[[2006,5,28]]},"reference":[{"key":"e_1_3_2_1_1_1","doi-asserted-by":"publisher","DOI":"10.5555\/646736.701780"},{"key":"e_1_3_2_1_2_1","first-page":"04241","article-title":"Graph grammar verification through abstraction (summary 2)","author":"Baldan P.","year":"2005","unstructured":"P. Baldan , B. K\u00f6nig , and A. Rensink . Graph grammar verification through abstraction (summary 2) . Proc. Dagstuhl Seminar 04241 , 2005 .]] P. Baldan, B. K\u00f6nig, and A. Rensink. Graph grammar verification through abstraction (summary 2). Proc. Dagstuhl Seminar 04241, 2005.]]","journal-title":"Proc. Dagstuhl Seminar"},{"key":"e_1_3_2_1_3_1","doi-asserted-by":"publisher","DOI":"10.1145\/940071.940082"},{"key":"e_1_3_2_1_4_1","doi-asserted-by":"publisher","DOI":"10.1109\/TSE.2005.23"},{"key":"e_1_3_2_1_5_1","doi-asserted-by":"publisher","DOI":"10.5555\/646484.691774"},{"key":"e_1_3_2_1_6_1","volume-title":"Stanley Thornes","author":"Bradley D.","year":"2000","unstructured":"D. Bradley , D. Seward , D. Dawson , and S. Burge . Mechatronics . Stanley Thornes , 2000 .]] D. Bradley, D. Seward, D. Dawson, and S. Burge. Mechatronics. Stanley Thornes, 2000.]]"},{"key":"e_1_3_2_1_7_1","doi-asserted-by":"publisher","DOI":"10.1007\/11538097_4"},{"key":"e_1_3_2_1_8_1","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-540-24769-2_2"},{"key":"e_1_3_2_1_9_1","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-540-45236-2_23"},{"key":"e_1_3_2_1_10_1","doi-asserted-by":"publisher","DOI":"10.1145\/1062455.1062535"},{"key":"e_1_3_2_1_11_1","doi-asserted-by":"publisher","DOI":"10.1145\/1029894.1029920"},{"key":"e_1_3_2_1_13_1","doi-asserted-by":"publisher","DOI":"10.1145\/940071.940078"},{"key":"e_1_3_2_1_14_1","first-page":"11","volume-title":"Proc. AGT","author":"Heckel R.","year":"2002","unstructured":"R. Heckel , J. K\u00fcster , and G. Taentzer . Towards automatic translation of UML models into semantic domains . In Proc. AGT , pages 11 -- 22 , 2002 .]] R. Heckel, J. K\u00fcster, and G. Taentzer. Towards automatic translation of UML models into semantic domains. In Proc. AGT, pages 11--22, 2002.]]"},{"key":"e_1_3_2_1_15_1","volume-title":"Ensuring consistency of conditional graph rewriting --- a constructive approach ENTCS, 2","author":"Heckel R.","year":"1995","unstructured":"R. Heckel and A. Wagner . Ensuring consistency of conditional graph rewriting --- a constructive approach ENTCS, 2 , 1995 .]] R. Heckel and A. Wagner. Ensuring consistency of conditional graph rewriting --- a constructive approach ENTCS, 2, 1995.]]"},{"key":"e_1_3_2_1_16_1","doi-asserted-by":"publisher","DOI":"10.1145\/505145.505149"},{"key":"e_1_3_2_1_17_1","doi-asserted-by":"publisher","DOI":"10.5555\/2167504.2167524"},{"key":"e_1_3_2_1_18_1","doi-asserted-by":"publisher","DOI":"10.1145\/337180.337207"},{"key":"e_1_3_2_1_19_1","doi-asserted-by":"publisher","DOI":"10.1109\/5254.784081"},{"key":"e_1_3_2_1_20_1","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-540-24721-0_26"},{"key":"e_1_3_2_1_21_1","first-page":"150","volume-title":"Proc. AVoCS","author":"Rensink A.","year":"2003","unstructured":"A. Rensink . Towards model checking graph grammars . In Proc. AVoCS , pages 150 -- 160 . University of Southampton , 2003 .]] A. Rensink. Towards model checking graph grammars. In Proc. AVoCS, pages 150--160. University of Southampton, 2003.]]"},{"key":"e_1_3_2_1_22_1","doi-asserted-by":"publisher","DOI":"10.5555\/278918"},{"key":"e_1_3_2_1_23_1","doi-asserted-by":"publisher","DOI":"10.1145\/274946.274958"},{"key":"e_1_3_2_1_24_1","doi-asserted-by":"publisher","DOI":"10.1007\/s10270-003-0050-x"}],"event":{"name":"ICSE06: International Conference on Software Engineering","location":"Shanghai China","acronym":"ICSE06","sponsor":["ACM Association for Computing Machinery","SIGSOFT ACM Special Interest Group on Software Engineering"]},"container-title":["Proceedings of the 28th international conference on Software engineering"],"original-title":[],"link":[{"URL":"https:\/\/dl.acm.org\/doi\/10.1145\/1134285.1134297","content-type":"unspecified","content-version":"vor","intended-application":"text-mining"},{"URL":"https:\/\/dl.acm.org\/doi\/pdf\/10.1145\/1134285.1134297","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2025,6,18]],"date-time":"2025-06-18T15:06:30Z","timestamp":1750259190000},"score":1,"resource":{"primary":{"URL":"https:\/\/dl.acm.org\/doi\/10.1145\/1134285.1134297"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2006,5,28]]},"references-count":23,"alternative-id":["10.1145\/1134285.1134297","10.1145\/1134285"],"URL":"https:\/\/doi.org\/10.1145\/1134285.1134297","relation":{},"subject":[],"published":{"date-parts":[[2006,5,28]]},"assertion":[{"value":"2006-05-28","order":2,"name":"published","label":"Published","group":{"name":"publication_history","label":"Publication History"}}]}}