{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,3,27]],"date-time":"2025-03-27T00:45:33Z","timestamp":1743036333778,"version":"3.40.3"},"publisher-location":"Berlin, Heidelberg","reference-count":18,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783642047602"},{"type":"electronic","value":"9783642047619"}],"license":[{"start":{"date-parts":[[2009,1,1]],"date-time":"2009-01-01T00:00:00Z","timestamp":1230768000000},"content-version":"tdm","delay-in-days":0,"URL":"http:\/\/www.springer.com\/tdm"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2009]]},"DOI":"10.1007\/978-3-642-04761-9_11","type":"book-chapter","created":{"date-parts":[[2009,10,10]],"date-time":"2009-10-10T06:43:53Z","timestamp":1255157033000},"page":"120-134","source":"Crossref","is-referenced-by-count":35,"title":["Statistical Model Checking Using Perfect Simulation"],"prefix":"10.1007","author":[{"given":"Diana","family":"El Rabih","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Nihal","family":"Pekergin","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","reference":[{"key":"11_CR1","doi-asserted-by":"crossref","unstructured":"El Rabih, D., Pekergin, N.: Statistical model checking for steady state dependability verification. In: WIP paper in proceedings of 2nd International conference on Dependability. DEPEND 2009, IEEE CS proceedings, Athens, Greece (2009)","DOI":"10.1109\/DEPEND.2009.32"},{"issue":"1","key":"11_CR2","doi-asserted-by":"publisher","first-page":"162","DOI":"10.1145\/343369.343402","volume":"1","author":"A. Aziz","year":"2000","unstructured":"Aziz, A., Sanwal, K., Singhal, V., Brayton, R.: Model Checking Continuous Time Markov Chains. ACM Trans. on Comp. Logic\u00a01(1), 162\u2013170 (2000)","journal-title":"ACM Trans. on Comp. Logic"},{"issue":"6","key":"11_CR3","doi-asserted-by":"publisher","first-page":"524","DOI":"10.1109\/TSE.2003.1205180","volume":"29","author":"C. Baier","year":"2003","unstructured":"Baier, C., Haverkort, B., Hermanns, H., Katoen, J.P.: Model-Checking Algorithms for Continuous-Time Markov Chains. IEEE Trans. Software Eng.\u00a029(6), 524\u2013541 (2003)","journal-title":"IEEE Trans. Software Eng."},{"key":"11_CR4","volume-title":"Monotone Structure in Discrete-Event Systems","author":"P. Glasserman","year":"1994","unstructured":"Glasserman, P., Yao, D.: Monotone Structure in Discrete-Event Systems. John Wiley & Sons, Chichester (1994)"},{"key":"11_CR5","doi-asserted-by":"publisher","first-page":"512","DOI":"10.1007\/BF01211866","volume":"6","author":"H. Hansson","year":"1994","unstructured":"Hansson, H., Jonsson, B.: A logic for reasonning about time and reliability. Formal Aspects Compt.\u00a06, 512\u2013535 (1994)","journal-title":"Formal Aspects Compt."},{"key":"11_CR6","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"441","DOI":"10.1007\/11691372_29","volume-title":"Tools and Algorithms for the Construction and Analysis of Systems","author":"A. Hinton","year":"2006","unstructured":"Hinton, A., Kwiatkowska, M., Norman, G., Parker, D.: PRISM: A tool for automatic verification of probabilistic systems. In: Hermanns, H., Palsberg, J. (eds.) TACAS 2006. LNCS, vol.\u00a03920, pp. 441\u2013444. Springer, Heidelberg (2006)"},{"key":"11_CR7","volume-title":"An Engineering approach to computer networking","author":"S. Keshav","year":"1997","unstructured":"Keshav, S.: An Engineering approach to computer networking. Addison Wesley, Reading (1997)"},{"issue":"1 and 2","key":"11_CR8","doi-asserted-by":"publisher","first-page":"223","DOI":"10.1002\/(SICI)1098-2418(199608\/09)9:1\/2<223::AID-RSA14>3.0.CO;2-O","volume":"9","author":"J.G. Propp","year":"1996","unstructured":"Propp, J.G., Wilson, D.B.: Exact sampling with coupled Markov chains and applications to statistical mechanics. Random Structures and Algorithms\u00a09(1 and 2), 223\u2013252 (1996)","journal-title":"Random Structures and Algorithms"},{"key":"11_CR9","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"crossref","first-page":"266","DOI":"10.1007\/11513988_26","volume-title":"Computer Aided Verification","author":"K. Sen","year":"2005","unstructured":"Sen, K., Viswanathan, M., Agha, G.: On Statistical Model Checking of Stochastic Systems. In: Etessami, K., Rajamani, S.K. (eds.) CAV 2005. LNCS, vol.\u00a03576, pp. 266\u2013280. Springer, Heidelberg (2005)"},{"key":"11_CR10","doi-asserted-by":"publisher","first-page":"285","DOI":"10.1016\/j.laa.2004.02.023","volume":"386","author":"J.M. Vincent","year":"2004","unstructured":"Vincent, J.M., Marchand, C.: On the exact simulation of functionals of stationary Markov chains. Linear Algebra and its Applications\u00a0386, 285\u2013310 (2004)","journal-title":"Linear Algebra and its Applications"},{"issue":"2","key":"11_CR11","doi-asserted-by":"publisher","first-page":"24","DOI":"10.1145\/1168134.1168146","volume":"34","author":"J.-M. Vincent","year":"2006","unstructured":"Vincent, J.-M., Vienne, J.: Perfect simulation of index based routing networks. Performance Evaluation Review\u00a034(2), 24\u201325 (2006)","journal-title":"Performance Evaluation Review"},{"key":"11_CR12","doi-asserted-by":"crossref","unstructured":"Vincent, J.-M., Vienne, J.: PSI2 a Software Tool for the Perfect Simulation of Finite Queuing Networks. In: QEST, Edinburgh (September 2007)","DOI":"10.1109\/QEST.2007.37"},{"key":"11_CR13","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"249","DOI":"10.1007\/978-3-540-68982-9_18","volume-title":"Analytical and Stochastic Modeling Techniques and Applications","author":"P. Fernandes","year":"2008","unstructured":"Fernandes, P., Vincent, J.-M., Webber, T.: Perfect Simulation of Stochastic Automata Networks. In: Al-Begain, K., Heindl, A., Telek, M. (eds.) ASMTA 2008. LNCS, vol.\u00a05055, pp. 249\u2013263. Springer, Heidelberg (2008)"},{"key":"11_CR14","doi-asserted-by":"crossref","unstructured":"Busic, A., Gaujal, B., Vincent, J.-M.: Perfect simulation and non-monotone (Markovian) systems. In: Proceedings of 3rd International Conference on Performance Evaluation Methodologies and Tools, VALUETOOLS 2008, Athens, Greece (October 2008)","DOI":"10.4108\/ICST.VALUETOOLS2008.4404"},{"key":"11_CR15","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"223","DOI":"10.1007\/3-540-45657-0_17","volume-title":"Computer Aided Verification","author":"H.L.S. Younes","year":"2002","unstructured":"Younes, H.L.S., Simmons, R.G.: Probabilistic verification of discrete event systems using acceptance sampling. In: Brinksma, E., Larsen, K.G. (eds.) CAV 2002. LNCS, vol.\u00a02404, pp. 223\u2013235. Springer, Heidelberg (2002)"},{"issue":"3","key":"11_CR16","doi-asserted-by":"publisher","first-page":"216","DOI":"10.1007\/s10009-005-0187-8","volume":"8","author":"H.L. Younes","year":"2006","unstructured":"Younes, H.L., Kwiatkowska, M., Norman, G., Parker, D.: Numerical vs. statistical probabilistic model checking. Software Tools for Technology Transfer\u00a08(3), 216\u2013228 (2006)","journal-title":"Software Tools for Technology Transfer"},{"key":"11_CR17","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"142","DOI":"10.1007\/11609773_10","volume-title":"Verification, Model Checking, and Abstract Interpretation","author":"H.L.S. Younes","year":"2006","unstructured":"Younes, H.L.S.: Error Control for Probabilistic Model Checking. In: Emerson, E.A., Namjoshi, K.S. (eds.) VMCAI 2006. LNCS, vol.\u00a03855, pp. 142\u2013156. Springer, Heidelberg (2006)"},{"issue":"9","key":"11_CR18","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. Information and Computation\u00a0204(9), 1368\u20131409 (2006)","journal-title":"Information and Computation"}],"container-title":["Lecture Notes in Computer Science","Automated Technology for Verification and Analysis"],"original-title":[],"language":"en","link":[{"URL":"https:\/\/link.springer.com\/content\/pdf\/10.1007\/978-3-642-04761-9_11","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2023,1,18]],"date-time":"2023-01-18T20:17:37Z","timestamp":1674073057000},"score":1,"resource":{"primary":{"URL":"https:\/\/link.springer.com\/10.1007\/978-3-642-04761-9_11"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2009]]},"ISBN":["9783642047602","9783642047619"],"references-count":18,"URL":"https:\/\/doi.org\/10.1007\/978-3-642-04761-9_11","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[2009]]}}}