{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2026,4,17]],"date-time":"2026-04-17T16:00:56Z","timestamp":1776441656211,"version":"3.51.2"},"publisher-location":"Cham","reference-count":60,"publisher":"Springer International Publishing","isbn-type":[{"value":"9783031067723","type":"print"},{"value":"9783031067730","type":"electronic"}],"license":[{"start":{"date-parts":[[2022,1,1]],"date-time":"2022-01-01T00:00:00Z","timestamp":1640995200000},"content-version":"tdm","delay-in-days":0,"URL":"https:\/\/www.springer.com\/tdm"},{"start":{"date-parts":[[2022,1,1]],"date-time":"2022-01-01T00:00:00Z","timestamp":1640995200000},"content-version":"vor","delay-in-days":0,"URL":"https:\/\/www.springer.com\/tdm"}],"content-domain":{"domain":["link.springer.com"],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2022]]},"DOI":"10.1007\/978-3-031-06773-0_38","type":"book-chapter","created":{"date-parts":[[2022,5,19]],"date-time":"2022-05-19T11:24:44Z","timestamp":1652959484000},"page":"713-732","update-policy":"https:\/\/doi.org\/10.1007\/springer_crossmark_policy","source":"Crossref","is-referenced-by-count":15,"title":["BDDs Strike Back"],"prefix":"10.1007","author":[{"given":"Daniel","family":"Basg\u00f6ze","sequence":"first","affiliation":[]},{"ORCID":"https:\/\/orcid.org\/0000-0002-3810-4185","authenticated-orcid":false,"given":"Matthias","family":"Volk","sequence":"additional","affiliation":[]},{"ORCID":"https:\/\/orcid.org\/0000-0002-6143-1926","authenticated-orcid":false,"given":"Joost-Pieter","family":"Katoen","sequence":"additional","affiliation":[]},{"ORCID":"https:\/\/orcid.org\/0000-0001-5549-7809","authenticated-orcid":false,"given":"Shahid","family":"Khan","sequence":"additional","affiliation":[]},{"ORCID":"https:\/\/orcid.org\/0000-0001-6793-8165","authenticated-orcid":false,"given":"Marielle","family":"Stoelinga","sequence":"additional","affiliation":[]}],"member":"297","published-online":{"date-parts":[[2022,5,20]]},"reference":[{"issue":"6","key":"38_CR1","doi-asserted-by":"publisher","first-page":"509","DOI":"10.1109\/TC.1978.1675141","volume":"27","author":"SB Akers Jr","year":"1978","unstructured":"Akers, S.B., Jr.: Binary decision diagrams. IEEE Trans. Comput. 27(6), 509\u2013516 (1978)","journal-title":"IEEE Trans. Comput."},{"key":"38_CR2","doi-asserted-by":"crossref","unstructured":"Andrews, J.D., Bartlett, L.M.: Efficient basic event orderings for binary decision diagrams. In: Annual Reliability and Maintainability Symposium, pp. 61\u201368. IEEE (1998)","DOI":"10.1109\/RAMS.1998.653583"},{"key":"38_CR3","doi-asserted-by":"crossref","unstructured":"B\u00e4ckstr\u00f6m, O., Gamble, R., Krcal, P., Wang, W.: An experimental assessment of the MCS BDD algorithm in RiskSpectrum. In: Safety and Reliability-Safe Societies in a Changing World, pp. 1709\u20131717. CRC Press (2018)","DOI":"10.1201\/9781351174664-214"},{"key":"38_CR4","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"266","DOI":"10.1007\/978-3-319-45477-1_21","volume-title":"Computer Safety, Reliability, and Security","author":"O B\u00e4ckstr\u00f6m","year":"2016","unstructured":"B\u00e4ckstr\u00f6m, O., Butkova, Y., Hermanns, H., Kr\u010d\u00e1l, J., Kr\u010d\u00e1l, P.: Effective static and dynamic fault tree analysis. In: Skavhaug, A., Guiochet, J., Bitsch, F. (eds.) SAFECOMP 2016. LNCS, vol. 9922, pp. 266\u2013280. Springer, Cham (2016). https:\/\/doi.org\/10.1007\/978-3-319-45477-1_21"},{"issue":"6","key":"38_CR5","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.R., Hermanns, H., Katoen, J.P.: Model-checking algorithms for continuous-time Markov chains. IEEE Trans. Softw. Eng. 29(6), 524\u2013541 (2003)","journal-title":"IEEE Trans. Softw. Eng."},{"key":"38_CR6","unstructured":"Basg\u00f6ze, D.: Dynamic fault tree analysis using binary decision diagrams. Bachelor thesis, RWTH Aachen University (2020)"},{"key":"38_CR7","doi-asserted-by":"crossref","unstructured":"Basg\u00f6ze, D., Volk, M., Katoen, J., Khan, S., Stoelinga, M.: BDDs strike back: efficient analysis of static and dynamic fault trees. CoRR abs\/2202.02829 (2022)","DOI":"10.1007\/978-3-031-06773-0_38"},{"key":"38_CR8","doi-asserted-by":"crossref","unstructured":"Birnbaum, Z.: On the importance of different components in a multicomponent system. Multivariate Analysis-II, pp. 581\u2013592 (1969)","DOI":"10.21236\/AD0670563"},{"key":"38_CR9","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"37","DOI":"10.1007\/3-540-45605-8_4","volume-title":"Process Algebra and Probabilistic Methods: Performance Modeling and Verification","author":"H Bohnenkamp","year":"2002","unstructured":"Bohnenkamp, H., Haverkort, B.: The mean value of the maximum. In: Hermanns, H., Segala, R. (eds.) PAPM-PROBMIV 2002. LNCS, vol. 2399, pp. 37\u201356. Springer, Heidelberg (2002). https:\/\/doi.org\/10.1007\/3-540-45605-8_4"},{"issue":"2","key":"38_CR10","doi-asserted-by":"publisher","first-page":"128","DOI":"10.1109\/TDSC.2009.45","volume":"7","author":"H Boudali","year":"2010","unstructured":"Boudali, H., Crouzen, P., Stoelinga, M.: A rigorous, compositional, and extensible framework for dynamic fault tree analysis. IEEE Trans. Dependable Secur. Comput. 7(2), 128\u2013143 (2010)","journal-title":"IEEE Trans. Dependable Secur. Comput."},{"key":"38_CR11","doi-asserted-by":"crossref","unstructured":"Bouissou, M., Bruyere, F., Rauzy, A.: BDD based fault-tree processing: a comparison of variable ordering heuristics. In: European Safety and Reliability Association Conference, ESREL (1997)","DOI":"10.1016\/B978-008042835-2\/50231-9"},{"key":"38_CR12","doi-asserted-by":"crossref","unstructured":"Brace, K.S., Rudell, R.L., Bryant, R.E.: Efficient implementation of a BDD package. In: DAC, pp. 40\u201345. IEEE Computer Society Press (1990)","DOI":"10.1145\/123186.123222"},{"issue":"8","key":"38_CR13","doi-asserted-by":"publisher","first-page":"677","DOI":"10.1109\/TC.1986.1676819","volume":"35","author":"RE Bryant","year":"1986","unstructured":"Bryant, R.E.: Graph-based algorithms for Boolean function manipulation. IEEE Trans. Comput. 35(8), 677\u2013691 (1986)","journal-title":"IEEE Trans. Comput."},{"key":"38_CR14","doi-asserted-by":"publisher","first-page":"191","DOI":"10.1007\/978-3-319-10575-8_7","volume-title":"Handbook of Model Checking","author":"RE Bryant","year":"2018","unstructured":"Bryant, R.E.: Binary decision diagrams. In: Handbook of Model Checking, pp. 191\u2013217. Springer, Cham (2018). https:\/\/doi.org\/10.1007\/978-3-319-10575-8_7"},{"key":"38_CR15","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"233","DOI":"10.1007\/978-3-030-59854-9_17","volume-title":"Quantitative Evaluation of Systems","author":"CE Budde","year":"2020","unstructured":"Budde, C.E., Ruijters, E., Stoelinga, M.: The dynamic fault tree rare event simulator. In: Gribaudo, M., Jansen, D.N., Remke, A. (eds.) QEST 2020. LNCS, vol. 12289, pp. 233\u2013238. Springer, Cham (2020). https:\/\/doi.org\/10.1007\/978-3-030-59854-9_17"},{"issue":"3","key":"38_CR16","doi-asserted-by":"publisher","first-page":"213","DOI":"10.1016\/S0951-8320(97)00144-0","volume":"60","author":"MC Cheok","year":"1998","unstructured":"Cheok, M.C., Parry, G.W., Sherry, R.R.: Use of importance measures in risk-informed regulatory applications. Reliab. Eng. Syst. Saf. 60(3), 213\u2013226 (1998)","journal-title":"Reliab. Eng. Syst. Saf."},{"key":"38_CR17","doi-asserted-by":"crossref","unstructured":"Coudert, O., Madre, J.C.: Fault tree analysis: 10\/sup 20\/prime implicants and beyond. In: Annual Reliability and Maintainability Symposium, pp. 240\u2013245. IEEE (1993)","DOI":"10.1109\/RAMS.1993.296849"},{"key":"38_CR18","volume-title":"Methods of Numerical Integration","author":"PJ Davis","year":"1984","unstructured":"Davis, P.J., Rabinowitz, P.: Methods of Numerical Integration. Academic Press, Cambridge (1984)"},{"key":"38_CR19","doi-asserted-by":"crossref","unstructured":"van Dijk, T.: Sylvan: multi-core decision diagrams. Ph.D. thesis, University of Twente, The Netherlands (2016)","DOI":"10.1007\/s10009-016-0433-2"},{"issue":"6","key":"38_CR20","doi-asserted-by":"publisher","first-page":"675","DOI":"10.1007\/s10009-016-0433-2","volume":"19","author":"T van Dijk","year":"2017","unstructured":"van Dijk, T., van de Pol, J.: Sylvan: multi-core framework for decision diagrams. Int. J. Softw. Tools Technol. Transf. 19(6), 675\u2013696 (2017)","journal-title":"Int. J. Softw. Tools Technol. Transf."},{"key":"38_CR21","doi-asserted-by":"crossref","unstructured":"Dugan, J.B., Bavuso, S.J., Boyd, M.A.: Fault trees and sequence dependencies. In: Annual Reliability and Maintainability Symposium, pp. 286\u2013293 (1990)","DOI":"10.1109\/ARMS.1990.67971"},{"issue":"3","key":"38_CR22","doi-asserted-by":"publisher","first-page":"363","DOI":"10.1109\/24.159800","volume":"41","author":"JB Dugan","year":"1992","unstructured":"Dugan, J.B., Bavuso, S.J., Boyd, M.A.: Dynamic fault-tree models for fault-tolerant computer systems. IEEE Trans. Reliab. 41(3), 363\u2013377 (1992)","journal-title":"IEEE Trans. Reliab."},{"key":"38_CR23","doi-asserted-by":"crossref","unstructured":"Dugan, J.B., Venkataraman, B., Gulati, R.: DIFtree: a software package for the analysis of dynamic fault tree models. In: Annual Reliability and Maintainability Symposium, pp. 64\u201370. IEEE (1997)","DOI":"10.1109\/RAMS.1997.571666"},{"issue":"3","key":"38_CR24","doi-asserted-by":"publisher","first-page":"422","DOI":"10.1109\/24.537011","volume":"45","author":"Y Dutuit","year":"1996","unstructured":"Dutuit, Y., Rauzy, A.: A linear-time algorithm to find modules of fault trees. IEEE Trans. Reliab. 45(3), 422\u2013425 (1996)","journal-title":"IEEE Trans. Reliab."},{"issue":"2","key":"38_CR25","doi-asserted-by":"publisher","first-page":"213","DOI":"10.1016\/S0951-8320(01)00004-7","volume":"72","author":"Y Dutuit","year":"2001","unstructured":"Dutuit, Y., Rauzy, A.: Efficient algorithms to assess component and gate importance in fault tree analysis. Reliab. Eng. Syst. Saf. 72(2), 213\u2013222 (2001)","journal-title":"Reliab. Eng. Syst. Saf."},{"key":"38_CR26","unstructured":"Eijkhout, V.: Introduction to High Performance Scientific Computing. lulu.com (2011)"},{"key":"38_CR27","unstructured":"Federal Aviation Administration: System safety handbook (2000)"},{"key":"38_CR28","doi-asserted-by":"crossref","unstructured":"Fussell, J.: How to hand-calculate system reliability and safety characteristics. IEEE Trans. Reliab. 24(3), 169\u2013174 (1975)","DOI":"10.1109\/TR.1975.5215142"},{"key":"38_CR29","doi-asserted-by":"crossref","unstructured":"Ghadhab, M., Junges, S., Katoen, J.P., Kuntz, M., Volk, M.: Safety analysis for vehicle guidance systems with dynamic fault trees. Reliab. Eng. Syst. Saf. 186, 37\u201350 (2019)","DOI":"10.1016\/j.ress.2019.02.005"},{"key":"38_CR30","unstructured":"Guennebaud, G., Jacob, B., et al.: Eigen v3 (2010). http:\/\/eigen.tuxfamily.org"},{"key":"38_CR31","doi-asserted-by":"crossref","unstructured":"Gulati, R., Dugan, J.B.: A modular approach for analyzing static and dynamic fault trees. In: Annual Reliability and Maintainability Symposium, pp. 57\u201363. IEEE (1997)","DOI":"10.1109\/RAMS.1997.571665"},{"key":"38_CR32","doi-asserted-by":"publisher","unstructured":"Hensel, C., Junges, S., Katoen, J.P., Quatmann, T., Volk, M.: The probabilistic model checker storm. Int. J. Softw. Tools Technol. Transf. 1\u201322 (2021). https:\/\/doi.org\/10.1007\/s10009-021-00633-z","DOI":"10.1007\/s10009-021-00633-z"},{"key":"38_CR33","unstructured":"ISO: ISO 26262: Road vehicles - Functional safety. Standard, International Organization for Standardization, Geneva, Switzerland (2011)"},{"key":"38_CR34","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"272","DOI":"10.1007\/978-3-319-91268-4_14","volume-title":"Application and Theory of Petri Nets and Concurrency","author":"S Junges","year":"2018","unstructured":"Junges, S., Katoen, J.-P., Stoelinga, M., Volk, M.: One net fits all. In: Khomenko, V., Roux, O.H. (eds.) PETRI NETS 2018. LNCS, vol. 10877, pp. 272\u2013293. Springer, Cham (2018). https:\/\/doi.org\/10.1007\/978-3-319-91268-4_14"},{"key":"38_CR35","doi-asserted-by":"crossref","unstructured":"Krc\u00e1l, J., Krc\u00e1l, P.: Scalable analysis of fault trees with dynamic features. In: DSN, pp. 89\u2013100. IEEE Computer Society (2015)","DOI":"10.1109\/DSN.2015.29"},{"issue":"1","key":"38_CR36","doi-asserted-by":"publisher","first-page":"81","DOI":"10.1109\/TR.2014.2299674","volume":"63","author":"Y Mo","year":"2014","unstructured":"Mo, Y.: A multiple-valued decision-diagram-based approach to solve dynamic fault trees. IEEE Trans. Reliab. 63(1), 81\u201393 (2014)","journal-title":"IEEE Trans. Reliab."},{"key":"38_CR37","doi-asserted-by":"publisher","first-page":"204","DOI":"10.1016\/j.firesaf.2019.03.006","volume":"105","author":"K Moinuddin","year":"2019","unstructured":"Moinuddin, K., Innocent, J., Keshavarz, K.: Reliability of sprinkler system in Australian shopping centres-a fault tree analysis. Fire Saf. J. 105, 204\u2013215 (2019)","journal-title":"Fire Saf. J."},{"issue":"7","key":"38_CR38","doi-asserted-by":"publisher","first-page":"922","DOI":"10.1016\/j.ress.2007.03.013","volume":"93","author":"S Montani","year":"2008","unstructured":"Montani, S., Portinale, L., Bobbio, A., Raiteri, D.C.: Radyban: a tool for reliability analysis of dynamic fault trees through conversion into dynamic Bayesian networks. Reliab. Eng. Syst. Saf. 93(7), 922\u2013932 (2008)","journal-title":"Reliab. Eng. Syst. Saf."},{"issue":"2","key":"38_CR39","doi-asserted-by":"publisher","first-page":"45","DOI":"10.1016\/j.entcs.2005.02.005","volume":"127","author":"DC Raiteri","year":"2005","unstructured":"Raiteri, D.C.: The conversion of dynamic fault trees to stochastic Petri nets, as a case of graph transformation. Electron. Notes Theor. Comput. Sci. 127(2), 45\u201360 (2005)","journal-title":"Electron. Notes Theor. Comput. Sci."},{"key":"38_CR40","doi-asserted-by":"publisher","unstructured":"Rakhimov, O.: Scram probabilistic risk analysis tool (2018). https:\/\/doi.org\/10.5281\/zenodo.1146337","DOI":"10.5281\/zenodo.1146337"},{"issue":"4","key":"38_CR41","doi-asserted-by":"publisher","first-page":"872","DOI":"10.1016\/j.ress.2008.09.007","volume":"94","author":"KD Rao","year":"2009","unstructured":"Rao, K.D., Gopika, V., Rao, V.V.S.S., Kushwaha, H.S., Verma, A.K., Srividya, A.: Dynamic fault tree analysis using Monte Carlo simulation in probabilistic safety assessment. Reliab. Eng. Syst. Saf. 94(4), 872\u2013883 (2009)","journal-title":"Reliab. Eng. Syst. Saf."},{"issue":"4","key":"38_CR42","first-page":"573","volume":"222","author":"A Rauzy","year":"2008","unstructured":"Rauzy, A.: Some disturbing facts about depth-first left-most variable ordering heuristics for binary decision diagrams. Proc. Inst. Mech. Eng. Part O: J. Risk Reliab. 222(4), 573\u2013582 (2008)","journal-title":"Proc. Inst. Mech. Eng. Part O: J. Risk Reliab."},{"issue":"3","key":"38_CR43","doi-asserted-by":"publisher","first-page":"203","DOI":"10.1016\/0951-8320(93)90060-C","volume":"40","author":"A Rauzy","year":"1993","unstructured":"Rauzy, A.: New algorithms for fault trees analysis. Reliab. Eng. Syst. Saf. 40(3), 203\u2013211 (1993)","journal-title":"Reliab. Eng. Syst. Saf."},{"issue":"7","key":"38_CR44","doi-asserted-by":"publisher","first-page":"785","DOI":"10.1016\/j.ress.2011.02.005","volume":"96","author":"A Rauzy","year":"2011","unstructured":"Rauzy, A.: Sequence algebra, sequence decision diagrams and dynamic fault trees. Reliab. Eng. Syst. Saf. 96(7), 785\u2013792 (2011)","journal-title":"Reliab. Eng. Syst. Saf."},{"key":"38_CR45","unstructured":"Rauzy, A.: Probabilistic safety analysis with XFTA. AltaRica Association (2020)"},{"key":"38_CR46","doi-asserted-by":"crossref","unstructured":"Ruijters, E., et al.: FFORT: a benchmark suite for fault tree analysis. In: ESREL. Singapore: Research Publishing (2019)","DOI":"10.3850\/978-981-11-2724-3_0641-cd"},{"key":"38_CR47","doi-asserted-by":"publisher","first-page":"29","DOI":"10.1016\/j.cosrev.2015.03.001","volume":"15","author":"E Ruijters","year":"2015","unstructured":"Ruijters, E., Stoelinga, M.: Fault tree analysis: a survey of the state-of-the-art in modeling, analysis and tools. Comput. Sci. Rev. 15, 29\u201362 (2015)","journal-title":"Comput. Sci. Rev."},{"issue":"12","key":"38_CR48","doi-asserted-by":"publisher","first-page":"713","DOI":"10.1109\/EE.1938.6431064","volume":"57","author":"CE Shannon","year":"1938","unstructured":"Shannon, C.E.: A symbolic analysis of relay and switching circuits. Electr. Eng. 57(12), 713\u2013723 (1938)","journal-title":"Electr. Eng."},{"issue":"5","key":"38_CR49","doi-asserted-by":"publisher","first-page":"293","DOI":"10.1002\/(SICI)1099-1638(199709\/10)13:5<293::AID-QRE110>3.0.CO;2-Y","volume":"13","author":"RM Sinnamon","year":"1997","unstructured":"Sinnamon, R.M., Andrews, J.: Improved efficiency in qualitative fault tree analysis. Qual. Reliab. Eng. Int. 13(5), 293\u2013298 (1997)","journal-title":"Qual. Reliab. Eng. Int."},{"key":"38_CR50","unstructured":"Sinnamon, R.M., Andrews, J.D.: Fault tree analysis and binary decision diagrams. In: Annual Reliability and Maintainability Symposium, pp. 215\u2013222. IEEE (1996)"},{"key":"38_CR51","unstructured":"Stamatelatos, M., Vesely, W., Dugan, J., Fragola, J., Minarick, J., Railsback, J.: Fault Tree Handbook with Aerospace Applications. NASA, Washington, DC (2002)"},{"key":"38_CR52","unstructured":"Steven, E., Antoine, R.: Open-PSA Model Exchange Format. The Open-PSA Initiative (2007)"},{"key":"38_CR53","doi-asserted-by":"crossref","unstructured":"Sullivan, K.J., Dugan, J.B., Coppit, D.: The Galileo fault tree analysis tool. In: FTCS, pp. 232\u2013235. IEEE Computer Society (1999)","DOI":"10.1109\/FTCS.1999.781056"},{"key":"38_CR54","doi-asserted-by":"publisher","DOI":"10.1017\/9781316163047","volume-title":"Reliability and Availability Engineering - Modeling, Analysis, and Applications","author":"KS Trivedi","year":"2017","unstructured":"Trivedi, K.S., Bobbio, A.: Reliability and Availability Engineering - Modeling, Analysis, and Applications. Cambridge University Press, Cambridge (2017)"},{"issue":"4","key":"38_CR55","doi-asserted-by":"publisher","first-page":"52","DOI":"10.1145\/1530873.1530884","volume":"36","author":"KS Trivedi","year":"2009","unstructured":"Trivedi, K.S., Sahner, R.A.: SHARPE at the age of twenty two. SIGMETRICS Perform. Eval. Rev. 36(4), 52\u201357 (2009)","journal-title":"SIGMETRICS Perform. Eval. Rev."},{"issue":"1","key":"38_CR56","doi-asserted-by":"publisher","first-page":"370","DOI":"10.1109\/TII.2017.2710316","volume":"14","author":"M Volk","year":"2018","unstructured":"Volk, M., Junges, S., Katoen, J.P.: Fast dynamic fault tree analysis by model checking techniques. IEEE Trans. Ind. Inform. 14(1), 370\u2013379 (2018)","journal-title":"IEEE Trans. Ind. Inform."},{"key":"38_CR57","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"40","DOI":"10.1007\/978-3-030-27008-7_3","volume-title":"Formal Methods for Industrial Critical Systems","author":"M Volk","year":"2019","unstructured":"Volk, M., Weik, N., Katoen, J.-P., Nie\u00dfen, N.: A DFT modeling approach for infrastructure reliability analysis of railway station areas. In: Larsen, K.G., Willemse, T. (eds.) FMICS 2019. LNCS, vol. 11687, pp. 40\u201358. Springer, Cham (2019). https:\/\/doi.org\/10.1007\/978-3-030-27008-7_3"},{"issue":"3","key":"38_CR58","doi-asserted-by":"publisher","first-page":"715","DOI":"10.1109\/TSMCA.2011.2170415","volume":"42","author":"L Xing","year":"2012","unstructured":"Xing, L., Tannous, O., Dugan, J.B.: Reliability analysis of nonrepairable cold-standby systems using sequential binary decision diagrams. IEEE Trans. Syst. Man Cybern. Part A 42(3), 715\u2013726 (2012)","journal-title":"IEEE Trans. Syst. Man Cybern. Part A"},{"key":"38_CR59","doi-asserted-by":"crossref","unstructured":"Yevkin, O.: An improved modular approach for dynamic fault tree analysis. In: Annual Reliability and Maintainability Symposium, pp. 1\u20135. IEEE (2011)","DOI":"10.1109\/RAMS.2011.5754437"},{"key":"38_CR60","doi-asserted-by":"publisher","DOI":"10.1016\/j.jss.2020.110766","volume":"170","author":"S Zhou","year":"2020","unstructured":"Zhou, S., Xiang, J., Wong, W.E.: Reliability analysis of dynamic fault trees with spare gates using conditional binary decision diagrams. J. Syst. Softw. 170, 110766 (2020)","journal-title":"J. Syst. Softw."}],"container-title":["Lecture Notes in Computer Science","NASA Formal Methods"],"original-title":[],"language":"en","link":[{"URL":"https:\/\/link.springer.com\/content\/pdf\/10.1007\/978-3-031-06773-0_38","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2024,9,25]],"date-time":"2024-09-25T14:27:21Z","timestamp":1727274441000},"score":1,"resource":{"primary":{"URL":"https:\/\/link.springer.com\/10.1007\/978-3-031-06773-0_38"}},"subtitle":["Efficient Analysis of Static and Dynamic Fault Trees"],"short-title":[],"issued":{"date-parts":[[2022]]},"ISBN":["9783031067723","9783031067730"],"references-count":60,"URL":"https:\/\/doi.org\/10.1007\/978-3-031-06773-0_38","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"value":"0302-9743","type":"print"},{"value":"1611-3349","type":"electronic"}],"subject":[],"published":{"date-parts":[[2022]]},"assertion":[{"value":"20 May 2022","order":1,"name":"first_online","label":"First Online","group":{"name":"ChapterHistory","label":"Chapter History"}},{"value":"NFM","order":1,"name":"conference_acronym","label":"Conference Acronym","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"NASA Formal Methods Symposium","order":2,"name":"conference_name","label":"Conference Name","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"Pasadena, CA","order":3,"name":"conference_city","label":"Conference City","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"USA","order":4,"name":"conference_country","label":"Conference Country","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"2022","order":5,"name":"conference_year","label":"Conference Year","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"24 May 2022","order":7,"name":"conference_start_date","label":"Conference Start Date","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"27 May 2022","order":8,"name":"conference_end_date","label":"Conference End Date","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"14","order":9,"name":"conference_number","label":"Conference Number","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"nfm2022","order":10,"name":"conference_id","label":"Conference ID","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"https:\/\/shemesh.larc.nasa.gov\/nfm2022\/","order":11,"name":"conference_url","label":"Conference URL","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"Single-blind","order":1,"name":"type","label":"Type","group":{"name":"ConfEventPeerReviewInformation","label":"Peer Review Information (provided by the conference organizers)"}},{"value":"EasyChair","order":2,"name":"conference_management_system","label":"Conference Management System","group":{"name":"ConfEventPeerReviewInformation","label":"Peer Review Information (provided by the conference organizers)"}},{"value":"118","order":3,"name":"number_of_submissions_sent_for_review","label":"Number of Submissions Sent for Review","group":{"name":"ConfEventPeerReviewInformation","label":"Peer Review Information (provided by the conference organizers)"}},{"value":"33","order":4,"name":"number_of_full_papers_accepted","label":"Number of Full Papers Accepted","group":{"name":"ConfEventPeerReviewInformation","label":"Peer Review Information (provided by the conference organizers)"}},{"value":"6","order":5,"name":"number_of_short_papers_accepted","label":"Number of Short Papers Accepted","group":{"name":"ConfEventPeerReviewInformation","label":"Peer Review Information (provided by the conference organizers)"}},{"value":"28% - The value is computed by the equation \"Number of Full Papers Accepted \/ Number of Submissions Sent for Review * 100\" and then rounded to a whole number.","order":6,"name":"acceptance_rate_of_full_papers","label":"Acceptance Rate of Full Papers","group":{"name":"ConfEventPeerReviewInformation","label":"Peer Review Information (provided by the conference organizers)"}},{"value":"3","order":7,"name":"average_number_of_reviews_per_paper","label":"Average Number of Reviews per Paper","group":{"name":"ConfEventPeerReviewInformation","label":"Peer Review Information (provided by the conference organizers)"}},{"value":"6.3","order":8,"name":"average_number_of_papers_per_reviewer","label":"Average Number of Papers per Reviewer","group":{"name":"ConfEventPeerReviewInformation","label":"Peer Review Information (provided by the conference organizers)"}},{"value":"No","order":9,"name":"external_reviewers_involved","label":"External Reviewers Involved","group":{"name":"ConfEventPeerReviewInformation","label":"Peer Review Information (provided by the conference organizers)"}}]}}