{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,9,8]],"date-time":"2024-09-08T14:54:14Z","timestamp":1725807254720},"publisher-location":"Cham","reference-count":12,"publisher":"Springer International Publishing","isbn-type":[{"type":"print","value":"9783319117362"},{"type":"electronic","value":"9783319117379"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2014]]},"DOI":"10.1007\/978-3-319-11737-9_8","type":"book-chapter","created":{"date-parts":[[2014,10,14]],"date-time":"2014-10-14T20:52:14Z","timestamp":1413319934000},"page":"107-122","source":"Crossref","is-referenced-by-count":4,"title":["CASSANDRA: An Online Failure Prediction Strategy for Dynamically Evolving Systems"],"prefix":"10.1007","author":[{"given":"Francesco","family":"De Angelis","sequence":"first","affiliation":[]},{"given":"Maria Rita","family":"Di Berardini","sequence":"additional","affiliation":[]},{"given":"Henry","family":"Muccini","sequence":"additional","affiliation":[]},{"given":"Andrea","family":"Polini","sequence":"additional","affiliation":[]}],"member":"297","reference":[{"key":"8_CR1","doi-asserted-by":"crossref","unstructured":"Baresi, L., Nitto, E.D., Ghezzi, C.: Towards open-world software: Issue and challenges. In: SEW-30 2006, Columbia, MD, USA, April 25-28, pp. 249\u2013252 (2006)","DOI":"10.1109\/SEW.2006.35"},{"issue":"4","key":"8_CR2","doi-asserted-by":"publisher","first-page":"486","DOI":"10.1109\/TSE.2010.93","volume":"37","author":"L. Mariani","year":"2011","unstructured":"Mariani, L., Pastore, F., Pezz\u00e8, M.: Dynamic analysis for diagnosing integration faults. IEEE Trans. Software Eng.\u00a037(4), 486\u2013508 (2011)","journal-title":"IEEE Trans. Software Eng."},{"key":"8_CR3","doi-asserted-by":"crossref","unstructured":"de Alfaro, L., Henzinger, T.A.: Interface automata. In: ESEC\/SIGSOFT FSE, pp. 109\u2013120 (2001)","DOI":"10.1145\/503271.503226"},{"key":"8_CR4","doi-asserted-by":"crossref","unstructured":"Salfner, F., Lenk, M., Malek, M.: A survey of online failure prediction methods. ACM Comput. Surv.\u00a042(3) (2010)","DOI":"10.1145\/1670679.1670680"},{"key":"8_CR5","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"186","DOI":"10.1007\/10722167_17","volume-title":"Computer Aided Verification","author":"L. de Alfaro","year":"2000","unstructured":"de Alfaro, L., Henzinger, T.A., Mang, F.Y.C.: Detecting errors before reaching them. In: Emerson, E.A., Sistla, A.P. (eds.) CAV 2000. LNCS, vol.\u00a01855, pp. 186\u2013201. Springer, Heidelberg (2000)"},{"issue":"1","key":"8_CR6","doi-asserted-by":"publisher","first-page":"24","DOI":"10.1109\/32.663996","volume":"24","author":"S. Liu","year":"1998","unstructured":"Liu, S., Offutt, A., Ho-Stuart, C., Sun, Y., Ohba, M.: Sofl: a formal engineering methodology for industrial applications. IEEE Transactions on Software Engineering\u00a024(1), 24\u201345 (1998)","journal-title":"IEEE Transactions on Software Engineering"},{"key":"8_CR7","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"129","DOI":"10.1007\/978-3-540-24721-0_9","volume-title":"Fundamental Approaches to Software Engineering","author":"R. Chatley","year":"2004","unstructured":"Chatley, R., Savani, R., Kramer, J., Magee, J., Uchitel, S.: Predictable dynamic plugin systems. In: Wermelinger, M., Margaria-Steffen, T. (eds.) FASE 2004. LNCS, vol.\u00a02984, pp. 129\u2013143. Springer, Heidelberg (2004)"},{"key":"8_CR8","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"97","DOI":"10.1007\/978-3-540-77395-5_9","volume-title":"Runtime Verification","author":"H. Barringer","year":"2007","unstructured":"Barringer, H., Gabbay, D.M., Rydeheard, D.E.: From runtime verification to evolvable systems. In: Sokolsky, O., Ta\u015f\u0131ran, S. (eds.) RV 2007. LNCS, vol.\u00a04839, pp. 97\u2013110. Springer, Heidelberg (2007)"},{"key":"8_CR9","doi-asserted-by":"crossref","unstructured":"Goldsby, H., Cheng, B.H.C., Zhang, J.: Amoeba-rt: Run-time verification of adaptive software. In: MoDELS Workshops, pp. 212\u2013224 (2007)","DOI":"10.1007\/978-3-540-69073-3_23"},{"key":"8_CR10","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"269","DOI":"10.1007\/11596141_21","volume-title":"Service-Oriented Computing - ICSOC 2005","author":"L. Baresi","year":"2005","unstructured":"Baresi, L., Guinea, S.: Towards dynamic monitoring of WS-BPEL processes. In: Benatallah, B., Casati, F., Traverso, P. (eds.) ICSOC 2005. LNCS, vol.\u00a03826, pp. 269\u2013282. Springer, Heidelberg (2005)"},{"key":"8_CR11","doi-asserted-by":"publisher","first-page":"163","DOI":"10.1007\/s00165-011-0207-2","volume":"24","author":"A. Filieri","year":"2012","unstructured":"Filieri, A., Ghezzi, C., Tamburrelli, G.: A formal approach to adaptive software: continuous assurance of non-functional requirements. Formal Aspects of Computing\u00a024, 163\u2013186 (2012)","journal-title":"Formal Aspects of Computing"},{"key":"8_CR12","doi-asserted-by":"crossref","unstructured":"Ghezzi, C., Mocci, A., Sangiorgio, M.: Runtime monitoring of component changes with spy@runtime. In: ICSE 2012, pp. 1403\u20131406 (June 2012)","DOI":"10.1109\/ICSE.2012.6227237"}],"container-title":["Lecture Notes in Computer Science","Formal Methods and Software Engineering"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/978-3-319-11737-9_8","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2019,5,28]],"date-time":"2019-05-28T00:29:31Z","timestamp":1559003371000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/978-3-319-11737-9_8"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2014]]},"ISBN":["9783319117362","9783319117379"],"references-count":12,"URL":"https:\/\/doi.org\/10.1007\/978-3-319-11737-9_8","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[2014]]}}}