{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,9,3]],"date-time":"2025-09-03T11:11:30Z","timestamp":1756897890298},"publisher-location":"Berlin, Heidelberg","reference-count":21,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783642396106"},{"type":"electronic","value":"9783642396113"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2013]]},"DOI":"10.1007\/978-3-642-39611-3_18","type":"book-chapter","created":{"date-parts":[[2013,7,3]],"date-time":"2013-07-03T22:33:07Z","timestamp":1372890787000},"page":"162-177","source":"Crossref","is-referenced-by-count":8,"title":["Statistical Model Checking for Safety Critical Hybrid Systems: An Empirical Evaluation"],"prefix":"10.1007","author":[{"given":"Youngjoo","family":"Kim","sequence":"first","affiliation":[]},{"given":"Moonzoo","family":"Kim","sequence":"additional","affiliation":[]},{"given":"Tai-Hyo","family":"Kim","sequence":"additional","affiliation":[]}],"member":"297","reference":[{"issue":"1","key":"18_CR1","doi-asserted-by":"publisher","first-page":"7","DOI":"10.1023\/A:1011276507260","volume":"19","author":"E. Clarke","year":"2001","unstructured":"Clarke, E., Biere, A., Raimi, R., Zhu, Y.: Bounded model checking using satisfiability solving. Formal Methods System Design (FMSD)\u00a019(1), 7\u201334 (2001)","journal-title":"Formal Methods System Design (FMSD)"},{"key":"18_CR2","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"149","DOI":"10.1007\/978-3-642-01702-5_16","volume-title":"Hardware and Software: Verification and Testing","author":"E. Clarke","year":"2009","unstructured":"Clarke, E., Donz\u00e9, A., Legay, A.: Statistical model checking of mixed-analog circuits with an application to a third order \u0394 \u2212 \u03a3 modulator. In: Chockler, H., Hu, A.J. (eds.) HVC 2008. LNCS, vol.\u00a05394, pp. 149\u2013163. Springer, Heidelberg (2009)"},{"unstructured":"Halstead, M.H.: Elements of Software Science. Elsevier Science Ltd. (1977)","key":"18_CR3"},{"key":"18_CR4","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"73","DOI":"10.1007\/978-3-540-24622-0_8","volume-title":"Verification, Model Checking, and Abstract Interpretation","author":"T. H\u00e9rault","year":"2004","unstructured":"H\u00e9rault, T., Lassaigne, R., Magniette, F., Peyronnet, S.: Approximate probabilistic model checking. In: Steffen, B., Levi, G. (eds.) VMCAI 2004. LNCS, vol.\u00a02937, pp. 73\u201384. Springer, Heidelberg (2004)"},{"unstructured":"IEEE Computer Society. IEEE Std 1633: IEEE Recommend Practice on Software Reliability (2008)","key":"18_CR5"},{"unstructured":"International Electrotechnical Commission (IEC). IEC 61508: Functional safety of electrical\/electronic\/programmable electronic (E\/E\/PE) safety related systems (2005)","key":"18_CR6"},{"unstructured":"International Organization for Standardization (ISO). ISO 26262: Road vehicles \u2013 functional safety (2011), \n                  \n                    http:\/\/www.iso.org\/iso\/catalogue_detail?csnumber=43464","key":"18_CR7"},{"key":"18_CR8","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"218","DOI":"10.1007\/978-3-642-03845-7_15","volume-title":"Computational Methods in Systems Biology","author":"S.K. Jha","year":"2009","unstructured":"Jha, S.K., Clarke, E.M., Langmead, C.J., Legay, A., Platzer, A., Zuliani, P.: A bayesian approach to model checking biological systems. In: Degano, P., Gorrieri, R. (eds.) CMSB 2009. LNCS, vol.\u00a05688, pp. 218\u2013234. Springer, Heidelberg (2009)"},{"unstructured":"Kim, Y., Choi, O., Kim, M., Baik, J., Kim, T.: Validating software reliability through statistical model checking: Safer, cheaper, and faster. IEEE Software (under review)","key":"18_CR9"},{"doi-asserted-by":"crossref","unstructured":"Kim, Y., Kim, M., Kim, T.: Hybrid statistical model checking technique for reliable safety critical systems. In: IEEE International Symposium on Software Reliability Engineering, ISSRE (2012)","key":"18_CR10","DOI":"10.1109\/ISSRE.2012.35"},{"key":"18_CR11","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"585","DOI":"10.1007\/978-3-642-22110-1_47","volume-title":"Computer Aided Verification","author":"M. Kwiatkowska","year":"2011","unstructured":"Kwiatkowska, M., Norman, G., Parker, D.: PRISM 4.0: Verification of probabilistic real-time systems. In: Gopalakrishnan, G., Qadeer, S. (eds.) CAV 2011. LNCS, vol.\u00a06806, pp. 585\u2013591. Springer, Heidelberg (2011)"},{"issue":"2","key":"18_CR12","doi-asserted-by":"publisher","first-page":"277","DOI":"10.1080\/00207720902957236","volume":"42","author":"J. Lauber","year":"2011","unstructured":"Lauber, J., Guerra, T.M., Dambrine, M.: Air-fuel ratio control in a gasoline engine. International Journal of Systems Science (IJSySc)\u00a042(2), 277\u2013286 (2011)","journal-title":"International Journal of Systems Science (IJSySc)"},{"unstructured":"Radio Technical Commission for Aeronautics (RTCA). Do-178c: Software considerations in airborne systems and equipment certification (2012)","key":"18_CR13"},{"key":"18_CR14","doi-asserted-by":"crossref","DOI":"10.1007\/978-1-4899-4491-7","volume-title":"Large sample methods in statistics: An Introduction with Applications","author":"P.K. Sen","year":"1993","unstructured":"Sen, P.K., Singer, J.M.: Large sample methods in statistics: An Introduction with Applications. Chapman & Hall, New York (1993)"},{"issue":"2","key":"18_CR15","doi-asserted-by":"publisher","first-page":"117","DOI":"10.1214\/aoms\/1177731118","volume":"16","author":"A. Wald","year":"1945","unstructured":"Wald, A.: Sequential tests of statistical hypotheses. Annals of Mathematical Statistics\u00a016(2), 117\u2013186 (1945)","journal-title":"Annals of Mathematical Statistics"},{"key":"18_CR16","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"701","DOI":"10.1007\/11751588_73","volume-title":"Computational Science and Its Applications - ICCSA 2006","author":"S. Yi","year":"2006","unstructured":"Yi, S., Heo, J., Cho, Y., Hong, J.: Adaptive mobile checkpointing facility for wireless sensor networks. In: Gavrilova, M.L., Gervasi, O., Kumar, V., Tan, C.J.K., Taniar, D., Lagan\u00e1, A., Mun, Y., Choo, H. (eds.) ICCSA 2006. LNCS, vol.\u00a03981, pp. 701\u2013709. Springer, Heidelberg (2006)"},{"unstructured":"Younes, H.L.S.: Verification and Planning for Stochastic Processes with Asynchronous Events. PhD thesis, CMU (January 2005)","key":"18_CR17"},{"issue":"3","key":"18_CR18","doi-asserted-by":"publisher","first-page":"216","DOI":"10.1007\/s10009-005-0187-8","volume":"8","author":"H.L.S. Younes","year":"2006","unstructured":"Younes, H.L.S., Kwiatkowska, M., Norman, G., Parker, D.: Numerical vs. statistical probabilistic model checking. Software Tools for Technology Transfer (STTT)\u00a08(3), 216\u2013228 (2006)","journal-title":"Software Tools for Technology Transfer (STTT)"},{"unstructured":"Younes, H.L.S., Musliner, D.J.: Probabilistic plan verification through acceptance sampling. In: AIPS Workshop on Planning via Model Checking (2002)","key":"18_CR19"},{"issue":"9","key":"18_CR20","doi-asserted-by":"publisher","first-page":"1368","DOI":"10.1016\/j.ic.2006.05.002","volume":"204","author":"H.L.S. Younes","year":"2006","unstructured":"Younes, H.L.S., Simmons, R.G.: Statistical probabilistic model checking with a focus on time-bounded properties. Journal Information and Computation (JIC)\u00a0204(9), 1368\u20131409 (2006)","journal-title":"Journal Information and Computation (JIC)"},{"doi-asserted-by":"crossref","unstructured":"Zuliani, P., Platzer, A., Clarke, E.M.: Bayesian statistical model checking with application to stateflow\/simulink verification. In: Hybrid Systems: Computation and Control, HSCC (2010)","key":"18_CR21","DOI":"10.21236\/ADA531406"}],"container-title":["Lecture Notes in Computer Science","Hardware and Software: Verification and Testing"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/978-3-642-39611-3_18","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2019,5,15]],"date-time":"2019-05-15T10:11:06Z","timestamp":1557915066000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/978-3-642-39611-3_18"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2013]]},"ISBN":["9783642396106","9783642396113"],"references-count":21,"URL":"https:\/\/doi.org\/10.1007\/978-3-642-39611-3_18","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[2013]]}}}