{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,3,27]],"date-time":"2025-03-27T17:46:41Z","timestamp":1743097601455,"version":"3.40.3"},"publisher-location":"Cham","reference-count":22,"publisher":"Springer International Publishing","isbn-type":[{"type":"print","value":"9783319661964"},{"type":"electronic","value":"9783319661971"}],"license":[{"start":{"date-parts":[[2017,1,1]],"date-time":"2017-01-01T00:00:00Z","timestamp":1483228800000},"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":[[2017]]},"DOI":"10.1007\/978-3-319-66197-1_27","type":"book-chapter","created":{"date-parts":[[2017,8,11]],"date-time":"2017-08-11T21:02:30Z","timestamp":1502485350000},"page":"394-400","source":"Crossref","is-referenced-by-count":2,"title":["A Diagnosis Framework for Critical Systems Verification (Short Paper)"],"prefix":"10.1007","author":[{"given":"Vincent","family":"Leild\u00e9","sequence":"first","affiliation":[]},{"given":"Vincent","family":"Ribaud","sequence":"additional","affiliation":[]},{"given":"Ciprian","family":"Teodorov","sequence":"additional","affiliation":[]},{"given":"Philippe","family":"Dhaussy","sequence":"additional","affiliation":[]}],"member":"297","published-online":{"date-parts":[[2017,8,13]]},"reference":[{"key":"27_CR1","unstructured":"Dictionary\u2014Merriam-Webster. https:\/\/www.merriam-webster.com"},{"issue":"2","key":"27_CR2","doi-asserted-by":"publisher","first-page":"65","DOI":"10.1145\/2658986","volume":"58","author":"D Alrajeh","year":"2015","unstructured":"Alrajeh, D., Kramer, J., Russo, A., Uchitel, S.: Automated support for iagnosis and repair. Commu. ACM 58(2), 65\u201372 (2015)","journal-title":"Commu. ACM"},{"issue":"1","key":"27_CR3","doi-asserted-by":"publisher","first-page":"11","DOI":"10.1109\/TDSC.2004.2","volume":"1","author":"A Aviienis","year":"2004","unstructured":"Aviienis, A., Laprie, J.C., Randell, B., Landwehr, C.: Basic concepts and axonomy of dependable and secure computing. IEEE Trans. Dependable Secure Comput. 1(1), 11\u201333 (2004)","journal-title":"IEEE Trans. Dependable Secure Comput."},{"key":"27_CR4","volume-title":"Principles of Model Checking","author":"C Baier","year":"2008","unstructured":"Baier, C., Katoen, J.P.: Principles of Model Checking. MIT Press, Cambridge (2008)"},{"issue":"1","key":"27_CR5","doi-asserted-by":"publisher","first-page":"97","DOI":"10.1145\/640128.604140","volume":"38","author":"Thomas Ball","year":"2003","unstructured":"Ball, T., Naik, M., Rajamani, S.K.: From symptom to cause: localizing errors in counterexample traces. In: ACM SIGPLAN, vol. 38. ACM (2003)","journal-title":"ACM SIGPLAN Notices"},{"key":"27_CR6","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"1","DOI":"10.1007\/978-3-540-74128-2_1","volume-title":"Model Checking and Artificial Intelligence","author":"P Bertoli","year":"2007","unstructured":"Bertoli, P., Bozzano, M., Cimatti, A.: A symbolic model checking framework for safety analysis, diagnosis, and synthesis. In: Edelkamp, S., Lomuscio, A. (eds.) MoChArt 2006. LNCS, vol. 4428, pp. 1\u201318. Springer, Heidelberg (2007). doi: 10.1007\/978-3-540-74128-2_1"},{"key":"27_CR7","doi-asserted-by":"publisher","unstructured":"Bourahla, M.: Model-based diagnostic using model checking. In: 2009 Fourth International Conference on Dependability of Computer Systems, Brunow, pp. 229\u2013236 (2009). doi: 10.1109\/DepCoS-RELCOMEX.2009.33","DOI":"10.1109\/DepCoS-RELCOMEX.2009.33"},{"issue":"1","key":"27_CR8","doi-asserted-by":"publisher","first-page":"57","DOI":"10.1016\/S0004-3702(99)00039-9","volume":"112","author":"F Buccafurri","year":"1999","unstructured":"Buccafurri, F., Eiter, T., Gottlob, G., Leone, N.: Enhancing model checking in verification by AI techniques. Artif. Intell. 112(1), 57\u2013104 (1999)","journal-title":"Artif. Intell."},{"key":"27_CR9","doi-asserted-by":"crossref","unstructured":"Cleve, H., Zeller, A.: Locating causes of program failures, p. 342. ACM Press (2005)","DOI":"10.1145\/1062455.1062522"},{"key":"27_CR10","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"121","DOI":"10.1007\/3-540-44829-2_8","volume-title":"Model Checking Software","author":"A Groce","year":"2003","unstructured":"Groce, A., Visser, W.: What went wrong: explaining counterexamples. In: Ball, T., Rajamani, S.K. (eds.) SPIN 2003. LNCS, vol. 2648, pp. 121\u2013136. Springer, Heidelberg (2003). doi: 10.1007\/3-540-44829-2_8"},{"key":"27_CR11","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"138","DOI":"10.1007\/978-3-540-73066-8_10","volume-title":"Testing of Software and Communicating Systems","author":"M Gromov","year":"2007","unstructured":"Gromov, M., Willemse, T.A.C.: Testing and model-checking techniques for diagnosis. In: Petrenko, A., Veanes, M., Tretmans, J., Grieskamp, W. (eds.) FATES\/TestCom -2007. LNCS, vol. 4581, pp. 138\u2013154. Springer, Heidelberg (2007). doi: 10.1007\/978-3-540-73066-8_10"},{"key":"27_CR12","unstructured":"Hamou-Lhadj, A., Lethbridge, T.C.: A survey of trace exploration tools and techniques. In: CASCON 2004, pp. 42\u201355. IBM Press (2004)"},{"key":"27_CR13","unstructured":"Holzmann, G.J.: The theory and practice of a formal method: NewCoRe. In: IFIP Congress (1), pp. 35\u201344 (1994)"},{"key":"27_CR14","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"576","DOI":"10.1007\/978-3-319-46257-8_62","volume-title":"Intelligent Data Engineering and Automated Learning \u2013 IDEAL 2016","author":"V Leilde","year":"2016","unstructured":"Leilde, V., Ribaud, V., Dhaussy, P.: An organizing system to perform and enable verification and diagnosis activities. In: Yin, H., Gao, Y., Li, B., Zhang, D., Yang, M., Li, Y., Klawonn, F., Tall\u00f3n-Ballesteros, A.J. (eds.) IDEAL 2016. LNCS, vol. 9937, pp. 576\u2013587. Springer, Cham (2016). doi: 10.1007\/978-3-319-46257-8_62"},{"issue":"3","key":"27_CR15","doi-asserted-by":"publisher","first-page":"854","DOI":"10.1016\/j.jss.2012.11.055","volume":"86","author":"Y Liu","year":"2013","unstructured":"Liu, Y., Xu, C., Cheung, S.: AFChecker: effective model checking for context-aware adaptive applications. J. Syst. Softw. 86(3), 854\u2013867 (2013)","journal-title":"J. Syst. Softw."},{"key":"27_CR16","series-title":"Clarendon Library of Logic and Philosophy","volume-title":"The Cement of the Universe: A study of causation","author":"JL Mackie","year":"1990","unstructured":"Mackie, J.L.: The Cement of the Universe: A study of causation. Clarendon Library of Logic and Philosophy, 5. dr. edn. Clarendon Press, Oxford (1990). oCLC: 258760915","edition":"5. dr."},{"issue":"10","key":"27_CR17","doi-asserted-by":"publisher","first-page":"535","DOI":"10.1145\/1297105.1297067","volume":"42","author":"G Pothier","year":"2007","unstructured":"Pothier, G., Tanter, \u00c9., Piquer, J.: Scalable omniscient debugging. ACM SIGPLAN Not. 42(10), 535\u2013552 (2007)","journal-title":"ACM SIGPLAN Not."},{"key":"27_CR18","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, 57\u201395 (1987)","journal-title":"Artif. Intell."},{"issue":"2","key":"27_CR19","doi-asserted-by":"publisher","first-page":"246","DOI":"10.1007\/s10009-002-0078-1","volume":"4","author":"TC Ruys","year":"2003","unstructured":"Ruys, T.C., Brinksma, E.: Managing the verification trajectory. Int. J. Softw. Tools Technol. Transf. (STTT) 4(2), 246\u2013259 (2003)","journal-title":"Int. J. Softw. Tools Technol. Transf. (STTT)"},{"issue":"3","key":"27_CR20","doi-asserted-by":"publisher","first-page":"293","DOI":"10.1016\/S0098-1354(02)00160-6","volume":"27","author":"V Venkatasubramanian","year":"2003","unstructured":"Venkatasubramanian, V., Rengaswamy, R., Kavuri, S.N.: A review of process fault detection and diagnosis. Comput. Chem. Eng. 27(3), 293\u2013311 (2003)","journal-title":"Comput. Chem. Eng."},{"issue":"2","key":"27_CR21","doi-asserted-by":"publisher","first-page":"203","DOI":"10.1023\/A:1022920129859","volume":"10","author":"W Visser","year":"2003","unstructured":"Visser, W., Havelund, K., Brat, G., Park, S., Lerda, F.: Model checking programs. Autom. Softw. Eng. 10(2), 203\u2013232 (2003)","journal-title":"Autom. Softw. Eng."},{"key":"27_CR22","unstructured":"Wotawa, F., Rodriguez-Roda, I., Comas, J.: Abductive reasoning in environmental decision support systems. In: AIAI workshops, pp. 270\u2013279. Citeseer (2009)"}],"container-title":["Lecture Notes in Computer Science","Software Engineering and Formal Methods"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/978-3-319-66197-1_27","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2019,10,2]],"date-time":"2019-10-02T06:03:43Z","timestamp":1569996223000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/978-3-319-66197-1_27"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2017]]},"ISBN":["9783319661964","9783319661971"],"references-count":22,"URL":"https:\/\/doi.org\/10.1007\/978-3-319-66197-1_27","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[2017]]}}}