{"id":"https://openalex.org/W3166350861","doi":"https://doi.org/10.1145/3437959.3459256","title":"Comparing Implementations of Cellular Automata as Images: A Novel Approach to Verification by Combining Image Processing and Machine Learning","display_name":"Comparing Implementations of Cellular Automata as Images: A Novel Approach to Verification by Combining Image Processing and Machine Learning","publication_year":2021,"publication_date":"2021-05-21","ids":{"openalex":"https://openalex.org/W3166350861","doi":"https://doi.org/10.1145/3437959.3459256","mag":"3166350861"},"language":"en","primary_location":{"id":"doi:10.1145/3437959.3459256","is_oa":false,"landing_page_url":"https://doi.org/10.1145/3437959.3459256","pdf_url":null,"source":null,"license":null,"license_id":null,"version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"Proceedings of the 2021 ACM SIGSIM Conference on Principles of Advanced Discrete Simulation","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/A5030926823","display_name":"Maciej K. Wozniak","orcid":"https://orcid.org/0000-0002-3432-6151"},"institutions":[{"id":"https://openalex.org/I83328450","display_name":"Miami University","ror":"https://ror.org/05nbqxr67","country_code":"US","type":"education","lineage":["https://openalex.org/I83328450"]}],"countries":["US"],"is_corresponding":true,"raw_author_name":"Maciej K. Wozniak","raw_affiliation_strings":["Miami University, Oxford, OH, USA"],"affiliations":[{"raw_affiliation_string":"Miami University, Oxford, OH, USA","institution_ids":["https://openalex.org/I83328450"]}]},{"author_position":"last","author":{"id":"https://openalex.org/A5023496425","display_name":"Philippe J. Giabbanelli","orcid":"https://orcid.org/0000-0001-6816-355X"},"institutions":[{"id":"https://openalex.org/I83328450","display_name":"Miami University","ror":"https://ror.org/05nbqxr67","country_code":"US","type":"education","lineage":["https://openalex.org/I83328450"]}],"countries":["US"],"is_corresponding":false,"raw_author_name":"Philippe J. Giabbanelli","raw_affiliation_strings":["Miami Universiy, Oxord, OH, USA"],"affiliations":[{"raw_affiliation_string":"Miami Universiy, Oxord, OH, USA","institution_ids":["https://openalex.org/I83328450"]}]}],"institutions":[],"countries_distinct_count":1,"institutions_distinct_count":2,"corresponding_author_ids":["https://openalex.org/A5030926823"],"corresponding_institution_ids":["https://openalex.org/I83328450"],"apc_list":null,"apc_paid":null,"fwci":0.7789,"has_fulltext":false,"cited_by_count":6,"citation_normalized_percentile":{"value":0.70723295,"is_in_top_1_percent":false,"is_in_top_10_percent":false},"cited_by_percentile_year":{"min":93,"max":96},"biblio":{"volume":"25","issue":null,"first_page":"13","last_page":"25"},"is_retracted":false,"is_paratext":false,"is_xpac":false,"primary_topic":{"id":"https://openalex.org/T11206","display_name":"Model Reduction and Neural Networks","score":0.97079998254776,"subfield":{"id":"https://openalex.org/subfields/3109","display_name":"Statistical and Nonlinear Physics"},"field":{"id":"https://openalex.org/fields/31","display_name":"Physics and Astronomy"},"domain":{"id":"https://openalex.org/domains/3","display_name":"Physical Sciences"}},"topics":[{"id":"https://openalex.org/T11206","display_name":"Model Reduction and Neural Networks","score":0.97079998254776,"subfield":{"id":"https://openalex.org/subfields/3109","display_name":"Statistical and Nonlinear Physics"},"field":{"id":"https://openalex.org/fields/31","display_name":"Physics and Astronomy"},"domain":{"id":"https://openalex.org/domains/3","display_name":"Physical Sciences"}},{"id":"https://openalex.org/T11689","display_name":"Adversarial Robustness in Machine Learning","score":0.968999981880188,"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/T10775","display_name":"Generative Adversarial Networks and Image Synthesis","score":0.9670000076293945,"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/computer-science","display_name":"Computer science","score":0.8265048265457153},{"id":"https://openalex.org/keywords/cellular-automaton","display_name":"Cellular automaton","score":0.731738805770874},{"id":"https://openalex.org/keywords/implementation","display_name":"Implementation","score":0.7207621335983276},{"id":"https://openalex.org/keywords/automaton","display_name":"Automaton","score":0.5517635941505432},{"id":"https://openalex.org/keywords/image-processing","display_name":"Image processing","score":0.5467886924743652},{"id":"https://openalex.org/keywords/learning-automata","display_name":"Learning automata","score":0.531277060508728},{"id":"https://openalex.org/keywords/artificial-intelligence","display_name":"Artificial intelligence","score":0.48847854137420654},{"id":"https://openalex.org/keywords/image","display_name":"Image (mathematics)","score":0.47370120882987976},{"id":"https://openalex.org/keywords/computer-architecture","display_name":"Computer architecture","score":0.4113713502883911},{"id":"https://openalex.org/keywords/computer-engineering","display_name":"Computer engineering","score":0.3345639705657959},{"id":"https://openalex.org/keywords/computer-vision","display_name":"Computer vision","score":0.3224688768386841},{"id":"https://openalex.org/keywords/programming-language","display_name":"Programming language","score":0.2675972878932953}],"concepts":[{"id":"https://openalex.org/C41008148","wikidata":"https://www.wikidata.org/wiki/Q21198","display_name":"Computer science","level":0,"score":0.8265048265457153},{"id":"https://openalex.org/C35527583","wikidata":"https://www.wikidata.org/wiki/Q189156","display_name":"Cellular automaton","level":2,"score":0.731738805770874},{"id":"https://openalex.org/C26713055","wikidata":"https://www.wikidata.org/wiki/Q245962","display_name":"Implementation","level":2,"score":0.7207621335983276},{"id":"https://openalex.org/C112505250","wikidata":"https://www.wikidata.org/wiki/Q787116","display_name":"Automaton","level":2,"score":0.5517635941505432},{"id":"https://openalex.org/C9417928","wikidata":"https://www.wikidata.org/wiki/Q1070689","display_name":"Image processing","level":3,"score":0.5467886924743652},{"id":"https://openalex.org/C2776807809","wikidata":"https://www.wikidata.org/wiki/Q6510160","display_name":"Learning automata","level":3,"score":0.531277060508728},{"id":"https://openalex.org/C154945302","wikidata":"https://www.wikidata.org/wiki/Q11660","display_name":"Artificial intelligence","level":1,"score":0.48847854137420654},{"id":"https://openalex.org/C115961682","wikidata":"https://www.wikidata.org/wiki/Q860623","display_name":"Image (mathematics)","level":2,"score":0.47370120882987976},{"id":"https://openalex.org/C118524514","wikidata":"https://www.wikidata.org/wiki/Q173212","display_name":"Computer architecture","level":1,"score":0.4113713502883911},{"id":"https://openalex.org/C113775141","wikidata":"https://www.wikidata.org/wiki/Q428691","display_name":"Computer engineering","level":1,"score":0.3345639705657959},{"id":"https://openalex.org/C31972630","wikidata":"https://www.wikidata.org/wiki/Q844240","display_name":"Computer vision","level":1,"score":0.3224688768386841},{"id":"https://openalex.org/C199360897","wikidata":"https://www.wikidata.org/wiki/Q9143","display_name":"Programming language","level":1,"score":0.2675972878932953}],"mesh":[],"locations_count":1,"locations":[{"id":"doi:10.1145/3437959.3459256","is_oa":false,"landing_page_url":"https://doi.org/10.1145/3437959.3459256","pdf_url":null,"source":null,"license":null,"license_id":null,"version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"Proceedings of the 2021 ACM SIGSIM Conference on Principles of Advanced Discrete Simulation","raw_type":"proceedings-article"}],"best_oa_location":null,"sustainable_development_goals":[],"awards":[],"funders":[],"has_content":{"pdf":false,"grobid_xml":false},"content_urls":null,"referenced_works_count":59,"referenced_works":["https://openalex.org/W635494197","https://openalex.org/W1811397878","https://openalex.org/W1953376061","https://openalex.org/W1966696468","https://openalex.org/W1969469174","https://openalex.org/W1985818188","https://openalex.org/W1989419520","https://openalex.org/W1992636780","https://openalex.org/W2003868226","https://openalex.org/W2022756003","https://openalex.org/W2034680797","https://openalex.org/W2062671023","https://openalex.org/W2064373014","https://openalex.org/W2076576187","https://openalex.org/W2108715893","https://openalex.org/W2112397756","https://openalex.org/W2128202785","https://openalex.org/W2133059825","https://openalex.org/W2139416543","https://openalex.org/W2145023731","https://openalex.org/W2155632266","https://openalex.org/W2161435222","https://openalex.org/W2165698076","https://openalex.org/W2176256423","https://openalex.org/W2180748755","https://openalex.org/W2194775991","https://openalex.org/W2276662578","https://openalex.org/W2483686803","https://openalex.org/W2509099314","https://openalex.org/W2510850936","https://openalex.org/W2560830114","https://openalex.org/W2583991978","https://openalex.org/W2588668929","https://openalex.org/W2758055458","https://openalex.org/W2787181861","https://openalex.org/W2889262254","https://openalex.org/W2911762933","https://openalex.org/W2925926810","https://openalex.org/W2947682047","https://openalex.org/W2997574889","https://openalex.org/W3006014403","https://openalex.org/W3008892598","https://openalex.org/W3009726118","https://openalex.org/W3034073466","https://openalex.org/W3037772610","https://openalex.org/W3088155443","https://openalex.org/W3092808321","https://openalex.org/W3108410348","https://openalex.org/W3114783668","https://openalex.org/W3116078901","https://openalex.org/W3118651117","https://openalex.org/W3121263745","https://openalex.org/W3133152305","https://openalex.org/W3152031747","https://openalex.org/W3161192096","https://openalex.org/W4244307164","https://openalex.org/W4299701691","https://openalex.org/W6688541972","https://openalex.org/W6787803831"],"related_works":["https://openalex.org/W2605251831","https://openalex.org/W2080322084","https://openalex.org/W2005185696","https://openalex.org/W23451984","https://openalex.org/W2161229648","https://openalex.org/W3003164983","https://openalex.org/W2547383453","https://openalex.org/W3166350861","https://openalex.org/W2161686901","https://openalex.org/W78523096"],"abstract_inverted_index":{"Discrete":[0],"models":[1,153],"such":[2,36,41],"as":[3,42,121],"cellular":[4,115,151],"automata":[5,116,152],"may":[6],"be":[7,60,73,103],"ported":[8],"from":[9],"one":[10],"platform":[11],"or":[12,28,44,145],"language":[13],"onto":[14],"another":[15],"to":[16],"improve":[17],"performances,":[18],"for":[19],"instance":[20],"by":[21,117],"rewriting":[22],"legacy":[23],"Matlab":[24],"code":[25],"into":[26,31],"C++":[27],"adding":[29],"optimizations":[30],"a":[32,65,88,92],"Python":[33],"implementation.":[34],"Although":[35,81],"transformations":[37],"can":[38,58,72,166],"offer":[39],"benefits":[40],"scalability":[43],"maintainability,":[45],"they":[46],"also":[47],"have":[48],"the":[49,69,128,175,180,184,187],"risk":[50],"of":[51,87,114,130,170,186],"introducing":[52],"bugs.":[53],"While":[54],"standard":[55],"verification":[56],"techniques":[57,137],"always":[59],"applied,":[61],"this":[62,106,124],"situation":[63],"presents":[64],"unique":[66],"opportunity":[67],"since":[68],"two":[70],"implementations":[71,113],"directly":[74],"compared":[75],"based":[76],"on":[77,179,183],"their":[78,119],"simulation":[79],"runs.":[80],"comparing":[82,112],"average":[83],"results":[84],"across":[85,148],"runs":[86],"same":[89],"configuration":[90],"is":[91],"common":[93],"practice,":[94],"our":[95],"paper":[96],"shows":[97],"that":[98,160],"many":[99],"bugs":[100],"would":[101],"not":[102],"detected":[104],"at":[105],"aggregate":[107],"level.":[108],"We":[109,158],"thus":[110],"propose":[111],"analyzing":[118],"outputs":[120],"images.":[122],"In":[123],"paper,":[125],"we":[126],"examine":[127],"detection":[129],"several":[131],"implementation":[132],"errors":[133],"using":[134],"five":[135],"different":[136,150],"(supervised/unsupervised":[138],"image":[139],"processing,":[140],"decision":[141],"trees,":[142],"random":[143,164],"forests,":[144],"deep":[146],"learning)":[147],"three":[149],"(forest":[154],"fire,":[155],"tumor,":[156],"HIV).":[157],"show":[159],"in":[161],"some":[162],"models,":[163],"forests":[165],"detect":[167],"4":[168],"out":[169],"5":[171],"erroneous":[172],"runs,":[173],"although":[174],"accuracy":[176],"depends":[177],"both":[178],"model":[181],"and":[182],"nature":[185],"errors.":[188]},"counts_by_year":[{"year":2024,"cited_by_count":2},{"year":2022,"cited_by_count":2},{"year":2021,"cited_by_count":2}],"updated_date":"2025-11-06T03:46:38.306776","created_date":"2025-10-10T00:00:00"}