{"id":"https://openalex.org/W4385456266","doi":"https://doi.org/10.1145/3611671","title":"QuanDA: GPU Accelerated Quantitative Deep Neural Network Analysis","display_name":"QuanDA: GPU Accelerated Quantitative Deep Neural Network Analysis","publication_year":2023,"publication_date":"2023-08-01","ids":{"openalex":"https://openalex.org/W4385456266","doi":"https://doi.org/10.1145/3611671"},"language":"en","primary_location":{"id":"doi:10.1145/3611671","is_oa":true,"landing_page_url":"http://dx.doi.org/10.1145/3611671","pdf_url":"https://dl.acm.org/doi/pdf/10.1145/3611671","source":{"id":"https://openalex.org/S105046310","display_name":"ACM Transactions on Design Automation of Electronic Systems","issn_l":"1084-4309","issn":["1084-4309","1557-7309"],"is_oa":false,"is_in_doaj":false,"is_core":true,"host_organization":"https://openalex.org/P4310319798","host_organization_name":"Association for Computing Machinery","host_organization_lineage":["https://openalex.org/P4310319798"],"host_organization_lineage_names":["Association for Computing Machinery"],"type":"journal"},"license":"cc-by","license_id":"https://openalex.org/licenses/cc-by","version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"ACM Transactions on Design Automation of Electronic Systems","raw_type":"journal-article"},"type":"article","indexed_in":["crossref"],"open_access":{"is_oa":true,"oa_status":"hybrid","oa_url":"https://dl.acm.org/doi/pdf/10.1145/3611671","any_repository_has_fulltext":false},"authorships":[{"author_position":"first","author":{"id":"https://openalex.org/A5032460892","display_name":"Mahum Naseer","orcid":"https://orcid.org/0000-0003-3096-9536"},"institutions":[{"id":"https://openalex.org/I145847075","display_name":"TU Wien","ror":"https://ror.org/04d836q62","country_code":"AT","type":"education","lineage":["https://openalex.org/I145847075"]}],"countries":["AT"],"is_corresponding":false,"raw_author_name":"Mahum Naseer","raw_affiliation_strings":["Institute of Computer Engineering, Vienna University of Technology, Austria"],"raw_orcid":"https://orcid.org/0000-0003-3096-9536","affiliations":[{"raw_affiliation_string":"Institute of Computer Engineering, Vienna University of Technology, Austria","institution_ids":["https://openalex.org/I145847075"]}]},{"author_position":"middle","author":{"id":"https://openalex.org/A5066768973","display_name":"Osman Hasan","orcid":"https://orcid.org/0000-0003-2562-2669"},"institutions":[{"id":"https://openalex.org/I929597975","display_name":"National University of Sciences and Technology","ror":"https://ror.org/03w2j5y17","country_code":"PK","type":"education","lineage":["https://openalex.org/I929597975"]}],"countries":["PK"],"is_corresponding":false,"raw_author_name":"Osman Hasan","raw_affiliation_strings":["School of Electrical Engineering & Computer Science (SEECS), National University of Sciences & Technology (NUST), Pakistan"],"raw_orcid":"https://orcid.org/0000-0003-2562-2669","affiliations":[{"raw_affiliation_string":"School of Electrical Engineering & Computer Science (SEECS), National University of Sciences & Technology (NUST), Pakistan","institution_ids":["https://openalex.org/I929597975"]}]},{"author_position":"last","author":{"id":"https://openalex.org/A5005190949","display_name":"Muhammad Shafique","orcid":"https://orcid.org/0000-0002-2607-8135"},"institutions":[{"id":"https://openalex.org/I120250893","display_name":"New York University Abu Dhabi","ror":"https://ror.org/00e5k0821","country_code":"AE","type":"education","lineage":["https://openalex.org/I120250893","https://openalex.org/I57206974"]}],"countries":["AE"],"is_corresponding":false,"raw_author_name":"Muhammad Shafique","raw_affiliation_strings":["Division of Engineering, New York University Abu Dhabi (NYUAD), United Arab Emirates"],"raw_orcid":"https://orcid.org/0000-0002-2607-8135","affiliations":[{"raw_affiliation_string":"Division of Engineering, New York University Abu Dhabi (NYUAD), United Arab Emirates","institution_ids":["https://openalex.org/I120250893"]}]}],"institutions":[],"countries_distinct_count":3,"institutions_distinct_count":3,"corresponding_author_ids":[],"corresponding_institution_ids":[],"apc_list":null,"apc_paid":null,"fwci":0.0,"has_fulltext":true,"cited_by_count":0,"citation_normalized_percentile":{"value":0.08558205,"is_in_top_1_percent":false,"is_in_top_10_percent":false},"cited_by_percentile_year":null,"biblio":{"volume":"28","issue":"6","first_page":"1","last_page":"21"},"is_retracted":false,"is_paratext":false,"is_xpac":false,"primary_topic":{"id":"https://openalex.org/T11689","display_name":"Adversarial Robustness in Machine Learning","score":1.0,"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":1.0,"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/T10036","display_name":"Advanced Neural Network Applications","score":0.9914000034332275,"subfield":{"id":"https://openalex.org/subfields/1707","display_name":"Computer Vision and Pattern Recognition"},"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/T11307","display_name":"Domain Adaptation and Few-Shot Learning","score":0.979200005531311,"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.9035113453865051},{"id":"https://openalex.org/keywords/benchmark","display_name":"Benchmark (surveying)","score":0.682333767414093},{"id":"https://openalex.org/keywords/reachability","display_name":"Reachability","score":0.63640296459198},{"id":"https://openalex.org/keywords/cuda","display_name":"CUDA","score":0.6139180660247803},{"id":"https://openalex.org/keywords/deep-neural-networks","display_name":"Deep neural networks","score":0.556413471698761},{"id":"https://openalex.org/keywords/node","display_name":"Node (physics)","score":0.5536572933197021},{"id":"https://openalex.org/keywords/artificial-neural-network","display_name":"Artificial neural network","score":0.5101938247680664},{"id":"https://openalex.org/keywords/probability-distribution","display_name":"Probability distribution","score":0.49877429008483887},{"id":"https://openalex.org/keywords/noise","display_name":"Noise (video)","score":0.4575686752796173},{"id":"https://openalex.org/keywords/artificial-intelligence","display_name":"Artificial intelligence","score":0.4225788712501526},{"id":"https://openalex.org/keywords/machine-learning","display_name":"Machine learning","score":0.3408343493938446},{"id":"https://openalex.org/keywords/theoretical-computer-science","display_name":"Theoretical computer science","score":0.308318555355072},{"id":"https://openalex.org/keywords/parallel-computing","display_name":"Parallel computing","score":0.21358534693717957}],"concepts":[{"id":"https://openalex.org/C41008148","wikidata":"https://www.wikidata.org/wiki/Q21198","display_name":"Computer science","level":0,"score":0.9035113453865051},{"id":"https://openalex.org/C185798385","wikidata":"https://www.wikidata.org/wiki/Q1161707","display_name":"Benchmark (surveying)","level":2,"score":0.682333767414093},{"id":"https://openalex.org/C136643341","wikidata":"https://www.wikidata.org/wiki/Q1361526","display_name":"Reachability","level":2,"score":0.63640296459198},{"id":"https://openalex.org/C2778119891","wikidata":"https://www.wikidata.org/wiki/Q477690","display_name":"CUDA","level":2,"score":0.6139180660247803},{"id":"https://openalex.org/C2984842247","wikidata":"https://www.wikidata.org/wiki/Q197536","display_name":"Deep neural networks","level":3,"score":0.556413471698761},{"id":"https://openalex.org/C62611344","wikidata":"https://www.wikidata.org/wiki/Q1062658","display_name":"Node (physics)","level":2,"score":0.5536572933197021},{"id":"https://openalex.org/C50644808","wikidata":"https://www.wikidata.org/wiki/Q192776","display_name":"Artificial neural network","level":2,"score":0.5101938247680664},{"id":"https://openalex.org/C149441793","wikidata":"https://www.wikidata.org/wiki/Q200726","display_name":"Probability distribution","level":2,"score":0.49877429008483887},{"id":"https://openalex.org/C99498987","wikidata":"https://www.wikidata.org/wiki/Q2210247","display_name":"Noise (video)","level":3,"score":0.4575686752796173},{"id":"https://openalex.org/C154945302","wikidata":"https://www.wikidata.org/wiki/Q11660","display_name":"Artificial intelligence","level":1,"score":0.4225788712501526},{"id":"https://openalex.org/C119857082","wikidata":"https://www.wikidata.org/wiki/Q2539","display_name":"Machine learning","level":1,"score":0.3408343493938446},{"id":"https://openalex.org/C80444323","wikidata":"https://www.wikidata.org/wiki/Q2878974","display_name":"Theoretical computer science","level":1,"score":0.308318555355072},{"id":"https://openalex.org/C173608175","wikidata":"https://www.wikidata.org/wiki/Q232661","display_name":"Parallel computing","level":1,"score":0.21358534693717957},{"id":"https://openalex.org/C66938386","wikidata":"https://www.wikidata.org/wiki/Q633538","display_name":"Structural engineering","level":1,"score":0.0},{"id":"https://openalex.org/C105795698","wikidata":"https://www.wikidata.org/wiki/Q12483","display_name":"Statistics","level":1,"score":0.0},{"id":"https://openalex.org/C115961682","wikidata":"https://www.wikidata.org/wiki/Q860623","display_name":"Image (mathematics)","level":2,"score":0.0},{"id":"https://openalex.org/C33923547","wikidata":"https://www.wikidata.org/wiki/Q395","display_name":"Mathematics","level":0,"score":0.0},{"id":"https://openalex.org/C205649164","wikidata":"https://www.wikidata.org/wiki/Q1071","display_name":"Geography","level":0,"score":0.0},{"id":"https://openalex.org/C13280743","wikidata":"https://www.wikidata.org/wiki/Q131089","display_name":"Geodesy","level":1,"score":0.0},{"id":"https://openalex.org/C127413603","wikidata":"https://www.wikidata.org/wiki/Q11023","display_name":"Engineering","level":0,"score":0.0}],"mesh":[],"locations_count":1,"locations":[{"id":"doi:10.1145/3611671","is_oa":true,"landing_page_url":"http://dx.doi.org/10.1145/3611671","pdf_url":"https://dl.acm.org/doi/pdf/10.1145/3611671","source":{"id":"https://openalex.org/S105046310","display_name":"ACM Transactions on Design Automation of Electronic Systems","issn_l":"1084-4309","issn":["1084-4309","1557-7309"],"is_oa":false,"is_in_doaj":false,"is_core":true,"host_organization":"https://openalex.org/P4310319798","host_organization_name":"Association for Computing Machinery","host_organization_lineage":["https://openalex.org/P4310319798"],"host_organization_lineage_names":["Association for Computing Machinery"],"type":"journal"},"license":"cc-by","license_id":"https://openalex.org/licenses/cc-by","version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"ACM Transactions on Design Automation of Electronic Systems","raw_type":"journal-article"}],"best_oa_location":{"id":"doi:10.1145/3611671","is_oa":true,"landing_page_url":"http://dx.doi.org/10.1145/3611671","pdf_url":"https://dl.acm.org/doi/pdf/10.1145/3611671","source":{"id":"https://openalex.org/S105046310","display_name":"ACM Transactions on Design Automation of Electronic Systems","issn_l":"1084-4309","issn":["1084-4309","1557-7309"],"is_oa":false,"is_in_doaj":false,"is_core":true,"host_organization":"https://openalex.org/P4310319798","host_organization_name":"Association for Computing Machinery","host_organization_lineage":["https://openalex.org/P4310319798"],"host_organization_lineage_names":["Association for Computing Machinery"],"type":"journal"},"license":"cc-by","license_id":"https://openalex.org/licenses/cc-by","version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"ACM Transactions on Design Automation of Electronic Systems","raw_type":"journal-article"},"sustainable_development_goals":[],"awards":[{"id":"https://openalex.org/G2336632164","display_name":null,"funder_award_id":"CG010","funder_id":"https://openalex.org/F5748446266","funder_display_name":"Research Institute Centers, New York University Abu Dhabi"},{"id":"https://openalex.org/G5357824321","display_name":null,"funder_award_id":"H2020-ECSEL-2019-IA-876190","funder_id":"https://openalex.org/F4320327207","funder_display_name":"Electronic Components and Systems for European Leadership"},{"id":"https://openalex.org/G6922775816","display_name":null,"funder_award_id":"H2020-ECSEL-2019-IA-876190","funder_id":"https://openalex.org/F4320332999","funder_display_name":"Horizon 2020 Framework Programme"},{"id":"https://openalex.org/G7495968983","display_name":null,"funder_award_id":"876190","funder_id":"https://openalex.org/F4320327207","funder_display_name":"Electronic Components and Systems for European Leadership"}],"funders":[{"id":"https://openalex.org/F4320313203","display_name":"New York University Abu Dhabi","ror":"https://ror.org/00e5k0821"},{"id":"https://openalex.org/F4320322839","display_name":"Technische Universit\u00e4t Wien","ror":"https://ror.org/04d836q62"},{"id":"https://openalex.org/F4320327207","display_name":"Electronic Components and Systems for European Leadership","ror":null},{"id":"https://openalex.org/F4320332999","display_name":"Horizon 2020 Framework Programme","ror":"https://ror.org/00k4n6c32"},{"id":"https://openalex.org/F5748446266","display_name":"Research Institute Centers, New York University Abu Dhabi","ror":null}],"has_content":{"pdf":true,"grobid_xml":true},"content_urls":{"pdf":"https://content.openalex.org/works/W4385456266.pdf","grobid_xml":"https://content.openalex.org/works/W4385456266.grobid-xml"},"referenced_works_count":32,"referenced_works":["https://openalex.org/W1498855283","https://openalex.org/W2004252880","https://openalex.org/W2041091076","https://openalex.org/W2103012681","https://openalex.org/W2153110463","https://openalex.org/W2325429064","https://openalex.org/W2525579820","https://openalex.org/W2543296129","https://openalex.org/W2559655401","https://openalex.org/W2594877703","https://openalex.org/W2604319603","https://openalex.org/W2616028256","https://openalex.org/W2788645721","https://openalex.org/W2791251367","https://openalex.org/W2897317743","https://openalex.org/W2900153411","https://openalex.org/W2905810301","https://openalex.org/W2957311447","https://openalex.org/W2963054787","https://openalex.org/W2972713160","https://openalex.org/W3012981624","https://openalex.org/W3101584909","https://openalex.org/W3102961483","https://openalex.org/W3196252426","https://openalex.org/W3198519141","https://openalex.org/W3216578534","https://openalex.org/W4206840646","https://openalex.org/W4212774754","https://openalex.org/W4251795452","https://openalex.org/W4297814571","https://openalex.org/W6637162671","https://openalex.org/W6755797642"],"related_works":["https://openalex.org/W2136512912","https://openalex.org/W2127267268","https://openalex.org/W2156446763","https://openalex.org/W2067910792","https://openalex.org/W2150194458","https://openalex.org/W2143461633","https://openalex.org/W2889071233","https://openalex.org/W4321471459","https://openalex.org/W4221156924","https://openalex.org/W2380814829"],"abstract_inverted_index":{"Over":[0],"the":[1,7,19,26,40,43,49,60,65,83,91,95,103,118,122,127,137,153,165,170,192],"past":[2],"years,":[3],"numerous":[4],"studies":[5],"demonstrated":[6,168],"vulnerability":[8],"of":[9,21,29,94,121,136,164,189,194],"deep":[10],"neural":[11],"networks":[12],"(DNNs)":[13],"to":[14,31,58,63,97,129,132,141,151,174],"make":[15],"correct":[16],"classifications":[17],"in":[18,39],"presence":[20],"small":[22],"noise.":[23],"This":[24,183],"motivated":[25],"formal":[27],"analysis":[28,75,108,193],"DNNs":[30],"ensure":[32],"that":[33,42],"they":[34],"delineate":[35,98],"acceptable":[36],"behavior.":[37,101],"However,":[38],"case":[41],"DNN\u2019s":[44],"behavior":[45,87],"is":[46,167],"unacceptable":[47],"for":[48,159,179,191],"desired":[50],"application,":[51],"these":[52],"qualitative":[53],"approaches":[54],"are":[55],"ill":[56],"equipped":[57],"determine":[59],"precise":[61],"degree":[62],"which":[64,78,125],"DNN":[66,74,84,96,107,144,195],"behaves":[67],"unacceptably.":[68],"We":[69],"propose":[70],"a":[71],"novel":[72],"quantitative":[73,106],"framework,":[76],"QuanDA,":[77],"not":[79,112],"only":[80],"checks":[81],"whether":[82],"delineates":[85],"certain":[86],"but":[88],"also":[89,185],"provides":[90,186],"estimated":[92],"probability":[93,119,134,177],"this":[99],"particular":[100],"Unlike":[102],"(few)":[104],"available":[105],"frameworks,":[109],"QuanDA":[110,190],"does":[111],"use":[113],"any":[114],"implicit":[115],"assumptions":[116],"on":[117],"distribution":[120],"hidden":[123,138],"nodes,":[124],"enables":[126],"framework":[128,148,166],"propagate":[130],"close":[131],"real":[133],"distributions":[135],"node":[139],"values":[140],"each":[142],"proceeding":[143],"layer.":[145],"Furthermore,":[146],"our":[147],"leverages":[149],"CUDA":[150],"parallelize":[152],"analysis,":[154],"enabling":[155],"high-speed":[156],"GPU":[157],"implementation":[158],"fast":[160],"analysis.":[161],"The":[162],"applicability":[163],"using":[169],"ACAS":[171],"Xu":[172],"benchmark,":[173],"provide":[175],"reachability":[176],"estimates":[178],"all":[180],"network":[181],"nodes.":[182],"paper":[184],"potential":[187],"applications":[188],"safety":[196],"properties.":[197]},"counts_by_year":[],"updated_date":"2026-05-21T06:26:12.895304","created_date":"2025-10-10T00:00:00"}