{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,10,14]],"date-time":"2025-10-14T11:27:08Z","timestamp":1760441228654,"version":"3.40.4"},"publisher-location":"Cham","reference-count":18,"publisher":"Springer International Publishing","isbn-type":[{"type":"print","value":"9783319122137"},{"type":"electronic","value":"9783319122144"}],"license":[{"start":{"date-parts":[[2014,1,1]],"date-time":"2014-01-01T00:00:00Z","timestamp":1388534400000},"content-version":"tdm","delay-in-days":0,"URL":"http:\/\/www.springer.com\/tdm"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2014]]},"DOI":"10.1007\/978-3-319-12214-4_8","type":"book-chapter","created":{"date-parts":[[2014,9,24]],"date-time":"2014-09-24T05:48:44Z","timestamp":1411537724000},"page":"96-109","source":"Crossref","is-referenced-by-count":21,"title":["Reliability Analysis of Dynamic Systems by Translating Temporal Fault Trees into Bayesian Networks"],"prefix":"10.1007","author":[{"given":"Sohag","family":"Kabir","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Martin","family":"Walker","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Yiannis","family":"Papadopoulos","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","reference":[{"issue":"3","key":"8_CR1","doi-asserted-by":"publisher","first-page":"249","DOI":"10.1016\/S0951-8320(00)00077-6","volume":"71","author":"A. Bobbio","year":"2001","unstructured":"Bobbio, A., Portinale, L., Minichino, M., Ciancamerla, E.: Improving the analysis of dependable systems by mapping fault trees into Bayesian networks. Reliability Engineering & System Safety\u00a071(3), 249\u2013260 (2001)","journal-title":"Reliability Engineering & System Safety"},{"key":"8_CR2","doi-asserted-by":"crossref","unstructured":"Boudali, H., Dugan, J.: A new bayesian network approach to solve dynamic fault trees. In: Proceedings of Annual Reliability and Maintainability Symposium, pp. 451\u2013456 (January 2005)","DOI":"10.1109\/RAMS.2005.1408404"},{"key":"8_CR3","first-page":"21","volume-title":"SAFECOMP 1993","author":"G. Bruns","year":"1993","unstructured":"Bruns, G., Anderson, S.: Validating Safety Models with Fault Trees. In: G\u00f3rski, J. (ed.) SAFECOMP 1993, pp. 21\u201330. Springer, London (1993)"},{"key":"8_CR4","unstructured":"Cozman, F.: JavaBayes (2001), http:\/\/www.cs.cmu.edu\/~javabayes\/"},{"key":"8_CR5","doi-asserted-by":"crossref","unstructured":"Dugan, J.B., Bavuso, S.J., Boyd, M.A.: Fault Trees and Sequence Dependencies. In: Proceedings of Annual Reliability and Maintainability Symposium, pp. 286\u2013293 (January 1990)","DOI":"10.1109\/ARMS.1990.67971"},{"issue":"3","key":"8_CR6","doi-asserted-by":"publisher","first-page":"363","DOI":"10.1109\/24.159800","volume":"41","author":"J.B. Dugan","year":"1992","unstructured":"Dugan, J.B., Bavuso, S.J., Boyd, M.A.: Dynamic fault-tree models for fault-tolerant computer systems. IEEE Transactions on Reliability\u00a041(3), 363\u2013377 (1992)","journal-title":"IEEE Transactions on Reliability"},{"key":"8_CR7","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"99","DOI":"10.1007\/978-3-642-33678-2_9","volume-title":"Computer Safety, Reliability, and Security","author":"E. Edifor","year":"2012","unstructured":"Edifor, E., Walker, M., Gordon, N.: Quantification of Priority-OR Gates in Temporal Fault Trees. In: Ortmeier, F., Lipaczewski, M. (eds.) SAFECOMP 2012. LNCS, vol.\u00a07612, pp. 99\u2013110. Springer, Heidelberg (2012)"},{"issue":"5","key":"8_CR8","doi-asserted-by":"publisher","first-page":"324","DOI":"10.1109\/TR.1976.5220025","volume":"R-25","author":"J.B. Fussell","year":"1976","unstructured":"Fussell, J., Aber, E., Rahl, R.: On the Quantitative Analysis of Priority-AND Failure Logic. IEEE Transactions on Reliability\u00a0R-25(5), 324\u2013326 (1976)","journal-title":"IEEE Transactions on Reliability"},{"issue":"1","key":"8_CR9","doi-asserted-by":"publisher","first-page":"92","DOI":"10.1016\/j.ress.2005.11.037","volume":"92","author":"H. Langseth","year":"2007","unstructured":"Langseth, H., Portinale, L.: Bayesian networks in reliability. Reliability Engineering & System Safety\u00a092(1), 92\u2013108 (2007)","journal-title":"Reliability Engineering & System Safety"},{"key":"8_CR10","doi-asserted-by":"crossref","unstructured":"Marquez, D., Neil, M., Fenton, N.: Solving Dynamic Fault Trees using a New Hybrid Bayesian Network Inference Algorithm. In: 16th Mediterranean Conference on Control and Automation, pp. 609\u2013614. IEEE (2008)","DOI":"10.1109\/MED.2008.4602222"},{"issue":"2","key":"8_CR11","doi-asserted-by":"publisher","first-page":"267","DOI":"10.1016\/j.ress.2010.10.001","volume":"96","author":"G. Merle","year":"2011","unstructured":"Merle, G., Roussel, J.M., Lesage, J.J.: Algebraic determination of the structure function of Dynamic Fault Trees. Reliability Engineering & System Safety\u00a096(2), 267\u2013277 (2011)","journal-title":"Reliability Engineering & System Safety"},{"issue":"1","key":"8_CR12","doi-asserted-by":"publisher","first-page":"143","DOI":"10.1002\/qre.1487","volume":"30","author":"G. Merle","year":"2014","unstructured":"Merle, G., Roussel, J.M., Lesage, J.J.: Quantitative Analysis of Dynamic Fault Trees Based on the Structure Function. Quality and Reliability Engineering International\u00a030(1), 143\u2013156 (2014)","journal-title":"Quality and Reliability Engineering International"},{"issue":"7","key":"8_CR13","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., Codetta-Raiteri, D.: Radyban: A tool for reliability analysis of dynamic fault trees through conversion into dynamic Bayesian networks. Reliability Engineering & System Safety\u00a093(7), 922\u2013932 (2008)","journal-title":"Reliability Engineering & System Safety"},{"key":"8_CR14","doi-asserted-by":"crossref","unstructured":"Montani, S., Portinale, L., Bobbio, A., Varesio, M., Codetta-Raiteri, D.: A tool for automatically translating Dynamic Fault Trees into Dynamic Bayesian Networks. In: Annual Reliability and Maintainability Symposium (RAMS 2006), pp. 434\u2013441. IEEE (2006)","DOI":"10.1109\/ARES.2006.34"},{"key":"8_CR15","doi-asserted-by":"crossref","unstructured":"Pearl, J.: Probabilistic reasoning in intelligent systems: Networks of Plausible Inference. Morgan Kaufmann (1988)","DOI":"10.1016\/B978-0-08-051489-5.50008-4"},{"key":"8_CR16","unstructured":"Vesely, W., Dugan, J., Fragola, J., Minarick, R.J.: Fault Tree Handbook with Aerospace Applications. Tech. rep., NASA office of safety and mission assurance, Washington, DC (2002)"},{"issue":"10","key":"8_CR17","doi-asserted-by":"publisher","first-page":"1115","DOI":"10.1016\/j.conengprac.2008.10.003","volume":"17","author":"M. Walker","year":"2009","unstructured":"Walker, M., Papadopoulos, Y.: Qualitative temporal analysis: Towards a full implementation of the Fault Tree Handbook. Control Engineering Practice\u00a017(10), 1115\u20131125 (2009)","journal-title":"Control Engineering Practice"},{"key":"8_CR18","unstructured":"Walker, M.D.: Pandora: A Logic for the Qualitative Analysis of Temporal Fault Trees. Ph.D. thesis, University of Hull (2009)"}],"container-title":["Lecture Notes in Computer Science","Model-Based Safety and Assessment"],"original-title":[],"language":"en","link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/978-3-319-12214-4_8","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2025,5,4]],"date-time":"2025-05-04T19:52:47Z","timestamp":1746388367000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/978-3-319-12214-4_8"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2014]]},"ISBN":["9783319122137","9783319122144"],"references-count":18,"URL":"https:\/\/doi.org\/10.1007\/978-3-319-12214-4_8","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[2014]]}}}