{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2026,1,12]],"date-time":"2026-01-12T23:34:49Z","timestamp":1768260889185,"version":"3.49.0"},"publisher-location":"Cham","reference-count":20,"publisher":"Springer International Publishing","isbn-type":[{"value":"9783319238197","type":"print"},{"value":"9783319238203","type":"electronic"}],"license":[{"start":{"date-parts":[[2015,1,1]],"date-time":"2015-01-01T00:00:00Z","timestamp":1420070400000},"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":[[2015]]},"DOI":"10.1007\/978-3-319-23820-3_16","type":"book-chapter","created":{"date-parts":[[2015,9,19]],"date-time":"2015-09-19T10:21:39Z","timestamp":1442658099000},"page":"250-265","source":"Crossref","is-referenced-by-count":4,"title":["A Hybrid Approach to Causality Analysis"],"prefix":"10.1007","author":[{"given":"Shaohui","family":"Wang","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Yoann","family":"Geoffroy","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Gregor","family":"G\u00f6ssler","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Oleg","family":"Sokolsky","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Insup","family":"Lee","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","published-online":{"date-parts":[[2015,11,15]]},"reference":[{"key":"16_CR1","doi-asserted-by":"crossref","unstructured":"Arney, D., Pajic, M., Goldman, J.M., Lee, I., Mangharam, R., Sokolsky, O.: Toward patient safety in closed-loop medical device systems. In: ICCPS 2010, pp. 139\u2013148. ACM, New York, NY, USA (2010)","DOI":"10.1145\/1795194.1795214"},{"key":"16_CR2","unstructured":"ASTM International. F2761\u20132009. Medical Devices and Medical Systems \u2013 Essential Safety Requirements for Equipment Comprising the Patient-Centric Integrated Clinical Environment (ICE), Part 1, 2009"},{"key":"16_CR3","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. 5643, pp. 94\u2013108. Springer, Heidelberg (2009)"},{"issue":"6","key":"16_CR4","doi-asserted-by":"publisher","first-page":"73","DOI":"10.1145\/1041685.1029908","volume":"29","author":"S Chaki","year":"2004","unstructured":"Chaki, S., Groce, A., Strichman, O.: Explaining abstract counterexamples. SIGSOFT Softw. Eng. Notes 29(6), 73\u201382 (2004)","journal-title":"SIGSOFT Softw. Eng. Notes"},{"issue":"1","key":"16_CR5","doi-asserted-by":"publisher","first-page":"97","DOI":"10.1016\/0004-3702(87)90063-4","volume":"32","author":"J Kleer de","year":"1987","unstructured":"de Kleer, J., Williams, B.C.: Diagnosing multiple faults. Artif. Intell. 32(1), 97\u2013130 (1987)","journal-title":"Artif. Intell."},{"key":"16_CR6","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"337","DOI":"10.1007\/978-3-540-78800-3_24","volume-title":"Tools and Algorithms for the Construction and Analysis of Systems","author":"L Moura de","year":"2008","unstructured":"de Moura, L., Bj\u00f8rner, N.S.: Z3: an efficient SMT solver. In: Ramakrishnan, C.R., Rehof, J. (eds.) TACAS 2008. LNCS, vol. 4963, pp. 337\u2013340. Springer, Heidelberg (2008)"},{"key":"16_CR7","doi-asserted-by":"crossref","unstructured":"G\u00f6ssler, G., A\u015ftef\u0103noaei, L.: Blaming in component-based real-time systems. In: Proceedings of the 14th International Conference on Embedded Software (2014)","DOI":"10.1145\/2656045.2656048"},{"key":"16_CR8","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"crossref","first-page":"157","DOI":"10.1007\/978-3-319-07602-7_11","volume-title":"Formal Aspects of Component Software","author":"G G\u00f6ssler","year":"2014","unstructured":"G\u00f6ssler, G., Le M\u00e9tayer, D.: A general trace-based framework of logical causality. In: Fiadeiro, J.L., Liu, Z., Xue, J. (eds.) FACS 2013. LNCS, vol. 8348, pp. 157\u2013173. Springer, Heidelberg (2014)"},{"key":"16_CR9","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"270","DOI":"10.1007\/978-3-642-16612-9_21","volume-title":"Runtime Verification","author":"G G\u00f6ssler","year":"2010","unstructured":"G\u00f6ssler, G., Le M\u00e9tayer, D., Raclet, J.-B.: Causality analysis in contract violation. In: Barringer, H., Falcone, Y., Finkbeiner, B., Havelund, K., Lee, I., Pace, G., Ro\u015fu, G., Sokolsky, O., Tillmann, N. (eds.) RV 2010. LNCS, vol. 6418, pp. 270\u2013284. Springer, Heidelberg (2010)"},{"issue":"4","key":"16_CR10","first-page":"743","volume":"56","author":"YP Halpern","year":"2005","unstructured":"Halpern, Y.P., Pearl, J.: Causes and explanations: a structural-model approach. Part I: causes. Br. J. Philos. Sci. 56(4), 743\u2013887 (2005)","journal-title":"Br. J. Philos. Sci."},{"issue":"6","key":"16_CR11","doi-asserted-by":"publisher","first-page":"437","DOI":"10.1145\/1993316.1993550","volume":"46","author":"M Jose","year":"2011","unstructured":"Jose, M., Majumdar, R.: Cause clue clauses: error localization using maximum satisfiability. SIGPLAN Not. 46(6), 437\u2013446 (2011)","journal-title":"SIGPLAN Not."},{"key":"16_CR12","doi-asserted-by":"crossref","unstructured":"King, A., Procter, S., Andresen, D., Hatcliff, J., Warren, S., Spees, W., Jetley, R.P., Jones, P.L., Weininger, S.: An open test bed for medical device integration and coordination. In: ICSE Companion, pp. 141\u2013151. IEEE (2009)","DOI":"10.1109\/ICSE-COMPANION.2009.5070972"},{"key":"16_CR13","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"71","DOI":"10.1007\/978-3-642-24270-0_6","volume-title":"Computer Safety, Reliability, and Security","author":"M Kuntz","year":"2011","unstructured":"Kuntz, M., Leitner-Fischer, F., Leue, S.: From probabilistic counterexamples via causality to fault trees. In: Flammini, F., Bologna, S., Vittorini, V. (eds.) SAFECOMP 2011. LNCS, vol. 6894, pp. 71\u201384. Springer, Heidelberg (2011)"},{"key":"16_CR14","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"246","DOI":"10.1007\/978-3-642-39176-7_16","volume-title":"Model Checking Software","author":"F Leitner-Fischer","year":"2013","unstructured":"Leitner-Fischer, F., Leue, S.: On the synergy of probabilistic causality computation and causality checking. In: Bartocci, E., Ramakrishnan, C.R. (eds.) SPIN 2013. LNCS, vol. 7976, pp. 246\u2013263. Springer, Heidelberg (2013)"},{"key":"16_CR15","volume-title":"Counterfactuals","author":"D Lewis","year":"2001","unstructured":"Lewis, D.: Counterfactuals, 2nd edn. Wiley-Blackwell, New York (2001)","edition":"2"},{"issue":"1","key":"16_CR16","doi-asserted-by":"publisher","first-page":"57","DOI":"10.1016\/0004-3702(87)90062-2","volume":"32","author":"R Reiter","year":"1987","unstructured":"Reiter, R.: A theory of diagnosis from first principles. Artif. Intell. 32(1), 57\u201395 (1987)","journal-title":"Artif. Intell."},{"key":"16_CR17","unstructured":"Renieris, M., Reiss, S.P.: Fault localization with nearest neighbor queries. In: ASE 2003, pp. 30\u201339 (2003)"},{"key":"16_CR18","doi-asserted-by":"crossref","unstructured":"Wang, S., Ayoub, A., Ivanov, R., Sokolsky, O., Lee, I.: Contract-based blame assignment by trace analysis. In: HiCoNS 2013, pp. 117\u2013125 (2013)","DOI":"10.1145\/2461446.2461463"},{"key":"16_CR19","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"285","DOI":"10.1007\/978-3-642-40787-1_17","volume-title":"Runtime Verification","author":"S Wang","year":"2013","unstructured":"Wang, S., Ayoub, A., Kim, B.G., G\u00f6ssler, G., Sokolsky, O., Lee, I.: A causality analysis framework for component-based real-time systems. In: Legay, A., Bensalem, S. (eds.) RV 2013. LNCS, vol. 8174, pp. 285\u2013303. Springer, Heidelberg (2013)"},{"key":"16_CR20","doi-asserted-by":"crossref","unstructured":"Zeller, A.: Isolating cause-effect chains from computer programs. In: ACM International Symposium on Foundations of Software Engineering, pp. 1\u201310 (2002)","DOI":"10.1145\/587051.587053"}],"container-title":["Lecture Notes in Computer Science","Runtime Verification"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/978-3-319-23820-3_16","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2019,5,30]],"date-time":"2019-05-30T20:47:36Z","timestamp":1559249256000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/978-3-319-23820-3_16"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2015]]},"ISBN":["9783319238197","9783319238203"],"references-count":20,"URL":"https:\/\/doi.org\/10.1007\/978-3-319-23820-3_16","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"value":"0302-9743","type":"print"},{"value":"1611-3349","type":"electronic"}],"subject":[],"published":{"date-parts":[[2015]]}}}