{"id":"https://openalex.org/W3111220495","doi":"https://doi.org/10.29007/8dp4","title":"ARCH-COMP20 Repeatability Evaluation Report","display_name":"ARCH-COMP20 Repeatability Evaluation Report","publication_year":2020,"publication_date":"2020-09-26","ids":{"openalex":"https://openalex.org/W3111220495","doi":"https://doi.org/10.29007/8dp4","mag":"3111220495"},"language":"en","primary_location":{"id":"doi:10.29007/8dp4","is_oa":true,"landing_page_url":"https://doi.org/10.29007/8dp4","pdf_url":"https://easychair.org/publications/open/3W11","source":{"id":"https://openalex.org/S4220651395","display_name":"EPiC series in computing","issn_l":"2398-7340","issn":["2398-7340"],"is_oa":false,"is_in_doaj":false,"is_core":true,"host_organization":null,"host_organization_name":null,"host_organization_lineage":[],"host_organization_lineage_names":[],"type":"journal"},"license":null,"license_id":null,"version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"EPiC Series in Computing","raw_type":"proceedings-article"},"type":"article","indexed_in":["crossref"],"open_access":{"is_oa":true,"oa_status":"bronze","oa_url":"https://easychair.org/publications/open/3W11","any_repository_has_fulltext":false},"authorships":[{"author_position":"first","author":{"id":"https://openalex.org/A5067901159","display_name":"Taylor T. Johnson","orcid":"https://orcid.org/0000-0001-8021-9923"},"institutions":[{"id":"https://openalex.org/I200719446","display_name":"Vanderbilt University","ror":"https://ror.org/02vm5rt34","country_code":"US","type":"education","lineage":["https://openalex.org/I200719446"]},{"id":"https://openalex.org/I4210160740","display_name":"Integrated Software (United States)","ror":"https://ror.org/05dp7m259","country_code":"US","type":"company","lineage":["https://openalex.org/I4210160740"]}],"countries":["US"],"is_corresponding":true,"raw_author_name":"Taylor T Johnson","raw_affiliation_strings":["Vanderbilt University, Department of Electrical Engineering and Computer Science,","Institute for Software Integrated Systems, Nashville, TN, United States"],"raw_orcid":null,"affiliations":[{"raw_affiliation_string":"Vanderbilt University, Department of Electrical Engineering and Computer Science,","institution_ids":["https://openalex.org/I200719446"]},{"raw_affiliation_string":"Institute for Software Integrated Systems, Nashville, TN, United States","institution_ids":["https://openalex.org/I4210160740"]}]}],"institutions":[],"countries_distinct_count":1,"institutions_distinct_count":1,"corresponding_author_ids":["https://openalex.org/A5067901159"],"corresponding_institution_ids":["https://openalex.org/I200719446","https://openalex.org/I4210160740"],"apc_list":null,"apc_paid":null,"fwci":0.4549,"has_fulltext":true,"cited_by_count":2,"citation_normalized_percentile":{"value":0.82569643,"is_in_top_1_percent":false,"is_in_top_10_percent":false},"cited_by_percentile_year":{"min":90,"max":94},"biblio":{"volume":"74","issue":null,"first_page":"175","last_page":"165"},"is_retracted":false,"is_paratext":false,"is_xpac":false,"primary_topic":{"id":"https://openalex.org/T11986","display_name":"Scientific Computing and Data Management","score":0.9937999844551086,"subfield":{"id":"https://openalex.org/subfields/1802","display_name":"Information Systems and Management"},"field":{"id":"https://openalex.org/fields/18","display_name":"Decision Sciences"},"domain":{"id":"https://openalex.org/domains/2","display_name":"Social Sciences"}},"topics":[{"id":"https://openalex.org/T11986","display_name":"Scientific Computing and Data Management","score":0.9937999844551086,"subfield":{"id":"https://openalex.org/subfields/1802","display_name":"Information Systems and Management"},"field":{"id":"https://openalex.org/fields/18","display_name":"Decision Sciences"},"domain":{"id":"https://openalex.org/domains/2","display_name":"Social Sciences"}},{"id":"https://openalex.org/T12127","display_name":"Software System Performance and Reliability","score":0.993399977684021,"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/T10772","display_name":"Distributed systems and fault tolerance","score":0.9900000095367432,"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"}}],"keywords":[{"id":"https://openalex.org/keywords/repeatability","display_name":"Repeatability","score":0.9164659976959229},{"id":"https://openalex.org/keywords/computer-science","display_name":"Computer science","score":0.6574304103851318},{"id":"https://openalex.org/keywords/benchmark","display_name":"Benchmark (surveying)","score":0.5910956859588623},{"id":"https://openalex.org/keywords/scripting-language","display_name":"Scripting language","score":0.4891098141670227},{"id":"https://openalex.org/keywords/software-engineering","display_name":"Software engineering","score":0.4392211139202118},{"id":"https://openalex.org/keywords/arch","display_name":"Arch","score":0.43523073196411133},{"id":"https://openalex.org/keywords/reliability-engineering","display_name":"Reliability engineering","score":0.35161739587783813},{"id":"https://openalex.org/keywords/engineering","display_name":"Engineering","score":0.1620156466960907},{"id":"https://openalex.org/keywords/programming-language","display_name":"Programming language","score":0.15616217255592346},{"id":"https://openalex.org/keywords/mathematics","display_name":"Mathematics","score":0.08646923303604126}],"concepts":[{"id":"https://openalex.org/C154020017","wikidata":"https://www.wikidata.org/wiki/Q520171","display_name":"Repeatability","level":2,"score":0.9164659976959229},{"id":"https://openalex.org/C41008148","wikidata":"https://www.wikidata.org/wiki/Q21198","display_name":"Computer science","level":0,"score":0.6574304103851318},{"id":"https://openalex.org/C185798385","wikidata":"https://www.wikidata.org/wiki/Q1161707","display_name":"Benchmark (surveying)","level":2,"score":0.5910956859588623},{"id":"https://openalex.org/C61423126","wikidata":"https://www.wikidata.org/wiki/Q187432","display_name":"Scripting language","level":2,"score":0.4891098141670227},{"id":"https://openalex.org/C115903868","wikidata":"https://www.wikidata.org/wiki/Q80993","display_name":"Software engineering","level":1,"score":0.4392211139202118},{"id":"https://openalex.org/C11312509","wikidata":"https://www.wikidata.org/wiki/Q12277","display_name":"Arch","level":2,"score":0.43523073196411133},{"id":"https://openalex.org/C200601418","wikidata":"https://www.wikidata.org/wiki/Q2193887","display_name":"Reliability engineering","level":1,"score":0.35161739587783813},{"id":"https://openalex.org/C127413603","wikidata":"https://www.wikidata.org/wiki/Q11023","display_name":"Engineering","level":0,"score":0.1620156466960907},{"id":"https://openalex.org/C199360897","wikidata":"https://www.wikidata.org/wiki/Q9143","display_name":"Programming language","level":1,"score":0.15616217255592346},{"id":"https://openalex.org/C33923547","wikidata":"https://www.wikidata.org/wiki/Q395","display_name":"Mathematics","level":0,"score":0.08646923303604126},{"id":"https://openalex.org/C13280743","wikidata":"https://www.wikidata.org/wiki/Q131089","display_name":"Geodesy","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/C147176958","wikidata":"https://www.wikidata.org/wiki/Q77590","display_name":"Civil engineering","level":1,"score":0.0},{"id":"https://openalex.org/C205649164","wikidata":"https://www.wikidata.org/wiki/Q1071","display_name":"Geography","level":0,"score":0.0}],"mesh":[],"locations_count":1,"locations":[{"id":"doi:10.29007/8dp4","is_oa":true,"landing_page_url":"https://doi.org/10.29007/8dp4","pdf_url":"https://easychair.org/publications/open/3W11","source":{"id":"https://openalex.org/S4220651395","display_name":"EPiC series in computing","issn_l":"2398-7340","issn":["2398-7340"],"is_oa":false,"is_in_doaj":false,"is_core":true,"host_organization":null,"host_organization_name":null,"host_organization_lineage":[],"host_organization_lineage_names":[],"type":"journal"},"license":null,"license_id":null,"version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"EPiC Series in Computing","raw_type":"proceedings-article"}],"best_oa_location":{"id":"doi:10.29007/8dp4","is_oa":true,"landing_page_url":"https://doi.org/10.29007/8dp4","pdf_url":"https://easychair.org/publications/open/3W11","source":{"id":"https://openalex.org/S4220651395","display_name":"EPiC series in computing","issn_l":"2398-7340","issn":["2398-7340"],"is_oa":false,"is_in_doaj":false,"is_core":true,"host_organization":null,"host_organization_name":null,"host_organization_lineage":[],"host_organization_lineage_names":[],"type":"journal"},"license":null,"license_id":null,"version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"EPiC Series in Computing","raw_type":"proceedings-article"},"sustainable_development_goals":[{"display_name":"Partnerships for the goals","score":0.5400000214576721,"id":"https://metadata.un.org/sdg/17"}],"awards":[{"id":"https://openalex.org/G1470115129","display_name":null,"funder_award_id":"FA8750-18-C-0089","funder_id":"https://openalex.org/F4320332180","funder_display_name":"Defense Advanced Research Projects Agency"},{"id":"https://openalex.org/G1523888516","display_name":null,"funder_award_id":"FA9550-","funder_id":"https://openalex.org/F4320338279","funder_display_name":"Air Force Office of Scientific Research"},{"id":"https://openalex.org/G36914211","display_name":null,"funder_award_id":"FA9550-18-1-0122","funder_id":"https://openalex.org/F4320338279","funder_display_name":"Air Force Office of Scientific Research"},{"id":"https://openalex.org/G4713059963","display_name":null,"funder_award_id":"FA8750","funder_id":"https://openalex.org/F4320332180","funder_display_name":"Defense Advanced Research Projects Agency"},{"id":"https://openalex.org/G5773598735","display_name":"FMitF: Track II: Hybrid and Dynamical Systems Verification on the CPS-VO","funder_award_id":"1918450","funder_id":"https://openalex.org/F4320306076","funder_display_name":"National Science Foundation"},{"id":"https://openalex.org/G5809100787","display_name":null,"funder_award_id":"FA9550","funder_id":"https://openalex.org/F4320338279","funder_display_name":"Air Force Office of Scientific Research"}],"funders":[{"id":"https://openalex.org/F4320306076","display_name":"National Science Foundation","ror":"https://ror.org/021nxhr62"},{"id":"https://openalex.org/F4320332180","display_name":"Defense Advanced Research Projects Agency","ror":"https://ror.org/02caytj08"},{"id":"https://openalex.org/F4320332815","display_name":"Advanced Research Projects Agency","ror":"https://ror.org/02caytj08"},{"id":"https://openalex.org/F4320338279","display_name":"Air Force Office of Scientific Research","ror":"https://ror.org/011e9bt93"}],"has_content":{"pdf":true,"grobid_xml":true},"content_urls":{"pdf":"https://content.openalex.org/works/W3111220495.pdf","grobid_xml":"https://content.openalex.org/works/W3111220495.grobid-xml"},"referenced_works_count":34,"referenced_works":["https://openalex.org/W618708471","https://openalex.org/W622938260","https://openalex.org/W1535116423","https://openalex.org/W1590463358","https://openalex.org/W2104258017","https://openalex.org/W2114540411","https://openalex.org/W2176215692","https://openalex.org/W2268473646","https://openalex.org/W2407773024","https://openalex.org/W2528403641","https://openalex.org/W2604773389","https://openalex.org/W2613607093","https://openalex.org/W2620736690","https://openalex.org/W2747147865","https://openalex.org/W2786794505","https://openalex.org/W2795585950","https://openalex.org/W2796084235","https://openalex.org/W2804658701","https://openalex.org/W2919694184","https://openalex.org/W2936953762","https://openalex.org/W2949165985","https://openalex.org/W2953707919","https://openalex.org/W2962692913","https://openalex.org/W2963403829","https://openalex.org/W2971839749","https://openalex.org/W2978820926","https://openalex.org/W2980176594","https://openalex.org/W3015969399","https://openalex.org/W3024430860","https://openalex.org/W3032611786","https://openalex.org/W3037629243","https://openalex.org/W3046272654","https://openalex.org/W3046763300","https://openalex.org/W4288366658"],"related_works":["https://openalex.org/W2774752550","https://openalex.org/W4288084846","https://openalex.org/W2893816048","https://openalex.org/W3168747143","https://openalex.org/W2315867670","https://openalex.org/W1968795594","https://openalex.org/W2237675924","https://openalex.org/W2755432716","https://openalex.org/W2001085980","https://openalex.org/W1605170656"],"abstract_inverted_index":{"This":[0],"report":[1],"presents":[2],"the":[3,6,10,28,42,59,77,123,129,149,172],"results":[4,118],"of":[5,27,73,122,126,131,151,155],"repeatability":[7,60,82,117,168],"evaluation":[8,109],"for":[9,32,58,67,79,133,140],"4th":[11],"International":[12],"Competition":[13],"on":[14,164],"Verifying":[15],"Continuous":[16,33],"and":[17,34,91,104,128,139,157],"Hybrid":[18,35],"Systems":[19,36],"(ARCH-COMP\u201920).":[20],"The":[21,71,116],"competition":[22,69],"took":[23],"place":[24],"as":[25,160,162],"part":[26],"workshop":[29],"Applied":[30],"Verification":[31],"(ARCH)":[37],"in":[38,94,153,167],"2020,":[39],"affiliated":[40],"with":[41,174],"IFAC":[43],"World":[44],"Congress.":[45],"In":[46],"its":[47],"fourth":[48],"edition,":[49],"twenty-eight":[50],"tools":[51,93,127,173],"submitted":[52],"artifacts":[53],"through":[54],"a":[55,112,120],"Git":[56],"repository":[57],"evaluation,":[61,83],"applied":[62],"to":[63,76,85,88,100,148],"solve":[64],"benchmark":[65],"problems":[66,152],"seven":[68],"categories.":[70],"majority":[72],"participants":[74],"adhered":[75],"requirements":[78],"this":[80],"year\u2019s":[81],"namely":[84],"submit":[86],"scripts":[87],"automatically":[89],"install":[90],"execute":[92,101],"containerized":[95],"virtual":[96],"environments":[97],"(specifically":[98],"Dockerfiles":[99],"within":[102],"Docker),":[103],"several":[105],"categories":[106],"used":[107],"performance":[108],"information":[110],"from":[111],"common":[113],"execution":[114],"platform.":[115],"represent":[119],"snapshot":[121],"current":[124],"landscape":[125],"types":[130],"benchmarks":[132],"which":[134,141],"they":[135],"are":[136],"particularly":[137],"suited":[138],"others":[142],"may":[143],"repeat":[144],"their":[145],"analyses.":[146],"Due":[147],"diversity":[150],"verification":[154],"continuous":[156],"hybrid":[158],"systems,":[159],"well":[161],"basing":[163],"standard":[165],"practice":[166],"evaluations,":[169],"we":[170],"evaluate":[171],"pass":[175],"and/or":[176],"failing":[177],"being":[178],"repeatable.":[179]},"counts_by_year":[{"year":2024,"cited_by_count":1},{"year":2022,"cited_by_count":1}],"updated_date":"2026-05-21T06:26:12.895304","created_date":"2025-10-10T00:00:00"}