{"id":"https://openalex.org/W7123450922","doi":"https://doi.org/10.5281/zenodo.18220339","title":"Reproducing the Experiments of Automated Self-Explanation of Expected versus Perceived Behavior for Interacting Digital Systems","display_name":"Reproducing the Experiments of Automated Self-Explanation of Expected versus Perceived Behavior for Interacting Digital Systems","publication_year":2026,"publication_date":"2026-01-12","ids":{"openalex":"https://openalex.org/W7123450922","doi":"https://doi.org/10.5281/zenodo.18220339"},"language":null,"primary_location":{"id":"doi:10.5281/zenodo.18220339","is_oa":true,"landing_page_url":"https://doi.org/10.5281/zenodo.18220339","pdf_url":null,"source":{"id":"https://openalex.org/S4306400562","display_name":"Zenodo (CERN European Organization for Nuclear Research)","issn_l":null,"issn":null,"is_oa":true,"is_in_doaj":false,"is_core":false,"host_organization":"https://openalex.org/I67311998","host_organization_name":"European Organization for Nuclear Research","host_organization_lineage":["https://openalex.org/I67311998"],"host_organization_lineage_names":[],"type":"repository"},"license":"cc-by","license_id":"https://openalex.org/licenses/cc-by","version":null,"is_accepted":false,"is_published":false,"raw_source_name":null,"raw_type":"Software"},"type":"software","indexed_in":["datacite"],"open_access":{"is_oa":true,"oa_status":"green","oa_url":"https://doi.org/10.5281/zenodo.18220339","any_repository_has_fulltext":true},"authorships":[{"author_position":"first","author":{"id":"https://openalex.org/A5122939697","display_name":"Mohammad Alkhiyami","orcid":null},"institutions":[{"id":"https://openalex.org/I159176309","display_name":"Universit\u00e4t Hamburg","ror":"https://ror.org/00g30e956","country_code":"DE","type":"education","lineage":["https://openalex.org/I159176309"]},{"id":"https://openalex.org/I884043246","display_name":"Hamburg University of Technology","ror":"https://ror.org/04bs1pb34","country_code":"DE","type":"education","lineage":["https://openalex.org/I884043246"]}],"countries":["DE"],"is_corresponding":false,"raw_author_name":"Alkhiyami, Mohammad","raw_affiliation_strings":["Hamburg University of Technology"],"raw_orcid":"https://orcid.org/0009-0000-6722-6520","affiliations":[{"raw_affiliation_string":"Hamburg University of Technology","institution_ids":["https://openalex.org/I159176309","https://openalex.org/I884043246"]}]},{"author_position":"middle","author":{"id":"https://openalex.org/A5036523029","display_name":"Gianluca Martino","orcid":"https://orcid.org/0000-0002-7838-3844"},"institutions":[{"id":"https://openalex.org/I159176309","display_name":"Universit\u00e4t Hamburg","ror":"https://ror.org/00g30e956","country_code":"DE","type":"education","lineage":["https://openalex.org/I159176309"]},{"id":"https://openalex.org/I2801876189","display_name":"Deutsches Elektronen-Synchrotron DESY","ror":"https://ror.org/01js2sh04","country_code":"DE","type":"facility","lineage":["https://openalex.org/I1305996414","https://openalex.org/I2801876189"]},{"id":"https://openalex.org/I884043246","display_name":"Hamburg University of Technology","ror":"https://ror.org/04bs1pb34","country_code":"DE","type":"education","lineage":["https://openalex.org/I884043246"]}],"countries":["DE"],"is_corresponding":false,"raw_author_name":"Martino, Gianluca","raw_affiliation_strings":["Deutsches Elektronen-Synchrotron DESY","Hamburg University of Technology"],"raw_orcid":"https://orcid.org/0000-0002-7838-3844","affiliations":[{"raw_affiliation_string":"Deutsches Elektronen-Synchrotron DESY","institution_ids":["https://openalex.org/I2801876189"]},{"raw_affiliation_string":"Hamburg University of Technology","institution_ids":["https://openalex.org/I159176309","https://openalex.org/I884043246"]}]},{"author_position":"last","author":{"id":"https://openalex.org/A5008766097","display_name":"G\u00f6rschwin Fey","orcid":"https://orcid.org/0000-0001-6433-6265"},"institutions":[{"id":"https://openalex.org/I159176309","display_name":"Universit\u00e4t Hamburg","ror":"https://ror.org/00g30e956","country_code":"DE","type":"education","lineage":["https://openalex.org/I159176309"]},{"id":"https://openalex.org/I884043246","display_name":"Hamburg University of Technology","ror":"https://ror.org/04bs1pb34","country_code":"DE","type":"education","lineage":["https://openalex.org/I884043246"]}],"countries":["DE"],"is_corresponding":false,"raw_author_name":"Fey, Goerschwin","raw_affiliation_strings":["Hamburg University of Technology"],"raw_orcid":"https://orcid.org/0000-0001-6433-6265","affiliations":[{"raw_affiliation_string":"Hamburg University of Technology","institution_ids":["https://openalex.org/I159176309","https://openalex.org/I884043246"]}]}],"institutions":[],"countries_distinct_count":1,"institutions_distinct_count":3,"corresponding_author_ids":[],"corresponding_institution_ids":[],"apc_list":null,"apc_paid":null,"fwci":null,"has_fulltext":false,"cited_by_count":0,"citation_normalized_percentile":null,"cited_by_percentile_year":null,"biblio":{"volume":null,"issue":null,"first_page":null,"last_page":null},"is_retracted":false,"is_paratext":false,"is_xpac":false,"primary_topic":null,"topics":[],"keywords":[{"id":"https://openalex.org/keywords/source-code","display_name":"Source code","score":0.6021000146865845},{"id":"https://openalex.org/keywords/bounded-function","display_name":"Bounded function","score":0.5568000078201294},{"id":"https://openalex.org/keywords/scripting-language","display_name":"Scripting language","score":0.5543000102043152},{"id":"https://openalex.org/keywords/automation","display_name":"Automation","score":0.5218999981880188},{"id":"https://openalex.org/keywords/code","display_name":"Code (set theory)","score":0.5188999772071838},{"id":"https://openalex.org/keywords/interpretation","display_name":"Interpretation (philosophy)","score":0.3248000144958496}],"concepts":[{"id":"https://openalex.org/C41008148","wikidata":"https://www.wikidata.org/wiki/Q21198","display_name":"Computer science","level":0,"score":0.6327999830245972},{"id":"https://openalex.org/C43126263","wikidata":"https://www.wikidata.org/wiki/Q128751","display_name":"Source code","level":2,"score":0.6021000146865845},{"id":"https://openalex.org/C34388435","wikidata":"https://www.wikidata.org/wiki/Q2267362","display_name":"Bounded function","level":2,"score":0.5568000078201294},{"id":"https://openalex.org/C61423126","wikidata":"https://www.wikidata.org/wiki/Q187432","display_name":"Scripting language","level":2,"score":0.5543000102043152},{"id":"https://openalex.org/C115901376","wikidata":"https://www.wikidata.org/wiki/Q184199","display_name":"Automation","level":2,"score":0.5218999981880188},{"id":"https://openalex.org/C2776760102","wikidata":"https://www.wikidata.org/wiki/Q5139990","display_name":"Code (set theory)","level":3,"score":0.5188999772071838},{"id":"https://openalex.org/C154945302","wikidata":"https://www.wikidata.org/wiki/Q11660","display_name":"Artificial intelligence","level":1,"score":0.3467999994754791},{"id":"https://openalex.org/C11413529","wikidata":"https://www.wikidata.org/wiki/Q8366","display_name":"Algorithm","level":1,"score":0.33480000495910645},{"id":"https://openalex.org/C527412718","wikidata":"https://www.wikidata.org/wiki/Q855395","display_name":"Interpretation (philosophy)","level":2,"score":0.3248000144958496},{"id":"https://openalex.org/C107457646","wikidata":"https://www.wikidata.org/wiki/Q207434","display_name":"Human\u2013computer interaction","level":1,"score":0.29660001397132874},{"id":"https://openalex.org/C2777904410","wikidata":"https://www.wikidata.org/wiki/Q7397","display_name":"Software","level":2,"score":0.2935999929904938},{"id":"https://openalex.org/C79403827","wikidata":"https://www.wikidata.org/wiki/Q3988","display_name":"Real-time computing","level":1,"score":0.28220000863075256},{"id":"https://openalex.org/C44154836","wikidata":"https://www.wikidata.org/wiki/Q45045","display_name":"Simulation","level":1,"score":0.2793000042438507},{"id":"https://openalex.org/C26517878","wikidata":"https://www.wikidata.org/wiki/Q228039","display_name":"Key (lock)","level":2,"score":0.26809999346733093},{"id":"https://openalex.org/C31972630","wikidata":"https://www.wikidata.org/wiki/Q844240","display_name":"Computer vision","level":1,"score":0.2639999985694885},{"id":"https://openalex.org/C80444323","wikidata":"https://www.wikidata.org/wiki/Q2878974","display_name":"Theoretical computer science","level":1,"score":0.2637999951839447},{"id":"https://openalex.org/C2777267654","wikidata":"https://www.wikidata.org/wiki/Q3519023","display_name":"Test (biology)","level":2,"score":0.2637999951839447},{"id":"https://openalex.org/C2776214188","wikidata":"https://www.wikidata.org/wiki/Q408386","display_name":"Inference","level":2,"score":0.2502000033855438}],"mesh":[],"locations_count":1,"locations":[{"id":"doi:10.5281/zenodo.18220339","is_oa":true,"landing_page_url":"https://doi.org/10.5281/zenodo.18220339","pdf_url":null,"source":{"id":"https://openalex.org/S4306400562","display_name":"Zenodo (CERN European Organization for Nuclear Research)","issn_l":null,"issn":null,"is_oa":true,"is_in_doaj":false,"is_core":false,"host_organization":"https://openalex.org/I67311998","host_organization_name":"European Organization for Nuclear Research","host_organization_lineage":["https://openalex.org/I67311998"],"host_organization_lineage_names":[],"type":"repository"},"license":"cc-by","license_id":"https://openalex.org/licenses/cc-by","version":null,"is_accepted":false,"is_published":null,"raw_source_name":null,"raw_type":"Software"}],"best_oa_location":{"id":"doi:10.5281/zenodo.18220339","is_oa":true,"landing_page_url":"https://doi.org/10.5281/zenodo.18220339","pdf_url":null,"source":{"id":"https://openalex.org/S4306400562","display_name":"Zenodo (CERN European Organization for Nuclear Research)","issn_l":null,"issn":null,"is_oa":true,"is_in_doaj":false,"is_core":false,"host_organization":"https://openalex.org/I67311998","host_organization_name":"European Organization for Nuclear Research","host_organization_lineage":["https://openalex.org/I67311998"],"host_organization_lineage_names":[],"type":"repository"},"license":"cc-by","license_id":"https://openalex.org/licenses/cc-by","version":null,"is_accepted":false,"is_published":false,"raw_source_name":null,"raw_type":"Software"},"sustainable_development_goals":[],"awards":[],"funders":[],"has_content":{"grobid_xml":false,"pdf":false},"content_urls":null,"referenced_works_count":0,"referenced_works":[],"related_works":[],"abstract_inverted_index":{"This":[0],"repository":[1],"contains":[2],"the":[3,10,42,62,67,82,96,112],"source":[4],"code":[5,80],"and":[6,16,32,52,71,91,99,106,115,125],"experimental":[7],"artifacts":[8,40,118],"accompanying":[9],"paper:":[11],"M.":[12],"Alkhiyami,":[13],"G.":[14,17],"Martino,":[15],"Fey,":[18],"Automated":[19],"Self-Explanation":[20],"of":[21,48,86],"Expected":[22],"versus":[23],"Perceived":[24],"Behavior":[25],"for":[26,44,95],"Interacting":[27],"Digital":[28],"Systems,":[29],"Design,":[30],"Automation":[31],"Test":[33],"in":[34,55,61,75],"Europe":[35],"Conference":[36],"(DATE),":[37],"2026.":[38],"The":[39,64],"implement":[41],"algorithm":[43,84],"automatically":[45],"generating":[46],"explanations":[47],"mismatches":[49],"between":[50],"expected":[51],"perceived":[53],"behavior":[54],"interacting":[56,87,130],"digital":[57,131],"systems,":[58],"as":[59],"presented":[60],"paper.":[63],"implementation":[65],"follows":[66],"bounded":[68],"model":[69],"checking":[70],"SMT-based":[72],"formulation":[73],"described":[74],"Sections":[76],"IV\u2013V.":[77],"Contents":[78],"Source":[79],"implementing":[81],"explanation":[83],"Models":[85],"systems":[88],"(Mealy":[89],"machines":[90],"assumptions)":[92],"Experimental":[93],"setups":[94],"wind":[97],"park\u2013turbine":[98],"traffic":[100],"controller\u2013autonomous":[101],"vehicles":[102],"case":[103],"studies":[104],"Scripts":[105],"configuration":[107],"files":[108],"used":[109],"to":[110,121],"reproduce":[111],"reported":[113],"experiments":[114],"results":[116],"PurposeThe":[117],"are":[119],"provided":[120],"support":[122],"transparency,":[123],"reproducibility,":[124],"further":[126],"research":[127],"on":[128],"self-explaining":[129],"systems.":[132]},"counts_by_year":[],"updated_date":"2026-07-01T06:00:48.157686","created_date":"2026-01-14T00:00:00"}