{"id":"https://openalex.org/W4393307067","doi":"https://doi.org/10.1109/jiot.2024.3383034","title":"A Quantum Algorithm for System Specifications Verification","display_name":"A Quantum Algorithm for System Specifications Verification","publication_year":2024,"publication_date":"2024-03-29","ids":{"openalex":"https://openalex.org/W4393307067","doi":"https://doi.org/10.1109/jiot.2024.3383034"},"language":"en","primary_location":{"id":"doi:10.1109/jiot.2024.3383034","is_oa":true,"landing_page_url":"https://doi.org/10.1109/jiot.2024.3383034","pdf_url":"https://ieeexplore.ieee.org/ielx7/6488907/6702522/10485497.pdf","source":{"id":"https://openalex.org/S2480266640","display_name":"IEEE Internet of Things Journal","issn_l":"2327-4662","issn":["2327-4662","2372-2541"],"is_oa":false,"is_in_doaj":false,"is_core":true,"host_organization":"https://openalex.org/P4310319808","host_organization_name":"Institute of Electrical and Electronics Engineers","host_organization_lineage":["https://openalex.org/P4310319808"],"host_organization_lineage_names":["Institute of Electrical and Electronics Engineers"],"type":"journal"},"license":null,"license_id":null,"version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"IEEE Internet of Things Journal","raw_type":"journal-article"},"type":"article","indexed_in":["crossref"],"open_access":{"is_oa":true,"oa_status":"bronze","oa_url":"https://ieeexplore.ieee.org/ielx7/6488907/6702522/10485497.pdf","any_repository_has_fulltext":false},"authorships":[{"author_position":"first","author":{"id":"https://openalex.org/A5016853809","display_name":"Mohammed Zidan","orcid":"https://orcid.org/0000-0002-6646-9747"},"institutions":[{"id":"https://openalex.org/I189575948","display_name":"South Valley University","ror":"https://ror.org/00jxshx33","country_code":"EG","type":"education","lineage":["https://openalex.org/I189575948"]}],"countries":["EG"],"is_corresponding":false,"raw_author_name":"Mohammed Zidan","raw_affiliation_strings":["Department of Artificial Intelligence, Faculty of Computers and Artificial Intelligence, South Valley University, Hurghada, Egypt"],"raw_orcid":"https://orcid.org/0000-0002-6646-9747","affiliations":[{"raw_affiliation_string":"Department of Artificial Intelligence, Faculty of Computers and Artificial Intelligence, South Valley University, Hurghada, Egypt","institution_ids":["https://openalex.org/I189575948"]}]},{"author_position":"middle","author":{"id":"https://openalex.org/A5083837579","display_name":"Ahmed M. Eisa","orcid":"https://orcid.org/0009-0002-7594-9387"},"institutions":[{"id":"https://openalex.org/I2801005815","display_name":"Egyptian e-Learning University","ror":"https://ror.org/045ms0x79","country_code":"EG","type":"education","lineage":["https://openalex.org/I2801005815"]}],"countries":["EG"],"is_corresponding":false,"raw_author_name":"Ahmed M. Eisa","raw_affiliation_strings":["Faculty of Computers and Information Technology, Egyptian E-Learning University, Giza, Egypt"],"raw_orcid":"https://orcid.org/0009-0002-7594-9387","affiliations":[{"raw_affiliation_string":"Faculty of Computers and Information Technology, Egyptian E-Learning University, Giza, Egypt","institution_ids":["https://openalex.org/I2801005815"]}]},{"author_position":"middle","author":{"id":"https://openalex.org/A5074133127","display_name":"Montasir Qasymeh","orcid":"https://orcid.org/0000-0001-5264-2628"},"institutions":[{"id":"https://openalex.org/I117222138","display_name":"Abu Dhabi University","ror":"https://ror.org/01r3kjq03","country_code":"AE","type":"education","lineage":["https://openalex.org/I117222138"]}],"countries":["AE"],"is_corresponding":false,"raw_author_name":"Montasir Qasymeh","raw_affiliation_strings":["Electrical and Computer Engineering Department, Abu Dhabi University, Abu Dhabi, UAE"],"raw_orcid":"https://orcid.org/0000-0001-5264-2628","affiliations":[{"raw_affiliation_string":"Electrical and Computer Engineering Department, Abu Dhabi University, Abu Dhabi, UAE","institution_ids":["https://openalex.org/I117222138"]}]},{"author_position":"last","author":{"id":"https://openalex.org/A5112579326","display_name":"Mahmoud A. Ismail Shoman","orcid":null},"institutions":[{"id":"https://openalex.org/I145487455","display_name":"Cairo University","ror":"https://ror.org/03q21mh05","country_code":"EG","type":"education","lineage":["https://openalex.org/I145487455"]}],"countries":["EG"],"is_corresponding":false,"raw_author_name":"Mahmoud A. Ismail Shoman","raw_affiliation_strings":["Faculty of Computers and Information, Cairo University, Cairo, Egypt"],"raw_orcid":null,"affiliations":[{"raw_affiliation_string":"Faculty of Computers and Information, Cairo University, Cairo, Egypt","institution_ids":["https://openalex.org/I145487455"]}]}],"institutions":[],"countries_distinct_count":2,"institutions_distinct_count":4,"corresponding_author_ids":[],"corresponding_institution_ids":[],"apc_list":null,"apc_paid":null,"fwci":3.3441,"has_fulltext":true,"cited_by_count":9,"citation_normalized_percentile":{"value":0.93328826,"is_in_top_1_percent":false,"is_in_top_10_percent":true},"cited_by_percentile_year":{"min":97,"max":98},"biblio":{"volume":"11","issue":"14","first_page":"24775","last_page":"24794"},"is_retracted":false,"is_paratext":false,"is_xpac":false,"primary_topic":{"id":"https://openalex.org/T12423","display_name":"Software Reliability and Analysis Research","score":0.965499997138977,"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"}},"topics":[{"id":"https://openalex.org/T12423","display_name":"Software Reliability and Analysis Research","score":0.965499997138977,"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"}},{"id":"https://openalex.org/T12127","display_name":"Software System Performance and Reliability","score":0.9635000228881836,"subfield":{"id":"https://openalex.org/subfields/1705","display_name":"Computer Networks and Communications"},"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/T10743","display_name":"Software Testing and Debugging Techniques","score":0.9617999792098999,"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/computer-science","display_name":"Computer science","score":0.773131251335144},{"id":"https://openalex.org/keywords/algorithm","display_name":"Algorithm","score":0.47958531975746155},{"id":"https://openalex.org/keywords/quantum-algorithm","display_name":"Quantum algorithm","score":0.44000229239463806},{"id":"https://openalex.org/keywords/algorithm-design","display_name":"Algorithm design","score":0.41496923565864563},{"id":"https://openalex.org/keywords/quantum","display_name":"Quantum","score":0.3838645815849304},{"id":"https://openalex.org/keywords/theoretical-computer-science","display_name":"Theoretical computer science","score":0.3489573001861572}],"concepts":[{"id":"https://openalex.org/C41008148","wikidata":"https://www.wikidata.org/wiki/Q21198","display_name":"Computer science","level":0,"score":0.773131251335144},{"id":"https://openalex.org/C11413529","wikidata":"https://www.wikidata.org/wiki/Q8366","display_name":"Algorithm","level":1,"score":0.47958531975746155},{"id":"https://openalex.org/C137019171","wikidata":"https://www.wikidata.org/wiki/Q2623817","display_name":"Quantum algorithm","level":3,"score":0.44000229239463806},{"id":"https://openalex.org/C106516650","wikidata":"https://www.wikidata.org/wiki/Q8366","display_name":"Algorithm design","level":2,"score":0.41496923565864563},{"id":"https://openalex.org/C84114770","wikidata":"https://www.wikidata.org/wiki/Q46344","display_name":"Quantum","level":2,"score":0.3838645815849304},{"id":"https://openalex.org/C80444323","wikidata":"https://www.wikidata.org/wiki/Q2878974","display_name":"Theoretical computer science","level":1,"score":0.3489573001861572},{"id":"https://openalex.org/C121332964","wikidata":"https://www.wikidata.org/wiki/Q413","display_name":"Physics","level":0,"score":0.0},{"id":"https://openalex.org/C62520636","wikidata":"https://www.wikidata.org/wiki/Q944","display_name":"Quantum mechanics","level":1,"score":0.0}],"mesh":[],"locations_count":1,"locations":[{"id":"doi:10.1109/jiot.2024.3383034","is_oa":true,"landing_page_url":"https://doi.org/10.1109/jiot.2024.3383034","pdf_url":"https://ieeexplore.ieee.org/ielx7/6488907/6702522/10485497.pdf","source":{"id":"https://openalex.org/S2480266640","display_name":"IEEE Internet of Things Journal","issn_l":"2327-4662","issn":["2327-4662","2372-2541"],"is_oa":false,"is_in_doaj":false,"is_core":true,"host_organization":"https://openalex.org/P4310319808","host_organization_name":"Institute of Electrical and Electronics Engineers","host_organization_lineage":["https://openalex.org/P4310319808"],"host_organization_lineage_names":["Institute of Electrical and Electronics Engineers"],"type":"journal"},"license":null,"license_id":null,"version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"IEEE Internet of Things Journal","raw_type":"journal-article"}],"best_oa_location":{"id":"doi:10.1109/jiot.2024.3383034","is_oa":true,"landing_page_url":"https://doi.org/10.1109/jiot.2024.3383034","pdf_url":"https://ieeexplore.ieee.org/ielx7/6488907/6702522/10485497.pdf","source":{"id":"https://openalex.org/S2480266640","display_name":"IEEE Internet of Things Journal","issn_l":"2327-4662","issn":["2327-4662","2372-2541"],"is_oa":false,"is_in_doaj":false,"is_core":true,"host_organization":"https://openalex.org/P4310319808","host_organization_name":"Institute of Electrical and Electronics Engineers","host_organization_lineage":["https://openalex.org/P4310319808"],"host_organization_lineage_names":["Institute of Electrical and Electronics Engineers"],"type":"journal"},"license":null,"license_id":null,"version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"IEEE Internet of Things Journal","raw_type":"journal-article"},"sustainable_development_goals":[],"awards":[],"funders":[],"has_content":{"grobid_xml":true,"pdf":true},"content_urls":{"pdf":"https://content.openalex.org/works/W4393307067.pdf","grobid_xml":"https://content.openalex.org/works/W4393307067.grobid-xml"},"referenced_works_count":55,"referenced_works":["https://openalex.org/W112979213","https://openalex.org/W1521372188","https://openalex.org/W1537178950","https://openalex.org/W1665116568","https://openalex.org/W1749786511","https://openalex.org/W1996143597","https://openalex.org/W2050151907","https://openalex.org/W2058286540","https://openalex.org/W2084652510","https://openalex.org/W2102008187","https://openalex.org/W2109371739","https://openalex.org/W2111935653","https://openalex.org/W2114638353","https://openalex.org/W2137147061","https://openalex.org/W2148132004","https://openalex.org/W2400908863","https://openalex.org/W2764347725","https://openalex.org/W2889126882","https://openalex.org/W3005600047","https://openalex.org/W3012373798","https://openalex.org/W3015520254","https://openalex.org/W3039243730","https://openalex.org/W3081200613","https://openalex.org/W3082454056","https://openalex.org/W3097778481","https://openalex.org/W3098611442","https://openalex.org/W3100060644","https://openalex.org/W3100798923","https://openalex.org/W3111297213","https://openalex.org/W3134320828","https://openalex.org/W3134839120","https://openalex.org/W3151685851","https://openalex.org/W3184761404","https://openalex.org/W3206887424","https://openalex.org/W3208394958","https://openalex.org/W4220999459","https://openalex.org/W4223482364","https://openalex.org/W4226265007","https://openalex.org/W4229725180","https://openalex.org/W4285070256","https://openalex.org/W4291745492","https://openalex.org/W4309880460","https://openalex.org/W4322760916","https://openalex.org/W4324143158","https://openalex.org/W4386557364","https://openalex.org/W4388624524","https://openalex.org/W6604638300","https://openalex.org/W6665020747","https://openalex.org/W6675550851","https://openalex.org/W6679949415","https://openalex.org/W6754271093","https://openalex.org/W6773691577","https://openalex.org/W6784903844","https://openalex.org/W6785536489","https://openalex.org/W6839660851"],"related_works":["https://openalex.org/W4353086852","https://openalex.org/W2393888177","https://openalex.org/W2544423928","https://openalex.org/W2967268719","https://openalex.org/W2115794623","https://openalex.org/W3115392711","https://openalex.org/W2360264381","https://openalex.org/W2067173559","https://openalex.org/W1613730747","https://openalex.org/W2541389358"],"abstract_inverted_index":{"Verifying":[0],"system":[1,32,76,154,190],"specifications":[2,33,77],"is":[3,46,92,159],"a":[4,60,86,103,116,197],"crucial":[5],"requirement":[6],"in":[7,17,54,185,214,230],"science":[8],"and":[9,15,25,36,99,152],"technology,":[10],"as":[11],"it":[12],"improves":[13],"accuracy":[14],"efficiency":[16,184,225],"systems":[18,38],"engineering.":[19],"However,":[20],"traditional":[21],"computers":[22,136],"are":[23,132],"time-consuming":[24],"cannot":[26],"efficiently":[27,70],"check":[28,71,146],"the":[29,66,72,95,112,122,140,143,147,178,182,187,193,207,220,224,227,232,235],"consistency":[30,53,73,148,188,233],"of":[31,74,89,94,119,149,170,189,201,216,226,234],"for":[34,51,134],"classical":[35,113,135,153,208],"quantum":[37,48,55,62,151,198,236],"due":[39],"to":[40,69,111,137,145,203,206],"exponential":[41,108],"complexity":[42,88,118],"costs.":[43],"Currently,":[44],"there":[45],"no":[47],"approach":[49,114],"available":[50],"verifying":[52],"systems.":[56],"This":[57],"paper":[58],"introduces":[59],"novel":[61],"algorithm":[63,84,124,141,158,195,229],"that":[64],"utilizes":[65],"entanglement":[67],"measure":[68],"unknown":[75],"represented":[78],"by":[79],"m":[80],"oracles.":[81],"The":[82,156,172],"proposed":[83,123,157,194,228],"has":[85,142],"time":[87,117,217],"O(m-2),":[90],"which":[91,131],"independent":[93],"input":[96,129,168],"size":[97,169],"n":[98],"depends":[100],"only":[101],"on":[102],"predetermined":[104],"error":[105],"margin,":[106],"providing":[107],"speedup":[109],"compared":[110,205],"with":[115,166,177],"O(m2n).":[120],"Moreover,":[121],"can":[125],"handle":[126],"weighted":[127],"superposition":[128],"states,":[130],"impossible":[133],"handle.":[138],"Thus,":[139],"potential":[144],"both":[150],"specifications.":[155,191,238],"realized":[160],"experimentally":[161],"using":[162],"IBM\u2019s":[163],"Aer":[164],"simulator":[165],"an":[167],"n=12.":[171],"experimental":[173],"results":[174,222],"closely":[175],"aligned":[176],"theoretical":[179],"predictions,":[180],"demonstrating":[181],"algorithm\u2019s":[183],"checking":[186,231],"Specifically,":[192],"achieved":[196],"supremacy":[199],"ratio":[200],"300%":[202],"3100%":[204],"algorithm,":[209],"highlighting":[210],"its":[211],"significant":[212],"advantage":[213],"terms":[215],"complexity.":[218],"Additionally,":[219],"simulation":[221],"confirmed":[223],"system\u2019s":[237]},"counts_by_year":[{"year":2025,"cited_by_count":4},{"year":2024,"cited_by_count":5}],"updated_date":"2025-11-06T03:46:38.306776","created_date":"2025-10-10T00:00:00"}