{"id":"https://openalex.org/W6911622899","doi":"https://doi.org/10.5281/zenodo.13132070","title":"QuAK: Quantitative Automata Kit (artifact)","display_name":"QuAK: Quantitative Automata Kit (artifact)","publication_year":2024,"publication_date":"2024-07-30","ids":{"openalex":"https://openalex.org/W6911622899","doi":"https://doi.org/10.5281/zenodo.13132070"},"language":"en","primary_location":{"id":"doi:10.5281/zenodo.13132070","is_oa":true,"landing_page_url":"https://doi.org/10.5281/zenodo.13132070","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":"cc-by","license_id":"https://openalex.org/licenses/cc-by","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.13132070","any_repository_has_fulltext":true},"authorships":[{"author_position":"first","author":{"id":null,"display_name":"Chalupa, Marek","orcid":"https://orcid.org/0000-0003-1132-5516"},"institutions":[],"countries":[],"is_corresponding":true,"raw_author_name":"Chalupa, Marek","raw_affiliation_strings":[],"affiliations":[]},{"author_position":"middle","author":{"id":null,"display_name":"Henzinger, Thomas","orcid":"https://orcid.org/0000-0002-2985-7724"},"institutions":[],"countries":[],"is_corresponding":false,"raw_author_name":"Henzinger, Thomas","raw_affiliation_strings":[],"affiliations":[]},{"author_position":"middle","author":{"id":null,"display_name":"Mazzochci, Nicolas","orcid":"https://orcid.org/0000-0001-6425-5369"},"institutions":[],"countries":[],"is_corresponding":false,"raw_author_name":"Mazzochci, Nicolas","raw_affiliation_strings":[],"affiliations":[]},{"author_position":"last","author":{"id":null,"display_name":"Sara\u00e7, N. Ege","orcid":"https://orcid.org/0009-0000-2866-8078"},"institutions":[],"countries":[],"is_corresponding":false,"raw_author_name":"Sara\u00e7, N. Ege","raw_affiliation_strings":[],"affiliations":[]}],"institutions":[],"countries_distinct_count":0,"institutions_distinct_count":4,"corresponding_author_ids":[],"corresponding_institution_ids":[],"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":null,"topics":[],"keywords":[{"id":"https://openalex.org/keywords/artifact","display_name":"Artifact (error)","score":0.6373999714851379},{"id":"https://openalex.org/keywords/short-run","display_name":"Short run","score":0.4377000033855438},{"id":"https://openalex.org/keywords/run-out","display_name":"Run-out","score":0.41269999742507935},{"id":"https://openalex.org/keywords/automaton","display_name":"Automaton","score":0.36910000443458557},{"id":"https://openalex.org/keywords/cellular-automaton","display_name":"Cellular automaton","score":0.3569999933242798},{"id":"https://openalex.org/keywords/running-time","display_name":"Running time","score":0.3490000069141388}],"concepts":[{"id":"https://openalex.org/C41008148","wikidata":"https://www.wikidata.org/wiki/Q21198","display_name":"Computer science","level":0,"score":0.7409999966621399},{"id":"https://openalex.org/C2779010991","wikidata":"https://www.wikidata.org/wiki/Q2720909","display_name":"Artifact (error)","level":2,"score":0.6373999714851379},{"id":"https://openalex.org/C204208750","wikidata":"https://www.wikidata.org/wiki/Q1519415","display_name":"Short run","level":2,"score":0.4377000033855438},{"id":"https://openalex.org/C111919701","wikidata":"https://www.wikidata.org/wiki/Q9135","display_name":"Operating system","level":1,"score":0.41999998688697815},{"id":"https://openalex.org/C61097968","wikidata":"https://www.wikidata.org/wiki/Q17142046","display_name":"Run-out","level":2,"score":0.41269999742507935},{"id":"https://openalex.org/C112505250","wikidata":"https://www.wikidata.org/wiki/Q787116","display_name":"Automaton","level":2,"score":0.36910000443458557},{"id":"https://openalex.org/C35527583","wikidata":"https://www.wikidata.org/wiki/Q189156","display_name":"Cellular automaton","level":2,"score":0.3569999933242798},{"id":"https://openalex.org/C3017489831","wikidata":"https://www.wikidata.org/wiki/Q2393193","display_name":"Running time","level":2,"score":0.3490000069141388},{"id":"https://openalex.org/C173608175","wikidata":"https://www.wikidata.org/wiki/Q232661","display_name":"Parallel computing","level":1,"score":0.34470000863075256},{"id":"https://openalex.org/C79403827","wikidata":"https://www.wikidata.org/wiki/Q3988","display_name":"Real-time computing","level":1,"score":0.34360000491142273},{"id":"https://openalex.org/C11413529","wikidata":"https://www.wikidata.org/wiki/Q8366","display_name":"Algorithm","level":1,"score":0.3422999978065491},{"id":"https://openalex.org/C2777683733","wikidata":"https://www.wikidata.org/wiki/Q201456","display_name":"Directory","level":2,"score":0.3208000063896179},{"id":"https://openalex.org/C2781018962","wikidata":"https://www.wikidata.org/wiki/Q5164884","display_name":"Container (type theory)","level":2,"score":0.250900000333786},{"id":"https://openalex.org/C48103436","wikidata":"https://www.wikidata.org/wiki/Q599031","display_name":"State (computer science)","level":2,"score":0.2508000135421753}],"mesh":[],"locations_count":1,"locations":[{"id":"doi:10.5281/zenodo.13132070","is_oa":true,"landing_page_url":"https://doi.org/10.5281/zenodo.13132070","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":"cc-by","license_id":"https://openalex.org/licenses/cc-by","version":null,"is_accepted":false,"is_published":null,"raw_source_name":null,"raw_type":"article"}],"best_oa_location":{"id":"doi:10.5281/zenodo.13132070","is_oa":true,"landing_page_url":"https://doi.org/10.5281/zenodo.13132070","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":"cc-by","license_id":"https://openalex.org/licenses/cc-by","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":{"The":[0],"artifact":[1,225,233],"to":[2,138,179,230],"the":[3,12,28,36,39,53,58,65,72,77,95,110,125,140,151,157,162,168,224,232,241],"paper":[4],"QuAK:":[5],"Quantitative":[6],"Automata":[7],"Kit.":[8],"You":[9,61],"can":[10,33,62,149,193],"load":[11,24],"provided":[13],"docker":[14,23,42,85,100,116,182,199],"image":[15,29],"(built":[16],"for":[17],"x86_64":[18],"architecture)":[19],"using":[20],"this":[21],"command:":[22,41],"<":[25],"quak-isola24.tar.gz":[26],"Once":[27],"is":[30,156],"loaded,":[31],"you":[32,136,148,192],"run":[34,43,64,76,86,94,101,109,117,139,165,183,200],"all":[35],"experiments":[37,54,66,79,97,127,141,163],"with":[38,197,209,216],"following":[40,73],"--rm":[44,87,102,118,184,201],"-ti":[45,88,103,119,185,202],"-v":[46,89,104,120,186,203],"\"$(pwd)/results\":/opt/quak/experiments/results":[47,90,105,121,187,204],"quak":[48,91,106,122,188,205],"./run-all.sh":[49,206],"All":[50],"results":[51],"of":[52,146,159],"are":[55,177],"stored":[56],"into":[57],"directory":[59],"results/.":[60],"also":[63,196],"one":[67,69],"by":[68,70],"issuing":[71],"commands:":[74],"#":[75,93,108,191],"inclusion":[78,126],"(Figure":[80,98,113],"2":[81],"and":[82,222,234],"Figure":[83],"3)":[84],"./run-inclusion.sh":[92,189],"constant-check":[96],"4)":[99],"./run-constant.sh":[107],"drone":[111],"simulation":[112],"5,":[114],"table)":[115],"./run-drone.sh":[123],"Running":[124,208],"takes":[128],"many":[129],"hours":[130],"on":[131,143,167,228,235,237],"a":[132,144],"multi-core":[133],"system.":[134],"If":[135],"want":[137],"only":[142,166],"subset":[145],"automata,":[147,172],"specify":[150],"option":[152],"--num=X,":[153],"where":[154],"X":[155,170],"number":[158],"automata.":[160],"Then,":[161],"will":[164],"first":[169],"generated":[171],"which":[173],"means":[174],"X*X":[175],"configurations":[176],"going":[178],"be":[180],"executed.":[181],"--num=3":[190,207],"use":[194],"`--num`":[195],"`run-all.sh`":[198],"--num=15":[210],"should":[211],"take":[212],"about":[213],"1":[214],"hour":[215],"4":[217],"cores":[218],"@":[219],"2.8GHz.":[220],"Building":[221],"exploring":[223],"For":[226],"instructions":[227],"how":[229],"(re-)build":[231],"details":[236],"its":[238],"contents,":[239],"see":[240],"README.md":[242],"in":[243],"https://github.com/ista-vamos/QuAK/tree/experiments-isola24/experiments.":[244]},"counts_by_year":[],"updated_date":"2025-11-06T06:51:31.235846","created_date":"2025-10-10T00:00:00"}