{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,11,1]],"date-time":"2025-11-01T13:49:34Z","timestamp":1762004974051,"version":"3.37.3"},"publisher-location":"Cham","reference-count":18,"publisher":"Springer International Publishing","isbn-type":[{"type":"print","value":"9783319779348"},{"type":"electronic","value":"9783319779355"}],"license":[{"start":{"date-parts":[[2018,1,1]],"date-time":"2018-01-01T00:00:00Z","timestamp":1514764800000},"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":[[2018]]},"DOI":"10.1007\/978-3-319-77935-5_10","type":"book-chapter","created":{"date-parts":[[2018,3,10]],"date-time":"2018-03-10T10:02:34Z","timestamp":1520676154000},"page":"139-156","update-policy":"https:\/\/doi.org\/10.1007\/springer_crossmark_policy","source":"Crossref","is-referenced-by-count":8,"title":["Formal Dynamic Fault Trees Analysis Using an Integration of Theorem Proving and Model Checking"],"prefix":"10.1007","author":[{"ORCID":"https:\/\/orcid.org\/0000-0003-4437-2933","authenticated-orcid":false,"given":"Yassmeen","family":"Elderhalli","sequence":"first","affiliation":[]},{"ORCID":"https:\/\/orcid.org\/0000-0003-2562-2669","authenticated-orcid":false,"given":"Osman","family":"Hasan","sequence":"additional","affiliation":[]},{"ORCID":"https:\/\/orcid.org\/0000-0003-2787-4704","authenticated-orcid":false,"given":"Waqar","family":"Ahmad","sequence":"additional","affiliation":[]},{"ORCID":"https:\/\/orcid.org\/0000-0002-5537-104X","authenticated-orcid":false,"given":"Sofi\u00e8ne","family":"Tahar","sequence":"additional","affiliation":[]}],"member":"297","published-online":{"date-parts":[[2018,3,11]]},"reference":[{"key":"10_CR1","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.: 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":"10_CR2","unstructured":"Stamatelatos, M., Vesely, W., Dugan, J., Fragola, J., Minarick, J., Railsback, J.: Fault tree handbook with aerospace applications. NASA Office of Safety and Mission Assurance (2002)"},{"key":"10_CR3","unstructured":"Merle, G.: Algebraic Modelling of Dynamic Fault Trees, Contribution to Qualitative and Quantitative Analysis. Ph.D. thesis, ENS, France (2010)"},{"key":"10_CR4","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"592","DOI":"10.1007\/978-3-319-63390-9_31","volume-title":"Computer Aided Verification","author":"C Dehnert","year":"2017","unstructured":"Dehnert, C., Junges, S., Katoen, J.-P., Volk, M.: A Storm is coming: a modern probabilistic model checker. In: Majumdar, R., Kun\u010dak, V. (eds.) CAV 2017. LNCS, vol. 10427, pp. 592\u2013600. Springer, Cham (2017). \nhttps:\/\/doi.org\/10.1007\/978-3-319-63390-9_31"},{"key":"10_CR5","doi-asserted-by":"publisher","first-page":"370","DOI":"10.1109\/TII.2017.2710316","volume":"14","author":"M Volk","year":"2017","unstructured":"Volk, M., Junges, S., Katoen, J.P.: Fast dynamic fault tree analysis by model checking techniques. IEEE Trans. Ind. Inf. 14, 370\u2013379 (2017). \nhttps:\/\/doi.org\/10.1109\/TII.2017.2710316","journal-title":"IEEE Trans. Ind. Inf."},{"key":"10_CR6","series-title":"Lecture Notes in Computer Science (Lecture Notes in Artificial Intelligence)","doi-asserted-by":"publisher","first-page":"39","DOI":"10.1007\/978-3-319-20615-8_3","volume-title":"Intelligent Computer Mathematics","author":"W Ahmad","year":"2015","unstructured":"Ahmad, W., Hasan, O.: Towards formal fault tree analysis using theorem proving. In: Kerber, M., Carette, J., Kaliszyk, C., Rabe, F., Sorge, V. (eds.) CICM 2015. LNCS (LNAI), vol. 9150, pp. 39\u201354. Springer, Cham (2015). \nhttps:\/\/doi.org\/10.1007\/978-3-319-20615-8_3"},{"key":"10_CR7","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"441","DOI":"10.1007\/978-3-540-75596-8_31","volume-title":"Automated Technology for Verification and Analysis","author":"H Boudali","year":"2007","unstructured":"Boudali, H., Crouzen, P., Stoelinga, M.: A compositional semantics for dynamic fault trees in terms of interactive Markov chains. In: Namjoshi, K.S., Yoneda, T., Higashino, T., Okamura, Y. (eds.) ATVA 2007. LNCS, vol. 4762, pp. 441\u2013456. Springer, Heidelberg (2007). \nhttps:\/\/doi.org\/10.1007\/978-3-540-75596-8_31"},{"issue":"1","key":"10_CR8","doi-asserted-by":"crossref","first-page":"250","DOI":"10.1109\/TR.2009.2035793","volume":"59","author":"G Merle","year":"2010","unstructured":"Merle, G., Roussel, J.M., Lesage, J.J., Bobbio, A.: Probabilistic algebraic analysis of fault trees with priority dynamic gates and repeated events. IEEE Trans. Reliab. 59(1), 250\u2013261 (2010)","journal-title":"IEEE Trans. Reliab."},{"issue":"3","key":"10_CR9","doi-asserted-by":"crossref","first-page":"428","DOI":"10.1109\/24.406578","volume":"44","author":"M Malhotra","year":"1995","unstructured":"Malhotra, M., Trivedi, K.S.: Dependability modeling using petri-nets. IEEE Trans. Reliab. 44(3), 428\u2013440 (1995)","journal-title":"IEEE Trans. Reliab."},{"key":"10_CR10","doi-asserted-by":"crossref","unstructured":"Boudali, H., Dugan, J.: A new Bayesian network approach to solve dynamic fault trees. In: IEEE Reliability and Maintainability Symposium, pp. 451\u2013456 (2005)","DOI":"10.1109\/RAMS.2005.1408404"},{"key":"10_CR11","unstructured":"HOL4 (2017). \nhol.sourceforge.net"},{"key":"10_CR12","doi-asserted-by":"crossref","unstructured":"Pullum, L., Dugan, J.: Fault tree models for the analysis of complex computer-based systems. In: IEEE Reliability and Maintainability Symposium, pp. 200\u2013207 (1996)","DOI":"10.1109\/RAMS.1996.500663"},{"key":"10_CR13","unstructured":"Galileo. \nwww.cse.msu.edu\/~cse870\/Materials\/FaultTolerant\/manual-galileo.htm"},{"key":"10_CR14","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., Van der Berg, F., Guck, D., Stoelinga, M.: 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). \nhttps:\/\/doi.org\/10.1007\/978-3-642-40793-2_27"},{"key":"10_CR15","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"3","DOI":"10.1007\/978-3-319-66266-4_1","volume-title":"Computer Safety, Reliability, and Security","author":"M Ghadhab","year":"2017","unstructured":"Ghadhab, M., Junges, S., Katoen, J.-P., Kuntz, M., Volk, M.: Model-based safety analysis for vehicle guidance systems. In: Tonetta, S., Schoitsch, E., Bitsch, F. (eds.) SAFECOMP 2017. LNCS, vol. 10488, pp. 3\u201319. Springer, Cham (2017). \nhttps:\/\/doi.org\/10.1007\/978-3-319-66266-4_1"},{"key":"10_CR16","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"264","DOI":"10.1007\/978-3-319-47677-3_17","volume-title":"Dependable Software Engineering: Theories, Tools, and Applications","author":"W Ahmad","year":"2016","unstructured":"Ahmad, W., Hasan, O.: Formalization of fault trees in higher-order logic: a deep embedding approach. In: Fr\u00e4nzle, M., Kapur, D., Zhan, N. (eds.) SETTA 2016. LNCS, vol. 9984, pp. 264\u2013279. Springer, Cham (2016). \nhttps:\/\/doi.org\/10.1007\/978-3-319-47677-3_17"},{"key":"10_CR17","unstructured":"Elderhalli, Y.: DFT Formal Analysis: HOL4 Script and Storm Benchmarks (2017). \nhttp:\/\/hvg.ece.concordia.ca\/Publications\/TECH_REP\/DFT_TR17"},{"key":"10_CR18","unstructured":"Elderhalli, Y., Hasan, O., Ahmad, W., Tahar, S.: Dynamic Fault Trees Analysis using an Integration of Theorem Proving and Model Checking. Technical report, Concordia University, Canada (2017). \nhttps:\/\/arxiv.org\/abs\/1712.02872"}],"container-title":["Lecture Notes in Computer Science","NASA Formal Methods"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/978-3-319-77935-5_10","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2018,3,10]],"date-time":"2018-03-10T10:05:41Z","timestamp":1520676341000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/978-3-319-77935-5_10"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2018]]},"ISBN":["9783319779348","9783319779355"],"references-count":18,"URL":"https:\/\/doi.org\/10.1007\/978-3-319-77935-5_10","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[2018]]}}}