{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,7,4]],"date-time":"2024-07-04T09:53:35Z","timestamp":1720086815404},"reference-count":22,"publisher":"Elsevier BV","license":[{"start":{"date-parts":[[2015,12,1]],"date-time":"2015-12-01T00:00:00Z","timestamp":1448928000000},"content-version":"tdm","delay-in-days":0,"URL":"https:\/\/www.elsevier.com\/tdm\/userlicense\/1.0\/"},{"start":{"date-parts":[[2015,7,14]],"date-time":"2015-07-14T00:00:00Z","timestamp":1436832000000},"content-version":"vor","delay-in-days":0,"URL":"http:\/\/creativecommons.org\/licenses\/by\/4.0\/"}],"content-domain":{"domain":["elsevier.com","sciencedirect.com"],"crossmark-restriction":true},"short-container-title":["Reliability Engineering & System Safety"],"published-print":{"date-parts":[[2015,12]]},"DOI":"10.1016\/j.ress.2015.07.012","type":"journal-article","created":{"date-parts":[[2015,7,18]],"date-time":"2015-07-18T11:32:19Z","timestamp":1437219139000},"page":"183-192","update-policy":"http:\/\/dx.doi.org\/10.1016\/elsevier_cm_policy","source":"Crossref","is-referenced-by-count":12,"special_numbering":"C","title":["Dynamic labelling of BDD and ZBDD for efficient non-coherent fault tree analysis"],"prefix":"10.1016","volume":"144","author":[{"given":"V.","family":"Matuzas","sequence":"first","affiliation":[]},{"given":"S.","family":"Contini","sequence":"additional","affiliation":[]}],"member":"78","reference":[{"issue":"8","key":"10.1016\/j.ress.2015.07.012_bib1","doi-asserted-by":"crossref","first-page":"677","DOI":"10.1109\/TC.1986.1676819","article-title":"Graph based algorithms for boolean function manipulation","volume":"35","author":"Bryant","year":"1986","journal-title":"IEEE Trans Comput"},{"key":"10.1016\/j.ress.2015.07.012_bib2","doi-asserted-by":"crossref","unstructured":"Brace K, Rudell R, Bryant R Efficient Implementation of a BDD Package. In: Proceedings of the 27th ACM\/IEEE design automation conference. IEEE 738; 1990.","DOI":"10.1145\/123186.123222"},{"key":"10.1016\/j.ress.2015.07.012_bib3","first-page":"1033","article-title":"A brief introduction to binary decision diagrams","volume":"30","author":"Rauzy","year":"1996","journal-title":"Eur J Autom"},{"key":"10.1016\/j.ress.2015.07.012_bib4","doi-asserted-by":"crossref","first-page":"203","DOI":"10.1016\/0951-8320(93)90060-C","article-title":"New algorithms for fault trees analysis","volume":"40","author":"Rauzy","year":"1993","journal-title":"Reliab Eng Syst Saf"},{"key":"10.1016\/j.ress.2015.07.012_bib5","doi-asserted-by":"crossref","unstructured":"Minato S Zero-Suppressed BDD for Set Manipulation in Combinatorial Problems. In: Proceedings of the 30th ACM\/IEEE design automation conference, DAC\u05f393; 1993. p. 272\u201377.","DOI":"10.1145\/157485.164890"},{"key":"10.1016\/j.ress.2015.07.012_bib6","doi-asserted-by":"crossref","first-page":"127","DOI":"10.1016\/S0951-8320(97)00034-3","article-title":"Exact and truncated computation of prime implicants of coherent and non-coherent fault trees within Aralia","volume":"58","author":"Rauzy","year":"1997","journal-title":"Reliab Eng Syst Saf"},{"key":"10.1016\/j.ress.2015.07.012_bib7","doi-asserted-by":"crossref","first-page":"369","DOI":"10.1016\/j.ress.2003.10.009","article-title":"A fast BDD algorithm for large coherent fault tree analysis","volume":"83","author":"Jung","year":"2004","journal-title":"Reliab Eng Syst Saf"},{"key":"10.1016\/j.ress.2015.07.012_bib8","doi-asserted-by":"crossref","first-page":"571","DOI":"10.5516\/NET.2008.40.7.571","article-title":"Fast BDD truncation method for efficient top-event probability calculation","volume":"40","author":"Jung","year":"2008","journal-title":"Nucl Eng Technol"},{"issue":"4","key":"10.1016\/j.ress.2015.07.012_bib9","doi-asserted-by":"crossref","first-page":"325","DOI":"10.1109\/TR.1984.5221845","article-title":"A truncation methodology for evaluating large fault trees","volume":"R-33","author":"Modarres","year":"1984","journal-title":"IEEE Trans Reliab"},{"issue":"1","key":"10.1016\/j.ress.2015.07.012_bib10","doi-asserted-by":"crossref","first-page":"30","DOI":"10.1016\/j.ress.2004.09.007","article-title":"Development of measures to estimate truncation error in fault tree analysis","volume":"90","author":"Jung","year":"2005","journal-title":"Reliab Eng Syst Saf"},{"key":"10.1016\/j.ress.2015.07.012_bib11","doi-asserted-by":"crossref","first-page":"1827","DOI":"10.1016\/j.ress.2009.05.015","article-title":"A min cut-set-wise truncation procedure for importance measures computation in probabilistic safety assessment","volume":"94","author":"Duflot","year":"2009","journal-title":"Reliab Eng Syst Saf"},{"key":"10.1016\/j.ress.2015.07.012_bib12","doi-asserted-by":"crossref","first-page":"395","DOI":"10.1016\/j.ress.2004.06.009","article-title":"Analysis of truncation limit in probabilistic safety assessment","volume":"87","author":"Cepin","year":"2005","journal-title":"Reliab Eng Syst Saf"},{"issue":"10","key":"10.1016\/j.ress.2015.07.012_bib13","doi-asserted-by":"crossref","first-page":"1076","DOI":"10.1016\/j.ress.2010.04.016","article-title":"Hybrid approach for the assessment of PSA models by means of binary decision diagrams","volume":"95","author":"Ib\u00e1\u00f1ez-Llano","year":"2010","journal-title":"Reliab Eng Syst Saf"},{"issue":"3","key":"10.1016\/j.ress.2015.07.012_bib14","first-page":"249","article-title":"Coupling decomposition and truncation for the analysis of complex fault trees","volume":"226","author":"Contini","year":"2012","journal-title":"J Risk Reliab"},{"issue":"3","key":"10.1016\/j.ress.2015.07.012_bib15","doi-asserted-by":"crossref","first-page":"383","DOI":"10.1016\/j.ress.2010.11.002","article-title":"Analysis of large fault trees based on functional decomposition","volume":"96","author":"Contini","year":"2011","journal-title":"Reliab Eng Syst Saf"},{"issue":"4","key":"10.1016\/j.ress.2015.07.012_bib16","doi-asserted-by":"crossref","first-page":"389","DOI":"10.1109\/24.983400","article-title":"Mathematical foundation of minimal cutsets","volume":"50","author":"Rauzy","year":"2001","journal-title":"IEEE Trans Reliab"},{"key":"10.1016\/j.ress.2015.07.012_bib17","article-title":"On the exact analysis of non-coherent fault trees: the ASTRA package","volume":"8","author":"Contini","year":"2006","journal-title":"Probab. Saf Anal Manag"},{"key":"10.1016\/j.ress.2015.07.012_bib18","unstructured":"Contini S, Matuzas V. . ASTRA 3.0: logical and probabilistic analysis methods. JRC scientific and technical reports, EUR 24152 EN; 2010."},{"key":"10.1016\/j.ress.2015.07.012_bib19","unstructured":"Odeh K, Limnios N. A new algorithm for fault-trees prime implicants computation. ESREL\u05f396, Crete; 1996."},{"issue":"3","key":"10.1016\/j.ress.2015.07.012_bib20","doi-asserted-by":"crossref","first-page":"422","DOI":"10.1109\/24.537011","article-title":"A linear-time algorithm to find modules of fault trees","volume":"45","author":"Dutuit","year":"1996","journal-title":"IEEE Trans Reliab"},{"key":"10.1016\/j.ress.2015.07.012_bib21","unstructured":"Nikolskaia M, Rauzy A Fine-tuning of Boolean formulae pre-processing techniques. In: ESREL \u05f399. Balkema, Munich, Germany; 1999."},{"key":"10.1016\/j.ress.2015.07.012_bib22","doi-asserted-by":"crossref","first-page":"287","DOI":"10.1109\/24.103004","article-title":"A new method to calculate the failure frequency of non-coherent systems","volume":"39","author":"Liu","year":"1990","journal-title":"IEEE Trans Reliab"}],"container-title":["Reliability Engineering & System Safety"],"original-title":[],"language":"en","link":[{"URL":"https:\/\/api.elsevier.com\/content\/article\/PII:S0951832015002021?httpAccept=text\/xml","content-type":"text\/xml","content-version":"vor","intended-application":"text-mining"},{"URL":"https:\/\/api.elsevier.com\/content\/article\/PII:S0951832015002021?httpAccept=text\/plain","content-type":"text\/plain","content-version":"vor","intended-application":"text-mining"}],"deposited":{"date-parts":[[2019,8,28]],"date-time":"2019-08-28T07:55:20Z","timestamp":1566978920000},"score":1,"resource":{"primary":{"URL":"https:\/\/linkinghub.elsevier.com\/retrieve\/pii\/S0951832015002021"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2015,12]]},"references-count":22,"alternative-id":["S0951832015002021"],"URL":"http:\/\/dx.doi.org\/10.1016\/j.ress.2015.07.012","relation":{},"ISSN":["0951-8320"],"issn-type":[{"value":"0951-8320","type":"print"}],"subject":[],"published":{"date-parts":[[2015,12]]},"assertion":[{"value":"Elsevier","name":"publisher","label":"This article is maintained by"},{"value":"Dynamic labelling of BDD and ZBDD for efficient non-coherent fault tree analysis","name":"articletitle","label":"Article Title"},{"value":"Reliability Engineering & System Safety","name":"journaltitle","label":"Journal Title"},{"value":"https:\/\/doi.org\/10.1016\/j.ress.2015.07.012","name":"articlelink","label":"CrossRef DOI link to publisher maintained version"},{"value":"article","name":"content_type","label":"Content Type"},{"value":"Copyright \u00a9 2015 The Authors. Published by Elsevier Ltd.","name":"copyright","label":"Copyright"}]}}
