{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,3,25]],"date-time":"2025-03-25T17:28:51Z","timestamp":1742923731309,"version":"3.40.3"},"publisher-location":"Cham","reference-count":21,"publisher":"Springer International Publishing","isbn-type":[{"type":"print","value":"9783319287652"},{"type":"electronic","value":"9783319287669"}],"license":[{"start":{"date-parts":[[2016,1,1]],"date-time":"2016-01-01T00:00:00Z","timestamp":1451606400000},"content-version":"unspecified","delay-in-days":0,"URL":"http:\/\/www.springer.com\/tdm"}],"content-domain":{"domain":["link.springer.com"],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2016]]},"DOI":"10.1007\/978-3-319-28766-9_6","type":"book-chapter","created":{"date-parts":[[2016,1,4]],"date-time":"2016-01-04T07:09:44Z","timestamp":1451891384000},"page":"79-94","update-policy":"https:\/\/doi.org\/10.1007\/springer_crossmark_policy","source":"Crossref","is-referenced-by-count":4,"title":["Fault Ascription in Concurrent Systems"],"prefix":"10.1007","author":[{"given":"Gregor","family":"G\u00f6ssler","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Jean-Bernard","family":"Stefani","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","published-online":{"date-parts":[[2016,1,5]]},"reference":[{"key":"6_CR1","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"203","DOI":"10.1007\/978-3-540-85361-9_19","volume-title":"CONCUR 2008 - Concurrency Theory","author":"P Baldan","year":"2008","unstructured":"Baldan, P., Chatain, T., Haar, S., K\u00f6nig, B.: Unfolding-based diagnosis of systems with an evolving topology. In: van Breugel, F., Chechik, M. (eds.) CONCUR 2008. LNCS, vol. 5201, pp. 203\u2013217. Springer, Heidelberg (2008)"},{"issue":"1","key":"6_CR2","doi-asserted-by":"publisher","first-page":"20","DOI":"10.1007\/s10703-011-0132-2","volume":"40","author":"I Beer","year":"2012","unstructured":"Beer, I., Ben-David, S., Chockler, H., Orni, A., Trefler, R.J.: Explaining counterexamples using causality. Formal Methods Syst. Des. 40(1), 20\u201340 (2012)","journal-title":"Formal Methods Syst. Des."},{"key":"6_CR3","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"1","DOI":"10.1007\/978-3-540-45187-7_1","volume-title":"CONCUR 2003 - Concurrency Theory","author":"A Benveniste","year":"2003","unstructured":"Benveniste, A., Haar, S., Fabre, E., Jard, C.: Distributed monitoring of concurrent and asynchronous systems. In: Amadio, R.M., Lugiez, D. (eds.) CONCUR 2003. LNCS, vol. 2761, pp. 1\u201326. Springer, Heidelberg (2003)"},{"key":"6_CR4","unstructured":"Brennan, A.: Necessary and sufficient conditions. In: Zalta, E.N., (ed.) The Stanford Encyclopedia of Philosophy. Winter 2012 (edn.) (2012)"},{"key":"6_CR5","doi-asserted-by":"publisher","DOI":"10.1007\/978-0-387-68612-7","volume-title":"Introduction to Discrete Event Systems","author":"CG Cassandras","year":"2008","unstructured":"Cassandras, C.G., Lafortune, S.: Introduction to Discrete Event Systems, 2nd edn. Springer, New York (2008)","edition":"2"},{"key":"6_CR6","doi-asserted-by":"crossref","unstructured":"G\u00f6ssler, G., Astefanoaei, L.: Blaming in component-based real-time systems. In: 2014 International Conference on Embedded Software, EMSOFT. IEEE (2014)","DOI":"10.1145\/2656045.2656048"},{"key":"6_CR7","doi-asserted-by":"publisher","first-page":"223","DOI":"10.1016\/j.scico.2015.06.010","volume":"113","author":"G G\u00f6ssler","year":"2015","unstructured":"G\u00f6ssler, G., Le M\u00e9tayer, D.: A general framework for blaming in component-based systems. Sci. Comput. Program. 113, 223\u2013235 (2015). (in Press)","journal-title":"Sci. Comput. Program."},{"issue":"3","key":"6_CR8","doi-asserted-by":"publisher","first-page":"229","DOI":"10.1007\/s10009-005-0202-0","volume":"8","author":"A Groce","year":"2006","unstructured":"Groce, A., Chaki, S., Kroening, D., Strichman, O.: Error explanation with distance metrics. STTT 8(3), 229\u2013247 (2006)","journal-title":"STTT"},{"key":"6_CR9","series-title":"Lecture Notes in Control and Information Sciences","doi-asserted-by":"publisher","first-page":"301","DOI":"10.1007\/978-1-4471-4276-8_15","volume-title":"Control of Discrete-event Systems","author":"S Haar","year":"2013","unstructured":"Haar, S., Fabre, E.: Diagnosis with petri net unfoldings. In: Seatzu, C., Silva Su\u00e1rez, M., van Schuppen, J.H. (eds.) Control of Discrete-event Systems. LNCIS, vol. 433, pp. 301\u2013318. Springer, Heidelberg (2013)"},{"key":"6_CR10","unstructured":"Halpern, T.Y., Hitchcock, C.: Graded causation and defaults. CoRR (2013). \n                    abs\/1309.1226"},{"issue":"4","key":"6_CR11","doi-asserted-by":"publisher","first-page":"843","DOI":"10.1093\/bjps\/axi147","volume":"56","author":"JY Halpern","year":"2005","unstructured":"Halpern, J.Y., Pearl, J.: Causes and explanations: a structural approach. part i: causes. Br. J. Philos. Sci. 56(4), 843\u2013887 (2005)","journal-title":"Br. J. Philos. Sci."},{"issue":"3","key":"6_CR12","doi-asserted-by":"publisher","first-page":"636","DOI":"10.1109\/TCST.2009.2026285","volume":"18","author":"I Hwang","year":"2010","unstructured":"Hwang, I., Kim, S., Kim, Y., Seah, C.E.: A survey of fault detection, isolation and reconfiguration methods. IEEE Trans. Control Syst. Technol. 18(3), 636\u2013653 (2010)","journal-title":"IEEE Trans. Control Syst. Technol."},{"key":"6_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":"6_CR14","volume-title":"Counterfactuals","author":"D Lewis","year":"2000","unstructured":"Lewis, D.: Counterfactuals, 2nd edn. Blackwell, Oxford (2000)","edition":"2"},{"issue":"4","key":"6_CR15","doi-asserted-by":"publisher","first-page":"99","DOI":"10.1145\/1924421.1924444","volume":"54","author":"D M\u00e9tayer Le","year":"2011","unstructured":"Le M\u00e9tayer, D., Maarek, M., et al.: Liability issues in software engineering: the use of formal methods to reduce legal uncertainties. Commun. ACM 54(4), 99\u2013106 (2011)","journal-title":"Commun. ACM"},{"key":"6_CR16","doi-asserted-by":"publisher","DOI":"10.1017\/CBO9780511803161","volume-title":"Causality: Models, Reasoning and Inference","author":"J Pearl","year":"2009","unstructured":"Pearl, J.: Causality: Models, Reasoning and Inference, 2nd edn. Cambridge University Press, Cambridge (2009)","edition":"2"},{"issue":"1","key":"6_CR17","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":"6_CR18","series-title":"Studies in Logical Theory","doi-asserted-by":"publisher","DOI":"10.1007\/978-94-009-9117-0_2","volume-title":"A Theory of Conditionals","author":"R Stalnaker","year":"1968","unstructured":"Stalnaker, R.: A Theory of Conditionals. Studies in Logical Theory. Blackwell, Oxford (1968)"},{"issue":"41","key":"6_CR19","doi-asserted-by":"publisher","first-page":"4111","DOI":"10.1016\/j.tcs.2009.06.014","volume":"410","author":"RJ Glabbeek van","year":"2009","unstructured":"van Glabbeek, R.J., Plotkin, G.D.: Configuration structures, event structures and petri nets. Theor. Comput. Sci. 410(41), 4111\u20134159 (2009)","journal-title":"Theor. Comput. Sci."},{"key":"6_CR20","doi-asserted-by":"crossref","unstructured":"Wang, S., Ayoub, A., Ivanov, R., Sokolsky, O., Lee, I.: Contract-based blame assignment by trace analysis. In: 2nd ACM Interational Conference HiCoNS. ACM (2013)","DOI":"10.1145\/2461446.2461463"},{"issue":"2","key":"6_CR21","doi-asserted-by":"publisher","first-page":"308","DOI":"10.1016\/j.arcontrol.2013.09.009","volume":"37","author":"J Zaytoon","year":"2013","unstructured":"Zaytoon, J., Lafortune, S.: Overview of fault diagnosis methods for discrete event systems. Ann. Rev. Control 37(2), 308\u2013320 (2013)","journal-title":"Ann. Rev. Control"}],"container-title":["Lecture Notes in Computer Science","Trustworthy Global Computing"],"original-title":[],"language":"en","link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/978-3-319-28766-9_6","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2019,6,1]],"date-time":"2019-06-01T04:19:23Z","timestamp":1559362763000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/978-3-319-28766-9_6"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2016]]},"ISBN":["9783319287652","9783319287669"],"references-count":21,"URL":"https:\/\/doi.org\/10.1007\/978-3-319-28766-9_6","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[2016]]},"assertion":[{"value":"5 January 2016","order":1,"name":"first_online","label":"First Online","group":{"name":"ChapterHistory","label":"Chapter History"}}]}}