{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2026,10,7]],"date-time":"2026-10-07T02:57:49Z","timestamp":1791341869210,"version":"4.3.1"},"publisher-location":"Berlin, Heidelberg","reference-count":14,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"value":"9783642166112","type":"print"},{"value":"9783642166129","type":"electronic"}],"license":[{"start":{"date-parts":[[2010,1,1]],"date-time":"2010-01-01T00:00:00Z","timestamp":1262304000000},"content-version":"unspecified","delay-in-days":0,"URL":"http:\/\/www.springer.com\/tdm"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2010]]},"DOI":"10.1007\/978-3-642-16612-9_34","type":"book-chapter","created":{"date-parts":[[2010,11,17]],"date-time":"2010-11-17T06:45:14Z","timestamp":1289976314000},"page":"452-459","source":"Crossref","is-referenced-by-count":10,"title":["Runtime Verification of Stochastic, Faulty Systems"],"prefix":"10.1007","author":[{"given":"Cristina M.","family":"Wilcox","sequence":"first","affiliation":[],"role":[{"vocabulary":"crossref","role":"author"}]},{"given":"Brian C.","family":"Williams","sequence":"additional","affiliation":[],"role":[{"vocabulary":"crossref","role":"author"}]}],"member":"297","reference":[{"key":"34_CR1","volume-title":"Principles of Model Checking","author":"C. Baier","year":"2008","unstructured":"Baier, C., Katoen, J.P.: Principles of Model Checking. The MIT Press, Cambridge (2008)"},{"key":"34_CR2","unstructured":"Black, J.: System Safety as an Emergent Property. Ph.D. thesis, Carnegie Mellon University, Pittsburgh, PA (April 2009)"},{"key":"34_CR3","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"323","DOI":"10.1007\/10722468_19","volume-title":"SPIN Model Checking and Software Verification","author":"D. Drusinsky","year":"2000","unstructured":"Drusinsky, D.: The Temporal Rover and the ATG Rover. In: Havelund, K., Penix, J., Visser, W. (eds.) SPIN 2000. LNCS, vol.\u00a01885, pp. 323\u2013330. Springer, Heidelberg (2000)"},{"key":"34_CR4","doi-asserted-by":"crossref","unstructured":"Gerth, R., Peled, D., Vardi, M.Y., Wolper, P.: Simple on-the-fly automatic verification of linear temporal logic. In: IFIP Conf. Proc., vol.\u00a038, pp. 3\u201318 (1995)","DOI":"10.1007\/978-0-387-34892-6_1"},{"key":"34_CR5","doi-asserted-by":"crossref","unstructured":"Giannakopoulou, D., Havelund, K.: Automata-based verification of temporal properties on running programs. In: 16th IEEE International Conference on Automated Software Engineering, San Diego, CA (2001)","DOI":"10.1109\/ASE.2001.989841"},{"key":"34_CR6","unstructured":"Havelund, K., Ro\u015fu, G.: Java pathexplorer - a runtime verification tool. In: The 6th International Symposium on AI, Robotics and Automation in Space (May 2001)"},{"issue":"2","key":"34_CR7","doi-asserted-by":"publisher","first-page":"129","DOI":"10.1023\/B:FORM.0000017719.43755.7c","volume":"24","author":"M. Kim","year":"2004","unstructured":"Kim, M., Kannan, S., Lee, I., Sokolsky, O., Viswanathan, M.: Java-MaC: a runtime assurance approach for Java programs. Formal Methods in System Design\u00a024(2), 129\u2013155 (2004)","journal-title":"Formal Methods in System Design"},{"key":"34_CR8","unstructured":"Martin, O.B., Chung, S.H., Williams, B.C.: A tractable approach to probabilistically accurate mode estimation. In: Proc of iSAIRAS 2005, Munich, Germany (September 2005)"},{"key":"34_CR9","unstructured":"Mikaelian, T., Williams, B.C., Sachenbacher, M.: Model-based monitoring and diagnosis of systems with software-extended behavior. In: AAAI 2005, Pittsburgh, PA, pp. 327\u2013333 (July 2005)"},{"key":"34_CR10","doi-asserted-by":"crossref","unstructured":"Peters, D.K., Parnas, D.L.: Requirements-based monitors for real-time systems. IEEE Transactions on Software Engineering\u00a028(2) (February 2002)","DOI":"10.1109\/32.988496"},{"key":"34_CR11","doi-asserted-by":"crossref","unstructured":"Pnueli, A.: The temporal logic of programs. In: 18th Annual Symposium on Foundations of Computer Science (FOCS 1997), pp. 46\u201357 (1977)","DOI":"10.1109\/SFCS.1977.32"},{"key":"34_CR12","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"164","DOI":"10.1007\/978-3-540-77395-5_14","volume-title":"Runtime Verification","author":"U. Sammapun","year":"2007","unstructured":"Sammapun, U., Sokolsky, O., Lee, I., Regehr, J.: Statistical runtime checking of probabilistic properties. In: Sokolsky, O., Ta\u015f\u0131ran, S. (eds.) RV 2007. LNCS, vol.\u00a04839, pp. 164\u2013175. Springer, Heidelberg (2007)"},{"key":"34_CR13","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"294","DOI":"10.1007\/978-3-540-78163-9_25","volume-title":"Verification, Model Checking, and Abstract Interpretation","author":"A.P. Sistla","year":"2008","unstructured":"Sistla, A.P., Srinivas, A.R.: Monitoring temporal properties of stochastic systems. In: Logozzo, F., Peled, D.A., Zuck, L.D. (eds.) VMCAI 2008. LNCS, vol.\u00a04905, pp. 294\u2013308. Springer, Heidelberg (2008)"},{"key":"34_CR14","unstructured":"Williams, B., Chung, S., Gupta, V.: Mode estimation of model-based programs: Monitoring systems with complex behavior. In: Proc. of the International Joint Conference on Artificial Intelligence, Seattle, WA, pp. 579\u2013585 (2001)"}],"container-title":["Lecture Notes in Computer Science","Runtime Verification"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/978-3-642-16612-9_34","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2019,6,6]],"date-time":"2019-06-06T05:57:14Z","timestamp":1559800634000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/978-3-642-16612-9_34"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2010]]},"ISBN":["9783642166112","9783642166129"],"references-count":14,"URL":"https:\/\/doi.org\/10.1007\/978-3-642-16612-9_34","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"value":"0302-9743","type":"print"},{"value":"1611-3349","type":"electronic"}],"subject":[],"published":{"date-parts":[[2010]]}}}