{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,10,16]],"date-time":"2025-10-16T06:56:12Z","timestamp":1760597772282,"version":"3.37.3"},"publisher-location":"Cham","reference-count":24,"publisher":"Springer International Publishing","isbn-type":[{"type":"print","value":"9783319662657"},{"type":"electronic","value":"9783319662664"}],"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-66266-4_2","type":"book-chapter","created":{"date-parts":[[2017,8,15]],"date-time":"2017-08-15T22:33:31Z","timestamp":1502836411000},"page":"20-35","source":"Crossref","is-referenced-by-count":4,"title":["Rare Event Simulation for Dynamic Fault Trees"],"prefix":"10.1007","author":[{"given":"Enno","family":"Ruijters","sequence":"first","affiliation":[]},{"given":"Dani\u00ebl","family":"Reijsbergen","sequence":"additional","affiliation":[]},{"given":"Pieter-Tjerk","family":"de Boer","sequence":"additional","affiliation":[]},{"given":"Mari\u00eblle","family":"Stoelinga","sequence":"additional","affiliation":[]}],"member":"297","published-online":{"date-parts":[[2017,8,17]]},"reference":[{"key":"2_CR1","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"293","DOI":"10.1007\/978-3-642-40793-2_27","volume-title":"Computer Safety, Reliability, and Security","author":"F Arnold","year":"2013","unstructured":"Arnold, F., Belinfante, A., Berg, F., Guck, D., Stoelinga, M.I.A.: DFTCalc: a tool for efficient fault tree analysis. In: Bitsch, F., Guiochet, J., Ka\u00e2niche, M. (eds.) SAFECOMP 2013. LNCS, vol. 8153, pp. 293\u2013301. Springer, Heidelberg (2013). doi: 10.1007\/978-3-642-40793-2_27"},{"key":"2_CR2","doi-asserted-by":"crossref","unstructured":"Bobbio, A., Codetta-Raiteri, D.: Parametric fault trees with dynamic gates and repair boxes. In: Proceedings of the 2004 Annual IEEE Reliability and Maintainability Symposium (RAMS), pp. 459\u2013465 (2004)","DOI":"10.1109\/RAMS.2004.1285491"},{"key":"2_CR3","doi-asserted-by":"crossref","unstructured":"de Boer, P.T., L\u2019Ecuyer, P., Rubino, G., Tuffin, B.: Estimating the probability of a rare event over a finite time horizon. In: Proceedings of the 2007 Winter Simulation Conference, pp. 403\u2013411. IEEE Press (2007)","DOI":"10.1109\/WSC.2007.4419629"},{"issue":"2","key":"2_CR4","doi-asserted-by":"crossref","first-page":"128","DOI":"10.1109\/TDSC.2009.45","volume":"7","author":"H Boudali","year":"2010","unstructured":"Boudali, H., Crouzen, P., Stoelinga, M.I.A.: A rigorous, compositional, and extensible framework for dynamic fault tree analysis. IEEE Trans. Depend. Secur. Comput. 7(2), 128\u2013143 (2010)","journal-title":"IEEE Trans. Depend. Secur. Comput."},{"issue":"2","key":"2_CR5","doi-asserted-by":"crossref","first-page":"207","DOI":"10.1109\/TR.2006.874910","volume":"55","author":"JA Carrasco","year":"2006","unstructured":"Carrasco, J.A.: Failure transition distance-based importance sampling schemes for the simulation of repairable fault-tolerant computer systems. IEEE Trans. Reliab. 55(2), 207\u2013236 (2006)","journal-title":"IEEE Trans. Reliab."},{"key":"2_CR6","doi-asserted-by":"crossref","unstructured":"Codetta-Raiteri, D., Franceschinis, G., Iacono, M., Vittorini, V.: Repairable fault tree for the automatic evaluation of repair policies. In: Proceedings of the Annual IEEE\/IFIP International Conference on Dependable Systems and Networks (DSN), pp. 659\u2013668 (2004)","DOI":"10.1109\/DSN.2004.1311936"},{"key":"2_CR7","doi-asserted-by":"crossref","unstructured":"Dugan, J.B., Bavuso, S.J., Boyd, M.A.: Fault trees and sequence dependencies. In: Proceedings of the 1990 Annual IEEE Reliability and Maintainability Symposium (RAMS) (1990)","DOI":"10.1109\/ARMS.1990.67971"},{"issue":"2","key":"2_CR8","doi-asserted-by":"crossref","first-page":"89","DOI":"10.1007\/s10009-012-0244-z","volume":"15","author":"H Garavel","year":"2013","unstructured":"Garavel, H., Lang, F., Mateescu, R., Serwe, W.: CADP 2011: a toolbox for the construction and analysis of distributed processes. Int. J. Softw. Tools Technol. Transf. 15(2), 89\u2013107 (2013)","journal-title":"Int. J. Softw. Tools Technol. Transf."},{"key":"2_CR9","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"304","DOI":"10.1007\/978-3-319-25423-4_19","volume-title":"Formal Methods and Software Engineering","author":"D Guck","year":"2015","unstructured":"Guck, D., Spel, J., Stoelinga, M.I.A.: DFTCalc: reliability centered maintenance via fault tree analysis (tool paper). In: Butler, M., Conchon, S., Za\u00efdi, F. (eds.) ICFEM 2015. LNCS, vol. 9407, pp. 304\u2013311. Springer, Cham (2015). doi: 10.1007\/978-3-319-25423-4_19"},{"key":"2_CR10","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"165","DOI":"10.1007\/BFb0013853","volume-title":"Performance Evaluation of Computer and Communication Systems","author":"P Heidelberger","year":"1993","unstructured":"Heidelberger, P.: Fast simulation of rare events in queueing and reliability models. In: Donatiello, L., Nelson, R. (eds.) Performance\/SIGMETRICS 1993. LNCS, vol. 729, pp. 165\u2013202. Springer, Heidelberg (1993). doi: 10.1007\/BFb0013853"},{"key":"2_CR11","unstructured":"Kahn, H., Harris, T.: Estimation of particle transmission by random sampling. In: Monte Carlo Method; Proceedings of the Symposium, 29\u201330 June\u20131 July 1949. National Bureau of Standards: Applied Mathematics Series, vol. 12, pp. 27\u201330 (1951)"},{"issue":"2","key":"2_CR12","doi-asserted-by":"crossref","first-page":"122","DOI":"10.1109\/TR.1980.5220749","volume":"R\u201329","author":"H Kumamoto","year":"1980","unstructured":"Kumamoto, H., Tanaka, K., Inoue, K., Henley, E.J.: Dagger-sampling Monte Carlo for system unavailability evaluation. IEEE Trans. Reliab. R\u201329(2), 122\u2013125 (1980)","journal-title":"IEEE Trans. Reliab."},{"key":"2_CR13","doi-asserted-by":"publisher","unstructured":"L\u2019Ecuyer, P., Blanchet, J., Tuffin, B., Glynn, P.: Asymptotic robustness of estimators in rare-event simulation. ACM Trans. Model. Comput. Simul. (TOMACS) 20(1) (2010). doi: 10.1145\/1667072.1667078 . Article No. 6","DOI":"10.1145\/1667072.1667078"},{"issue":"1","key":"2_CR14","doi-asserted-by":"crossref","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. Ann. Oper. Res. 189(1), 277\u2013297 (2011)","journal-title":"Ann. Oper. Res."},{"key":"2_CR15","doi-asserted-by":"crossref","first-page":"264","DOI":"10.1016\/j.anucene.2015.11.031","volume":"90","author":"M Ramakrishnan","year":"2016","unstructured":"Ramakrishnan, M.: Unavailability estimation of shutdown system of a fast reactor by Monte Carlo simulation. Ann. Nucl. Energy 90, 264\u2013274 (2016)","journal-title":"Ann. Nucl. Energy"},{"key":"2_CR16","unstructured":"Reijsbergen, D.P.: Efficient simulation techniques for stochastic model checking. Ph.D. thesis, University of Twente, Enschede, December 2013"},{"key":"2_CR17","unstructured":"Reijsbergen, D.P., de Boer, P., Scheinhardt, W., Juneja, S.: Path-ZVA: general, efficient and automated importance sampling for highly reliable Markovian systems. ACM Trans. Model. Comput. Simul. (TOMACS) (submitted)"},{"key":"2_CR18","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"331","DOI":"10.1007\/978-3-319-43425-4_22","volume-title":"Quantitative Evaluation of Systems","author":"E Ruijters","year":"2016","unstructured":"Ruijters, E., Guck, D., Drolenga, P., Peters, M., Stoelinga, M.: Maintenance analysis and optimization via statistical model checking. In: Agha, G., Houdt, B. (eds.) QEST 2016. LNCS, vol. 9826, pp. 331\u2013347. Springer, Cham (2016). doi: 10.1007\/978-3-319-43425-4_22"},{"key":"2_CR19","doi-asserted-by":"crossref","unstructured":"Ruijters, E., Guck, D., Drolenga, P., Stoelinga, M.I.A.: Fault maintenance trees: reliability contered maintenance via statistical model checking. In: Proceedings of the IEEE 62nd Annual Reliability and Maintainability Symposium (RAMS), January 2016","DOI":"10.1109\/RAMS.2016.7447986"},{"key":"2_CR20","doi-asserted-by":"crossref","first-page":"29","DOI":"10.1016\/j.cosrev.2015.03.001","volume":"15\u201316","author":"E Ruijters","year":"2015","unstructured":"Ruijters, E., Stoelinga, M.I.A.: Fault tree analysis: a survey of the state-of-the-art in modeling, analysis and tools. Comput. Sci. Rev. 15\u201316, 29\u201362 (2015)","journal-title":"Comput. Sci. Rev."},{"key":"2_CR21","doi-asserted-by":"crossref","first-page":"333","DOI":"10.1287\/mnsc.40.3.333","volume":"40","author":"P Shahabuddin","year":"1994","unstructured":"Shahabuddin, P.: Importance sampling for the simulation of highly reliable Markovian systems. Manag. Sci. 40, 333\u2013352 (1994)","journal-title":"Manag. Sci."},{"key":"2_CR22","unstructured":"Stamatelatos, M., Vesely, W., Dugan, J.B., Fragola, J., Minarick, J., Railsback, J.: Fault tree handbook with aerospace applications. Office of safety and Mission Assurance NASA Headquarters (2002)"},{"key":"2_CR23","unstructured":"Vesely, W.E., Goldberg, F.F., Roberts, N.H., Haasl, D.F.: Fault Tree Handbook. Office of Nuclear Regulatory Reasearch, U.S. Nuclear Regulatory Commision (1981)"},{"key":"2_CR24","doi-asserted-by":"crossref","unstructured":"Vesely, W.E., Narum, R.E.: PREP and KITT: computer codes for the automatic evaluation of a fault tree. Technical report, Idaho Nuclear Corp. (1970)","DOI":"10.2172\/4106635"}],"container-title":["Lecture Notes in Computer Science","Computer Safety, Reliability, and Security"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/978-3-319-66266-4_2","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2019,10,2]],"date-time":"2019-10-02T08:38:24Z","timestamp":1570005504000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/978-3-319-66266-4_2"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2017]]},"ISBN":["9783319662657","9783319662664"],"references-count":24,"URL":"https:\/\/doi.org\/10.1007\/978-3-319-66266-4_2","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[2017]]}}}