{"id":"https://openalex.org/W3129141322","doi":"https://doi.org/10.1109/icm50269.2020.9331504","title":"Verification of Neural Networks for Safety Critical Applications","display_name":"Verification of Neural Networks for Safety Critical Applications","publication_year":2020,"publication_date":"2020-12-14","ids":{"openalex":"https://openalex.org/W3129141322","doi":"https://doi.org/10.1109/icm50269.2020.9331504","mag":"3129141322"},"language":"en","primary_location":{"id":"doi:10.1109/icm50269.2020.9331504","is_oa":false,"landing_page_url":"https://doi.org/10.1109/icm50269.2020.9331504","pdf_url":null,"source":null,"license":null,"license_id":null,"version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"2020 32nd International Conference on Microelectronics (ICM)","raw_type":"proceedings-article"},"type":"article","indexed_in":["crossref"],"open_access":{"is_oa":false,"oa_status":"closed","oa_url":null,"any_repository_has_fulltext":false},"authorships":[{"author_position":"first","author":{"id":"https://openalex.org/A5019518921","display_name":"Khaled Ben Khalifa","orcid":"https://orcid.org/0000-0001-6758-1944"},"institutions":[{"id":"https://openalex.org/I105695857","display_name":"Siemens (Hungary)","ror":"https://ror.org/01rk7mv85","country_code":"HU","type":"company","lineage":["https://openalex.org/I105695857","https://openalex.org/I1325886976"]}],"countries":["HU"],"is_corresponding":true,"raw_author_name":"Khaled Khalifa","raw_affiliation_strings":["Verification and Emulation Consultant, Mentor Graphics, A Siemens Business, Cairo, Egypt"],"affiliations":[{"raw_affiliation_string":"Verification and Emulation Consultant, Mentor Graphics, A Siemens Business, Cairo, Egypt","institution_ids":["https://openalex.org/I105695857"]}]},{"author_position":"middle","author":{"id":"https://openalex.org/A5018194556","display_name":"Mona Safar","orcid":"https://orcid.org/0000-0002-1696-1792"},"institutions":[{"id":"https://openalex.org/I107720978","display_name":"Ain Shams University","ror":"https://ror.org/00cb9w016","country_code":"EG","type":"education","lineage":["https://openalex.org/I107720978"]}],"countries":["EG"],"is_corresponding":false,"raw_author_name":"Mona Safar","raw_affiliation_strings":["Dept. of Computer and Systems Engineering, Ain Shams University, Cairo, Egypt"],"affiliations":[{"raw_affiliation_string":"Dept. of Computer and Systems Engineering, Ain Shams University, Cairo, Egypt","institution_ids":["https://openalex.org/I107720978"]}]},{"author_position":"last","author":{"id":"https://openalex.org/A5056943013","display_name":"M. Watheq El\u2010Kharashi","orcid":"https://orcid.org/0000-0002-6033-733X"},"institutions":[{"id":"https://openalex.org/I107720978","display_name":"Ain Shams University","ror":"https://ror.org/00cb9w016","country_code":"EG","type":"education","lineage":["https://openalex.org/I107720978"]}],"countries":["EG"],"is_corresponding":false,"raw_author_name":"M. Watheq El-Kharashi","raw_affiliation_strings":["Dept. of Computer and Systems Engineering, Ain Shams University, Cairo, Egypt"],"affiliations":[{"raw_affiliation_string":"Dept. of Computer and Systems Engineering, Ain Shams University, Cairo, Egypt","institution_ids":["https://openalex.org/I107720978"]}]}],"institutions":[],"countries_distinct_count":2,"institutions_distinct_count":3,"corresponding_author_ids":["https://openalex.org/A5019518921"],"corresponding_institution_ids":["https://openalex.org/I105695857"],"apc_list":null,"apc_paid":null,"fwci":0.1326,"has_fulltext":false,"cited_by_count":1,"citation_normalized_percentile":{"value":0.58063857,"is_in_top_1_percent":false,"is_in_top_10_percent":false},"cited_by_percentile_year":{"min":89,"max":94},"biblio":{"volume":null,"issue":null,"first_page":"1","last_page":"4"},"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.9998999834060669,"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.9998999834060669,"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/T11512","display_name":"Anomaly Detection Techniques and Applications","score":0.9932000041007996,"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/T12026","display_name":"Explainable Artificial Intelligence (XAI)","score":0.988099992275238,"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"}}],"keywords":[{"id":"https://openalex.org/keywords/computer-science","display_name":"Computer science","score":0.8145086765289307},{"id":"https://openalex.org/keywords/artificial-neural-network","display_name":"Artificial neural network","score":0.7369836568832397},{"id":"https://openalex.org/keywords/process","display_name":"Process (computing)","score":0.5597857236862183},{"id":"https://openalex.org/keywords/artificial-intelligence","display_name":"Artificial intelligence","score":0.5221612453460693},{"id":"https://openalex.org/keywords/inference","display_name":"Inference","score":0.5066719651222229},{"id":"https://openalex.org/keywords/set","display_name":"Set (abstract data type)","score":0.4838082194328308},{"id":"https://openalex.org/keywords/binary-decision-diagram","display_name":"Binary decision diagram","score":0.4815369248390198},{"id":"https://openalex.org/keywords/reliability","display_name":"Reliability (semiconductor)","score":0.46712997555732727},{"id":"https://openalex.org/keywords/machine-learning","display_name":"Machine learning","score":0.43728065490722656},{"id":"https://openalex.org/keywords/hamming-code","display_name":"Hamming code","score":0.43064722418785095},{"id":"https://openalex.org/keywords/pattern-recognition","display_name":"Pattern recognition (psychology)","score":0.3476324677467346},{"id":"https://openalex.org/keywords/data-mining","display_name":"Data mining","score":0.3283085823059082},{"id":"https://openalex.org/keywords/theoretical-computer-science","display_name":"Theoretical computer science","score":0.15920588374137878},{"id":"https://openalex.org/keywords/algorithm","display_name":"Algorithm","score":0.12840241193771362},{"id":"https://openalex.org/keywords/decoding-methods","display_name":"Decoding methods","score":0.11814281344413757},{"id":"https://openalex.org/keywords/programming-language","display_name":"Programming language","score":0.10897678136825562}],"concepts":[{"id":"https://openalex.org/C41008148","wikidata":"https://www.wikidata.org/wiki/Q21198","display_name":"Computer science","level":0,"score":0.8145086765289307},{"id":"https://openalex.org/C50644808","wikidata":"https://www.wikidata.org/wiki/Q192776","display_name":"Artificial neural network","level":2,"score":0.7369836568832397},{"id":"https://openalex.org/C98045186","wikidata":"https://www.wikidata.org/wiki/Q205663","display_name":"Process (computing)","level":2,"score":0.5597857236862183},{"id":"https://openalex.org/C154945302","wikidata":"https://www.wikidata.org/wiki/Q11660","display_name":"Artificial intelligence","level":1,"score":0.5221612453460693},{"id":"https://openalex.org/C2776214188","wikidata":"https://www.wikidata.org/wiki/Q408386","display_name":"Inference","level":2,"score":0.5066719651222229},{"id":"https://openalex.org/C177264268","wikidata":"https://www.wikidata.org/wiki/Q1514741","display_name":"Set (abstract data type)","level":2,"score":0.4838082194328308},{"id":"https://openalex.org/C3309909","wikidata":"https://www.wikidata.org/wiki/Q864155","display_name":"Binary decision diagram","level":2,"score":0.4815369248390198},{"id":"https://openalex.org/C43214815","wikidata":"https://www.wikidata.org/wiki/Q7310987","display_name":"Reliability (semiconductor)","level":3,"score":0.46712997555732727},{"id":"https://openalex.org/C119857082","wikidata":"https://www.wikidata.org/wiki/Q2539","display_name":"Machine learning","level":1,"score":0.43728065490722656},{"id":"https://openalex.org/C73150493","wikidata":"https://www.wikidata.org/wiki/Q853922","display_name":"Hamming code","level":4,"score":0.43064722418785095},{"id":"https://openalex.org/C153180895","wikidata":"https://www.wikidata.org/wiki/Q7148389","display_name":"Pattern recognition (psychology)","level":2,"score":0.3476324677467346},{"id":"https://openalex.org/C124101348","wikidata":"https://www.wikidata.org/wiki/Q172491","display_name":"Data mining","level":1,"score":0.3283085823059082},{"id":"https://openalex.org/C80444323","wikidata":"https://www.wikidata.org/wiki/Q2878974","display_name":"Theoretical computer science","level":1,"score":0.15920588374137878},{"id":"https://openalex.org/C11413529","wikidata":"https://www.wikidata.org/wiki/Q8366","display_name":"Algorithm","level":1,"score":0.12840241193771362},{"id":"https://openalex.org/C57273362","wikidata":"https://www.wikidata.org/wiki/Q576722","display_name":"Decoding methods","level":2,"score":0.11814281344413757},{"id":"https://openalex.org/C199360897","wikidata":"https://www.wikidata.org/wiki/Q9143","display_name":"Programming language","level":1,"score":0.10897678136825562},{"id":"https://openalex.org/C62520636","wikidata":"https://www.wikidata.org/wiki/Q944","display_name":"Quantum mechanics","level":1,"score":0.0},{"id":"https://openalex.org/C163258240","wikidata":"https://www.wikidata.org/wiki/Q25342","display_name":"Power (physics)","level":2,"score":0.0},{"id":"https://openalex.org/C157125643","wikidata":"https://www.wikidata.org/wiki/Q884707","display_name":"Block code","level":3,"score":0.0},{"id":"https://openalex.org/C121332964","wikidata":"https://www.wikidata.org/wiki/Q413","display_name":"Physics","level":0,"score":0.0}],"mesh":[],"locations_count":1,"locations":[{"id":"doi:10.1109/icm50269.2020.9331504","is_oa":false,"landing_page_url":"https://doi.org/10.1109/icm50269.2020.9331504","pdf_url":null,"source":null,"license":null,"license_id":null,"version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"2020 32nd International Conference on Microelectronics (ICM)","raw_type":"proceedings-article"}],"best_oa_location":null,"sustainable_development_goals":[{"display_name":"Peace, Justice and strong institutions","score":0.7799999713897705,"id":"https://metadata.un.org/sdg/16"}],"awards":[],"funders":[],"has_content":{"grobid_xml":false,"pdf":false},"content_urls":null,"referenced_works_count":20,"referenced_works":["https://openalex.org/W1836910194","https://openalex.org/W1849277567","https://openalex.org/W1920062304","https://openalex.org/W2030224590","https://openalex.org/W2101623441","https://openalex.org/W2163605009","https://openalex.org/W2462906003","https://openalex.org/W2594877703","https://openalex.org/W2742450537","https://openalex.org/W2791251367","https://openalex.org/W2794609696","https://openalex.org/W2888499542","https://openalex.org/W2896556344","https://openalex.org/W2963496101","https://openalex.org/W2963668975","https://openalex.org/W2964089174","https://openalex.org/W6640066942","https://openalex.org/W6684191040","https://openalex.org/W6718836005","https://openalex.org/W6745514407"],"related_works":["https://openalex.org/W2390183607","https://openalex.org/W2122917767","https://openalex.org/W4300631294","https://openalex.org/W3196342125","https://openalex.org/W86917440","https://openalex.org/W1819373035","https://openalex.org/W4309131146","https://openalex.org/W2188215366","https://openalex.org/W197248315","https://openalex.org/W2963971337"],"abstract_inverted_index":{"In":[0,96,127,174],"recent":[1],"years,":[2],"Neural":[3],"Networks":[4],"(NNs)":[5],"have":[6],"been":[7],"widely":[8],"adopted":[9],"in":[10,17,29,43,64,92,123,152,171,228],"engineering":[11],"automated":[12],"driving":[13],"systems":[14,26],"with":[15],"examples":[16],"perception,":[18],"decision-making,":[19],"or":[20],"even":[21],"end-to-end":[22],"scenarios.":[23],"As":[24],"these":[25],"are":[27,32,87,273,278],"safety-critical":[28,44],"nature,":[30],"they":[31],"too":[33],"complex":[34],"and":[35],"hard":[36],"to":[37,49,74,114,165,188,239,281],"verify.":[38],"For":[39],"using":[40,253],"neural":[41,57,71,84,111],"networks":[42],"domains,":[45],"it":[46,215],"is":[47,59,73,186,222],"important":[48],"know":[50],"if":[51,194],"a":[52,56,69,101,116,178,183,199,217],"decision":[53,180,221],"made":[54,81,187],"by":[55,61,82,182,192,263],"network":[58,72,112],"supported":[60],"prior":[62,90,121,226],"similarities":[63,91,122,227],"the":[65,76,79,83,93,107,110,124,128,131,135,138,145,153,158,167,175,195,205,220,229,254,265,270,287],"training":[66,94,125,129,154,230,288],"process.":[67,95],"Verifying":[68],"trained":[70,113],"measure":[75,106],"extent":[77],"of":[78,109,137,140,246,269],"decisions":[80],"network,":[85],"which":[86,143,277],"based":[88,119,224],"on":[89,120,225],"this":[97],"paper,":[98],"we":[99,235],"propose":[100],"runtime":[102,132,196,206],"monitoring":[103],"that":[104,219,262],"can":[105],"reliability":[108],"classify":[115],"new":[117,190],"input":[118,191],"set.":[126,257],"process,":[130,177],"monitor":[133,197,207],"stores":[134],"values":[136],"neurons":[139,146,201,243],"certain":[141],"layers,":[142],"represent":[144],"activation":[147,169,202,213,244,275,284],"pattern":[148,245],"for":[149,241],"each":[150,247],"example":[151],"data.":[155,231],"We":[156,249],"use":[157],"Binary":[159],"Decision":[160],"Diagrams":[161],"(BDDs)":[162],"formal":[163],"technique":[164],"store":[166],"neuron":[168],"patterns":[170,285],"binary":[172],"form.":[173],"inference":[176],"classification":[179],"measured":[181],"hamming":[184,266],"distance":[185],"any":[189,211,282],"examining":[193],"contains":[198],"similar":[200,212,280],"pattern.":[203],"If":[204],"does":[208],"not":[209,223,279],"contain":[210],"pattern,":[214],"generates":[216],"warning":[218],"Unlike":[232],"previous":[233],"work,":[234],"monitored":[236],"more":[237,242],"layers":[238],"allow":[240],"input.":[248],"demonstrate":[250],"our":[251],"approach":[252],"MNIST":[255],"benchmark":[256],"Our":[258],"experimental":[259],"results":[260],"show":[261],"adjusting":[264],"distance,":[267],"75.63%":[268],"misclassified":[271],"labels":[272],"unseen":[274],"patterns,":[276],"stored":[283],"from":[286],"time.":[289]},"counts_by_year":[{"year":2023,"cited_by_count":1}],"updated_date":"2025-11-06T03:46:38.306776","created_date":"2025-10-10T00:00:00"}