{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,10,3]],"date-time":"2025-10-03T13:16:25Z","timestamp":1759497385322},"reference-count":18,"publisher":"Springer Science and Business Media LLC","issue":"2-4","license":[{"start":{"date-parts":[[2011,11,30]],"date-time":"2011-11-30T00:00:00Z","timestamp":1322611200000},"content-version":"tdm","delay-in-days":0,"URL":"http:\/\/www.springer.com\/tdm"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":["Computing"],"published-print":{"date-parts":[[2012,3]]},"DOI":"10.1007\/s00607-011-0179-3","type":"journal-article","created":{"date-parts":[[2011,11,29]],"date-time":"2011-11-29T02:59:15Z","timestamp":1322535555000},"page":"313-324","source":"Crossref","is-referenced-by-count":11,"title":["A verified realization of a Dempster\u2013Shafer based fault tree analysis"],"prefix":"10.1007","volume":"94","author":[{"given":"Gabor","family":"Rebner","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Ekaterina","family":"Auer","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Wolfram","family":"Luther","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","published-online":{"date-parts":[[2011,11,30]]},"reference":[{"key":"179_CR1","unstructured":"Arnold D (2011) Computer arithmetic tragedies. http:\/\/www.ima.umn.edu\/~arnold\/455.f96\/disasters.html"},{"key":"179_CR2","unstructured":"Auer E, Luther W, Rebner G, Limbourg P (2010) A verified MATLAB toolbox for the Dempster-Shafer theory. In: Proceedings of the workshop on the theory of belief functions. http:\/\/www.udue.de\/DSIPaperone , http:\/\/www.udue.de\/DSI"},{"key":"179_CR3","unstructured":"Carreras C, Walker I (2001) Interval methods for fault-tree analyses in robotics. IEEE Trans Reliab 50:3\u201311. http:\/\/ieeexplore.ieee.org\/stamp\/stamp.jsp?arnumber=00935010"},{"key":"179_CR4","unstructured":"Cheng Y (2000) Uncertainties in fault tree analysis. http:\/\/www2.tku.edu.tw\/~tkjse\/3-1\/3-1-3.pdf"},{"key":"179_CR5","volume-title":"RAMAS Risk Calc 4.0 software: risk assessment with uncertain numbers","author":"S Ferson","year":"2002","unstructured":"Ferson S (2002) RAMAS Risk Calc 4.0 software: risk assessment with uncertain numbers. Lewis Publishers, Boca Raton"},{"key":"179_CR6","doi-asserted-by":"crossref","DOI":"10.2172\/809606","volume-title":"Constructing probability boxes and Dempster\u2013Shafer structures. SAND2002-4015","author":"S Ferson","year":"2003","unstructured":"Ferson S, Kreinovich V, Ginzburg L, Myers D, Sentz K (2003) Constructing probability boxes and Dempster\u2013Shafer structures. SAND2002-4015. Sandia National Laboratories, Washington"},{"key":"179_CR7","volume-title":"Summen, Produkt- und Integraltafeln","author":"I Gradstein","year":"1981","unstructured":"Gradstein I, Ryshik I (1981) Summen, Produkt- und Integraltafeln. Harri Deutsch, Germany"},{"issue":"40","key":"179_CR8","doi-asserted-by":"crossref","first-page":"563","DOI":"10.1109\/24.106778","volume":"1","author":"M Guth","year":"1991","unstructured":"Guth M (1991) A probability foundation for vagueness and imprecision in fault tree analysis. IEEE Trans Reliab 1(40): 563\u2013570","journal-title":"IEEE Trans Reliab"},{"key":"179_CR9","doi-asserted-by":"crossref","unstructured":"IEEE Standard for Floating-Point Arithmetic (2008) IEEE Std 754-2008, pp 1\u201358. doi: 10.1109\/IEEESTD.2008.4610935","DOI":"10.1109\/IEEESTD.2008.4610935"},{"key":"179_CR10","unstructured":"Limbourg P (2011) Imprecise probability propagation toolbox (IPP toolbox). http:\/\/www.uni-due.de\/il\/ipptoolbox.php"},{"key":"179_CR11","doi-asserted-by":"crossref","unstructured":"Luther W, Dyllong E, Fausten D, Otten W, Traczinski H (2001) Numerical verification and validation of kinematics and dynamical models for flexible robots in complex environments. In: Perspectives on enclosure methods. Springer, Wien, pp 181\u2013200","DOI":"10.1007\/978-3-7091-6282-8_11"},{"key":"179_CR12","first-page":"217","volume-title":"Advances and applications of DSmT for information fusion. Collected works, vol 3","author":"A Martin","year":"2009","unstructured":"Martin A (2009) Implementing general belief function framework with a practical codification for low complexity. In: Smarandache F, Dezert J (eds) Advances and applications of DSmT for information fusion. Collected works, vol 3. American Research Press, Rehoboth, pp 217\u2013273"},{"key":"179_CR13","unstructured":"MathWorks (2011) Parallel Computing toolbox. http:\/\/www.mathworks.de\/products\/parallel-computing\/?s_cid=0210_webg_js_390079"},{"key":"179_CR14","doi-asserted-by":"crossref","DOI":"10.1137\/1.9780898717716","volume-title":"Introduction to interval analysis","author":"R Moore","year":"2009","unstructured":"Moore R, Kearfott B, Cloud M (2009) Introduction to interval analysis. Society for Industrial and Applied Mathematics, Philadelphia"},{"key":"179_CR15","doi-asserted-by":"crossref","unstructured":"Rump S (1999) INTLAB\u2013INTerval LABoratory. Dev Reliab Comput 1:77\u2013104. http:\/\/www.ti3.tu-harburg.de\/","DOI":"10.1007\/978-94-017-1247-7_7"},{"key":"179_CR16","doi-asserted-by":"crossref","DOI":"10.1515\/9780691214696","volume-title":"A mathematical theory of evidence","author":"G Shafer","year":"1976","unstructured":"Shafer G (1976) A mathematical theory of evidence. Princeton University Press, Princeton"},{"issue":"1\u20133","key":"179_CR17","doi-asserted-by":"crossref","first-page":"169","DOI":"10.1016\/j.ress.2004.03.010","volume":"85","author":"F Tonon","year":"2004","unstructured":"Tonon F (2004) Using random set theory to propagate epistemic uncertainty through a mechanical system. Reliab Eng Syst Saf 85(1\u20133): 169\u2013181","journal-title":"Reliab Eng Syst Saf"},{"key":"179_CR18","unstructured":"Traczinski H (2006) Integration von Algorithmen und Datentypen zur validierten Mehrk\u00f6rpersimulation in MOBILE. Dissertation, Universit\u00e4t Duisburg-Essen. Logos-Verlag, Berlin. ISBN 978-3-8325-1457-0"}],"container-title":["Computing"],"original-title":[],"language":"en","link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/s00607-011-0179-3.pdf","content-type":"application\/pdf","content-version":"vor","intended-application":"text-mining"},{"URL":"http:\/\/link.springer.com\/article\/10.1007\/s00607-011-0179-3\/fulltext.html","content-type":"text\/html","content-version":"vor","intended-application":"text-mining"},{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/s00607-011-0179-3","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2021,12,18]],"date-time":"2021-12-18T03:36:05Z","timestamp":1639798565000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/s00607-011-0179-3"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2011,11,30]]},"references-count":18,"journal-issue":{"issue":"2-4","published-print":{"date-parts":[[2012,3]]}},"alternative-id":["179"],"URL":"https:\/\/doi.org\/10.1007\/s00607-011-0179-3","relation":{},"ISSN":["0010-485X","1436-5057"],"issn-type":[{"value":"0010-485X","type":"print"},{"value":"1436-5057","type":"electronic"}],"subject":[],"published":{"date-parts":[[2011,11,30]]}}}