{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,3,26]],"date-time":"2025-03-26T16:36:29Z","timestamp":1743006989166,"version":"3.40.3"},"publisher-location":"Berlin, Heidelberg","reference-count":14,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783642174315"},{"type":"electronic","value":"9783642174322"}],"license":[{"start":{"date-parts":[[2010,1,1]],"date-time":"2010-01-01T00:00:00Z","timestamp":1262304000000},"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":[[2010]]},"DOI":"10.1007\/978-3-642-17432-2_50","type":"book-chapter","created":{"date-parts":[[2010,11,29]],"date-time":"2010-11-29T08:05:03Z","timestamp":1291017903000},"page":"496-505","source":"Crossref","is-referenced-by-count":0,"title":["Diagnosing Component Interaction Errors from Abstract Event Traces"],"prefix":"10.1007","author":[{"given":"Wolfgang","family":"Mayer","sequence":"first","affiliation":[]},{"given":"Xavier","family":"Pucel","sequence":"additional","affiliation":[]},{"given":"Markus","family":"Stumptner","sequence":"additional","affiliation":[]}],"member":"297","reference":[{"key":"50_CR1","unstructured":"Abreu, R., Zoeteweij, P., van Gemund, A.J.C.: A new bayesian approach to multiple intermittent fault diagnosis. In: IJCAI, pp. 653\u2013658 (2009)"},{"key":"50_CR2","doi-asserted-by":"crossref","unstructured":"Baah, G., Podgurski, A., Harrold, M.: The probabilistic program dependence graph and its application to fault diagnosis. IEEE TSE (2010)","DOI":"10.1109\/TSE.2009.87"},{"issue":"2","key":"50_CR3","doi-asserted-by":"publisher","first-page":"66","DOI":"10.1145\/1646353.1646374","volume":"53","author":"A. Bessey","year":"2010","unstructured":"Bessey, A., Block, K., Chelf, B., Chou, A., Fulton, B., Hallem, S., Henri-Gros, C., Kamsky, A., McPeak, S., Engler, D.: A few billion lines of code later: using static analysis to find bugs in the real world. Commun. ACM\u00a053(2), 66\u201375 (2010)","journal-title":"Commun. ACM"},{"key":"50_CR4","unstructured":"Cauvin, S., Cordier, M.O., Dousson, C., Laborie, P., Levy, F., Montmain, J., Porcheron, M., Servet, I., Trave-Massuyes, L.: Monitoring and alarm interpretation in industrial environments. AI Communications 11(3\/4) (1998)"},{"key":"50_CR5","volume-title":"Introduction to discrete event systems: Christos G. cassandras and stephane lafortune","author":"C.H. Chen","year":"1999","unstructured":"Chen, C.H., Y\u00fccesan, E.: Introduction to discrete event systems: Christos G. cassandras and stephane lafortune. Kluwer Academic Publishers, Dordrecht (1999); Automatica 37(10), 1682\u20131685 (2001)"},{"key":"50_CR6","doi-asserted-by":"crossref","unstructured":"Friedrich, G., Fugini, M.G., Mussi, E., Pernici, B., Tagni, G.: Exception handling for repair in service-based processes. IEEE TSE (2010)","DOI":"10.1109\/TSE.2010.8"},{"key":"50_CR7","first-page":"439","volume-title":"ASE","author":"H.Y. Hsu","year":"2008","unstructured":"Hsu, H.Y., Jones, J.A., Orso, A.: Rapid: Identifying bug signatures to support debugging activities. In: ASE, pp. 439\u2013442. IEEE, Los Alamitos (2008)"},{"key":"50_CR8","first-page":"486","volume-title":"AAAI","author":"Y. Liu","year":"2008","unstructured":"Liu, Y.: A formalization of program debugging in the situation calculus. In: Fox, D., Gomes, C.P. (eds.) AAAI, pp. 486\u2013491. AAAI Press, Menlo Park (2008)"},{"issue":"4","key":"50_CR9","first-page":"18","volume":"21","author":"W. Mayer","year":"2002","unstructured":"Mayer, W., Stumptner, M., Wotawa, F.: Can AI help to improve debugging substantially? automatic debugging and the jade project. Journal of the Austrian Society for Artificial Intelligence\u00a021(4), 18\u201322 (2002)","journal-title":"Journal of the Austrian Society for Artificial Intelligence"},{"issue":"1-2","key":"50_CR10","doi-asserted-by":"publisher","first-page":"121","DOI":"10.1016\/j.artint.2005.01.002","volume":"164","author":"Y. Pencol\u00e9","year":"2005","unstructured":"Pencol\u00e9, Y., Cordier, M.O.: A formal framework for the decentralised diagnosis of large scale discrete event systems and its application to telecommunication networks. Artif. Intell.\u00a0164(1-2), 121\u2013170 (2005)","journal-title":"Artif. Intell."},{"key":"50_CR11","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. Artificial Intelligence\u00a032, 57\u201395 (1987)","journal-title":"Artificial Intelligence"},{"key":"50_CR12","doi-asserted-by":"crossref","unstructured":"Soldani, S., Combacau, M., Subias, A., Thomas, J.: Intermittent fault diagnosis: a diagnoser derived from the normal behavior. In: Proc. DX 2007 (2007)","DOI":"10.3182\/20070613-3-FR-4909.00015"},{"issue":"1","key":"50_CR13","doi-asserted-by":"publisher","first-page":"87","DOI":"10.4018\/jwsr.2009092205","volume":"6","author":"Y. Yan","year":"2009","unstructured":"Yan, Y., Dague, P., Pencol\u00e9, Y., Cordier, M.O.: A model-based approach for diagnosing fault in web service processes. Int. J. Web Service Res.\u00a06(1), 87\u2013110 (2009)","journal-title":"Int. J. Web Service Res."},{"key":"50_CR14","doi-asserted-by":"publisher","first-page":"174","DOI":"10.1145\/1321631.1321659","volume-title":"ASE","author":"C. Yilmaz","year":"2007","unstructured":"Yilmaz, C., Williams, C.: An automated model-based debugging approach. In: ASE, pp. 174\u2013183. ACM Press, New York (2007)"}],"container-title":["Lecture Notes in Computer Science","AI 2010: Advances in Artificial Intelligence"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/978-3-642-17432-2_50","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2019,6,6]],"date-time":"2019-06-06T12:51:52Z","timestamp":1559825512000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/978-3-642-17432-2_50"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2010]]},"ISBN":["9783642174315","9783642174322"],"references-count":14,"URL":"https:\/\/doi.org\/10.1007\/978-3-642-17432-2_50","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[2010]]}}}