{"id":"https://openalex.org/W7092189555","doi":"https://doi.org/10.5281/zenodo.17366962","title":"Artifact for the TACAS 2026 paper \"AutomataLib: the open-source library for automata, graphs, and transition systems\"","display_name":"Artifact for the TACAS 2026 paper \"AutomataLib: the open-source library for automata, graphs, and transition systems\"","publication_year":2025,"publication_date":"2025-10-16","ids":{"openalex":"https://openalex.org/W7092189555","doi":"https://doi.org/10.5281/zenodo.17366962"},"language":null,"primary_location":{"id":"doi:10.5281/zenodo.17366962","is_oa":true,"landing_page_url":"https://doi.org/10.5281/zenodo.17366962","pdf_url":null,"source":{"id":"https://openalex.org/S4306400562","display_name":"Zenodo (CERN European Organization for Nuclear Research)","issn_l":null,"issn":null,"is_oa":true,"is_in_doaj":false,"is_core":false,"host_organization":"https://openalex.org/I67311998","host_organization_name":"European Organization for Nuclear Research","host_organization_lineage":["https://openalex.org/I67311998"],"host_organization_lineage_names":[],"type":"repository"},"license":null,"license_id":null,"version":null,"is_accepted":false,"is_published":false,"raw_source_name":null,"raw_type":"article"},"type":"other","indexed_in":["datacite"],"open_access":{"is_oa":true,"oa_status":"green","oa_url":"https://doi.org/10.5281/zenodo.17366962","any_repository_has_fulltext":true},"authorships":[{"author_position":"first","author":{"id":null,"display_name":"Frohme, Markus","orcid":"https://orcid.org/0000-0001-6520-2410"},"institutions":[{"id":"https://openalex.org/I200332995","display_name":"TU Dortmund University","ror":"https://ror.org/01k97gp34","country_code":"DE","type":"education","lineage":["https://openalex.org/I200332995"]}],"countries":["DE"],"is_corresponding":true,"raw_author_name":"Frohme, Markus","raw_affiliation_strings":["TU Dortmund University"],"affiliations":[{"raw_affiliation_string":"TU Dortmund University","institution_ids":["https://openalex.org/I200332995"]}]},{"author_position":"middle","author":{"id":null,"display_name":"Howar, Falk","orcid":"https://orcid.org/0000-0002-9524-4459"},"institutions":[{"id":"https://openalex.org/I200332995","display_name":"TU Dortmund University","ror":"https://ror.org/01k97gp34","country_code":"DE","type":"education","lineage":["https://openalex.org/I200332995"]}],"countries":["DE"],"is_corresponding":false,"raw_author_name":"Howar, Falk","raw_affiliation_strings":["TU Dortmund University"],"affiliations":[{"raw_affiliation_string":"TU Dortmund University","institution_ids":["https://openalex.org/I200332995"]}]},{"author_position":"last","author":{"id":null,"display_name":"Steffen, Bernhard","orcid":"https://orcid.org/0000-0001-9619-1558"},"institutions":[{"id":"https://openalex.org/I200332995","display_name":"TU Dortmund University","ror":"https://ror.org/01k97gp34","country_code":"DE","type":"education","lineage":["https://openalex.org/I200332995"]}],"countries":["DE"],"is_corresponding":false,"raw_author_name":"Steffen, Bernhard","raw_affiliation_strings":["TU Dortmund University"],"affiliations":[{"raw_affiliation_string":"TU Dortmund University","institution_ids":["https://openalex.org/I200332995"]}]}],"institutions":[],"countries_distinct_count":1,"institutions_distinct_count":3,"corresponding_author_ids":[],"corresponding_institution_ids":["https://openalex.org/I200332995"],"apc_list":null,"apc_paid":null,"fwci":null,"has_fulltext":false,"cited_by_count":0,"citation_normalized_percentile":null,"cited_by_percentile_year":null,"biblio":{"volume":null,"issue":null,"first_page":null,"last_page":null},"is_retracted":false,"is_paratext":false,"is_xpac":true,"primary_topic":{"id":"https://openalex.org/T10142","display_name":"Formal Methods in Verification","score":0.504800021648407,"subfield":{"id":"https://openalex.org/subfields/1703","display_name":"Computational Theory and Mathematics"},"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/T10142","display_name":"Formal Methods in Verification","score":0.504800021648407,"subfield":{"id":"https://openalex.org/subfields/1703","display_name":"Computational Theory and Mathematics"},"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/T11567","display_name":"semigroups and automata theory","score":0.0794999971985817,"subfield":{"id":"https://openalex.org/subfields/1703","display_name":"Computational Theory and Mathematics"},"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/T11450","display_name":"Model-Driven Software Engineering Techniques","score":0.049800001084804535,"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/benchmark","display_name":"Benchmark (surveying)","score":0.8435999751091003},{"id":"https://openalex.org/keywords/artifact","display_name":"Artifact (error)","score":0.7432000041007996},{"id":"https://openalex.org/keywords/container","display_name":"Container (type theory)","score":0.6941999793052673},{"id":"https://openalex.org/keywords/mit-license","display_name":"MIT License","score":0.6360999941825867},{"id":"https://openalex.org/keywords/code","display_name":"Code (set theory)","score":0.5687999725341797},{"id":"https://openalex.org/keywords/source-code","display_name":"Source code","score":0.5439000129699707},{"id":"https://openalex.org/keywords/software","display_name":"Software","score":0.5386000275611877},{"id":"https://openalex.org/keywords/license","display_name":"License","score":0.4812000095844269}],"concepts":[{"id":"https://openalex.org/C185798385","wikidata":"https://www.wikidata.org/wiki/Q1161707","display_name":"Benchmark (surveying)","level":2,"score":0.8435999751091003},{"id":"https://openalex.org/C2779010991","wikidata":"https://www.wikidata.org/wiki/Q2720909","display_name":"Artifact (error)","level":2,"score":0.7432000041007996},{"id":"https://openalex.org/C41008148","wikidata":"https://www.wikidata.org/wiki/Q21198","display_name":"Computer science","level":0,"score":0.7347999811172485},{"id":"https://openalex.org/C2781018962","wikidata":"https://www.wikidata.org/wiki/Q5164884","display_name":"Container (type theory)","level":2,"score":0.6941999793052673},{"id":"https://openalex.org/C174183944","wikidata":"https://www.wikidata.org/wiki/Q334661","display_name":"MIT License","level":3,"score":0.6360999941825867},{"id":"https://openalex.org/C2776760102","wikidata":"https://www.wikidata.org/wiki/Q5139990","display_name":"Code (set theory)","level":3,"score":0.5687999725341797},{"id":"https://openalex.org/C43126263","wikidata":"https://www.wikidata.org/wiki/Q128751","display_name":"Source code","level":2,"score":0.5439000129699707},{"id":"https://openalex.org/C2777904410","wikidata":"https://www.wikidata.org/wiki/Q7397","display_name":"Software","level":2,"score":0.5386000275611877},{"id":"https://openalex.org/C2780560020","wikidata":"https://www.wikidata.org/wiki/Q79719","display_name":"License","level":2,"score":0.4812000095844269},{"id":"https://openalex.org/C19768560","wikidata":"https://www.wikidata.org/wiki/Q320727","display_name":"Dependency (UML)","level":2,"score":0.4560999870300293},{"id":"https://openalex.org/C111919701","wikidata":"https://www.wikidata.org/wiki/Q9135","display_name":"Operating system","level":1,"score":0.4375999867916107},{"id":"https://openalex.org/C3018397939","wikidata":"https://www.wikidata.org/wiki/Q3644502","display_name":"Open source","level":3,"score":0.4027999937534332},{"id":"https://openalex.org/C2777735758","wikidata":"https://www.wikidata.org/wiki/Q817765","display_name":"Path (computing)","level":2,"score":0.3416999876499176},{"id":"https://openalex.org/C199360897","wikidata":"https://www.wikidata.org/wiki/Q9143","display_name":"Programming language","level":1,"score":0.3395000100135803},{"id":"https://openalex.org/C115903868","wikidata":"https://www.wikidata.org/wiki/Q80993","display_name":"Software engineering","level":1,"score":0.33090001344680786},{"id":"https://openalex.org/C182306322","wikidata":"https://www.wikidata.org/wiki/Q1779371","display_name":"Order (exchange)","level":2,"score":0.32580000162124634},{"id":"https://openalex.org/C77088390","wikidata":"https://www.wikidata.org/wiki/Q8513","display_name":"Database","level":1,"score":0.32420000433921814},{"id":"https://openalex.org/C79581498","wikidata":"https://www.wikidata.org/wiki/Q1367530","display_name":"Suite","level":2,"score":0.3138999938964844},{"id":"https://openalex.org/C115961682","wikidata":"https://www.wikidata.org/wiki/Q860623","display_name":"Image (mathematics)","level":2,"score":0.3124000132083893},{"id":"https://openalex.org/C2777655017","wikidata":"https://www.wikidata.org/wiki/Q1501161","display_name":"Toolbox","level":2,"score":0.3018999993801117},{"id":"https://openalex.org/C2778565505","wikidata":"https://www.wikidata.org/wiki/Q2207566","display_name":"Spec#","level":2,"score":0.29989999532699585},{"id":"https://openalex.org/C2988343187","wikidata":"https://www.wikidata.org/wiki/Q1130645","display_name":"Open source software","level":3,"score":0.2815000116825104},{"id":"https://openalex.org/C51929080","wikidata":"https://www.wikidata.org/wiki/Q2425187","display_name":"Codebase","level":3,"score":0.27230000495910645}],"mesh":[],"locations_count":1,"locations":[{"id":"doi:10.5281/zenodo.17366962","is_oa":true,"landing_page_url":"https://doi.org/10.5281/zenodo.17366962","pdf_url":null,"source":{"id":"https://openalex.org/S4306400562","display_name":"Zenodo (CERN European Organization for Nuclear Research)","issn_l":null,"issn":null,"is_oa":true,"is_in_doaj":false,"is_core":false,"host_organization":"https://openalex.org/I67311998","host_organization_name":"European Organization for Nuclear Research","host_organization_lineage":["https://openalex.org/I67311998"],"host_organization_lineage_names":[],"type":"repository"},"license":null,"license_id":null,"version":null,"is_accepted":false,"is_published":null,"raw_source_name":null,"raw_type":"article"}],"best_oa_location":{"id":"doi:10.5281/zenodo.17366962","is_oa":true,"landing_page_url":"https://doi.org/10.5281/zenodo.17366962","pdf_url":null,"source":{"id":"https://openalex.org/S4306400562","display_name":"Zenodo (CERN European Organization for Nuclear Research)","issn_l":null,"issn":null,"is_oa":true,"is_in_doaj":false,"is_core":false,"host_organization":"https://openalex.org/I67311998","host_organization_name":"European Organization for Nuclear Research","host_organization_lineage":["https://openalex.org/I67311998"],"host_organization_lineage_names":[],"type":"repository"},"license":null,"license_id":null,"version":null,"is_accepted":false,"is_published":false,"raw_source_name":null,"raw_type":"article"},"sustainable_development_goals":[],"awards":[],"funders":[],"has_content":{"pdf":false,"grobid_xml":false},"content_urls":null,"referenced_works_count":0,"referenced_works":[],"related_works":[],"abstract_inverted_index":{"This":[0],"artifact":[1,67],"contains":[2,26,37,46,62,122,135,149,181,517,565],"the":[3,7,11,27,38,47,57,63,71,74,78,85,89,102,108,132,136,150,156,162,166,182,206,225,228,235,239,250,263,285,292,305,313,322,348,375,384,397,421,428,443,448,454,507,510,514,518,540,545,566,570,575,581],"supplementary":[4],"material":[5],"for":[6,14,41,55,283,290,304,312,437,530,569],"TACAS26":[8],"submission":[9],"\"AutomataLib:":[10],"open-source":[12],"library":[13],"automata,":[15],"graphs,":[16],"and":[17,177,185,288,295,310,417,525,585],"transition":[18],"systems\".":[19],"Contents":[20],"of":[21,49,65,73,84,110,139,165,188,205,242,307,374,405,419,450,461],"this":[22,66,243],"archive":[23,25],"The":[24,273,372,554],"following":[28],"parts.":[29],"automatalib-tacas26-benchmark.tar.gz":[30],"is":[31,276],"a":[32,53,82,380,402,409,458,487,557],"pre-built":[33],"Docker":[34,59,90,252,264,327,353],"image":[35,253,265,275],"which":[36,172,564],"necessary":[39],"binaries":[40],"executing":[42],"our":[43,50,123,140,145,189,201],"benchmarks.":[44],"benchmark":[45,125,154,226,398,423,430,520],"source-code":[48],"benchmarks":[51,376,511],"including":[52],"Dockerfile":[54],"building":[56],"previous":[58],"image.":[60],"licenses":[61,72],"license":[64,109],"as":[68,70,142,191,328,354,522,549],"well":[69],"tools":[75,211],"used":[76,130],"in":[77,88,131,144,155,212,316,383,560],"benchmark.":[79],"To":[80,106,435],"get":[81],"list":[83],"installed":[86],"software":[87],"container,":[91],"simply":[92,113],"run":[93,95,114,116,224,331,357,466],"docker":[94,115,255,268,274,330,356,465],"--rm":[96,117],"automatalib-tacas26-benchmark:latest":[97,118,345,371,480],"dpkg-query":[98],"-l":[99],"after":[100],"importing":[101],"container":[103],"(see":[104],"below).":[105],"view":[107],"package":[111],"X,":[112],"cat":[119],"/usr/share/doc/<X>/copyright.":[120],"results":[121,126,319,373,508],"recorded":[124],"that":[127,152,396,534,574],"we":[128,153,173,230,325,351],"have":[129,174,512,580],"paper.":[133,157],"source.zip":[134],"source":[137,186],"code":[138],"tool":[141,180,190,202],"tagged":[143],"version":[146,241],"control.":[147],"systems":[148,151,287],"They":[158],"originally":[159],"come":[160],"from":[161,171],"nfa-bench":[163],"repository":[164],"Mata":[167],"project":[168],"(commit":[169],"94f2863)":[170],"removed":[175],"redundant":[176],"incompatible":[178],"systems.":[179,462],"binary,":[183],"documentation,":[184],"artifacts":[187],"published":[192],"on":[193,496],"Maven":[194],"Central.":[195],"We":[196,245],"highly":[197,246],"recommend":[198],"to":[199,214,223,233,238,248,278,379,499,501,579],"use":[200,231,279,544],"with":[203,299,411],"any":[204,532],"numerous":[207],"compatible":[208],"dependency":[209],"management":[210],"order":[213],"automatically":[215],"resolve":[216],"transitive":[217],"dependencies,":[218],"facilitate":[219],"integration,":[220],"etc.":[221],"How":[222],"(in":[227],"following,":[229],"$ARTIFACT":[232],"denote":[234],"absolute":[236],"path":[237],"extracted":[240],"archive)":[244],"suggest":[247],"import":[249],"provided":[251,385,546],"via":[254,267],"load":[256],"--input":[257],"$ARTIFACT/automatalib-tacas26-benchmark.tar.gz":[258],"Alternatively,":[259],"you":[260,445,542,578],"can":[261,296,543],"build":[262,269],"yourself":[266],"-t":[270],"automatalib-tacas26-benchmark":[271],"$ARTIFACT/benchmark":[272],"configured":[277],"two":[280,300,412,425],"volumes":[281],"(one":[282,303],"reading":[284],"input":[286],"one":[289,311],"writing":[291],"output":[293,515],"results)":[294],"be":[297],"parameterized":[298],"environment":[301],"variables":[302],"number":[306,449],"parallel":[308,451],"threads":[309],"timeout":[314],"duration":[315],"seconds).":[317],"Replicating":[318],"For":[320,346,463,538],"running":[321,347],"regexps_union":[323,422],"benchmark,":[324,350,444],"called":[326,352],"follows:":[329,355],"\\":[332,335,338,341,344,358,361,364,367,370,467,470,473,476,479],"-v":[333,336,359,362,468,471],"$ARTIFACT/results/:/workdir/results":[334,360,469],"$ARTIFACT/systems/benchmarks/regexps/regexps_union/:/workdir/benchmarks":[337],"-e":[339,342,365,368,474,477],"TIMEOUT=1000":[340,366],"NUM_JOBS=30":[343,369],"full":[349],"$ARTIFACT/systems/:/workdir/benchmarks":[363],"are":[377],"written":[378],"timestamped":[381],"folder":[382,516],"result":[386],"directory":[387],"(typically":[388],"$ARTIFACT/results).":[389],"Hardware":[390],"requirements":[391],"/":[392],"Smoke":[393],"testing":[394],"Note":[395,573],"execution":[399],"may":[400,446,491],"require":[401],"significant":[403],"amount":[404],"system":[406],"resources.":[407],"On":[408],"server":[410],"AMD":[413],"EPYC":[414],"7763":[415],"CPUs":[416],"2TB":[418],"RAM":[420],"took":[424,432],"hours":[426],"whereas":[427],"complete":[429],"suite":[431],"eleven":[433],"hours.":[434],"account":[436],"local":[438,503],"hardware":[439,504],"limitations":[440],"or":[441,456],"smoke-testing":[442],"reduce":[447],"jobs,":[452],"decrease":[453],"timeout,":[455],"select":[457],"smaller":[459],"set":[460],"example,":[464],"$ARTIFACT/systems/benchmarks/ws1s/easy/ex/:/workdir/benchmarks":[472],"TIMEOUT=10":[475],"NUM_JOBS=4":[478],"should":[481],"create":[482],"some":[483],"exemplary":[484],"data":[485,521],"within":[486],"few":[488],"minutes.":[489],"You":[490],"further":[492],"consult":[493],"Docker's":[494],"options":[495],"resource":[497],"constraints":[498],"adjust":[500],"your":[502,561],"conditions.":[505],"Displaying":[506],"After":[509],"finished,":[513],"respective":[519,571],".csv":[523],"files":[524],"an":[526],"error":[527],"log":[528],"(err.log)":[529],"reporting":[531],"issues":[533],"occurred":[535],"during":[536],"execution.":[537],"visualizing":[539],"results,":[541],"plot.py":[547],"script":[548,555,576],"follows":[550],"python":[551],"$ARTIFACT/benchmark/plot.py":[552],"$ARTIFACT/results/<timestamp-of-your-run>":[553],"produces":[556],"plot.pdf":[558],"file":[559],"current":[562],"directory,":[563],"cactus":[567],"plots":[568],"data.":[572],"requires":[577],"Python":[582],"packages":[583],"pandas":[584],"matplotlib":[586],"installed.":[587]},"counts_by_year":[],"updated_date":"2025-11-06T06:51:31.235846","created_date":"2025-10-17T00:00:00"}