{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,10,29]],"date-time":"2024-10-29T10:44:53Z","timestamp":1730198693829,"version":"3.28.0"},"reference-count":21,"publisher":"IEEE","content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2008,9]]},"DOI":"10.1109\/asew.2008.4686291","type":"proceedings-article","created":{"date-parts":[[2008,12,1]],"date-time":"2008-12-01T16:32:34Z","timestamp":1228149154000},"page":"33-40","source":"Crossref","is-referenced-by-count":5,"title":["Incremental verification of inductive invariants for the run-time evolution of self-adaptive software-intensive systems"],"prefix":"10.1109","author":[{"given":"Basil","family":"Becker","sequence":"first","affiliation":[]},{"given":"Holger","family":"Giese","sequence":"additional","affiliation":[]}],"member":"263","reference":[{"key":"19","doi-asserted-by":"publisher","DOI":"10.1007\/s10270-003-0050-x"},{"key":"17","first-page":"150","article-title":"towards model checking graph grammars","author":"rensink","year":"2003","journal-title":"Proc AVoCS volume DSSE-TR-2003-02 of Technical Report"},{"key":"18","first-page":"165","article-title":"self-organisation in mas","volume":"20","author":"serugendo","year":"2005","journal-title":"Knowledge Engineering Review"},{"key":"15","doi-asserted-by":"publisher","DOI":"10.1109\/5254.769885"},{"key":"16","doi-asserted-by":"publisher","DOI":"10.1109\/MC.2004.48"},{"key":"13","doi-asserted-by":"publisher","DOI":"10.1145\/337180.337207"},{"key":"14","first-page":"354","article-title":"specification and analysis of real-time systems using real-time maude","volume":"2984","author":"o?lveczky","year":"2004","journal-title":"LNCS"},{"key":"11","first-page":"38","article-title":"towards the compositional verification of real-time uml designs","author":"giese","year":"2003","journal-title":"Proc ESEC"},{"key":"12","article-title":"formal modeling and verification of systems with self-x properties","author":"gu?demann","year":"2006","journal-title":"Proc of ATC-06"},{"key":"21","doi-asserted-by":"publisher","DOI":"10.1145\/1134285.1134337"},{"key":"3","doi-asserted-by":"publisher","DOI":"10.1145\/940080.940082"},{"key":"20","first-page":"243","article-title":"automatic verification of real-time communicating systems by constraint-solving","author":"yi","year":"1994","journal-title":"FORTE volume 6 of IFIP Conference Proceedings"},{"key":"2","first-page":"381","article-title":"a static analysis technique for graph transformation systems","volume":"2154","author":"baldan","year":"2001","journal-title":"LNCS"},{"journal-title":"UML Profile and metamodel for services","year":"0","author":"amsden","key":"1"},{"key":"10","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-540-71156-8_14"},{"key":"7","doi-asserted-by":"publisher","DOI":"10.1145\/1189748.1189753"},{"key":"6","doi-asserted-by":"publisher","DOI":"10.1109\/ISORC.2008.13"},{"key":"5","doi-asserted-by":"publisher","DOI":"10.1145\/1134285.1134297"},{"key":"4","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-540-74061-2_16"},{"key":"9","doi-asserted-by":"publisher","DOI":"10.1109\/ICSE.2005.1553587"},{"key":"8","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-540-45236-2_23"}],"event":{"name":"2008 23rd IEEE\/ACM International Conference on Automated Software Engineering - Workshops","start":{"date-parts":[[2008,9,15]]},"location":"L'Aquila, Italy","end":{"date-parts":[[2008,9,16]]}},"container-title":["2008 23rd IEEE\/ACM International Conference on Automated Software Engineering - Workshops"],"original-title":[],"link":[{"URL":"http:\/\/xplorestaging.ieee.org\/ielx5\/4674379\/4686280\/04686291.pdf?arnumber=4686291","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2017,3,17]],"date-time":"2017-03-17T14:24:05Z","timestamp":1489760645000},"score":1,"resource":{"primary":{"URL":"http:\/\/ieeexplore.ieee.org\/document\/4686291\/"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2008,9]]},"references-count":21,"URL":"https:\/\/doi.org\/10.1109\/asew.2008.4686291","relation":{},"subject":[],"published":{"date-parts":[[2008,9]]}}}