{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2026,6,5]],"date-time":"2026-06-05T06:00:42Z","timestamp":1780639242127,"version":"3.54.1"},"reference-count":39,"publisher":"IEEE","license":[{"start":{"date-parts":[[2026,4,20]],"date-time":"2026-04-20T00:00:00Z","timestamp":1776643200000},"content-version":"stm-asf","delay-in-days":0,"URL":"https:\/\/doi.org\/10.15223\/policy-029"},{"start":{"date-parts":[[2026,4,20]],"date-time":"2026-04-20T00:00:00Z","timestamp":1776643200000},"content-version":"stm-asf","delay-in-days":0,"URL":"https:\/\/doi.org\/10.15223\/policy-037"}],"funder":[{"DOI":"10.13039\/501100001659","name":"Deutsche Forschungsgemeinschaft","doi-asserted-by":"publisher","id":[{"id":"10.13039\/501100001659","id-type":"DOI","asserted-by":"publisher"}]}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2026,4,20]]},"DOI":"10.23919\/date69613.2026.11539701","type":"proceedings-article","created":{"date-parts":[[2026,6,4]],"date-time":"2026-06-04T19:53:10Z","timestamp":1780602790000},"page":"1-7","source":"Crossref","is-referenced-by-count":0,"title":["Automated Self-Explanation of Expected versus Perceived Behavior for Interacting Digital Systems"],"prefix":"10.23919","author":[{"given":"Mohammad","family":"Alkhiyami","sequence":"first","affiliation":[{"name":"Hamburg University of Technology,Hamburg,Germany"}],"role":[{"vocabulary":"crossref","role":"author"}]},{"given":"Gianluca","family":"Martino","sequence":"additional","affiliation":[{"name":"Hamburg University of Technology,Hamburg,Germany"}],"role":[{"vocabulary":"crossref","role":"author"}]},{"given":"Goerschwin","family":"Fey","sequence":"additional","affiliation":[{"name":"Hamburg University of Technology,Hamburg,Germany"}],"role":[{"vocabulary":"crossref","role":"author"}]}],"member":"263","reference":[{"key":"ref1","doi-asserted-by":"publisher","DOI":"10.1145\/1518701.1519023"},{"key":"ref2","doi-asserted-by":"publisher","DOI":"10.1109\/ICHI.2015.26"},{"key":"ref3","doi-asserted-by":"publisher","DOI":"10.1109\/VLHCC.2013.6645235"},{"key":"ref4","doi-asserted-by":"publisher","DOI":"10.1109\/REW56159.2022.00023"},{"key":"ref5","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-031-73741-1_18"},{"key":"ref6","doi-asserted-by":"publisher","DOI":"10.1145\/3579363"},{"key":"ref7","doi-asserted-by":"publisher","DOI":"10.1093\/0195155270.001.0001"},{"key":"ref8","doi-asserted-by":"publisher","DOI":"10.1007\/s10618-022-00831-6"},{"key":"ref9","doi-asserted-by":"publisher","DOI":"10.2307\/2025310"},{"key":"ref10","article-title":"Reasons for action: Justification, motivation, explanation","volume-title":"The Stanford Encyclopedia of Philosophy","author":"Alvarez","year":"2017"},{"key":"ref11","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-030-88885-5_14"},{"key":"ref12","doi-asserted-by":"publisher","DOI":"10.1109\/MIS.2002.1134363"},{"key":"ref13","doi-asserted-by":"publisher","DOI":"10.1016\/0004-3702(87)90062-2"},{"issue":"1","key":"ref14","first-page":"97","article-title":"Diagnosing multiple faults","volume-title":"Artificial Intelligence","volume":"32","author":"de Kleer","year":"1987"},{"key":"ref15","article-title":"Belief management for high-level robot programs","volume-title":"IJCAI International Joint Conference on Artificial Intelligence","author":"Gspandl"},{"key":"ref16","doi-asserted-by":"publisher","DOI":"10.1109\/ISSREW.2015.7392050"},{"key":"ref17","doi-asserted-by":"publisher","DOI":"10.1109\/MEMCOD.2012.6292299"},{"key":"ref18","first-page":"2814","article-title":"Efficient model-based diagnosis of sequential circuits","volume-title":"AAAI 2020 - 34th AAAI Conference on Artificial Intelligence","author":"Feldman"},{"key":"ref19","doi-asserted-by":"publisher","DOI":"10.1145\/1366110.1366131"},{"key":"ref20","doi-asserted-by":"publisher","DOI":"10.1016\/j.artint.2007.03.005"},{"key":"ref21","doi-asserted-by":"publisher","DOI":"10.1016\/j.eswa.2021.116313"},{"key":"ref22","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-540-74782-6_38"},{"key":"ref23","doi-asserted-by":"publisher","DOI":"10.1007\/s10458-007-9017-6"},{"key":"ref24","article-title":"A self-repairing hardware architecture for safety-critical cyber-physical-systems","volume-title":"CoRR","author":"Khairullah","year":"2019"},{"key":"ref25","doi-asserted-by":"publisher","DOI":"10.1016\/j.engappai.2003.11.009"},{"key":"ref26","doi-asserted-by":"crossref","DOI":"10.1609\/aaai.v37i6.25947","article-title":"Astromorphic self-repair of neuromorphic hardware systems","author":"Han","year":"2023"},{"key":"ref27","doi-asserted-by":"publisher","DOI":"10.1007\/3-540-53104-1_32"},{"key":"ref28","first-page":"1053","article-title":"Behavioral diagnosis of LTL specifications at operator level","volume-title":"Proceedings of the Twenty-Third International Joint Conference on Artificial Intelligence","author":"Pill"},{"key":"ref29","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-031-24950-1_15"},{"key":"ref30","doi-asserted-by":"publisher","DOI":"10.1145\/225058.225161"},{"key":"ref31","doi-asserted-by":"publisher","DOI":"10.1109\/ASPDAC.2010.5419816"},{"key":"ref32","doi-asserted-by":"publisher","DOI":"10.1109\/TCAD.2009.2030593"},{"key":"ref33","doi-asserted-by":"publisher","DOI":"10.1109\/HLDVT.2009.5340178"},{"key":"ref34","doi-asserted-by":"publisher","DOI":"10.1109\/MODELS-C.2019.00084"},{"key":"ref35","doi-asserted-by":"publisher","DOI":"10.1109\/IVSW.2018.8494895"},{"key":"ref36","doi-asserted-by":"publisher","DOI":"10.1109\/ICRITO.2018.8748460"},{"key":"ref37","doi-asserted-by":"publisher","DOI":"10.1145\/3453892.3461325"},{"key":"ref38","doi-asserted-by":"publisher","DOI":"10.1023\/A:1011276507260"},{"key":"ref39","article-title":"Reproducing the experiments of automated self-explanation of expected versus perceived behavior for interacting digital systems","year":"2026"}],"event":{"name":"2026 Design, Automation & Test in Europe Conference (DATE)","location":"Verona, Italy","start":{"date-parts":[[2026,4,20]]},"end":{"date-parts":[[2026,4,22]]}},"container-title":["2026 Design, Automation & Test in Europe Conference (DATE)"],"original-title":[],"link":[{"URL":"http:\/\/xplorestaging.ieee.org\/ielx8\/11539023\/11539024\/11539701.pdf?arnumber=11539701","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2026,6,5]],"date-time":"2026-06-05T05:08:35Z","timestamp":1780636115000},"score":1,"resource":{"primary":{"URL":"https:\/\/ieeexplore.ieee.org\/document\/11539701\/"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2026,4,20]]},"references-count":39,"URL":"https:\/\/doi.org\/10.23919\/date69613.2026.11539701","relation":{},"subject":[],"published":{"date-parts":[[2026,4,20]]}}}