{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,10,1]],"date-time":"2025-10-01T16:30:36Z","timestamp":1759336236147,"version":"3.37.3"},"publisher-location":"Cham","reference-count":35,"publisher":"Springer International Publishing","isbn-type":[{"type":"print","value":"9783319694825"},{"type":"electronic","value":"9783319694832"}],"license":[{"start":{"date-parts":[[2017,1,1]],"date-time":"2017-01-01T00:00:00Z","timestamp":1483228800000},"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":[[2017]]},"DOI":"10.1007\/978-3-319-69483-2_3","type":"book-chapter","created":{"date-parts":[[2017,10,16]],"date-time":"2017-10-16T07:34:48Z","timestamp":1508139288000},"page":"42-58","source":"Crossref","is-referenced-by-count":11,"title":["Better Automated Importance Splitting for Transient Rare Events"],"prefix":"10.1007","author":[{"given":"Carlos E.","family":"Budde","sequence":"first","affiliation":[]},{"given":"Pedro R.","family":"D\u2019Argenio","sequence":"additional","affiliation":[]},{"given":"Arnd","family":"Hartmanns","sequence":"additional","affiliation":[]}],"member":"297","published-online":{"date-parts":[[2017,10,17]]},"reference":[{"key":"3_CR1","doi-asserted-by":"crossref","unstructured":"Amrein, M., K\u00fcnsch, H.R.: A variant of importance splitting for rare event estimation: Fixed number of successes. ACM Trans. Model. Comput. Simul. 21(2), 13:1\u201313:20 (2011)","DOI":"10.1145\/1899396.1899401"},{"issue":"4","key":"3_CR2","first-page":"180","volume":"2","author":"AJ Bayes","year":"1970","unstructured":"Bayes, A.J.: Statistical techniques for simulation models. Aust. Comput. J. 2(4), 180\u2013184 (1970)","journal-title":"Aust. Comput. J."},{"key":"3_CR3","unstructured":"Budde, C.E.: Automation of Importance Splitting Techniques for Rare Event Simulation. Ph.D. thesis, Universidad Nacional de C\u00f3rdoba, C\u00f3rdoba, Argentina (2017)"},{"key":"3_CR4","doi-asserted-by":"crossref","unstructured":"Budde, C.E., D\u2019Argenio, P.R., Monti, R.E.: Compositional construction of importance functions in fully automated importance splitting. In: VALUETOOLS (2016)","DOI":"10.4108\/eai.25-10-2016.2266501"},{"issue":"2","key":"3_CR5","doi-asserted-by":"crossref","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. Stoch. Anal. Appl. 25(2), 417\u2013443 (2007)","journal-title":"Stoch. Anal. Appl."},{"issue":"3","key":"3_CR6","doi-asserted-by":"crossref","first-page":"795","DOI":"10.1007\/s11222-011-9231-6","volume":"22","author":"F C\u00e9rou","year":"2012","unstructured":"C\u00e9rou, F., Moral, P.D., Furon, T., Guyader, A.: Sequential Monte Carlo for rare event estimation. Stat. Comput. 22(3), 795\u2013808 (2012)","journal-title":"Stat. Comput."},{"key":"3_CR7","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"99","DOI":"10.1007\/978-3-319-33693-0_7","volume-title":"Integrated Formal Methods","author":"PR D\u2019Argenio","year":"2016","unstructured":"D\u2019Argenio, P.R., Hartmanns, A., Legay, A., Sedwards, S.: Statistical approximation of optimal schedulers for probabilistic timed automata. In: \u00c1brah\u00e1m, E., Huisman, M. (eds.) IFM 2016. LNCS, vol. 9681, pp. 99\u2013114. Springer, Cham (2016). doi: 10.1007\/978-3-319-33693-0_7"},{"key":"3_CR8","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"53","DOI":"10.1007\/978-3-319-44878-7_4","volume-title":"Formal Modeling and Analysis of Timed Systems","author":"PR D\u2019Argenio","year":"2016","unstructured":"D\u2019Argenio, P.R., Lee, M.D., Monti, R.E.: Input\/Output stochastic automata. In: Fr\u00e4nzle, M., Markey, N. (eds.) FORMATS 2016. LNCS, vol. 9884, pp. 53\u201368. Springer, Cham (2016). doi: 10.1007\/978-3-319-44878-7_4"},{"key":"3_CR9","doi-asserted-by":"crossref","unstructured":"Garvels, M.J.J., Kroese, D.P.: A comparison of RESTART implementations. In: Winter Simulation Conference, WSC, pp. 601\u2013608 (1998)","DOI":"10.1109\/WSC.1998.745040"},{"issue":"4","key":"3_CR10","doi-asserted-by":"crossref","first-page":"363","DOI":"10.1002\/ett.4460130408","volume":"13","author":"MJJ Garvels","year":"2002","unstructured":"Garvels, M.J.J., van Ommeren, J.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."},{"key":"3_CR11","unstructured":"Garvels, M.J.J.: The splitting method in rare event simulation. Ph.D. thesis, University of Twente, Enschede, The Netherlands (2000)"},{"issue":"12","key":"3_CR12","doi-asserted-by":"crossref","first-page":"1666","DOI":"10.1109\/9.736061","volume":"43","author":"P Glasserman","year":"1998","unstructured":"Glasserman, P., Heidelberger, P., Shahabuddin, P., Zajic, T.: A large deviations perspective on the efficiency of multilevel splitting. IEEE Trans. Autom. Control 43(12), 1666\u20131679 (1998)","journal-title":"IEEE Trans. Autom. Control"},{"issue":"4","key":"3_CR13","doi-asserted-by":"crossref","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. Oper. Res. 47(4), 585\u2013600 (1999)","journal-title":"Oper. Res."},{"key":"3_CR14","unstructured":"Hahn, E.M., Hartmanns, A., Hermanns, H.: Reachability and reward checking for stochastic timed automata. In: ECEASST 70 (2014)"},{"key":"3_CR15","doi-asserted-by":"crossref","unstructured":"Hartmanns, A., Hermanns, H.: A Modest approach to checking probabilistic timed automata. In: QEST, pp. 187\u2013196. IEEE Computer Society (2009)","DOI":"10.1109\/QEST.2009.41"},{"key":"3_CR16","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"593","DOI":"10.1007\/978-3-642-54862-8_51","volume-title":"Tools and Algorithms for the Construction and Analysis of Systems","author":"A Hartmanns","year":"2014","unstructured":"Hartmanns, A., Hermanns, H.: The Modest Toolset: an integrated environment for quantitative modelling and verification. In: \u00c1brah\u00e1m, E., Havelund, K. (eds.) TACAS 2014. LNCS, vol. 8413, pp. 593\u2013598. Springer, Heidelberg (2014). doi: 10.1007\/978-3-642-54862-8_51"},{"key":"3_CR17","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. 2937, pp. 73\u201384. Springer, Heidelberg (2004). doi: 10.1007\/978-3-540-24622-0_8"},{"key":"3_CR18","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"163","DOI":"10.1007\/978-3-319-47677-3_11","volume-title":"Dependable Software Engineering: Theories, Tools, and Applications","author":"C Jegourel","year":"2016","unstructured":"Jegourel, C., Larsen, K.G., Legay, A., Miku\u010dionis, M., Poulsen, D.B., Sedwards, S.: Importance sampling for stochastic timed automata. In: Fr\u00e4nzle, M., Kapur, D., Zhan, N. (eds.) SETTA 2016. LNCS, vol. 9984, pp. 163\u2013178. Springer, Cham (2016). doi: 10.1007\/978-3-319-47677-3_11"},{"key":"3_CR19","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). doi: 10.1007\/978-3-642-39799-8_38"},{"key":"3_CR20","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"143","DOI":"10.1007\/978-3-662-45231-8_11","volume-title":"Leveraging Applications of Formal Methods, Verification and Validation. Specialized Techniques and Applications","author":"C Jegourel","year":"2014","unstructured":"Jegourel, C., Legay, A., Sedwards, S.: An effective heuristic for adaptive importance splitting in statistical model checking. In: Margaria, T., Steffen, B. (eds.) ISoLA 2014. LNCS, vol. 8803, pp. 143\u2013159. Springer, Heidelberg (2014). doi: 10.1007\/978-3-662-45231-8_11"},{"key":"3_CR21","doi-asserted-by":"crossref","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. Perform. Eval. 36, 471\u2013484 (1999)","journal-title":"Perform. Eval."},{"key":"3_CR22","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). doi: 10.1007\/978-3-642-22110-1_47"},{"issue":"1","key":"3_CR23","doi-asserted-by":"crossref","first-page":"101","DOI":"10.1016\/S0304-3975(01)00046-9","volume":"282","author":"MZ Kwiatkowska","year":"2002","unstructured":"Kwiatkowska, M.Z., Norman, G., Segala, R., Sproston, J.: Automatic verification of real-time systems with discrete probability distributions. Theor. Comput. Sci. 282(1), 101\u2013150 (2002)","journal-title":"Theor. Comput. Sci."},{"key":"3_CR24","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) (2007)","DOI":"10.1145\/1225275.1225280"},{"key":"3_CR25","unstructured":"LeGland, F., Oudjane, N.: A sequential particle algorithm that keeps the particle system alive. In: EUSIPCO, pp. 1\u20134. IEEE (2005)"},{"issue":"2","key":"3_CR26","doi-asserted-by":"crossref","first-page":"153","DOI":"10.1109\/TSE.2015.2468717","volume":"42","author":"M Paolieri","year":"2016","unstructured":"Paolieri, M., Horv\u00e1th, A., Vicario, E.: Probabilistic model checking of regenerative concurrent systems. IEEE Trans. Softw. Eng. 42(2), 153\u2013169 (2016)","journal-title":"IEEE Trans. Softw. Eng."},{"key":"3_CR27","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). doi: 10.1007\/978-3-642-40196-1_31"},{"key":"3_CR28","doi-asserted-by":"crossref","unstructured":"Rubino, G., Tuffin, B. (eds.): Rare Event Simulation Using Monte Carlo Methods. Wiley (2009)","DOI":"10.1002\/9780470745403"},{"issue":"1","key":"3_CR29","doi-asserted-by":"crossref","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. Eur. J. Oper. Res. 179(1), 148\u2013159 (2007)","journal-title":"Eur. J. Oper. Res."},{"key":"3_CR30","unstructured":"Vill\u00e9n-Altamirano, M., Vill\u00e9n-Altamirano, J.: RESTART: a method for accelerating rare event simulations. In: Queueing, Performance and Control in ATM (ITC-13), pp. 71\u201376. Elsevier (1991)"},{"key":"3_CR31","doi-asserted-by":"crossref","unstructured":"Vill\u00e9n-Altamirano, M., Vill\u00e9n-Altamirano, J.: RESTART: a straightforward method for fast simulation of rare events. In: WSC, pp. 282\u2013289. ACM (1994)","DOI":"10.1109\/WSC.1994.717150"},{"issue":"4","key":"3_CR32","doi-asserted-by":"crossref","first-page":"373","DOI":"10.1002\/ett.4460130409","volume":"13","author":"M Vill\u00e9n-Altamirano","year":"2002","unstructured":"Vill\u00e9n-Altamirano, M., Vill\u00e9n-Altamirano, J.: Analysis of restart simulation: theoretical basis and sensitivity study. Eur. Trans. Telecommun. 13(4), 373\u2013385 (2002)","journal-title":"Eur. Trans. Telecommun."},{"key":"3_CR33","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":"HLS 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. 2404, pp. 223\u2013235. Springer, Heidelberg (2002). doi: 10.1007\/3-540-45657-0_17"},{"key":"3_CR34","unstructured":"Zimmermann, A., Maciel, P.: Importance function derivation for RESTART simulations of Petri nets. In: RESIM 2012, pp. 8\u201315 (2012)"},{"key":"3_CR35","unstructured":"Zimmermann, A., Reijsbergen, D., Wichmann, A., Canabal Lavista, A.: Numerical results for the automated rare event simulation of stochastic Petri nets. In: RESIM, pp. 1\u201310 (2016)"}],"container-title":["Lecture Notes in Computer Science","Dependable Software Engineering. Theories, Tools, and Applications"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/978-3-319-69483-2_3","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2019,10,4]],"date-time":"2019-10-04T14:50:43Z","timestamp":1570200643000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/978-3-319-69483-2_3"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2017]]},"ISBN":["9783319694825","9783319694832"],"references-count":35,"URL":"https:\/\/doi.org\/10.1007\/978-3-319-69483-2_3","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[2017]]}}}