{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2026,1,13]],"date-time":"2026-01-13T23:11:58Z","timestamp":1768345918510,"version":"3.49.0"},"publisher-location":"New York, NY, USA","reference-count":26,"publisher":"ACM","license":[{"start":{"date-parts":[[2014,10,12]],"date-time":"2014-10-12T00:00:00Z","timestamp":1413072000000},"content-version":"vor","delay-in-days":0,"URL":"https:\/\/www.acm.org\/publications\/policies\/copyright_policy#Background"}],"content-domain":{"domain":["dl.acm.org"],"crossmark-restriction":true},"short-container-title":[],"published-print":{"date-parts":[[2014,10,12]]},"DOI":"10.1145\/2656045.2656048","type":"proceedings-article","created":{"date-parts":[[2014,10,14]],"date-time":"2014-10-14T12:29:24Z","timestamp":1413289764000},"page":"1-10","update-policy":"https:\/\/doi.org\/10.1145\/crossmark-policy","source":"Crossref","is-referenced-by-count":13,"title":["Blaming in component-based real-time systems"],"prefix":"10.1145","author":[{"given":"Gregor","family":"G\u00f6ssler","sequence":"first","affiliation":[{"name":"INRIA, SPADES project team, Montbonnot St Ismier, France"}],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"L\u0103cr\u0103mioara","family":"A\u015ftef\u0103noaei","sequence":"additional","affiliation":[{"name":"Verimag, Gi\u00e8res, France"}],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"320","published-online":{"date-parts":[[2014,10,12]]},"reference":[{"key":"e_1_3_2_1_1_1","doi-asserted-by":"publisher","DOI":"10.1016\/0304-3975(94)00202-T"},{"key":"e_1_3_2_1_2_1","doi-asserted-by":"publisher","DOI":"10.1145\/227595.227602"},{"key":"e_1_3_2_1_3_1","series-title":"LNCS","first-page":"263","volume-title":"E. \u00c1brah\u00e1m and K","author":"Astefanoaei L.","year":"2014","unstructured":"L. Astefanoaei , S. B. Rayana , S. Bensalem , M. Bozga , and J. Combaz . Compositional invariant generation for timed systems . In E. \u00c1brah\u00e1m and K . Havelund, editors, TACAS, volume 8413 of LNCS , pages 263 -- 278 . Springer , 2014 . L. Astefanoaei, S. B. Rayana, S. Bensalem, M. Bozga, and J. Combaz. Compositional invariant generation for timed systems. In E. \u00c1brah\u00e1m and K. Havelund, editors, TACAS, volume 8413 of LNCS, pages 263--278. Springer, 2014."},{"key":"e_1_3_2_1_4_1","doi-asserted-by":"publisher","DOI":"10.1109\/TDSC.2004.2"},{"key":"e_1_3_2_1_5_1","doi-asserted-by":"publisher","DOI":"10.1145\/604131.604140"},{"key":"e_1_3_2_1_6_1","doi-asserted-by":"publisher","DOI":"10.1007\/s10703-011-0132-2"},{"key":"e_1_3_2_1_7_1","doi-asserted-by":"crossref","unstructured":"G.\n      Behrmann A.\n      David and \n      K.\n      Larsen\n  . \n  A tutorial on uppaal\n  . In M. Bernardo and F. Corradini editors SFM volume \n  3185\n   of \n  LNCS pages \n  200\n  --\n  236\n  . \n  Springer 2004\n  .  G. Behrmann A. David and K. Larsen. A tutorial on uppaal. In M. Bernardo and F. Corradini editors SFM volume 3185 of LNCS pages 200--236. Springer 2004.","DOI":"10.1007\/978-3-540-30080-9_7"},{"key":"e_1_3_2_1_8_1","doi-asserted-by":"publisher","DOI":"10.1145\/2461328.2461351"},{"key":"e_1_3_2_1_9_1","doi-asserted-by":"crossref","unstructured":"G.\n      G\u00f6ssler\n     and \n      D.\n      Le M\u00e9tayer\n    .\n  A general trace-based framework of logical causality\n  . In J. L. Fiadeiro Z. Liu and J. Xue editors FACS - 10th International Symposium on Formal Aspects of Component Software - \n  2013 volume \n  8348\n   of \n  LNCS pages \n  157\n  --\n  173\n  . \n  Springer 2013.  G. G\u00f6ssler and D. Le M\u00e9tayer. A general trace-based framework of logical causality. In J. L. Fiadeiro Z. Liu and J. Xue editors FACS - 10th International Symposium on Formal Aspects of Component Software - 2013 volume 8348 of LNCS pages 157--173. Springer 2013.","DOI":"10.1007\/978-3-319-07602-7_11"},{"key":"e_1_3_2_1_10_1","doi-asserted-by":"publisher","DOI":"10.1007\/s10009-005-0202-0"},{"key":"e_1_3_2_1_11_1","doi-asserted-by":"publisher","DOI":"10.1093\/bjps\/axi147"},{"key":"e_1_3_2_1_12_1","doi-asserted-by":"crossref","unstructured":"D. Hume. An Enquiry Concerning Human Understanding. 1748.  D. Hume. An Enquiry Concerning Human Understanding . 1748.","DOI":"10.1093\/oseo\/instance.00032980"},{"key":"e_1_3_2_1_13_1","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-642-28756-5_14"},{"key":"e_1_3_2_1_14_1","doi-asserted-by":"publisher","DOI":"10.1016\/j.jcss.2011.05.005"},{"key":"e_1_3_2_1_15_1","doi-asserted-by":"crossref","unstructured":"M.\n      Kuntz F.\n      Leitner-Fischer and \n      S.\n      Leue\n  . \n  From probabilistic counterexamples via causality to fault trees\n  . In F. Flammini S. Bologna and V. Vittorini editors SAFECOMP volume \n  6894\n   of \n  LNCS pages \n  71\n  --\n  84\n  . \n  Springer 2011\n  .   M. Kuntz F. Leitner-Fischer and S. Leue. From probabilistic counterexamples via causality to fault trees. In F. Flammini S. Bologna and V. Vittorini editors SAFECOMP volume 6894 of LNCS pages 71--84. Springer 2011.","DOI":"10.1007\/978-3-642-24270-0_6"},{"key":"e_1_3_2_1_16_1","doi-asserted-by":"publisher","DOI":"10.1145\/1866307.1866366"},{"key":"e_1_3_2_1_17_1","doi-asserted-by":"publisher","DOI":"10.1145\/359545.359563"},{"key":"e_1_3_2_1_18_1","doi-asserted-by":"publisher","DOI":"10.1007\/11867340_20"},{"key":"e_1_3_2_1_19_1","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-642-12002-2_31"},{"key":"e_1_3_2_1_20_1","doi-asserted-by":"publisher","DOI":"10.1007\/11768869_6"},{"key":"e_1_3_2_1_21_1","doi-asserted-by":"publisher","DOI":"10.1109\/RTAS.2012.25"},{"key":"e_1_3_2_1_22_1","doi-asserted-by":"publisher","DOI":"10.1109\/9.412626"},{"key":"e_1_3_2_1_23_1","doi-asserted-by":"publisher","DOI":"10.1007\/11901914_9"},{"key":"e_1_3_2_1_24_1","series-title":"LNCS","doi-asserted-by":"crossref","first-page":"285","DOI":"10.1007\/978-3-642-40787-1_17","volume-title":"Proc. Runtime Verification","author":"Wang S.","year":"2013","unstructured":"S. Wang , A. Ayoub , B. Kim , G. G\u00f6ssler , O. Sokolsky , and I. Lee . A causality analysis framework for component-based real-time systems . In A. Legay and S. Bensalem, editors, Proc. Runtime Verification 2013 , volume 8174 of LNCS , pages 285 -- 303 . Springer , 2013. S. Wang, A. Ayoub, B. Kim, G. G\u00f6ssler, O. Sokolsky, and I. Lee. A causality analysis framework for component-based real-time systems. In A. Legay and S. Bensalem, editors, Proc. Runtime Verification 2013, volume 8174 of LNCS, pages 285--303. Springer, 2013."},{"key":"e_1_3_2_1_25_1","volume-title":"CMSB'05","author":"Ye P.","year":"2005","unstructured":"P. Ye , E. Entcheva , R. Grosu , and S. Smolka . Efficient modeling of excitable cells using hybrid automata . In CMSB'05 , 2005 . P. Ye, E. Entcheva, R. Grosu, and S. Smolka. Efficient modeling of excitable cells using hybrid automata. In CMSB'05, 2005."},{"key":"e_1_3_2_1_26_1","volume-title":"Why Programs Fail","author":"Zeller A.","year":"2009","unstructured":"A. Zeller . Why Programs Fail . Elsevier , 2009 . A. Zeller. Why Programs Fail. Elsevier, 2009."}],"event":{"name":"ESWEEK'14: TENTH EMBEDDED SYSTEM WEEK","location":"New Delhi India","acronym":"ESWEEK'14","sponsor":["SIGBED ACM Special Interest Group on Embedded Systems","SIGDA ACM Special Interest Group on Design Automation","IEEE CAS","IEEE Council on Electronic Design Automation (CEDA)","SIGMICRO ACM Special Interest Group on Microarchitectural Research and Processing"]},"container-title":["Proceedings of the 14th International Conference on Embedded Software"],"original-title":[],"link":[{"URL":"https:\/\/dl.acm.org\/doi\/10.1145\/2656045.2656048","content-type":"unspecified","content-version":"vor","intended-application":"text-mining"},{"URL":"https:\/\/dl.acm.org\/doi\/pdf\/10.1145\/2656045.2656048","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2025,6,18]],"date-time":"2025-06-18T07:19:34Z","timestamp":1750231174000},"score":1,"resource":{"primary":{"URL":"https:\/\/dl.acm.org\/doi\/10.1145\/2656045.2656048"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2014,10,12]]},"references-count":26,"alternative-id":["10.1145\/2656045.2656048","10.1145\/2656045"],"URL":"https:\/\/doi.org\/10.1145\/2656045.2656048","relation":{},"subject":[],"published":{"date-parts":[[2014,10,12]]},"assertion":[{"value":"2014-10-12","order":2,"name":"published","label":"Published","group":{"name":"publication_history","label":"Publication History"}}]}}