{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,10,23]],"date-time":"2024-10-23T04:30:17Z","timestamp":1729657817729,"version":"3.28.0"},"reference-count":27,"publisher":"IEEE","content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2017,12]]},"DOI":"10.1109\/icsrs.2017.8272848","type":"proceedings-article","created":{"date-parts":[[2018,2,1]],"date-time":"2018-02-01T21:45:14Z","timestamp":1517521514000},"page":"354-359","source":"Crossref","is-referenced-by-count":2,"title":["Handling epistemic uncertainty in fault trees: New proposal based on evidence theory and Kleene Ternary decision diagrams"],"prefix":"10.1109","author":[{"given":"Fares","family":"Innal","sequence":"first","affiliation":[]},{"given":"Antoine","family":"Rauzy","sequence":"additional","affiliation":[]},{"given":"Yves","family":"Dutuit","sequence":"additional","affiliation":[]}],"member":"263","reference":[{"key":"ref10","article-title":"Uncertainty in Risk Assessment: The Representation and Treatment of Uncertainties by Probabilistic and Non-Probabilistic Methods","author":"aven","year":"2004","journal-title":"Wiley"},{"key":"ref11","doi-asserted-by":"publisher","DOI":"10.1016\/S0019-9958(65)90241-X"},{"key":"ref12","article-title":"A Mathematical Theory of Evidence","author":"shafer","year":"1976","journal-title":"Princeton University Press"},{"key":"ref13","doi-asserted-by":"publisher","DOI":"10.1016\/j.jlp.2013.07.006"},{"key":"ref14","doi-asserted-by":"publisher","DOI":"10.1214\/aoms\/1177698950"},{"key":"ref15","doi-asserted-by":"publisher","DOI":"10.1002\/j.1538-7305.1959.tb01585.x"},{"key":"ref16","doi-asserted-by":"publisher","DOI":"10.1109\/TC.1978.1675141"},{"key":"ref17","doi-asserted-by":"publisher","DOI":"10.1109\/TC.1986.1676819"},{"key":"ref18","doi-asserted-by":"publisher","DOI":"10.1243\/1748006XJRR154"},{"key":"ref19","doi-asserted-by":"publisher","DOI":"10.1016\/0951-8320(93)90060-C"},{"key":"ref4","doi-asserted-by":"publisher","DOI":"10.1016\/S0951-8320(96)00069-5"},{"key":"ref27","article-title":"Introduction to Metamathematics","author":"kleene","year":"1952","journal-title":"Wolters-Noordhoff North-Holland Publishing"},{"key":"ref3","doi-asserted-by":"publisher","DOI":"10.1111\/j.1539-6924.1994.tb00281.x"},{"journal-title":"U S Nuclear Regulatory Commission","article-title":"NUREG-1855, Guidance on the Treatment of Uncertainties Associated with PRAs in Risk-Informed Decision Making","year":"2009","key":"ref6"},{"journal-title":"Uncertainty in Quantitative Risk Analysis Characterization and Methods of Treatment","year":"2002","author":"abrahamsson","key":"ref5"},{"key":"ref8","doi-asserted-by":"publisher","DOI":"10.1243\/1748006XJRR292"},{"journal-title":"Washington NASA Office of Safety and Mission Assurance","article-title":"NASA, Probabilistic Risk Assessment Procedures Guide for NASA Managers and Practitioners","year":"2002","key":"ref7"},{"journal-title":"Fault Tree Handbook NUREG-0492 U S Nuclear Regulatory Commission","year":"1981","key":"ref2"},{"key":"ref9","doi-asserted-by":"publisher","DOI":"10.1016\/j.jlp.2007.07.003"},{"journal-title":"ED International Electrotechnical Commission","article-title":"IEC 61025, Fault tree analysis","year":"2006","key":"ref1"},{"key":"ref20","doi-asserted-by":"crossref","first-page":"112","DOI":"10.1007\/s100090100056","article-title":"Binary decision diagrams in theory and practice","author":"drechsler","year":"2001","journal-title":"International Journal on Software Tools for Technology Transfer"},{"key":"ref22","doi-asserted-by":"publisher","DOI":"10.1109\/ISMVL.1997.601404"},{"key":"ref21","doi-asserted-by":"publisher","DOI":"10.1007\/978-1-84800-131-2_25"},{"key":"ref24","doi-asserted-by":"publisher","DOI":"10.1109\/TR.2004.829137"},{"key":"ref23","doi-asserted-by":"publisher","DOI":"10.1243\/1748006XJRR92"},{"key":"ref26","doi-asserted-by":"publisher","DOI":"10.1109\/ASPDAC.1997.600309"},{"key":"ref25","first-page":"23","article-title":"Symbolic Incompletely Specified Functions for Correct Evaluation in the Presence of Indetermine Input Values","volume":"i","author":"jennings","year":"1995","journal-title":"Proceedings of the 28th Hawaii International Conference on System Sciences"}],"event":{"name":"2017 2nd International Conference on System Reliability and Safety (ICSRS)","start":{"date-parts":[[2017,12,20]]},"location":"Milan","end":{"date-parts":[[2017,12,22]]}},"container-title":["2017 2nd International Conference on System Reliability and Safety (ICSRS)"],"original-title":[],"link":[{"URL":"http:\/\/xplorestaging.ieee.org\/ielx7\/8264984\/8272780\/08272848.pdf?arnumber=8272848","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2020,10,26]],"date-time":"2020-10-26T23:58:31Z","timestamp":1603756711000},"score":1,"resource":{"primary":{"URL":"http:\/\/ieeexplore.ieee.org\/document\/8272848\/"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2017,12]]},"references-count":27,"URL":"https:\/\/doi.org\/10.1109\/icsrs.2017.8272848","relation":{},"subject":[],"published":{"date-parts":[[2017,12]]}}}