{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2026,7,29]],"date-time":"2026-07-29T05:56:57Z","timestamp":1785304617132,"version":"3.55.0"},"reference-count":15,"publisher":"IEEE","content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2011,11]]},"DOI":"10.1109\/ase.2011.6100105","type":"proceedings-article","created":{"date-parts":[[2011,12,16]],"date-time":"2011-12-16T13:30:08Z","timestamp":1324042208000},"page":"484-487","source":"Crossref","is-referenced-by-count":6,"title":["Run-time systems failure prediction via proactive monitoring"],"prefix":"10.1109","author":[{"given":"Pengcheng","family":"Zhang","sequence":"first","affiliation":[],"role":[{"vocabulary":"crossref","role":"author"}]},{"given":"Henry","family":"Muccini","sequence":"additional","affiliation":[],"role":[{"vocabulary":"crossref","role":"author"}]},{"given":"Andrea","family":"Polini","sequence":"additional","affiliation":[],"role":[{"vocabulary":"crossref","role":"author"}]},{"family":"Xuandong Li","sequence":"additional","affiliation":[],"role":[{"vocabulary":"crossref","role":"author"}]}],"member":"263","reference":[{"key":"15","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-642-16612-9_39"},{"key":"13","doi-asserted-by":"publisher","DOI":"10.1145\/1869459.1869483"},{"key":"14","doi-asserted-by":"publisher","DOI":"10.1145\/1882291.1882328"},{"key":"11","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-540-73551-9_9"},{"key":"12","doi-asserted-by":"publisher","DOI":"10.1109\/TSE.2008.104"},{"key":"3","first-page":"74","article-title":"Clara: Partially evaluating runtime monitors at compile time - Tutorial supplement","author":"bodden","year":"2010","journal-title":"RV"},{"key":"2","article-title":"Test framework specification and architecture","author":"bertolino","year":"2007","journal-title":"IST STREP PLASTIC Project"},{"key":"1","doi-asserted-by":"publisher","DOI":"10.1007\/s10515-007-0012-6"},{"key":"10","doi-asserted-by":"publisher","DOI":"10.1016\/j.jlap.2008.08.004"},{"key":"7","doi-asserted-by":"publisher","DOI":"10.1109\/TSE.2004.91"},{"key":"6","doi-asserted-by":"publisher","DOI":"10.1145\/503209.503226"},{"key":"5","first-page":"129","article-title":"Predictable dynamic plugin systems","author":"chatley","year":"2004","journal-title":"FASE"},{"key":"4","doi-asserted-by":"publisher","DOI":"10.1007\/s10703-008-0053-x"},{"key":"9","first-page":"220","article-title":"Aspect-oriented programming","author":"kiczales","year":"1997","journal-title":"ECOOP"},{"key":"8","first-page":"212","article-title":"Amoeba-rt: Run-time verification of adaptive software","author":"goldsby","year":"0","journal-title":"MoDELS Workshops 2007"}],"event":{"name":"2011 26th IEEE\/ACM International Conference on Automated Software Engineering (ASE)","location":"Lawrence, KS, USA","start":{"date-parts":[[2011,11,6]]},"end":{"date-parts":[[2011,11,10]]}},"container-title":["2011 26th IEEE\/ACM International Conference on Automated Software Engineering (ASE 2011)"],"original-title":[],"link":[{"URL":"http:\/\/xplorestaging.ieee.org\/ielx5\/6093623\/6100039\/06100105.pdf?arnumber=6100105","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2017,3,21]],"date-time":"2017-03-21T09:12:16Z","timestamp":1490087536000},"score":1,"resource":{"primary":{"URL":"http:\/\/ieeexplore.ieee.org\/document\/6100105\/"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2011,11]]},"references-count":15,"URL":"https:\/\/doi.org\/10.1109\/ase.2011.6100105","relation":{},"subject":[],"published":{"date-parts":[[2011,11]]}}}