{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,3,28]],"date-time":"2025-03-28T02:30:36Z","timestamp":1743129036607,"version":"3.40.3"},"publisher-location":"Cham","reference-count":35,"publisher":"Springer International Publishing","isbn-type":[{"type":"print","value":"9783319682693"},{"type":"electronic","value":"9783319682709"}],"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":["link.springer.com"],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2017]]},"DOI":"10.1007\/978-3-319-68270-9_14","type":"book-chapter","created":{"date-parts":[[2017,9,26]],"date-time":"2017-09-26T07:17:19Z","timestamp":1506410239000},"page":"276-294","update-policy":"https:\/\/doi.org\/10.1007\/springer_crossmark_policy","source":"Crossref","is-referenced-by-count":0,"title":["The Road from Stochastic Automata to the Simulation of Rare Events"],"prefix":"10.1007","author":[{"given":"Pedro R.","family":"D\u2019Argenio","sequence":"first","affiliation":[]},{"given":"Carlos E.","family":"Budde","sequence":"additional","affiliation":[]},{"given":"Matias David","family":"Lee","sequence":"additional","affiliation":[]},{"given":"Ra\u00fal E.","family":"Monti","sequence":"additional","affiliation":[]},{"given":"Leonardo","family":"Rodr\u00edguez","sequence":"additional","affiliation":[]},{"given":"Nicol\u00e1s","family":"Wolovick","sequence":"additional","affiliation":[]}],"member":"297","published-online":{"date-parts":[[2017,9,27]]},"reference":[{"issue":"2","key":"14_CR1","doi-asserted-by":"publisher","first-page":"183","DOI":"10.1016\/0304-3975(94)90010-8","volume":"126","author":"R Alur","year":"1994","unstructured":"Alur, R., Dill, D.L.: A theory of timed automata. Theor. Comput. Sci. 126(2), 183\u2013235 (1994). \n                      https:\/\/doi.org\/10.1016\/0304-3975(94)90010-8","journal-title":"Theor. Comput. Sci."},{"key":"14_CR2","first-page":"25","volume":"14","author":"T Bolognesi","year":"1987","unstructured":"Bolognesi, T., Brinksma, E.: Introduction to the ISO specification language LOTOS. Comput. Netw. 14, 25\u201359 (1987). \n                      https:\/\/doi.org\/10.1016\/0169-7552(87)90085-7","journal-title":"Comput. Netw."},{"key":"14_CR3","unstructured":"Budde, C.E.: Automation of importance splitting techniques for rare event simulation. Ph.D. thesis. Universidad Nacional de C\u00f3rdoba, Argentina (2017)"},{"key":"14_CR4","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"275","DOI":"10.1007\/978-3-319-23267-6_18","volume-title":"Computer Performance Engineering","author":"CE Budde","year":"2015","unstructured":"Budde, C.E., D\u2019Argenio, P.R., Hermanns, H.: Rare event simulation with fully automated importance splitting. In: Beltr\u00e1n, M., Knottenbelt, W., Bradley, J. (eds.) EPEW 2015. LNCS, vol. 9272, pp. 275\u2013290. Springer, Cham (2015). doi:\n                      10.1007\/978-3-319-23267-6_18"},{"key":"14_CR5","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: Puliafito, A., Trivedi, K.S., Tuffin, B., Scarpa, M., Machida, F., Alonso, J. (eds.) Proceedigns of VALUETOOLS 2016. ACM (2017). \n                      https:\/\/dx.doi.org\/10.4108\/eai.25-10-2016.2266501","DOI":"10.4108\/eai.25-10-2016.2266501"},{"issue":"3","key":"14_CR6","doi-asserted-by":"publisher","first-page":"795","DOI":"10.1007\/s11222-011-9231-6","volume":"22","author":"F C\u00e9rou","year":"2012","unstructured":"C\u00e9rou, F., Del Moral, P., Furon, T., Guyader, A.: Sequential Monte Carlo for rare event estimation. Stat. Comput. 22(3), 795\u2013808 (2012). \n                      https:\/\/dx.doi.org\/10.1007\/s11222-011-9231-6","journal-title":"Stat. Comput."},{"issue":"2","key":"14_CR7","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. Stoch. Anal. Appl. 25(2), 417\u2013443 (2007)","journal-title":"Stoch. Anal. Appl."},{"key":"14_CR8","unstructured":"D\u2019Argenio, P.R.: Algebras and automata for timed and stochastic systems. Ph.D. thesis. University of Twente, Enschede (1999)"},{"issue":"1","key":"14_CR9","doi-asserted-by":"publisher","first-page":"1","DOI":"10.1016\/j.ic.2005.07.001","volume":"203","author":"PR D\u2019Argenio","year":"2005","unstructured":"D\u2019Argenio, P.R., Katoen, J.P.: A theory of stochastic systems part I: Stochastic automata. Inf. Comput. 203(1), 1\u201338 (2005)","journal-title":"Inf. Comput."},{"key":"14_CR10","doi-asserted-by":"crossref","unstructured":"D\u2019Argenio, P.R., Katoen, J., Brinksma, E.: An algebraic approach to the specification of stochastic systems. In: Gries, D., de Roever, W.P. (eds.) PROCOMET 1998. IFIP Conference Proceedings, vol. 125, pp. 126\u2013147. Chapman & Hall (1998)","DOI":"10.1007\/978-0-387-35358-6_12"},{"key":"14_CR11","unstructured":"D\u2019Argenio, P.R., Katoen, J.P., Brinksma, E.: A compositional approach to generalised semi-Markov processes. In: Proceedings of WODES 1998, pp. 391\u2013387. IEE (1998)"},{"key":"14_CR12","doi-asserted-by":"crossref","unstructured":"D\u2019Argenio, P.R., Katoen, J., Brinksma, E.: Specification and analysis of soft real-time systems: quantity and quality. In: Proceedings of 20th RTSS, pp. 104\u2013114. IEEE Computer Society (1999). \n                      https:\/\/doi.org\/10.1109\/REAL.1999.818832","DOI":"10.1109\/REAL.1999.818832"},{"key":"14_CR13","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:\n                      10.1007\/978-3-319-44878-7_4"},{"issue":"1","key":"14_CR14","doi-asserted-by":"publisher","first-page":"43","DOI":"10.1017\/S0960129511000454","volume":"22","author":"PR D\u2019Argenio","year":"2012","unstructured":"D\u2019Argenio, P.R., S\u00e1nchez Terraf, P., Wolovick, N.: Bisimulations for non-deterministic labelled Markov processes. Math. Struct. Comput. Sci. 22(1), 43\u201368 (2012)","journal-title":"Math. Struct. Comput. Sci."},{"issue":"2","key":"14_CR15","doi-asserted-by":"publisher","first-page":"163","DOI":"10.1006\/inco.2001.2962","volume":"179","author":"J Desharnais","year":"2002","unstructured":"Desharnais, J., Edalat, A., Panangaden, P.: Bisimulation for labelled Markov processes. Inf. Comput. 179(2), 163\u2013193 (2002)","journal-title":"Inf. Comput."},{"issue":"4","key":"14_CR16","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). \n                      https:\/\/dx.doi.org\/10.1002\/ett.4460130408","journal-title":"Eur. Trans. Telecommun."},{"key":"14_CR17","series-title":"Lecture Notes in Mathematics","doi-asserted-by":"publisher","first-page":"68","DOI":"10.1007\/BFb0092872","volume-title":"Categorical Aspects of Topology and Analysis","author":"M Giry","year":"1982","unstructured":"Giry, M.: A categorical approach to probability theory. In: Banaschewski, B. (ed.) Categorical Aspects of Topology and Analysis. LNM, vol. 915, pp. 68\u201385. Springer, Heidelberg (1982). doi:\n                      10.1007\/BFb0092872"},{"issue":"1","key":"14_CR18","doi-asserted-by":"publisher","first-page":"59","DOI":"10.1006\/inco.1995.1123","volume":"121","author":"RJ Glabbeek van","year":"1995","unstructured":"van Glabbeek, R.J., Smolka, S.A., Steffen, B.: Reactive, generative and stratified models of probabilistic processes. Inf. Comput. 121(1), 59\u201380 (1995)","journal-title":"Inf. Comput."},{"key":"14_CR19","unstructured":"Hahn, E.M., Hartmanns, A., Hermanns, H.: Reachability and reward checking for stochastic timed automata. ECEASST, vol. 70 (2014). \n                      http:\/\/journal.ub.tu-berlin.de\/eceasst\/article\/view\/968"},{"key":"14_CR20","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","DOI":"10.1007\/3-540-45804-2","volume-title":"Interactive Markov Chains","year":"2002","unstructured":"Hermanns, H. (ed.): Interactive Markov Chains. LNCS, vol. 2428. Springer, Heidelberg (2002). doi:\n                      10.1007\/3-540-45804-2"},{"key":"14_CR21","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:\n                      10.1007\/978-3-642-39799-8_38"},{"key":"14_CR22","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 Eval. 36, 471\u2013484 (1999)","journal-title":"Performance Eval."},{"key":"14_CR23","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. Wiley (2009). \n                      http:\/\/dx.doi.org\/10.1002\/9780470745403.ch3","DOI":"10.1002\/9780470745403.ch3"},{"key":"14_CR24","volume-title":"Communication and Concurrency","author":"R Milner","year":"1989","unstructured":"Milner, R.: Communication and Concurrency. Prentice-Hall Inc., Upper Saddle River (1989)"},{"key":"14_CR25","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:\n                      10.1007\/978-3-642-40196-1_31"},{"key":"14_CR26","unstructured":"Vill\u00e9n-Altamirano, J.: RESTART simulation of networks of queues with Erlang service times. In: Winter Simulation Conference (2009), WSC 2009, pp. 1146\u20131154 (2009). \n                      http:\/\/dl.acm.org\/citation.cfm?id=1995456.1995616"},{"issue":"3","key":"14_CR27","doi-asserted-by":"publisher","first-page":"247","DOI":"10.1016\/j.ress.2009.10.005","volume":"95","author":"J Vill\u00e9n-Altamirano","year":"2010","unstructured":"Vill\u00e9n-Altamirano, J.: RESTART simulation of non-Markov consecutive-k-out-of-n: F repairable systems. Rel. Eng. Sys. Safety 95(3), 247\u2013254 (2010). \n                      https:\/\/dx.doi.org\/10.1016\/j.ress.2009.10.005","journal-title":"Rel. Eng. Sys. Safety"},{"key":"14_CR28","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: Proceedings of 14th International Teletraffic Congress, pp. 797\u2013810 (1994)","DOI":"10.1016\/B978-0-444-82031-0.50084-6"},{"key":"14_CR29","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":"14_CR30","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.) Network Performance Engineering. LNCS, vol. 5233, pp. 509\u2013547. Springer, Heidelberg (2011). doi:\n                      10.1007\/978-3-642-02742-0_22"},{"key":"14_CR31","doi-asserted-by":"publisher","first-page":"115","DOI":"10.1016\/j.ress.2014.05.012","volume":"130","author":"J Vill\u00e9n-Altamirano","year":"2014","unstructured":"Vill\u00e9n-Altamirano, J.: Asymptotic optimality of RESTART estimators in highly dependable systems. Reliab. Eng. Syst. Saf. 130, 115\u2013124 (2014). \n                      www.sciencedirect.com\/science\/article\/pii\/S0951832014001227","journal-title":"Reliab. Eng. Syst. Saf."},{"key":"14_CR32","unstructured":"Wolovick, N.: Continuous probability and nondeterminism in labeled transition systems. Ph.D. thesis. Universidad Nacional de C\u00f3rdoba, Argentina (2012)"},{"issue":"1\u20132","key":"14_CR33","doi-asserted-by":"publisher","first-page":"1","DOI":"10.1016\/S0304-3975(97)00056-X","volume":"176","author":"S Wu","year":"1997","unstructured":"Wu, S., Smolka, S.A., Stark, E.W.: Composition and behaviors of probabilistic I\/O automata. Theor. Comput. Sci. 176(1\u20132), 1\u201338 (1997)","journal-title":"Theor. Comput. Sci."},{"issue":"3","key":"14_CR34","doi-asserted-by":"publisher","first-page":"293","DOI":"10.1016\/j.ress.2006.04.004","volume":"92","author":"G Xiao","year":"2007","unstructured":"Xiao, G., Li, Z., Li, T.: Dependability estimation for non-Markov consecutive-k-out-of-n: F repairable systems by fast simulation. Reliab. Eng. Syst. Saf. 92(3), 293\u2013299 (2007). \n                      https:\/\/dx.doi.org\/10.1016\/j.ress.2006.04.004","journal-title":"Reliab. Eng. Syst. Saf."},{"key":"14_CR35","unstructured":"Zimmermann, A., Maciel, P.: Importance function derivation for RESTART simulations of Petri nets. In: RESIM, pp. 8\u201315 (2012)"}],"container-title":["Lecture Notes in Computer Science","ModelEd, TestEd, TrustEd"],"original-title":[],"language":"en","link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/978-3-319-68270-9_14","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2019,5,20]],"date-time":"2019-05-20T02:52:08Z","timestamp":1558320728000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/978-3-319-68270-9_14"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2017]]},"ISBN":["9783319682693","9783319682709"],"references-count":35,"URL":"https:\/\/doi.org\/10.1007\/978-3-319-68270-9_14","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[2017]]},"assertion":[{"value":"27 September 2017","order":1,"name":"first_online","label":"First Online","group":{"name":"ChapterHistory","label":"Chapter History"}}]}}