{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,9,9]],"date-time":"2024-09-09T14:46:48Z","timestamp":1725893208577},"publisher-location":"Berlin, Heidelberg","reference-count":16,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783540773948"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"DOI":"10.1007\/978-3-540-77395-5_14","type":"book-chapter","created":{"date-parts":[[2007,12,6]],"date-time":"2007-12-06T11:25:53Z","timestamp":1196940353000},"page":"164-175","source":"Crossref","is-referenced-by-count":19,"title":["Statistical Runtime Checking of Probabilistic Properties"],"prefix":"10.1007","author":[{"given":"Usa","family":"Sammapun","sequence":"first","affiliation":[]},{"given":"Insup","family":"Lee","sequence":"additional","affiliation":[]},{"given":"Oleg","family":"Sokolsky","sequence":"additional","affiliation":[]},{"given":"John","family":"Regehr","sequence":"additional","affiliation":[]}],"member":"297","reference":[{"key":"14_CR1","doi-asserted-by":"crossref","unstructured":"Barringer, H., Goldberg, A., Havelund, K., Sen, K.: Rule-based runtime verification. In: Proceedings of 5th International Conference on Verification, Model Checking and Abstract Interpretation, Vanice, Italy, pp. 44\u201357 (2004)","DOI":"10.1007\/978-3-540-24622-0_5"},{"key":"14_CR2","doi-asserted-by":"crossref","unstructured":"Culler, D.E., Hill, J., Buonadonna, P., Szewczyk, R., Woo, A.: A network-centric approach to embedded software for tiny devices. In: Henzinger, T.A., Kirsch, C.M. (eds.) EMSOFT 2001. LNCS, vol.\u00a02211, Springer, Heidelberg (2001)","DOI":"10.1007\/3-540-45449-7_9"},{"key":"14_CR3","unstructured":"Devore, J.L.: Probability and Statistics for Engineering and the Sciences. Duxbury Thomson Learning\u00a0 (2000)"},{"key":"14_CR4","doi-asserted-by":"crossref","unstructured":"Drusinsky, D.: Monitoring temporal rules combined with Time Series. In: Hunt Jr., W.A., Somenzi, F. (eds.) CAV 2003. LNCS, vol.\u00a02725, Springer, Heidelberg (2003)","DOI":"10.1007\/978-3-540-45069-6_11"},{"issue":"3","key":"14_CR5","doi-asserted-by":"crossref","first-page":"253","DOI":"10.1007\/s10703-005-3399-3","volume":"27","author":"B. Finkbeiner","year":"2005","unstructured":"Finkbeiner, B., Sankaranarayanan, S., Sipma, H.B.: Collecting statistics about runtime executions. Formal Methods in System Design\u00a027(3), 253\u2013274 (2005)","journal-title":"Formal Methods in System Design"},{"key":"14_CR6","doi-asserted-by":"crossref","unstructured":"Gay, D., Levis, P., von Behren, R., Welsh, M., Brewer, E., Culler, D.: The nesC language: A holistic approach to networked embedded systems. In: Proceedings of the ACM SIGPLAN Conference on Programming Language Design and Implementation (2003)","DOI":"10.1145\/781131.781133"},{"key":"14_CR7","unstructured":"Havelund, K., Ro\u015fu, G.: Java PathExplorer \u2013 A runtime verification tool. In: Proceedings of the 6th International Symposium on Artificial Intelligence, Robotics and Automation in Space (2001)"},{"key":"14_CR8","doi-asserted-by":"crossref","unstructured":"Jayaputera, J., Poernomo, I., Schmidt, H.: Runtime verification of timing and probabilistic properties using WMI and .NET. In: Proceedings of the 30th EUROMICRO Conference (2004)","DOI":"10.1109\/EURMIC.2004.1333361"},{"key":"14_CR9","doi-asserted-by":"crossref","unstructured":"Kim, M., Kannan, S., Lee, I., Sokolsky, O., Viswanathan, M.: Java-MaC: a runtime assurance approach for Java programs. Formal Methods in Systems Design\u00a024(2), 129\u2013155 (2004)","DOI":"10.1023\/B:FORM.0000017719.43755.7c"},{"key":"14_CR10","doi-asserted-by":"crossref","unstructured":"Kristoffersen, K.J., Pedersen, C., Anderson, H.R.: Runtime verification of Timed LTL using disjunctive normalized equation systems. In: Proceedings of the 3rd International Workshop on Runtime Verification (2003)","DOI":"10.1016\/S1571-0661(04)81050-8"},{"key":"14_CR11","doi-asserted-by":"crossref","unstructured":"Manna, Z., Pnueli, A.: The Temporal Logic of Reactive and Concurrent Systems. Springer, Heidelberg (1992)","DOI":"10.1007\/978-1-4612-0931-7"},{"key":"14_CR12","doi-asserted-by":"crossref","unstructured":"Sammapun, U., Lee, I., Sokolsky, O.: RT-MaC: Runtime monitoring and checking of quantitative and probabilistic properties. In: Proceedings of the 11th IEEE International Conference of Embedded and Real-Time Computing Systems and Applications (2005)","DOI":"10.1109\/RTCSA.2005.84"},{"key":"14_CR13","unstructured":"Stolz, V., Bodden, E.: Temporal assertions using AspectJ. In: Proceedings of the 5th International Workshop on Runtime Verification (July 2005)"},{"key":"14_CR14","unstructured":"Titzer, B.L.: Avrora: The AVR simulation and analysis framework. Master\u2019s thesis, University of California, Los Angeles, June (2004)"},{"key":"14_CR15","unstructured":"Wald, A.: Sequential Analysis. In: Dover Phoenix Editions (2004)"},{"key":"14_CR16","doi-asserted-by":"crossref","unstructured":"Younes, H.L.S., Kwiatkowska, M., Norman, G., Parker, D.: Numerical vs. statistical probabilistic model checking: An empirical study. In: Proceedings of the 10th International Conference on Tools and Algorithms for the Construction and Analysis of Systems (2004)","DOI":"10.1007\/978-3-540-24730-2_4"}],"container-title":["Lecture Notes in Computer Science","Runtime Verification"],"original-title":[],"language":"en","link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/978-3-540-77395-5_14.pdf","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2021,4,27]],"date-time":"2021-04-27T11:10:31Z","timestamp":1619521831000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/978-3-540-77395-5_14"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[null]]},"ISBN":["9783540773948"],"references-count":16,"URL":"https:\/\/doi.org\/10.1007\/978-3-540-77395-5_14","relation":{},"subject":[]}}