{"id":"https://openalex.org/W4379115919","doi":"https://doi.org/10.23919/date56975.2023.10137128","title":"SAFEXPLAIN: Safe and Explainable Critical Embedded Systems Based on AI","display_name":"SAFEXPLAIN: Safe and Explainable Critical Embedded Systems Based on AI","publication_year":2023,"publication_date":"2023-04-01","ids":{"openalex":"https://openalex.org/W4379115919","doi":"https://doi.org/10.23919/date56975.2023.10137128"},"language":"en","primary_location":{"id":"doi:10.23919/date56975.2023.10137128","is_oa":false,"landing_page_url":"https://doi.org/10.23919/date56975.2023.10137128","pdf_url":null,"source":null,"license":null,"license_id":null,"version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"2023 Design, Automation & Test in Europe Conference & Exhibition (DATE)","raw_type":"proceedings-article"},"type":"conference-paper","indexed_in":["crossref"],"open_access":{"is_oa":true,"oa_status":"green","oa_url":"https://upcommons.upc.edu/bitstreams/9a543824-f641-4fdd-98f4-b0b2bcd2b82a/download","any_repository_has_fulltext":true},"authorships":[{"author_position":"first","author":{"id":"https://openalex.org/A5020861175","display_name":"Jaume Abella","orcid":"https://orcid.org/0000-0001-7951-4028"},"institutions":[{"id":"https://openalex.org/I2799803557","display_name":"Barcelona Supercomputing Center","ror":"https://ror.org/05sd8tv96","country_code":"ES","type":"facility","lineage":["https://openalex.org/I2799803557","https://openalex.org/I9617848"]},{"id":"https://openalex.org/I9617848","display_name":"Universitat Polit\u00e8cnica de Catalunya","ror":"https://ror.org/03mb6wj31","country_code":"ES","type":"education","lineage":["https://openalex.org/I9617848"]}],"countries":["ES"],"is_corresponding":false,"raw_author_name":"Jaume Abella","raw_affiliation_strings":["Barcelona Supercomputing Center,Spain","Barcelona Supercomputing Center, Spain"],"raw_orcid":null,"affiliations":[{"raw_affiliation_string":"Barcelona Supercomputing Center,Spain","institution_ids":["https://openalex.org/I2799803557","https://openalex.org/I9617848"]},{"raw_affiliation_string":"Barcelona Supercomputing Center, Spain","institution_ids":["https://openalex.org/I2799803557","https://openalex.org/I9617848"]}]},{"author_position":"middle","author":{"id":"https://openalex.org/A5067624233","display_name":"Jon P\u00e9rez","orcid":"https://orcid.org/0000-0001-6389-648X"},"institutions":[{"id":"https://openalex.org/I4210121514","display_name":"GAIKER Technology Centre","ror":"https://ror.org/02pwsw017","country_code":"ES","type":"facility","lineage":["https://openalex.org/I4210121514"]},{"id":"https://openalex.org/I4210140267","display_name":"Ikerlan","ror":"https://ror.org/03hp1m080","country_code":"ES","type":"company","lineage":["https://openalex.org/I4210140267"]}],"countries":["ES"],"is_corresponding":false,"raw_author_name":"Jon Perez","raw_affiliation_strings":["Basque Research and Technology Alliance (BRTA),Ikerlan Technology Research Centre,Spain","Ikerlan Technology Research Centre, Basque Research and Technology Alliance (BRTA), Spain"],"raw_orcid":null,"affiliations":[{"raw_affiliation_string":"Basque Research and Technology Alliance (BRTA),Ikerlan Technology Research Centre,Spain","institution_ids":["https://openalex.org/I4210121514"]},{"raw_affiliation_string":"Ikerlan Technology Research Centre, Basque Research and Technology Alliance (BRTA), Spain","institution_ids":["https://openalex.org/I4210121514","https://openalex.org/I4210140267"]}]},{"author_position":"middle","author":{"id":"https://openalex.org/A5068474724","display_name":"Cristofer Englund","orcid":"https://orcid.org/0000-0002-1043-8773"},"institutions":[{"id":"https://openalex.org/I2800664555","display_name":"RISE Research Institutes of Sweden","ror":"https://ror.org/03nnxqz81","country_code":"SE","type":"other","lineage":["https://openalex.org/I2800664555"]}],"countries":["SE"],"is_corresponding":false,"raw_author_name":"Cristofer Englund","raw_affiliation_strings":["RISE Research Institutes of Sweden,Sweden","RISE Research Institutes of Sweden, Sweden"],"raw_orcid":null,"affiliations":[{"raw_affiliation_string":"RISE Research Institutes of Sweden,Sweden","institution_ids":["https://openalex.org/I2800664555"]},{"raw_affiliation_string":"RISE Research Institutes of Sweden, Sweden","institution_ids":["https://openalex.org/I2800664555"]}]},{"author_position":"middle","author":{"id":"https://openalex.org/A5028650455","display_name":"Bahram Zonooz","orcid":"https://orcid.org/0000-0003-4124-3394"},"institutions":[{"id":"https://openalex.org/I3130687028","display_name":"United States Department of the Navy","ror":"https://ror.org/03ar0mv07","country_code":"US","type":"government","lineage":["https://openalex.org/I1330347796","https://openalex.org/I3130687028"]}],"countries":["US"],"is_corresponding":false,"raw_author_name":"Bahram Zonooz","raw_affiliation_strings":["Navinfo Europe,The Netherlands","Navinfo Europe, The Netherlands"],"raw_orcid":null,"affiliations":[{"raw_affiliation_string":"Navinfo Europe,The Netherlands","institution_ids":["https://openalex.org/I3130687028"]},{"raw_affiliation_string":"Navinfo Europe, The Netherlands","institution_ids":[]}]},{"author_position":"middle","author":{"id":"https://openalex.org/A5113572291","display_name":"Gabriele Giordana","orcid":null},"institutions":[{"id":"https://openalex.org/I133557312","display_name":"Rikkyo University","ror":"https://ror.org/00x194q47","country_code":"JP","type":"education","lineage":["https://openalex.org/I133557312"]}],"countries":["JP"],"is_corresponding":false,"raw_author_name":"Gabriele Giordana","raw_affiliation_strings":["AIKO s.r.l.,Italy","AIKO s.r.l., Italy"],"raw_orcid":null,"affiliations":[{"raw_affiliation_string":"AIKO s.r.l.,Italy","institution_ids":["https://openalex.org/I133557312"]},{"raw_affiliation_string":"AIKO s.r.l., Italy","institution_ids":[]}]},{"author_position":"middle","author":{"id":"https://openalex.org/A5086281225","display_name":"Carlo Donzella","orcid":"https://orcid.org/0009-0002-5102-3205"},"institutions":[{"id":"https://openalex.org/I4210112595","display_name":"Research Institute of Petroleum Exploration and Development","ror":"https://ror.org/02awe6g05","country_code":"CN","type":"facility","lineage":["https://openalex.org/I4210112595","https://openalex.org/I98227222"]}],"countries":["CN"],"is_corresponding":false,"raw_author_name":"Carlo Donzella","raw_affiliation_strings":["Exida Development s.r.l.,Italy","Exida Development s.r.l., Italy"],"raw_orcid":null,"affiliations":[{"raw_affiliation_string":"Exida Development s.r.l.,Italy","institution_ids":["https://openalex.org/I4210112595"]},{"raw_affiliation_string":"Exida Development s.r.l., Italy","institution_ids":[]}]},{"author_position":"middle","author":{"id":"https://openalex.org/A5026101378","display_name":"Francisco J. Cazorla","orcid":"https://orcid.org/0000-0002-3344-376X"},"institutions":[{"id":"https://openalex.org/I2799803557","display_name":"Barcelona Supercomputing Center","ror":"https://ror.org/05sd8tv96","country_code":"ES","type":"facility","lineage":["https://openalex.org/I2799803557","https://openalex.org/I9617848"]},{"id":"https://openalex.org/I9617848","display_name":"Universitat Polit\u00e8cnica de Catalunya","ror":"https://ror.org/03mb6wj31","country_code":"ES","type":"education","lineage":["https://openalex.org/I9617848"]}],"countries":["ES"],"is_corresponding":false,"raw_author_name":"Francisco J. Cazorla","raw_affiliation_strings":["Barcelona Supercomputing Center,Spain","Barcelona Supercomputing Center, Spain"],"raw_orcid":null,"affiliations":[{"raw_affiliation_string":"Barcelona Supercomputing Center,Spain","institution_ids":["https://openalex.org/I2799803557","https://openalex.org/I9617848"]},{"raw_affiliation_string":"Barcelona Supercomputing Center, Spain","institution_ids":["https://openalex.org/I2799803557","https://openalex.org/I9617848"]}]},{"author_position":"middle","author":{"id":"https://openalex.org/A5019602265","display_name":"Enrico Mezzetti","orcid":"https://orcid.org/0000-0002-1886-2931"},"institutions":[{"id":"https://openalex.org/I2799803557","display_name":"Barcelona Supercomputing Center","ror":"https://ror.org/05sd8tv96","country_code":"ES","type":"facility","lineage":["https://openalex.org/I2799803557","https://openalex.org/I9617848"]},{"id":"https://openalex.org/I9617848","display_name":"Universitat Polit\u00e8cnica de Catalunya","ror":"https://ror.org/03mb6wj31","country_code":"ES","type":"education","lineage":["https://openalex.org/I9617848"]}],"countries":["ES"],"is_corresponding":false,"raw_author_name":"Enrico Mezzetti","raw_affiliation_strings":["Barcelona Supercomputing Center,Spain","Barcelona Supercomputing Center, Spain"],"raw_orcid":null,"affiliations":[{"raw_affiliation_string":"Barcelona Supercomputing Center,Spain","institution_ids":["https://openalex.org/I2799803557","https://openalex.org/I9617848"]},{"raw_affiliation_string":"Barcelona Supercomputing Center, Spain","institution_ids":["https://openalex.org/I2799803557","https://openalex.org/I9617848"]}]},{"author_position":"middle","author":{"id":"https://openalex.org/A5058235861","display_name":"Isabel Serra","orcid":"https://orcid.org/0000-0002-2465-8574"},"institutions":[{"id":"https://openalex.org/I2799803557","display_name":"Barcelona Supercomputing Center","ror":"https://ror.org/05sd8tv96","country_code":"ES","type":"facility","lineage":["https://openalex.org/I2799803557","https://openalex.org/I9617848"]},{"id":"https://openalex.org/I9617848","display_name":"Universitat Polit\u00e8cnica de Catalunya","ror":"https://ror.org/03mb6wj31","country_code":"ES","type":"education","lineage":["https://openalex.org/I9617848"]}],"countries":["ES"],"is_corresponding":false,"raw_author_name":"Isabel Serra","raw_affiliation_strings":["Barcelona Supercomputing Center,Spain","Barcelona Supercomputing Center, Spain"],"raw_orcid":null,"affiliations":[{"raw_affiliation_string":"Barcelona Supercomputing Center,Spain","institution_ids":["https://openalex.org/I2799803557","https://openalex.org/I9617848"]},{"raw_affiliation_string":"Barcelona Supercomputing Center, Spain","institution_ids":["https://openalex.org/I2799803557","https://openalex.org/I9617848"]}]},{"author_position":"middle","author":{"id":"https://openalex.org/A5087302728","display_name":"Axel Brando","orcid":"https://orcid.org/0000-0001-8103-391X"},"institutions":[{"id":"https://openalex.org/I2799803557","display_name":"Barcelona Supercomputing Center","ror":"https://ror.org/05sd8tv96","country_code":"ES","type":"facility","lineage":["https://openalex.org/I2799803557","https://openalex.org/I9617848"]},{"id":"https://openalex.org/I9617848","display_name":"Universitat Polit\u00e8cnica de Catalunya","ror":"https://ror.org/03mb6wj31","country_code":"ES","type":"education","lineage":["https://openalex.org/I9617848"]}],"countries":["ES"],"is_corresponding":false,"raw_author_name":"Axel Brando","raw_affiliation_strings":["Barcelona Supercomputing Center,Spain","Barcelona Supercomputing Center, Spain"],"raw_orcid":null,"affiliations":[{"raw_affiliation_string":"Barcelona Supercomputing Center,Spain","institution_ids":["https://openalex.org/I2799803557","https://openalex.org/I9617848"]},{"raw_affiliation_string":"Barcelona Supercomputing Center, Spain","institution_ids":["https://openalex.org/I2799803557","https://openalex.org/I9617848"]}]},{"author_position":"middle","author":{"id":"https://openalex.org/A5075164799","display_name":"Irune Agirre","orcid":"https://orcid.org/0000-0002-9507-8841"},"institutions":[{"id":"https://openalex.org/I4210121514","display_name":"GAIKER Technology Centre","ror":"https://ror.org/02pwsw017","country_code":"ES","type":"facility","lineage":["https://openalex.org/I4210121514"]},{"id":"https://openalex.org/I4210140267","display_name":"Ikerlan","ror":"https://ror.org/03hp1m080","country_code":"ES","type":"company","lineage":["https://openalex.org/I4210140267"]}],"countries":["ES"],"is_corresponding":false,"raw_author_name":"Irune Agirre","raw_affiliation_strings":["Basque Research and Technology Alliance (BRTA),Ikerlan Technology Research Centre,Spain","Ikerlan Technology Research Centre, Basque Research and Technology Alliance (BRTA), Spain"],"raw_orcid":null,"affiliations":[{"raw_affiliation_string":"Basque Research and Technology Alliance (BRTA),Ikerlan Technology Research Centre,Spain","institution_ids":["https://openalex.org/I4210121514"]},{"raw_affiliation_string":"Ikerlan Technology Research Centre, Basque Research and Technology Alliance (BRTA), Spain","institution_ids":["https://openalex.org/I4210121514","https://openalex.org/I4210140267"]}]},{"author_position":"middle","author":{"id":"https://openalex.org/A5078126693","display_name":"Fernando Eizaguirre","orcid":"https://orcid.org/0000-0003-3532-8914"},"institutions":[{"id":"https://openalex.org/I4210121514","display_name":"GAIKER Technology Centre","ror":"https://ror.org/02pwsw017","country_code":"ES","type":"facility","lineage":["https://openalex.org/I4210121514"]},{"id":"https://openalex.org/I4210140267","display_name":"Ikerlan","ror":"https://ror.org/03hp1m080","country_code":"ES","type":"company","lineage":["https://openalex.org/I4210140267"]}],"countries":["ES"],"is_corresponding":false,"raw_author_name":"Fernando Eizaguirre","raw_affiliation_strings":["Basque Research and Technology Alliance (BRTA),Ikerlan Technology Research Centre,Spain","Ikerlan Technology Research Centre, Basque Research and Technology Alliance (BRTA), Spain"],"raw_orcid":null,"affiliations":[{"raw_affiliation_string":"Basque Research and Technology Alliance (BRTA),Ikerlan Technology Research Centre,Spain","institution_ids":["https://openalex.org/I4210121514"]},{"raw_affiliation_string":"Ikerlan Technology Research Centre, Basque Research and Technology Alliance (BRTA), Spain","institution_ids":["https://openalex.org/I4210121514","https://openalex.org/I4210140267"]}]},{"author_position":"middle","author":{"id":null,"display_name":"Thanh Hai Bui","orcid":null},"institutions":[{"id":"https://openalex.org/I2800664555","display_name":"RISE Research Institutes of Sweden","ror":"https://ror.org/03nnxqz81","country_code":"SE","type":"other","lineage":["https://openalex.org/I2800664555"]}],"countries":["SE"],"is_corresponding":false,"raw_author_name":"Thanh Hai Bui","raw_affiliation_strings":["RISE Research Institutes of Sweden,Sweden","RISE Research Institutes of Sweden, Sweden"],"raw_orcid":null,"affiliations":[{"raw_affiliation_string":"RISE Research Institutes of Sweden,Sweden","institution_ids":["https://openalex.org/I2800664555"]},{"raw_affiliation_string":"RISE Research Institutes of Sweden, Sweden","institution_ids":["https://openalex.org/I2800664555"]}]},{"author_position":"middle","author":{"id":"https://openalex.org/A5047435371","display_name":"Elahe Arani","orcid":"https://orcid.org/0000-0002-0952-7007"},"institutions":[{"id":"https://openalex.org/I3130687028","display_name":"United States Department of the Navy","ror":"https://ror.org/03ar0mv07","country_code":"US","type":"government","lineage":["https://openalex.org/I1330347796","https://openalex.org/I3130687028"]}],"countries":["US"],"is_corresponding":false,"raw_author_name":"Elahe Arani","raw_affiliation_strings":["Navinfo Europe,The Netherlands","Navinfo Europe, The Netherlands"],"raw_orcid":null,"affiliations":[{"raw_affiliation_string":"Navinfo Europe,The Netherlands","institution_ids":["https://openalex.org/I3130687028"]},{"raw_affiliation_string":"Navinfo Europe, The Netherlands","institution_ids":[]}]},{"author_position":"middle","author":{"id":"https://openalex.org/A5027547386","display_name":"Fahad Sarfraz","orcid":"https://orcid.org/0000-0002-6000-2476"},"institutions":[{"id":"https://openalex.org/I3130687028","display_name":"United States Department of the Navy","ror":"https://ror.org/03ar0mv07","country_code":"US","type":"government","lineage":["https://openalex.org/I1330347796","https://openalex.org/I3130687028"]}],"countries":["US"],"is_corresponding":false,"raw_author_name":"Fahad Sarfraz","raw_affiliation_strings":["Navinfo Europe,The Netherlands","Navinfo Europe, The Netherlands"],"raw_orcid":null,"affiliations":[{"raw_affiliation_string":"Navinfo Europe,The Netherlands","institution_ids":["https://openalex.org/I3130687028"]},{"raw_affiliation_string":"Navinfo Europe, The Netherlands","institution_ids":[]}]},{"author_position":"middle","author":{"id":"https://openalex.org/A5020716003","display_name":"Ajay Balasubramaniam","orcid":null},"institutions":[{"id":"https://openalex.org/I3130687028","display_name":"United States Department of the Navy","ror":"https://ror.org/03ar0mv07","country_code":"US","type":"government","lineage":["https://openalex.org/I1330347796","https://openalex.org/I3130687028"]}],"countries":["US"],"is_corresponding":false,"raw_author_name":"Ajay Balasubramaniam","raw_affiliation_strings":["Navinfo Europe,The Netherlands","Navinfo Europe, The Netherlands"],"raw_orcid":null,"affiliations":[{"raw_affiliation_string":"Navinfo Europe,The Netherlands","institution_ids":["https://openalex.org/I3130687028"]},{"raw_affiliation_string":"Navinfo Europe, The Netherlands","institution_ids":[]}]},{"author_position":"middle","author":{"id":"https://openalex.org/A5102812288","display_name":"Ahmed Badar","orcid":null},"institutions":[{"id":"https://openalex.org/I3130687028","display_name":"United States Department of the Navy","ror":"https://ror.org/03ar0mv07","country_code":"US","type":"government","lineage":["https://openalex.org/I1330347796","https://openalex.org/I3130687028"]}],"countries":["US"],"is_corresponding":false,"raw_author_name":"Ahmed Badar","raw_affiliation_strings":["Navinfo Europe,The Netherlands","Navinfo Europe, The Netherlands"],"raw_orcid":null,"affiliations":[{"raw_affiliation_string":"Navinfo Europe,The Netherlands","institution_ids":["https://openalex.org/I3130687028"]},{"raw_affiliation_string":"Navinfo Europe, The Netherlands","institution_ids":[]}]},{"author_position":"middle","author":{"id":"https://openalex.org/A5031494945","display_name":"Ilaria Bloise","orcid":null},"institutions":[{"id":"https://openalex.org/I133557312","display_name":"Rikkyo University","ror":"https://ror.org/00x194q47","country_code":"JP","type":"education","lineage":["https://openalex.org/I133557312"]}],"countries":["JP"],"is_corresponding":false,"raw_author_name":"Ilaria Bloise","raw_affiliation_strings":["AIKO s.r.l.,Italy","AIKO s.r.l., Italy"],"raw_orcid":null,"affiliations":[{"raw_affiliation_string":"AIKO s.r.l.,Italy","institution_ids":["https://openalex.org/I133557312"]},{"raw_affiliation_string":"AIKO s.r.l., Italy","institution_ids":[]}]},{"author_position":"middle","author":{"id":"https://openalex.org/A5042177985","display_name":"Lorenzo Feruglio","orcid":"https://orcid.org/0000-0002-8437-8371"},"institutions":[{"id":"https://openalex.org/I133557312","display_name":"Rikkyo University","ror":"https://ror.org/00x194q47","country_code":"JP","type":"education","lineage":["https://openalex.org/I133557312"]}],"countries":["JP"],"is_corresponding":false,"raw_author_name":"Lorenzo Feruglio","raw_affiliation_strings":["AIKO s.r.l.,Italy","AIKO s.r.l., Italy"],"raw_orcid":null,"affiliations":[{"raw_affiliation_string":"AIKO s.r.l.,Italy","institution_ids":["https://openalex.org/I133557312"]},{"raw_affiliation_string":"AIKO s.r.l., Italy","institution_ids":[]}]},{"author_position":"middle","author":{"id":"https://openalex.org/A5074893361","display_name":"Ilaria Cinelli","orcid":"https://orcid.org/0000-0003-1302-1188"},"institutions":[{"id":"https://openalex.org/I133557312","display_name":"Rikkyo University","ror":"https://ror.org/00x194q47","country_code":"JP","type":"education","lineage":["https://openalex.org/I133557312"]}],"countries":["JP"],"is_corresponding":false,"raw_author_name":"Ilaria Cinelli","raw_affiliation_strings":["AIKO s.r.l.,Italy","AIKO s.r.l., Italy"],"raw_orcid":null,"affiliations":[{"raw_affiliation_string":"AIKO s.r.l.,Italy","institution_ids":["https://openalex.org/I133557312"]},{"raw_affiliation_string":"AIKO s.r.l., Italy","institution_ids":[]}]},{"author_position":"middle","author":{"id":"https://openalex.org/A5092072536","display_name":"Davide Brighenti","orcid":null},"institutions":[{"id":"https://openalex.org/I83332908","display_name":"University of Blida","ror":"https://ror.org/03g41pw14","country_code":"DZ","type":"education","lineage":["https://openalex.org/I83332908"]}],"countries":["DZ"],"is_corresponding":false,"raw_author_name":"Davide Brighenti","raw_affiliation_strings":["Exida Engineering s.r.l.,Italy","Exida Engineering s.r.l., Italy"],"raw_orcid":null,"affiliations":[{"raw_affiliation_string":"Exida Engineering s.r.l.,Italy","institution_ids":["https://openalex.org/I83332908"]},{"raw_affiliation_string":"Exida Engineering s.r.l., Italy","institution_ids":[]}]},{"author_position":"last","author":{"id":"https://openalex.org/A5003487498","display_name":"Davide Cunial","orcid":null},"institutions":[{"id":"https://openalex.org/I83332908","display_name":"University of Blida","ror":"https://ror.org/03g41pw14","country_code":"DZ","type":"education","lineage":["https://openalex.org/I83332908"]}],"countries":["DZ"],"is_corresponding":false,"raw_author_name":"Davide Cunial","raw_affiliation_strings":["Exida Engineering s.r.l.,Italy","Exida Engineering s.r.l., Italy"],"raw_orcid":null,"affiliations":[{"raw_affiliation_string":"Exida Engineering s.r.l.,Italy","institution_ids":["https://openalex.org/I83332908"]},{"raw_affiliation_string":"Exida Engineering s.r.l., Italy","institution_ids":[]}]}],"institutions":[],"countries_distinct_count":6,"institutions_distinct_count":9,"corresponding_author_ids":[],"corresponding_institution_ids":[],"apc_list":null,"apc_paid":null,"fwci":null,"has_fulltext":true,"cited_by_count":6,"citation_normalized_percentile":null,"cited_by_percentile_year":null,"biblio":{"volume":null,"issue":null,"first_page":"1","last_page":"6"},"is_retracted":false,"is_paratext":false,"is_xpac":false,"primary_topic":{"id":"https://openalex.org/T11689","display_name":"Adversarial Robustness in Machine Learning","score":0.9975000023841858,"subfield":{"id":"https://openalex.org/subfields/1702","display_name":"Artificial Intelligence"},"field":{"id":"https://openalex.org/fields/17","display_name":"Computer Science"},"domain":{"id":"https://openalex.org/domains/3","display_name":"Physical Sciences"}},"topics":[{"id":"https://openalex.org/T11689","display_name":"Adversarial Robustness in Machine Learning","score":0.9975000023841858,"subfield":{"id":"https://openalex.org/subfields/1702","display_name":"Artificial Intelligence"},"field":{"id":"https://openalex.org/fields/17","display_name":"Computer Science"},"domain":{"id":"https://openalex.org/domains/3","display_name":"Physical Sciences"}},{"id":"https://openalex.org/T11357","display_name":"Risk and Safety Analysis","score":0.9954000115394592,"subfield":{"id":"https://openalex.org/subfields/1804","display_name":"Statistics, Probability and Uncertainty"},"field":{"id":"https://openalex.org/fields/18","display_name":"Decision Sciences"},"domain":{"id":"https://openalex.org/domains/2","display_name":"Social Sciences"}},{"id":"https://openalex.org/T12423","display_name":"Software Reliability and Analysis Research","score":0.9901999831199646,"subfield":{"id":"https://openalex.org/subfields/1712","display_name":"Software"},"field":{"id":"https://openalex.org/fields/17","display_name":"Computer Science"},"domain":{"id":"https://openalex.org/domains/3","display_name":"Physical Sciences"}}],"keywords":[{"id":"https://openalex.org/keywords/traceability","display_name":"Traceability","score":0.7668200731277466},{"id":"https://openalex.org/keywords/computer-science","display_name":"Computer science","score":0.6561504602432251},{"id":"https://openalex.org/keywords/verifiable-secret-sharing","display_name":"Verifiable secret sharing","score":0.635733425617218},{"id":"https://openalex.org/keywords/implementation","display_name":"Implementation","score":0.6008856892585754},{"id":"https://openalex.org/keywords/certification","display_name":"Certification","score":0.5390287041664124},{"id":"https://openalex.org/keywords/probabilistic-logic","display_name":"Probabilistic logic","score":0.4903581142425537},{"id":"https://openalex.org/keywords/process","display_name":"Process (computing)","score":0.4744207262992859},{"id":"https://openalex.org/keywords/software-engineering","display_name":"Software engineering","score":0.4672152101993561},{"id":"https://openalex.org/keywords/satisfiability","display_name":"Satisfiability","score":0.4598707854747772},{"id":"https://openalex.org/keywords/software","display_name":"Software","score":0.4504462778568268},{"id":"https://openalex.org/keywords/reliability-engineering","display_name":"Reliability engineering","score":0.3914872705936432},{"id":"https://openalex.org/keywords/distributed-computing","display_name":"Distributed computing","score":0.33786866068840027},{"id":"https://openalex.org/keywords/systems-engineering","display_name":"Systems engineering","score":0.32238972187042236},{"id":"https://openalex.org/keywords/theoretical-computer-science","display_name":"Theoretical computer science","score":0.23388418555259705},{"id":"https://openalex.org/keywords/engineering","display_name":"Engineering","score":0.19778209924697876},{"id":"https://openalex.org/keywords/programming-language","display_name":"Programming language","score":0.1975773274898529},{"id":"https://openalex.org/keywords/artificial-intelligence","display_name":"Artificial intelligence","score":0.18364205956459045}],"concepts":[{"id":"https://openalex.org/C153876917","wikidata":"https://www.wikidata.org/wiki/Q899704","display_name":"Traceability","level":2,"score":0.7668200731277466},{"id":"https://openalex.org/C41008148","wikidata":"https://www.wikidata.org/wiki/Q21198","display_name":"Computer science","level":0,"score":0.6561504602432251},{"id":"https://openalex.org/C85847156","wikidata":"https://www.wikidata.org/wiki/Q59015987","display_name":"Verifiable secret sharing","level":3,"score":0.635733425617218},{"id":"https://openalex.org/C26713055","wikidata":"https://www.wikidata.org/wiki/Q245962","display_name":"Implementation","level":2,"score":0.6008856892585754},{"id":"https://openalex.org/C46304622","wikidata":"https://www.wikidata.org/wiki/Q374814","display_name":"Certification","level":2,"score":0.5390287041664124},{"id":"https://openalex.org/C49937458","wikidata":"https://www.wikidata.org/wiki/Q2599292","display_name":"Probabilistic logic","level":2,"score":0.4903581142425537},{"id":"https://openalex.org/C98045186","wikidata":"https://www.wikidata.org/wiki/Q205663","display_name":"Process (computing)","level":2,"score":0.4744207262992859},{"id":"https://openalex.org/C115903868","wikidata":"https://www.wikidata.org/wiki/Q80993","display_name":"Software engineering","level":1,"score":0.4672152101993561},{"id":"https://openalex.org/C168773769","wikidata":"https://www.wikidata.org/wiki/Q1350299","display_name":"Satisfiability","level":2,"score":0.4598707854747772},{"id":"https://openalex.org/C2777904410","wikidata":"https://www.wikidata.org/wiki/Q7397","display_name":"Software","level":2,"score":0.4504462778568268},{"id":"https://openalex.org/C200601418","wikidata":"https://www.wikidata.org/wiki/Q2193887","display_name":"Reliability engineering","level":1,"score":0.3914872705936432},{"id":"https://openalex.org/C120314980","wikidata":"https://www.wikidata.org/wiki/Q180634","display_name":"Distributed computing","level":1,"score":0.33786866068840027},{"id":"https://openalex.org/C201995342","wikidata":"https://www.wikidata.org/wiki/Q682496","display_name":"Systems engineering","level":1,"score":0.32238972187042236},{"id":"https://openalex.org/C80444323","wikidata":"https://www.wikidata.org/wiki/Q2878974","display_name":"Theoretical computer science","level":1,"score":0.23388418555259705},{"id":"https://openalex.org/C127413603","wikidata":"https://www.wikidata.org/wiki/Q11023","display_name":"Engineering","level":0,"score":0.19778209924697876},{"id":"https://openalex.org/C199360897","wikidata":"https://www.wikidata.org/wiki/Q9143","display_name":"Programming language","level":1,"score":0.1975773274898529},{"id":"https://openalex.org/C154945302","wikidata":"https://www.wikidata.org/wiki/Q11660","display_name":"Artificial intelligence","level":1,"score":0.18364205956459045},{"id":"https://openalex.org/C17744445","wikidata":"https://www.wikidata.org/wiki/Q36442","display_name":"Political science","level":0,"score":0.0},{"id":"https://openalex.org/C177264268","wikidata":"https://www.wikidata.org/wiki/Q1514741","display_name":"Set (abstract data type)","level":2,"score":0.0},{"id":"https://openalex.org/C199539241","wikidata":"https://www.wikidata.org/wiki/Q7748","display_name":"Law","level":1,"score":0.0}],"mesh":[],"locations_count":2,"locations":[{"id":"doi:10.23919/date56975.2023.10137128","is_oa":false,"landing_page_url":"https://doi.org/10.23919/date56975.2023.10137128","pdf_url":null,"source":null,"license":null,"license_id":null,"version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"2023 Design, Automation & Test in Europe Conference & Exhibition (DATE)","raw_type":"proceedings-article"},{"id":"pmh:oai:upcommons.upc.edu:2117/388672","is_oa":true,"landing_page_url":"https://hdl.handle.net/2117/388672","pdf_url":"https://upcommons.upc.edu/bitstreams/9a543824-f641-4fdd-98f4-b0b2bcd2b82a/download","source":{"id":"https://openalex.org/S4377196262","display_name":"UPCommons institutional repository (Universitat Polit\u00e8cnica de Catalunya)","issn_l":null,"issn":null,"is_oa":false,"is_in_doaj":false,"is_core":false,"host_organization":"https://openalex.org/I9617848","host_organization_name":"Universitat Polit\u00e8cnica de Catalunya","host_organization_lineage":["https://openalex.org/I9617848"],"host_organization_lineage_names":[],"type":"repository"},"license":"cc-by-nc-nd","license_id":"https://openalex.org/licenses/cc-by-nc-nd","version":"submittedVersion","is_accepted":false,"is_published":false,"raw_source_name":null,"raw_type":"Conference lecture"}],"best_oa_location":{"id":"pmh:oai:upcommons.upc.edu:2117/388672","is_oa":true,"landing_page_url":"https://hdl.handle.net/2117/388672","pdf_url":"https://upcommons.upc.edu/bitstreams/9a543824-f641-4fdd-98f4-b0b2bcd2b82a/download","source":{"id":"https://openalex.org/S4377196262","display_name":"UPCommons institutional repository (Universitat Polit\u00e8cnica de Catalunya)","issn_l":null,"issn":null,"is_oa":false,"is_in_doaj":false,"is_core":false,"host_organization":"https://openalex.org/I9617848","host_organization_name":"Universitat Polit\u00e8cnica de Catalunya","host_organization_lineage":["https://openalex.org/I9617848"],"host_organization_lineage_names":[],"type":"repository"},"license":"cc-by-nc-nd","license_id":"https://openalex.org/licenses/cc-by-nc-nd","version":"submittedVersion","is_accepted":false,"is_published":false,"raw_source_name":null,"raw_type":"Conference lecture"},"sustainable_development_goals":[{"id":"https://metadata.un.org/sdg/9","score":0.5199999809265137,"display_name":"Industry, innovation and infrastructure"}],"awards":[{"id":"https://openalex.org/G1037813448","display_name":null,"funder_award_id":"101069595","funder_id":"https://openalex.org/F4320334322","funder_display_name":"HORIZON EUROPE Framework Programme"},{"id":"https://openalex.org/G2262748287","display_name":null,"funder_award_id":"501100011033","funder_id":"https://openalex.org/F4320335598","funder_display_name":"Agencia Estatal de Investigaci\u00f3n"},{"id":"https://openalex.org/G3480869486","display_name":null,"funder_award_id":"13039","funder_id":"https://openalex.org/F4320335598","funder_display_name":"Agencia Estatal de Investigaci\u00f3n"},{"id":"https://openalex.org/G3690828678","display_name":null,"funder_award_id":"PID2019","funder_id":"https://openalex.org/F4320322930","funder_display_name":"Ministerio de Ciencia e Innovaci\u00f3n"},{"id":"https://openalex.org/G5421974903","display_name":null,"funder_award_id":"501100011033","funder_id":"https://openalex.org/F4320322930","funder_display_name":"Ministerio de Ciencia e Innovaci\u00f3n"},{"id":"https://openalex.org/G5550858994","display_name":null,"funder_award_id":"AEI/10","funder_id":"https://openalex.org/F4320322930","funder_display_name":"Ministerio de Ciencia e Innovaci\u00f3n"},{"id":"https://openalex.org/G5838455540","display_name":null,"funder_award_id":"PID2019-107255GBC21/AEI/10.13039/501100011033","funder_id":"https://openalex.org/F4320322930","funder_display_name":"Ministerio de Ciencia e Innovaci\u00f3n"},{"id":"https://openalex.org/G7084143925","display_name":null,"funder_award_id":"AEI/10","funder_id":"https://openalex.org/F4320335598","funder_display_name":"Agencia Estatal de Investigaci\u00f3n"},{"id":"https://openalex.org/G7266728691","display_name":null,"funder_award_id":"13039/501100011033","funder_id":"https://openalex.org/F4320335598","funder_display_name":"Agencia Estatal de Investigaci\u00f3n"},{"id":"https://openalex.org/G8055432103","display_name":null,"funder_award_id":"13039/501100011033","funder_id":"https://openalex.org/F4320322930","funder_display_name":"Ministerio de Ciencia e Innovaci\u00f3n"},{"id":"https://openalex.org/G8684520763","display_name":null,"funder_award_id":"PID2019","funder_id":"https://openalex.org/F4320335598","funder_display_name":"Agencia Estatal de Investigaci\u00f3n"}],"funders":[{"id":"https://openalex.org/F4320322930","display_name":"Ministerio de Ciencia e Innovaci\u00f3n","ror":"https://ror.org/034900433"},{"id":"https://openalex.org/F4320334322","display_name":"HORIZON EUROPE Framework Programme","ror":null},{"id":"https://openalex.org/F4320335598","display_name":"Agencia Estatal de Investigaci\u00f3n","ror":null}],"has_content":{"pdf":true,"grobid_xml":false},"content_urls":{"pdf":"https://content.openalex.org/works/W4379115919.pdf"},"referenced_works_count":24,"referenced_works":["https://openalex.org/W1540112335","https://openalex.org/W1673923490","https://openalex.org/W1955565646","https://openalex.org/W2054055245","https://openalex.org/W2328067583","https://openalex.org/W2488440710","https://openalex.org/W2508156266","https://openalex.org/W2576845151","https://openalex.org/W2761077959","https://openalex.org/W2791731825","https://openalex.org/W2796163371","https://openalex.org/W2913716837","https://openalex.org/W2919115771","https://openalex.org/W2919736750","https://openalex.org/W2945507108","https://openalex.org/W2949479613","https://openalex.org/W2951885001","https://openalex.org/W3041364017","https://openalex.org/W3098476760","https://openalex.org/W3208388873","https://openalex.org/W4249261707","https://openalex.org/W4293877282","https://openalex.org/W6725508424","https://openalex.org/W6752771859"],"related_works":["https://openalex.org/W2355730523","https://openalex.org/W152021879","https://openalex.org/W2378709054","https://openalex.org/W4380301954","https://openalex.org/W2072918937","https://openalex.org/W2365629437","https://openalex.org/W2803090313","https://openalex.org/W1482465488","https://openalex.org/W2052375654","https://openalex.org/W2376767034"],"abstract_inverted_index":{"Deep":[0],"Learning":[1],"(DL)":[2],"techniques":[3],"are":[4],"at":[5],"the":[6,29,69,78,113,151,234],"heart":[7],"of":[8,32,71,81,111,118,157],"most":[9],"future":[10],"advanced":[11],"software":[12,50],"functions":[13],"in":[14,160,189],"Critical":[15],"Autonomous":[16],"AI-based":[17],"Systems":[18],"(CAIS),":[19],"where":[20],"they":[21],"also":[22],"represent":[23],"a":[24,58,109,146],"major":[25],"competitive":[26],"factor.":[27],"Hence,":[28],"economic":[30],"success":[31],"CAIS":[33,67,161],"industries":[34],"(e.g.,":[35],"automotive,":[36],"space,":[37],"railway)":[38],"depends":[39],"on":[40,66,129],"their":[41],"ability":[42],"to":[43,149,174,183,191,217,225,232],"design,":[44],"implement,":[45],"qualify,":[46],"and":[47,68,84,93,104,115,132,142,181,196,207,220,228],"certify":[48],"DL-based":[49,158],"products":[51],"under":[52],"bounded":[53],"effort/cost.":[54],"However,":[55],"there":[56],"is":[57],"fundamental":[59],"gap":[60,75],"between":[61],"Functional":[62],"Safety":[63],"(FUSA)":[64],"requirements":[65],"nature":[70,117],"DL":[72,82,119,165,203,212],"solutions.":[73],"This":[74],"stems":[76],"from":[77],"development":[79],"process":[80],"libraries":[83],"affects":[85],"high-level":[86],"safety":[87,99,200,218],"concepts":[88],"such":[89],"as":[90],"(1)":[91,164],"explainability":[92],"traceability,":[94,170],"(2)":[95,194],"suitability":[96],"for":[97,202],"varying":[98,205],"requirements,":[100],"(3)":[101,211],"FUSA-compliant":[102],"implementations,":[103],"(4)":[105,221],"real-time":[106],"constraints.":[107],"As":[108],"matter":[110],"fact,":[112],"data-dependent":[114],"stochastic":[116],"algorithms":[120],"clashes":[121],"with":[122,171,204],"current":[123],"FUSA":[124],"practice,":[125],"which":[126],"instead":[127],"builds":[128],"deterministic,":[130],"verifiable,":[131],"pass/fail":[133],"test-based":[134],"software.":[135],"The":[136],"SAFEXPLAIN":[137],"project":[138],"tackles":[139],"these":[140],"challenges":[141],"targets":[143],"by":[144],"providing":[145],"flexible":[147],"approach":[148],"allow":[150],"certification":[152,192],"-":[153,156],"hence":[154],"adoption":[155],"solutions":[159,166],"building":[162],"on:":[163],"that":[167,215],"provide":[168],"end-to-end":[169],"specific":[172],"approaches":[173],"explain":[175],"whether":[176],"predictions":[177],"can":[178],"be":[179],"trusted":[180],"strategies":[182],"reach":[184],"(and":[185],"prove)":[186],"correct":[187],"operation,":[188],"accordance":[190],"standards;":[193],"alternative":[195],"increasingly":[197],"sophisticated":[198],"design":[199],"patterns":[201],"criticality":[206],"fault":[208],"tolerance":[209],"requirements;":[210,219],"library":[213],"implementations":[214],"adhere":[216],"computing":[222],"platform":[223],"configurations,":[224],"regain":[226],"determinism,":[227],"probabilistic":[229],"timing":[230],"analyses,":[231],"handle":[233],"remaining":[235],"non-determinism.":[236]},"counts_by_year":[{"year":2025,"cited_by_count":2},{"year":2024,"cited_by_count":3},{"year":2023,"cited_by_count":1}],"updated_date":"2026-07-22T07:51:19.307946","created_date":"2025-10-10T00:00:00"}