{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,9,7]],"date-time":"2024-09-07T19:48:57Z","timestamp":1725738537904},"reference-count":12,"publisher":"IEEE","content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2009,7]]},"DOI":"10.1109\/memcod.2009.5185387","type":"proceedings-article","created":{"date-parts":[[2009,8,11]],"date-time":"2009-08-11T19:09:22Z","timestamp":1250017762000},"page":"116-120","source":"Crossref","is-referenced-by-count":0,"title":["Survival strategies for synthesized hardware systems"],"prefix":"10.1109","author":[{"given":"Martin","family":"Rinard","sequence":"first","affiliation":[]}],"member":"263","reference":[{"key":"3","doi-asserted-by":"publisher","DOI":"10.1109\/CSAC.2004.2"},{"key":"2","article-title":"enhancing server availability and security through failure-oblivious computing","author":"rinard","year":"2004","journal-title":"in 6th Symposium on Operating System Design and Implementation (OSDI 2004)"},{"journal-title":"Proc 2005 Int'l Conf Software Eng","article-title":"data structure repair using goal-directed reasoning","year":"2005","key":"10"},{"journal-title":"Estimating Software Costs Bringing Realism to Estimating","year":"2007","author":"jones","key":"1"},{"key":"7","doi-asserted-by":"publisher","DOI":"10.1145\/1296907.1296912"},{"key":"6","doi-asserted-by":"crossref","DOI":"10.1007\/11556992_1","article-title":"a dynamic mechanism for recovering from buffer overflow attacks","author":"sidiroglou","year":"2005","journal-title":"Proceedings of the 8th Information Security Conference (ISC)"},{"key":"5","doi-asserted-by":"crossref","DOI":"10.1145\/1508244.1508250","article-title":"assure: automatic software selfhealing using rescue points","author":"sidiroglou","year":"2009","journal-title":"Proc Int Conf Architectural Support for Programming Languages and Operating Systems"},{"key":"4","doi-asserted-by":"publisher","DOI":"10.1145\/1094855.1094866"},{"journal-title":"IEEE International Symposium on Software Reliability","article-title":"static specification analysis for termination of specification-based data structure repair","year":"2003","key":"9"},{"key":"8","doi-asserted-by":"publisher","DOI":"10.1145\/949313.949314"},{"key":"11","doi-asserted-by":"publisher","DOI":"10.1145\/1134285.1134309"},{"key":"12","doi-asserted-by":"publisher","DOI":"10.1145\/605426.605429"}],"event":{"name":"2009 7th IEEE\/ACM International Conference on Formal Methods and Models for Co-Design (MEMOCODE)","start":{"date-parts":[[2009,7,13]]},"location":"Cambridge, MA, USA","end":{"date-parts":[[2009,7,15]]}},"container-title":["2009 7th IEEE\/ACM International Conference on Formal Methods and Models for Co-Design"],"original-title":[],"link":[{"URL":"http:\/\/xplorestaging.ieee.org\/ielx5\/5173407\/5185370\/05185387.pdf?arnumber=5185387","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2024,3,15]],"date-time":"2024-03-15T20:41:43Z","timestamp":1710535303000},"score":1,"resource":{"primary":{"URL":"http:\/\/ieeexplore.ieee.org\/document\/5185387\/"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2009,7]]},"references-count":12,"URL":"https:\/\/doi.org\/10.1109\/memcod.2009.5185387","relation":{},"subject":[],"published":{"date-parts":[[2009,7]]}}}