{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2026,11,12]],"date-time":"2026-11-12T17:13:25Z","timestamp":1794503605567,"version":"4.9.1"},"publisher-location":"Cham","reference-count":20,"publisher":"Springer International Publishing","isbn-type":[{"value":"9783319232669","type":"print"},{"value":"9783319232676","type":"electronic"}],"license":[{"start":{"date-parts":[[2015,1,1]],"date-time":"2015-01-01T00:00:00Z","timestamp":1420070400000},"content-version":"tdm","delay-in-days":0,"URL":"http:\/\/www.springer.com\/tdm"}],"content-domain":{"domain":["link.springer.com"],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2015]]},"DOI":"10.1007\/978-3-319-23267-6_18","type":"book-chapter","created":{"date-parts":[[2015,8,21]],"date-time":"2015-08-21T12:52:22Z","timestamp":1440161542000},"page":"275-290","update-policy":"https:\/\/doi.org\/10.1007\/springer_crossmark_policy","source":"Crossref","is-referenced-by-count":11,"title":["Rare Event Simulation with Fully Automated Importance Splitting"],"prefix":"10.1007","author":[{"given":"Carlos E.","family":"Budde","sequence":"first","affiliation":[],"role":[{"vocabulary":"crossref","role":"author"}]},{"given":"Pedro R.","family":"D\u2019Argenio","sequence":"additional","affiliation":[],"role":[{"vocabulary":"crossref","role":"author"}]},{"given":"Holger","family":"Hermanns","sequence":"additional","affiliation":[],"role":[{"vocabulary":"crossref","role":"author"}]}],"member":"297","published-online":{"date-parts":[[2015,8,22]]},"reference":[{"issue":"2","key":"18_CR1","doi-asserted-by":"publisher","first-page":"417","DOI":"10.1080\/07362990601139628","volume":"25","author":"F C\u00e9rou","year":"2007","unstructured":"C\u00e9rou, F., Guyader, A.: Adaptive multilevel splitting for rare event analysis. Stochastic Analysis and Applications 25(2), 417\u2013443 (2007)","journal-title":"Stochastic Analysis and Applications"},{"key":"18_CR2","unstructured":"Garvels, M.J.J.: The splitting method in rare event simulation. PhD thesis, University of Twente (2000)"},{"issue":"4","key":"18_CR3","doi-asserted-by":"publisher","first-page":"363","DOI":"10.1002\/ett.4460130408","volume":"13","author":"MJJ Garvels","year":"2002","unstructured":"Garvels, M.J.J., Van Ommeren, J.-K.C.W., Kroese, D.P.: On the importance function in splitting simulation. Eur. Trans. Telecommun. 13(4), 363\u2013371 (2002)","journal-title":"Eur. Trans. Telecommun."},{"issue":"4","key":"18_CR4","doi-asserted-by":"publisher","first-page":"585","DOI":"10.1287\/opre.47.4.585","volume":"47","author":"P Glasserman","year":"1999","unstructured":"Glasserman, P., Heidelberger, P., Shahabuddin, P., Zajic, T.: Multilevel splitting for estimating rare event probabilities. Operations Research 47(4), 585\u2013600 (1999)","journal-title":"Operations Research"},{"key":"18_CR5","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"576","DOI":"10.1007\/978-3-642-39799-8_38","volume-title":"Computer Aided Verification","author":"C Jegourel","year":"2013","unstructured":"Jegourel, C., Legay, A., Sedwards, S.: Importance Splitting for Statistical Model Checking Rare Properties. In: Sharygina, N., Veith, H. (eds.) CAV 2013. LNCS, vol. 8044, pp. 576\u2013591. Springer, Heidelberg (2013)"},{"key":"18_CR6","first-page":"27","volume":"12","author":"H Kahn","year":"1951","unstructured":"Kahn, H., Harris, T.E.: Estimation of particle transmission by random sampling. National Bureau of Standards Applied Mathematics Series 12, 27\u201330 (1951)","journal-title":"National Bureau of Standards Applied Mathematics Series"},{"key":"18_CR7","doi-asserted-by":"publisher","first-page":"471","DOI":"10.1016\/S0166-5316(99)00036-X","volume":"36","author":"DP Kroese","year":"1999","unstructured":"Kroese, D.P., Nicola, V.F.: Efficient estimation of overflow probabilities in queues with breakdowns. Performance Evaluation 36, 471\u2013484 (1999)","journal-title":"Performance Evaluation"},{"key":"18_CR8","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. 6806, pp. 585\u2013591. Springer, Heidelberg (2011)"},{"key":"18_CR9","unstructured":"Law, A.M., Kelton, W.D., Kelton, W.D.: Simulation modeling and analysis, vol. 2. McGraw-Hill, New York (1991)"},{"key":"18_CR10","doi-asserted-by":"crossref","unstructured":"L\u2019Ecuyer, P., Demers, V., Tuffin, B.: Rare events, splitting, and quasi-Monte Carlo. ACM Trans. Model. Comput. Simul. 17(2) (April 2007)","DOI":"10.1145\/1225275.1225280"},{"key":"18_CR11","doi-asserted-by":"crossref","unstructured":"L\u2019Ecuyer, P., Le Gland, F., Lezaud, P., Tuffin, B.: Splitting techniques. In: Rare Event Simulation using Monte Carlo Methods, pp. 39\u201361. J. Wiley & Sons (2009)","DOI":"10.1002\/9780470745403.ch3"},{"key":"18_CR12","doi-asserted-by":"crossref","unstructured":"L\u2019Ecuyer, P., Mandjes, M., Tuffin, B.: Importance sampling in rare event simulation. In: Rare Event Simulation using Monte Carlo Methods, pp. 17\u201338. J. Wiley & Sons (2009)","DOI":"10.1002\/9780470745403.ch2"},{"issue":"1","key":"18_CR13","doi-asserted-by":"publisher","first-page":"277","DOI":"10.1007\/s10479-009-0532-5","volume":"189","author":"P L\u2019Ecuyer","year":"2011","unstructured":"L\u2019Ecuyer, P., Tuffin, B.: Approximating zero-variance importance sampling in a reliability setting. Annals of Operations Research 189(1), 277\u2013297 (2011)","journal-title":"Annals of Operations Research"},{"key":"18_CR14","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"372","DOI":"10.1007\/978-3-642-40196-1_31","volume-title":"Quantitative Evaluation of Systems","author":"D Reijsbergen","year":"2013","unstructured":"Reijsbergen, D., de Boer, P.-T., Scheinhardt, W., Haverkort, B.: Automated Rare Event Simulation for Stochastic Petri Nets. In: Joshi, K., Siegle, M., Stoelinga, M., D\u2019Argenio, P.R. (eds.) QEST 2013. LNCS, vol. 8054, pp. 372\u2013388. Springer, Heidelberg (2013)"},{"key":"18_CR15","first-page":"183","volume":"52","author":"J Vill\u00e9n-Altamirano","year":"1998","unstructured":"Vill\u00e9n-Altamirano, J.: RESTART method for the case where rare events can occur in retrials from any threshold. Int. J. Electron. Commun. (AE\u00dc) 52, 183\u2013189 (1998)","journal-title":"Int. J. Electron. Commun. (AE\u00dc)"},{"issue":"1","key":"18_CR16","doi-asserted-by":"publisher","first-page":"148","DOI":"10.1016\/j.ejor.2006.02.026","volume":"179","author":"J Vill\u00e9n-Altamirano","year":"2007","unstructured":"Vill\u00e9n-Altamirano, J.: Rare event RESTART simulation of two-stage networks. European Journal of Operational Research 179(1), 148\u2013159 (2007)","journal-title":"European Journal of Operational Research"},{"key":"18_CR17","doi-asserted-by":"crossref","unstructured":"Vill\u00e9n-Altamirano, M., Mart\u00ednez-Marr\u00f3n, A., Gamo, J., Fern\u00e1ndez-Cuesta, F.: Enhancement of the accelerated simulation method restart by considering multiple thresholds. In: Proc. 14th Int. Teletraffic Congress, pp. 797\u2013810 (1994)","DOI":"10.1016\/B978-0-444-82031-0.50084-6"},{"key":"18_CR18","first-page":"3","volume":"3","author":"M Vill\u00e9n-Altamirano","year":"1991","unstructured":"Vill\u00e9n-Altamirano, M., Vill\u00e9n-Altamirano, J.: RESTART: A method for accelerating rare event simulations. Analysis 3, 3 (1991)","journal-title":"Analysis"},{"key":"18_CR19","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"509","DOI":"10.1007\/978-3-642-02742-0_22","volume-title":"Network Performance Engineering","author":"M Vill\u00e9n-Altamirano","year":"2011","unstructured":"Vill\u00e9n-Altamirano, M., Vill\u00e9n-Altamirano, J.: The Rare Event Simulation Method RESTART: Efficiency Analysis and Guidelines for Its Application. In: Kouvatsos, D.D. (ed.) Next Generation Internet: Performance Evaluation and Applications. LNCS, vol. 5233, pp. 509\u2013547. Springer, Heidelberg (2011)"},{"issue":"158","key":"18_CR20","doi-asserted-by":"publisher","first-page":"209","DOI":"10.1080\/01621459.1927.10502953","volume":"22","author":"EB Wilson","year":"1927","unstructured":"Wilson, E.B.: Probable inference, the law of succession, and statistical inference. Journal of the American Statistical Association 22(158), 209\u2013212 (1927)","journal-title":"Journal of the American Statistical Association"}],"container-title":["Lecture Notes in Computer Science","Computer Performance Engineering"],"original-title":[],"language":"en","link":[{"URL":"https:\/\/link.springer.com\/content\/pdf\/10.1007\/978-3-319-23267-6_18","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2023,2,21]],"date-time":"2023-02-21T03:08:35Z","timestamp":1676948915000},"score":1,"resource":{"primary":{"URL":"https:\/\/link.springer.com\/10.1007\/978-3-319-23267-6_18"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2015]]},"ISBN":["9783319232669","9783319232676"],"references-count":20,"URL":"https:\/\/doi.org\/10.1007\/978-3-319-23267-6_18","relation":{"is-part-of":[{"id-type":"doi","id":"https:\/\/doi.org\/10.1007\/978-3-319-23267-6","asserted-by":"object"}]},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"value":"0302-9743","type":"print"},{"value":"1611-3349","type":"electronic"}],"subject":[],"published":{"date-parts":[[2015]]},"assertion":[{"value":"22 August 2015","order":1,"name":"first_online","label":"First Online","group":{"name":"ChapterHistory","label":"Chapter History"}}]}}