{"id":"https://openalex.org/W4399601555","doi":"https://doi.org/10.1109/access.2024.3414374","title":"FABI: A Formal Analyzer of Binary Image Objects Identification Tools","display_name":"FABI: A Formal Analyzer of Binary Image Objects Identification Tools","publication_year":2024,"publication_date":"2024-01-01","ids":{"openalex":"https://openalex.org/W4399601555","doi":"https://doi.org/10.1109/access.2024.3414374"},"language":"en","primary_location":{"id":"doi:10.1109/access.2024.3414374","is_oa":true,"landing_page_url":"https://doi.org/10.1109/access.2024.3414374","pdf_url":null,"source":{"id":"https://openalex.org/S2485537415","display_name":"IEEE Access","issn_l":"2169-3536","issn":["2169-3536"],"is_oa":true,"is_in_doaj":true,"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 Access","raw_type":"journal-article"},"type":"article","indexed_in":["crossref","doaj"],"open_access":{"is_oa":true,"oa_status":"gold","oa_url":"https://doi.org/10.1109/access.2024.3414374","any_repository_has_fulltext":true},"authorships":[{"author_position":"first","author":{"id":"https://openalex.org/A5006000461","display_name":"Saima Iqbal","orcid":"https://orcid.org/0000-0003-2697-1860"},"institutions":[{"id":"https://openalex.org/I16076960","display_name":"COMSATS University Islamabad","ror":"https://ror.org/00nqqvk19","country_code":"PK","type":"education","lineage":["https://openalex.org/I16076960"]}],"countries":["PK"],"is_corresponding":true,"raw_author_name":"Saima Iqbal","raw_affiliation_strings":["Department of Electrical and Computer Engineering, COMSATS University Islamabad, Wah Campus, Wah Cantt, Pakistan","Department of Electrical and Computer Engineering, COMSATS University Islamabad, Wah Campus, Pakistan"],"raw_orcid":null,"affiliations":[{"raw_affiliation_string":"Department of Electrical and Computer Engineering, COMSATS University Islamabad, Wah Campus, Wah Cantt, Pakistan","institution_ids":["https://openalex.org/I16076960"]},{"raw_affiliation_string":"Department of Electrical and Computer Engineering, COMSATS University Islamabad, Wah Campus, Pakistan","institution_ids":["https://openalex.org/I16076960"]}]},{"author_position":"middle","author":{"id":"https://openalex.org/A5036580441","display_name":"Ahmed B. Altamimi","orcid":"https://orcid.org/0000-0003-2893-0042"},"institutions":[],"countries":[],"is_corresponding":false,"raw_author_name":"Ahmed B. Altamimi","raw_affiliation_strings":["Department of Computer Engineering, University of Ha’il, Ha’il, Saudi Arabia"],"raw_orcid":"https://orcid.org/0000-0003-2893-0042","affiliations":[{"raw_affiliation_string":"Department of Computer Engineering, University of Ha’il, Ha’il, Saudi Arabia","institution_ids":[]}]},{"author_position":"middle","author":{"id":"https://openalex.org/A5075745260","display_name":"Wilayat Khan","orcid":null},"institutions":[{"id":"https://openalex.org/I16076960","display_name":"COMSATS University Islamabad","ror":"https://ror.org/00nqqvk19","country_code":"PK","type":"education","lineage":["https://openalex.org/I16076960"]}],"countries":["PK"],"is_corresponding":false,"raw_author_name":"Wilayat Khan","raw_affiliation_strings":["Department of Electrical and Computer Engineering, COMSATS University Islamabad, Wah Campus, Wah Cantt, Pakistan","Department of Electrical and Computer Engineering, COMSATS University Islamabad, Wah Campus, Pakistan"],"raw_orcid":"https://orcid.org/0000-0003-0993-5964","affiliations":[{"raw_affiliation_string":"Department of Electrical and Computer Engineering, COMSATS University Islamabad, Wah Campus, Wah Cantt, Pakistan","institution_ids":["https://openalex.org/I16076960"]},{"raw_affiliation_string":"Department of Electrical and Computer Engineering, COMSATS University Islamabad, Wah Campus, Pakistan","institution_ids":["https://openalex.org/I16076960"]}]},{"author_position":"middle","author":{"id":"https://openalex.org/A5070843226","display_name":"Mohammad Alsaffar","orcid":null},"institutions":[],"countries":[],"is_corresponding":false,"raw_author_name":"Mohammad Alsaffar","raw_affiliation_strings":["Department of Information and Computer Science, University of Ha’il, Ha’il, Saudi Arabia"],"raw_orcid":"https://orcid.org/0000-0001-8116-5322","affiliations":[{"raw_affiliation_string":"Department of Information and Computer Science, University of Ha’il, Ha’il, Saudi Arabia","institution_ids":[]}]},{"author_position":"middle","author":{"id":"https://openalex.org/A5070999498","display_name":"Aakash Ahmad","orcid":"https://orcid.org/0000-0002-3198-9638"},"institutions":[],"countries":[],"is_corresponding":false,"raw_author_name":"Aakash Ahmad","raw_affiliation_strings":["School of Computing and Communications, Lancaster University Leipzig, Leipzig, Germany","School of Computing and Communications, Lancaster University Leipzig, Germany"],"raw_orcid":null,"affiliations":[{"raw_affiliation_string":"School of Computing and Communications, Lancaster University Leipzig, Leipzig, Germany","institution_ids":[]},{"raw_affiliation_string":"School of Computing and Communications, Lancaster University Leipzig, Germany","institution_ids":[]}]},{"author_position":"last","author":{"id":"https://openalex.org/A5099046162","display_name":"Fahad F. Alfaisal","orcid":null},"institutions":[],"countries":[],"is_corresponding":false,"raw_author_name":"Fahad F. Alfaisal","raw_affiliation_strings":["Department of Information and Computer Science, University of Ha’il, Ha’il, Saudi Arabia"],"raw_orcid":null,"affiliations":[{"raw_affiliation_string":"Department of Information and Computer Science, University of Ha’il, Ha’il, Saudi Arabia","institution_ids":[]}]}],"institutions":[],"countries_distinct_count":1,"institutions_distinct_count":6,"corresponding_author_ids":["https://openalex.org/A5006000461"],"corresponding_institution_ids":["https://openalex.org/I16076960"],"apc_list":{"value":1850,"currency":"USD","value_usd":1850},"apc_paid":{"value":1850,"currency":"USD","value_usd":1850},"fwci":0.0,"has_fulltext":false,"cited_by_count":0,"citation_normalized_percentile":{"value":0.07407453,"is_in_top_1_percent":false,"is_in_top_10_percent":false},"cited_by_percentile_year":null,"biblio":{"volume":"12","issue":null,"first_page":"186313","last_page":"186325"},"is_retracted":false,"is_paratext":false,"is_xpac":false,"primary_topic":{"id":"https://openalex.org/T10824","display_name":"Image Retrieval and Classification Techniques","score":0.9430000185966492,"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"}},"topics":[{"id":"https://openalex.org/T10824","display_name":"Image Retrieval and Classification Techniques","score":0.9430000185966492,"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/T10627","display_name":"Advanced Image and Video Retrieval Techniques","score":0.930899977684021,"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/T14339","display_name":"Image Processing and 3D Reconstruction","score":0.9287999868392944,"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"}}],"keywords":[{"id":"https://openalex.org/keywords/analyser","display_name":"Analyser","score":0.7747719883918762},{"id":"https://openalex.org/keywords/computer-science","display_name":"Computer science","score":0.7492610216140747},{"id":"https://openalex.org/keywords/identification","display_name":"Identification (biology)","score":0.6509157419204712},{"id":"https://openalex.org/keywords/image","display_name":"Image (mathematics)","score":0.516822874546051},{"id":"https://openalex.org/keywords/binary-number","display_name":"Binary number","score":0.4778404235839844},{"id":"https://openalex.org/keywords/artificial-intelligence","display_name":"Artificial intelligence","score":0.4117542505264282},{"id":"https://openalex.org/keywords/computer-vision","display_name":"Computer vision","score":0.39566469192504883},{"id":"https://openalex.org/keywords/arithmetic","display_name":"Arithmetic","score":0.10060182213783264},{"id":"https://openalex.org/keywords/mathematics","display_name":"Mathematics","score":0.09968903660774231},{"id":"https://openalex.org/keywords/optics","display_name":"Optics","score":0.05578184127807617}],"concepts":[{"id":"https://openalex.org/C26834552","wikidata":"https://www.wikidata.org/wiki/Q3275846","display_name":"Analyser","level":2,"score":0.7747719883918762},{"id":"https://openalex.org/C41008148","wikidata":"https://www.wikidata.org/wiki/Q21198","display_name":"Computer science","level":0,"score":0.7492610216140747},{"id":"https://openalex.org/C116834253","wikidata":"https://www.wikidata.org/wiki/Q2039217","display_name":"Identification (biology)","level":2,"score":0.6509157419204712},{"id":"https://openalex.org/C115961682","wikidata":"https://www.wikidata.org/wiki/Q860623","display_name":"Image (mathematics)","level":2,"score":0.516822874546051},{"id":"https://openalex.org/C48372109","wikidata":"https://www.wikidata.org/wiki/Q3913","display_name":"Binary number","level":2,"score":0.4778404235839844},{"id":"https://openalex.org/C154945302","wikidata":"https://www.wikidata.org/wiki/Q11660","display_name":"Artificial intelligence","level":1,"score":0.4117542505264282},{"id":"https://openalex.org/C31972630","wikidata":"https://www.wikidata.org/wiki/Q844240","display_name":"Computer vision","level":1,"score":0.39566469192504883},{"id":"https://openalex.org/C94375191","wikidata":"https://www.wikidata.org/wiki/Q11205","display_name":"Arithmetic","level":1,"score":0.10060182213783264},{"id":"https://openalex.org/C33923547","wikidata":"https://www.wikidata.org/wiki/Q395","display_name":"Mathematics","level":0,"score":0.09968903660774231},{"id":"https://openalex.org/C120665830","wikidata":"https://www.wikidata.org/wiki/Q14620","display_name":"Optics","level":1,"score":0.05578184127807617},{"id":"https://openalex.org/C121332964","wikidata":"https://www.wikidata.org/wiki/Q413","display_name":"Physics","level":0,"score":0.0},{"id":"https://openalex.org/C86803240","wikidata":"https://www.wikidata.org/wiki/Q420","display_name":"Biology","level":0,"score":0.0},{"id":"https://openalex.org/C59822182","wikidata":"https://www.wikidata.org/wiki/Q441","display_name":"Botany","level":1,"score":0.0}],"mesh":[],"locations_count":2,"locations":[{"id":"doi:10.1109/access.2024.3414374","is_oa":true,"landing_page_url":"https://doi.org/10.1109/access.2024.3414374","pdf_url":null,"source":{"id":"https://openalex.org/S2485537415","display_name":"IEEE Access","issn_l":"2169-3536","issn":["2169-3536"],"is_oa":true,"is_in_doaj":true,"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 Access","raw_type":"journal-article"},{"id":"pmh:oai:doaj.org/article:53506406ccc34eae97a19eacc773c89d","is_oa":true,"landing_page_url":"https://doaj.org/article/53506406ccc34eae97a19eacc773c89d","pdf_url":null,"source":{"id":"https://openalex.org/S4306401280","display_name":"DOAJ (DOAJ: Directory of Open Access Journals)","issn_l":null,"issn":null,"is_oa":false,"is_in_doaj":false,"is_core":false,"host_organization":null,"host_organization_name":null,"host_organization_lineage":[],"host_organization_lineage_names":[],"type":"repository"},"license":"cc-by-sa","license_id":"https://openalex.org/licenses/cc-by-sa","version":"submittedVersion","is_accepted":false,"is_published":false,"raw_source_name":"IEEE Access, Vol 12, Pp 186313-186325 (2024)","raw_type":"article"}],"best_oa_location":{"id":"doi:10.1109/access.2024.3414374","is_oa":true,"landing_page_url":"https://doi.org/10.1109/access.2024.3414374","pdf_url":null,"source":{"id":"https://openalex.org/S2485537415","display_name":"IEEE Access","issn_l":"2169-3536","issn":["2169-3536"],"is_oa":true,"is_in_doaj":true,"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 Access","raw_type":"journal-article"},"sustainable_development_goals":[],"awards":[],"funders":[],"has_content":{"pdf":false,"grobid_xml":false},"content_urls":null,"referenced_works_count":39,"referenced_works":["https://openalex.org/W71150444","https://openalex.org/W2018061979","https://openalex.org/W2031454541","https://openalex.org/W2227421386","https://openalex.org/W2578339543","https://openalex.org/W2596428662","https://openalex.org/W2606438808","https://openalex.org/W2624848721","https://openalex.org/W2753792608","https://openalex.org/W2767875366","https://openalex.org/W2884367402","https://openalex.org/W2896707022","https://openalex.org/W2901063763","https://openalex.org/W2978995391","https://openalex.org/W2983434587","https://openalex.org/W2991967486","https://openalex.org/W3001083904","https://openalex.org/W3003306432","https://openalex.org/W3008960538","https://openalex.org/W3015461837","https://openalex.org/W3030177747","https://openalex.org/W3032150799","https://openalex.org/W3035578028","https://openalex.org/W3037839692","https://openalex.org/W3048303706","https://openalex.org/W3104549103","https://openalex.org/W3106637170","https://openalex.org/W3137101227","https://openalex.org/W3148360541","https://openalex.org/W3156643720","https://openalex.org/W3158328762","https://openalex.org/W3167960955","https://openalex.org/W3195742782","https://openalex.org/W3202864273","https://openalex.org/W3206261744","https://openalex.org/W4220724714","https://openalex.org/W4224236022","https://openalex.org/W4381250293","https://openalex.org/W4386310010"],"related_works":["https://openalex.org/W1904432136","https://openalex.org/W2039934116","https://openalex.org/W1987186610","https://openalex.org/W2005457983","https://openalex.org/W2096369514","https://openalex.org/W2092836002","https://openalex.org/W1975208120","https://openalex.org/W2047029026","https://openalex.org/W2116938113","https://openalex.org/W1999639011"],"abstract_inverted_index":{"In":[0],"computer":[1],"vision,":[2],"the":[3,54,66,73,82,88,96,107,125,130,146,153,172,199,202,206,213,216,221,227,232],"goal":[4],"of":[5,53,70,103,109,133,143,145,161,201,231],"object":[6,60,77,116,148,164,225],"identification":[7,61,78,117,149,165],"in":[8,31,62,72,95,179,215],"images":[9,64,97],"is":[10,65,100,113,167,187],"to":[11,140],"track":[12],"or":[13,84,155],"count":[14],"objects":[15,94,203,214],"such":[16,34],"as":[17,35],"persons,":[18],"cars,":[19],"animals":[20],"and":[21,49,68,175,219],"so":[22],"on.":[23],"Object":[24],"detection":[25],"techniques":[26,57,92,178],"have":[27],"found":[28],"their":[29,104],"place":[30],"several":[32],"applications":[33],"video":[36],"analytic,":[37],"contact-less":[38],"checkouts,":[39],"inventory":[40],"management,":[41],"defect":[42],"detection,":[43],"productivity":[44],"improvements,":[45],"landscape":[46],"patch":[47],"analysis":[48],"many":[50],"more.":[51],"One":[52],"most":[55],"common":[56],"for":[58],"image":[59,76,115,126,147],"binary":[63],"four":[67,83,154,173],"eight-neighbourhood":[69,156],"pixels":[71],"images.":[74,197],"The":[75,185],"mechanisms":[79],"based":[80,151],"on":[81,152],"eight-neighbour":[85],"(more":[86],"generally,":[87],"k":[89],"nearest":[90],"neighbours)":[91],"identify":[93],"but":[98],"there":[99,112],"no":[101,114],"guarantee":[102],"correctness.":[105],"To":[106,128],"best":[108],"our":[110],"knowledge,":[111],"tool":[118,166,186,208],"with":[119],"proof":[120,142,160],"that":[121],"it":[122,192],"correctly":[123],"identifies":[124],"objects.":[127],"meet":[129],"high":[131],"standards":[132],"correctness,":[134],"we":[135],"provide":[136],"a":[137,159,180],"formal":[138,217],"foundation":[139],"allow":[141],"correctness":[144,200],"tools":[150],"techniques.":[157],"As":[158],"concept,":[162],"an":[163],"developed":[168],"by":[169,190,205,211],"implementing":[170],"both,":[171],"neighbour":[174],"eight":[176],"neighbour,":[177],"general":[181],"purpose":[182],"programming":[183],"language.":[184],"experimentally":[188],"evaluated":[189],"running":[191,220],"against":[193],"real":[194],"life":[195],"RGB":[196],"Furthermore,":[198],"identified":[204],"prototype":[207],"are":[209],"checked":[210],"encoding":[212],"notations":[218],"predicate":[222],"over":[223],"each":[224],"using":[226],"type":[228],"checker":[229],"program":[230],"Coq":[233],"tool.":[234]},"counts_by_year":[],"updated_date":"2026-05-06T08:25:59.206177","created_date":"2024-06-14T00:00:00"}