{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,9,4]],"date-time":"2024-09-04T03:59:18Z","timestamp":1725422358690},"reference-count":18,"publisher":"IEEE","content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2009]]},"DOI":"10.1109\/icse-companion.2009.5071018","type":"proceedings-article","created":{"date-parts":[[2009,6,16]],"date-time":"2009-06-16T13:09:48Z","timestamp":1245157788000},"page":"347-350","source":"Crossref","is-referenced-by-count":0,"title":["Towards safety guarantees for service-oriented systems"],"prefix":"10.1109","author":[{"given":"Basil","family":"Becker","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"263","reference":[{"key":"17","doi-asserted-by":"publisher","DOI":"10.1145\/1134285.1134327"},{"key":"18","doi-asserted-by":"publisher","DOI":"10.1145\/1134285.1134337"},{"key":"15","first-page":"150","article-title":"towards model checking graph grammars","author":"rensink","year":"2003","journal-title":"Workshop on Automated Verification of Critical Systems (AVoCS)"},{"key":"16","doi-asserted-by":"publisher","DOI":"10.1007\/s10270-003-0050-x"},{"key":"13","doi-asserted-by":"crossref","DOI":"10.1007\/11839569_4","article-title":"formal modeling and verification of systems with self-x properties","author":"gu?demann","year":"2006","journal-title":"Proceedings of the Third International Conference on Autonomic and Trusted Computing (ATC-06)"},{"key":"14","article-title":"specification and analysis of real-time systems using real-time maude","author":"olveczky","year":"2004","journal-title":"Proc FASE Volume 2984 of LNCS"},{"key":"11","doi-asserted-by":"publisher","DOI":"10.1109\/ICSE.2005.1553587"},{"key":"12","first-page":"258","article-title":"modeling and verification of cooperative selfadaptive mechatronic systems","author":"giese","year":"2007","journal-title":"Reliable Systems on Unreliable Networked Platforms - 12th Monterey Workshop 2005 Revised Selected Papers Volume 4322 of Lecture Notes in Computer Science"},{"key":"3","doi-asserted-by":"publisher","DOI":"10.1145\/940080.940082"},{"key":"2","doi-asserted-by":"publisher","DOI":"10.1007\/3-540-44685-0_26"},{"journal-title":"UML Pro-le and Metamodel for Services","year":"2007","author":"amsden","key":"1"},{"key":"10","doi-asserted-by":"publisher","DOI":"10.1007\/s10703-008-0053-x"},{"key":"7","doi-asserted-by":"publisher","DOI":"10.1145\/1456223.1456326"},{"key":"6","doi-asserted-by":"publisher","DOI":"10.1109\/ASEW.2008.4686291"},{"key":"5","doi-asserted-by":"publisher","DOI":"10.1145\/1134285.1134297"},{"key":"4","first-page":"249","article-title":"static analysis of dynamic communication systems by partner abstraction","author":"bauer","year":"2007","journal-title":"Proc SAS Volume 4634 of LNCS"},{"key":"9","doi-asserted-by":"publisher","DOI":"10.1145\/1189748.1189753"},{"key":"8","doi-asserted-by":"publisher","DOI":"10.1109\/ISORC.2008.13"}],"event":{"name":"2009 31st International Conference on Software Engineering - Companion Volume","start":{"date-parts":[[2009,5,16]]},"location":"Vancouver, BC, Canada","end":{"date-parts":[[2009,5,24]]}},"container-title":["2009 31st International Conference on Software Engineering - Companion Volume"],"original-title":[],"link":[{"URL":"http:\/\/xplorestaging.ieee.org\/ielx5\/5062311\/5070947\/05071018.pdf?arnumber=5071018","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2017,6,18]],"date-time":"2017-06-18T17:02:28Z","timestamp":1497805348000},"score":1,"resource":{"primary":{"URL":"http:\/\/ieeexplore.ieee.org\/document\/5071018\/"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2009]]},"references-count":18,"URL":"https:\/\/doi.org\/10.1109\/icse-companion.2009.5071018","relation":{},"subject":[],"published":{"date-parts":[[2009]]}}}