{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2026,2,13]],"date-time":"2026-02-13T10:16:36Z","timestamp":1770977796491,"version":"3.50.1"},"publisher-location":"Berlin, Heidelberg","reference-count":22,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"value":"9783642242694","type":"print"},{"value":"9783642242700","type":"electronic"}],"license":[{"start":{"date-parts":[[2011,1,1]],"date-time":"2011-01-01T00:00:00Z","timestamp":1293840000000},"content-version":"unspecified","delay-in-days":0,"URL":"http:\/\/www.springer.com\/tdm"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2011]]},"DOI":"10.1007\/978-3-642-24270-0_6","type":"book-chapter","created":{"date-parts":[[2011,9,7]],"date-time":"2011-09-07T10:51:44Z","timestamp":1315392704000},"page":"71-84","source":"Crossref","is-referenced-by-count":23,"title":["From Probabilistic Counterexamples via Causality to Fault Trees"],"prefix":"10.1007","author":[{"given":"Matthias","family":"Kuntz","sequence":"first","affiliation":[]},{"given":"Florian","family":"Leitner-Fischer","sequence":"additional","affiliation":[]},{"given":"Stefan","family":"Leue","sequence":"additional","affiliation":[]}],"member":"297","reference":[{"key":"6_CR1","volume-title":"Proc. of QEST 2009","author":"H. Aljazzar","year":"2009","unstructured":"Aljazzar, H., Fischer, M., Grunske, L., Kuntz, M., Leitner-Fischer, F., Leue, S.: Safety Analysis of an Airbag System Using Probabilistic FMEA and Probabilistic Counterexamples. In: Proc. of QEST 2009. IEEE Computer Society, Los Alamitos (2009)"},{"key":"6_CR2","volume-title":"Proc. of QEST 2008","author":"H. Aljazzar","year":"2008","unstructured":"Aljazzar, H., Leue, S.: Debugging of Dependability Models Using Interactive Visualization of Counterexamples. In: Proc. of QEST 2008. IEEE Computer Society, Los Alamitos (2008)"},{"key":"6_CR3","doi-asserted-by":"crossref","unstructured":"Aljazzar, H., Leue, S.: Directed explicit state-space search in the generation of counterexamples for stochastic model checking. IEEE Trans. Soft. Eng. (2009)","DOI":"10.1109\/TSE.2009.57"},{"key":"6_CR4","doi-asserted-by":"crossref","unstructured":"Baier, C., Haverkort, B., Hermanns, H., Katoen, J.-P.: Model-checking algorithms for continuous-time Markov chains. IEEE Trans. Soft. Eng. (2003)","DOI":"10.1109\/TSE.2003.1205180"},{"key":"6_CR5","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"94","DOI":"10.1007\/978-3-642-02658-4_11","volume-title":"Computer Aided Verification","author":"I. Beer","year":"2009","unstructured":"Beer, I., Ben-David, S., Chockler, H., Orni, A., Trefler, R.: Explaining counterexamples using causality. In: Bouajjani, A., Maler, O. (eds.) CAV 2009. LNCS, vol.\u00a05643, pp. 94\u2013108. Springer, Heidelberg (2009)"},{"key":"6_CR6","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"303","DOI":"10.1007\/978-3-540-88387-6_27","volume-title":"Automated Technology for Verification and Analysis","author":"E. B\u00f6de","year":"2008","unstructured":"B\u00f6de, E., Peikenkamp, T., Rakow, J., Wischmeyer, S.: Model Based Importance Analysis for Minimal Cut Sets. In: Cha, S(S.), Choi, J.-Y., Kim, M., Lee, I., Viswanathan, M. (eds.) ATVA 2008. LNCS, vol.\u00a05311, pp. 303\u2013317. Springer, Heidelberg (2008)"},{"key":"6_CR7","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"162","DOI":"10.1007\/978-3-540-75596-8_13","volume-title":"Automated Technology for Verification and Analysis","author":"M. Bozzano","year":"2007","unstructured":"Bozzano, M., Cimatti, A., Tapparo, F.: Symbolic Fault Tree Analysis for Reactive Systems. In: Namjoshi, K.S., Yoneda, T., Higashino, T., Okamura, Y. (eds.) ATVA 2007. LNCS, vol.\u00a04762, pp. 162\u2013176. Springer, Heidelberg (2007)"},{"key":"6_CR8","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"150","DOI":"10.1007\/11754305_17","volume-title":"Software Process Change","author":"B. Chen","year":"2006","unstructured":"Chen, B., Avrunin, G., Clarke, L., Osterweil, L.: Automatic Fault Tree Derivation From Little-Jil Process Definitions. In: Wang, Q., Pfahl, D., Raffo, D.M., Wernick, P. (eds.) SPW 2006 and ProSim 2006. LNCS, vol.\u00a03966, pp. 150\u2013158. Springer, Heidelberg (2006)"},{"key":"6_CR9","volume-title":"Causation and Counterfactuals","year":"2004","unstructured":"Collins, J. (ed.): Causation and Counterfactuals. MIT Press, Cambridge (2004)"},{"key":"6_CR10","doi-asserted-by":"crossref","unstructured":"Dugan, J., Bavuso, S., Boyd, M.: Dynamic Fault Tree Models for Fault Tolerant Computer Systems. IEEE Trans. Reliability (1992)","DOI":"10.1109\/24.159800"},{"key":"6_CR11","doi-asserted-by":"crossref","unstructured":"Eiter, T., Lukasiewicz, T.: Complexity results for structure-based causality. Artificial Intelligence (2002)","DOI":"10.1016\/S0004-3702(02)00271-0"},{"key":"6_CR12","doi-asserted-by":"crossref","unstructured":"Halpern, J., Pearl, J.: Causes and explanations: A structural-model approach. Part I: Causes. The British Journal for the Philosophy of Science (2005)","DOI":"10.1093\/bjps\/axi147"},{"key":"6_CR13","unstructured":"Han, T., Katoen, J.-P., Damman, B.: Counterexample generation in probabilistic model checking. IEEE Trans. Softw. Eng. (2009)"},{"key":"6_CR14","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"441","DOI":"10.1007\/11691372_29","volume-title":"Tools and Algorithms for the Construction and Analysis of Systems","author":"A. Hinton","year":"2006","unstructured":"Hinton, A., Kwiatkowska, M., Norman, G., Parker, D.: PRISM: A Tool for Automatic Verification of Probabilistic Systems. In: Hermanns, H. (ed.) TACAS 2006. LNCS, vol.\u00a03920, pp. 441\u2013444. Springer, Heidelberg (2006)"},{"key":"6_CR15","unstructured":"Kuntz, M., Leitner-Fischer, F., Leue, S.: From probabilistic counterexamples via causality to fault trees. Technical Report soft-11-02, Chair for Software Engineering, University of Konstanz (2011), http:\/\/www.inf.uni-konstanz.de\/soft\/research\/publications\/pdf\/soft-11-02.pdf"},{"key":"6_CR16","doi-asserted-by":"crossref","unstructured":"Leitner-Fischer, F., Leue, S.: QuantUM: Quantitative safety analysis of UML models. In: Proc. of QAPL 2011 (2011)","DOI":"10.4204\/EPTCS.57.2"},{"key":"6_CR17","volume-title":"Counterfactuals","author":"D. Lewis","year":"2001","unstructured":"Lewis, D.: Counterfactuals. Wiley-Blackwell, Chichester (2001)"},{"key":"6_CR18","volume-title":"Proc. of EMSOFT 2005","author":"M. McKelvin Jr","year":"2005","unstructured":"McKelvin Jr, M., Eirea, G., Pinello, C., Kanajan, S., Sangiovanni-Vincentelli, A.: A Formal Approach to Fault Tree Synthesis for the Analysis of Distributed Fault Tolerant Systems. In: Proc. of EMSOFT 2005. ACM, New York (2005)"},{"key":"6_CR19","volume-title":"Proc. of ISSRE 2002","author":"G. Pai","year":"2002","unstructured":"Pai, G., Dugan, J.: Automatic synthesis of dynamic fault trees from UML system models. In: Proc. of ISSRE 2002. IEEE Computer Society, Los Alamitos (2002)"},{"key":"6_CR20","unstructured":"Schellhorn, G., Thums, A., Reif, W.: Formal fault tree semantics. In: Proc. IDPT 2002. Society for Design and Process Science (2002)"},{"key":"6_CR21","unstructured":"U.S. Nuclear Regulatory Commission. Fault Tree Handbook, NUREG-0492 (1981)"},{"key":"6_CR22","volume-title":"Why Programs Fail: A Guide to Systematic Debugging","author":"A. Zeller","year":"2009","unstructured":"Zeller, A.: Why Programs Fail: A Guide to Systematic Debugging. Elsevier, Amsterdam (2009)"}],"container-title":["Lecture Notes in Computer Science","Computer Safety, Reliability, and Security"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/978-3-642-24270-0_6","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2019,6,14]],"date-time":"2019-06-14T22:49:49Z","timestamp":1560552589000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/978-3-642-24270-0_6"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2011]]},"ISBN":["9783642242694","9783642242700"],"references-count":22,"URL":"https:\/\/doi.org\/10.1007\/978-3-642-24270-0_6","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"value":"0302-9743","type":"print"},{"value":"1611-3349","type":"electronic"}],"subject":[],"published":{"date-parts":[[2011]]}}}