{"id":"https://openalex.org/W7165841322","doi":"https://doi.org/10.4230/darts.12.1.18","title":"Compositional Design, Implementation, and Verification of Swarms (Artifact)","display_name":"Compositional Design, Implementation, and Verification of Swarms (Artifact)","publication_year":2026,"publication_date":"2026-01-01","ids":{"openalex":"https://openalex.org/W7165841322","doi":"https://doi.org/10.4230/darts.12.1.18"},"language":"en","primary_location":{"id":"doi:10.4230/darts.12.1.18","is_oa":true,"landing_page_url":"https://doi.org/10.4230/darts.12.1.18","pdf_url":null,"source":{"id":"https://openalex.org/S4377196569","display_name":"DROPS (Schloss Dagstuhl \u2013 Leibniz Center for Informatics)","issn_l":null,"issn":null,"is_oa":false,"is_in_doaj":false,"is_core":false,"host_organization":"https://openalex.org/I2799853480","host_organization_name":"Schloss Dagstuhl \u2013 Leibniz Center for Informatics","host_organization_lineage":["https://openalex.org/I2799853480"],"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":"DataPaper"},"type":"data-paper","indexed_in":["datacite"],"open_access":{"is_oa":true,"oa_status":"green","oa_url":"https://doi.org/10.4230/darts.12.1.18","any_repository_has_fulltext":true},"authorships":[{"author_position":"first","author":{"id":"https://openalex.org/A5125144291","display_name":"Lucas Clorius","orcid":null},"institutions":[{"id":"https://openalex.org/I96673099","display_name":"Technical University of Denmark","ror":"https://ror.org/04qtj9h94","country_code":"DK","type":"education","lineage":["https://openalex.org/I96673099"]}],"countries":["DK"],"is_corresponding":false,"raw_author_name":"Clorius, Lucas","raw_affiliation_strings":["Technical University of Denmark, Kgs. Lyngby, Denmark"],"raw_orcid":"https://orcid.org/0009-0005-2224-2419","affiliations":[{"raw_affiliation_string":"Technical University of Denmark, Kgs. Lyngby, Denmark","institution_ids":["https://openalex.org/I96673099"]}]},{"author_position":"middle","author":{"id":"https://openalex.org/A5047398875","display_name":"Florian Furbach","orcid":"https://orcid.org/0009-0008-4922-9363"},"institutions":[{"id":"https://openalex.org/I28290843","display_name":"University of Surrey","ror":"https://ror.org/00ks66431","country_code":"GB","type":"education","lineage":["https://openalex.org/I28290843"]},{"id":"https://openalex.org/I96673099","display_name":"Technical University of Denmark","ror":"https://ror.org/04qtj9h94","country_code":"DK","type":"education","lineage":["https://openalex.org/I96673099"]}],"countries":["DK","GB"],"is_corresponding":false,"raw_author_name":"Furbach, Florian","raw_affiliation_strings":["University of Surrey, Guildford, UK","Technical University of Denmark, Kgs. Lyngby, Denmark"],"raw_orcid":"https://orcid.org/0009-0008-4922-9363","affiliations":[{"raw_affiliation_string":"University of Surrey, Guildford, UK","institution_ids":["https://openalex.org/I28290843"]},{"raw_affiliation_string":"Technical University of Denmark, Kgs. Lyngby, Denmark","institution_ids":["https://openalex.org/I96673099"]}]},{"author_position":"middle","author":{"id":"https://openalex.org/A5135754777","display_name":"Roland Kuhn","orcid":"https://orcid.org/0000-0003-1582-6238"},"institutions":[{"id":"https://openalex.org/I106157433","display_name":"University of Kassel","ror":"https://ror.org/04zc7p361","country_code":"DE","type":"education","lineage":["https://openalex.org/I106157433"]}],"countries":["DE"],"is_corresponding":false,"raw_author_name":"Kuhn, Roland","raw_affiliation_strings":["RKSW UG, Kassel, Germany"],"raw_orcid":"https://orcid.org/0000-0003-1582-6238","affiliations":[{"raw_affiliation_string":"RKSW UG, Kassel, Germany","institution_ids":["https://openalex.org/I106157433"]}]},{"author_position":"middle","author":{"id":"https://openalex.org/A5022494285","display_name":"Hern\u00e1n Melgratti","orcid":"https://orcid.org/0000-0003-0760-0618"},"institutions":[{"id":"https://openalex.org/I24354313","display_name":"Universidad de Buenos Aires","ror":"https://ror.org/0081fs513","country_code":"AR","type":"education","lineage":["https://openalex.org/I24354313"]}],"countries":["AR"],"is_corresponding":false,"raw_author_name":"Melgratti, Hern\u00e1n","raw_affiliation_strings":["University of Buenos Aires, Argentina","Conicet, Buenos Aires, Argentina"],"raw_orcid":"https://orcid.org/0000-0003-0760-0618","affiliations":[{"raw_affiliation_string":"University of Buenos Aires, Argentina","institution_ids":["https://openalex.org/I24354313"]},{"raw_affiliation_string":"Conicet, Buenos Aires, Argentina","institution_ids":[]}]},{"author_position":"middle","author":{"id":"https://openalex.org/A5033402139","display_name":"Alceste Scalas","orcid":"https://orcid.org/0000-0002-1153-6164"},"institutions":[{"id":"https://openalex.org/I96673099","display_name":"Technical University of Denmark","ror":"https://ror.org/04qtj9h94","country_code":"DK","type":"education","lineage":["https://openalex.org/I96673099"]}],"countries":["DK"],"is_corresponding":false,"raw_author_name":"Scalas, Alceste","raw_affiliation_strings":["Technical University of Denmark, Kgs. Lyngby, Denmark"],"raw_orcid":"https://orcid.org/0000-0002-1153-6164","affiliations":[{"raw_affiliation_string":"Technical University of Denmark, Kgs. Lyngby, Denmark","institution_ids":["https://openalex.org/I96673099"]}]},{"author_position":"last","author":{"id":"https://openalex.org/A5056498850","display_name":"Emilio Tuosto","orcid":"https://orcid.org/0000-0002-7032-3281"},"institutions":[{"id":"https://openalex.org/I4210150763","display_name":"Gran Sasso Science Institute","ror":"https://ror.org/043qcb444","country_code":"IT","type":"education","lineage":["https://openalex.org/I160013858","https://openalex.org/I4210150763"]}],"countries":["IT"],"is_corresponding":false,"raw_author_name":"Tuosto, Emilio","raw_affiliation_strings":["Gran Sasso Science Institute, L'Aquila, Italy"],"raw_orcid":"https://orcid.org/0000-0002-7032-3281","affiliations":[{"raw_affiliation_string":"Gran Sasso Science Institute, L'Aquila, Italy","institution_ids":["https://openalex.org/I4210150763"]}]}],"institutions":[],"countries_distinct_count":5,"institutions_distinct_count":5,"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":false,"primary_topic":{"id":"https://openalex.org/T11986","display_name":"Scientific Computing and Data Management","score":0.1776999980211258,"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.1776999980211258,"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/T10703","display_name":"Business Process Modeling and Analysis","score":0.1128000020980835,"subfield":{"id":"https://openalex.org/subfields/1404","display_name":"Management Information Systems"},"field":{"id":"https://openalex.org/fields/14","display_name":"Business, Management and Accounting"},"domain":{"id":"https://openalex.org/domains/2","display_name":"Social Sciences"}},{"id":"https://openalex.org/T11450","display_name":"Model-Driven Software Engineering Techniques","score":0.07010000199079514,"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/artifact","display_name":"Artifact (error)","score":0.7718999981880188},{"id":"https://openalex.org/keywords/documentation","display_name":"Documentation","score":0.5619000196456909},{"id":"https://openalex.org/keywords/scripting-language","display_name":"Scripting language","score":0.5370000004768372},{"id":"https://openalex.org/keywords/extension","display_name":"Extension (predicate logic)","score":0.43160000443458557},{"id":"https://openalex.org/keywords/section","display_name":"Section (typography)","score":0.40860000252723694}],"concepts":[{"id":"https://openalex.org/C2779010991","wikidata":"https://www.wikidata.org/wiki/Q2720909","display_name":"Artifact (error)","level":2,"score":0.7718999981880188},{"id":"https://openalex.org/C41008148","wikidata":"https://www.wikidata.org/wiki/Q21198","display_name":"Computer science","level":0,"score":0.6987000107765198},{"id":"https://openalex.org/C56666940","wikidata":"https://www.wikidata.org/wiki/Q788790","display_name":"Documentation","level":2,"score":0.5619000196456909},{"id":"https://openalex.org/C199360897","wikidata":"https://www.wikidata.org/wiki/Q9143","display_name":"Programming language","level":1,"score":0.5386999845504761},{"id":"https://openalex.org/C61423126","wikidata":"https://www.wikidata.org/wiki/Q187432","display_name":"Scripting language","level":2,"score":0.5370000004768372},{"id":"https://openalex.org/C2778029271","wikidata":"https://www.wikidata.org/wiki/Q5421931","display_name":"Extension (predicate logic)","level":2,"score":0.43160000443458557},{"id":"https://openalex.org/C2780129039","wikidata":"https://www.wikidata.org/wiki/Q1931107","display_name":"Section (typography)","level":2,"score":0.40860000252723694},{"id":"https://openalex.org/C2777904410","wikidata":"https://www.wikidata.org/wiki/Q7397","display_name":"Software","level":2,"score":0.3149000108242035},{"id":"https://openalex.org/C154945302","wikidata":"https://www.wikidata.org/wiki/Q11660","display_name":"Artificial intelligence","level":1,"score":0.2948000133037567},{"id":"https://openalex.org/C184337299","wikidata":"https://www.wikidata.org/wiki/Q1437428","display_name":"Semantics (computer science)","level":2,"score":0.28279998898506165},{"id":"https://openalex.org/C2778112365","wikidata":"https://www.wikidata.org/wiki/Q3511065","display_name":"Sequence (biology)","level":2,"score":0.2644999921321869},{"id":"https://openalex.org/C115903868","wikidata":"https://www.wikidata.org/wiki/Q80993","display_name":"Software engineering","level":1,"score":0.25099998712539673}],"mesh":[],"locations_count":1,"locations":[{"id":"doi:10.4230/darts.12.1.18","is_oa":true,"landing_page_url":"https://doi.org/10.4230/darts.12.1.18","pdf_url":null,"source":{"id":"https://openalex.org/S4377196569","display_name":"DROPS (Schloss Dagstuhl \u2013 Leibniz Center for Informatics)","issn_l":null,"issn":null,"is_oa":false,"is_in_doaj":false,"is_core":false,"host_organization":"https://openalex.org/I2799853480","host_organization_name":"Schloss Dagstuhl \u2013 Leibniz Center for Informatics","host_organization_lineage":["https://openalex.org/I2799853480"],"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":"DataPaper"}],"best_oa_location":{"id":"doi:10.4230/darts.12.1.18","is_oa":true,"landing_page_url":"https://doi.org/10.4230/darts.12.1.18","pdf_url":null,"source":{"id":"https://openalex.org/S4377196569","display_name":"DROPS (Schloss Dagstuhl \u2013 Leibniz Center for Informatics)","issn_l":null,"issn":null,"is_oa":false,"is_in_doaj":false,"is_core":false,"host_organization":"https://openalex.org/I2799853480","host_organization_name":"Schloss Dagstuhl \u2013 Leibniz Center for Informatics","host_organization_lineage":["https://openalex.org/I2799853480"],"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":"DataPaper"},"sustainable_development_goals":[],"awards":[],"funders":[],"has_content":{"grobid_xml":false,"pdf":false},"content_urls":null,"referenced_works_count":0,"referenced_works":[],"related_works":[],"abstract_inverted_index":{"This":[0,17],"is":[1],"the":[2,6,23,29,33,49,56],"companion":[3],"artifact":[4,18],"of":[5,14,22,48,58],"paper":[7],"titled":[8],"\"Compositional":[9],"Design,":[10],"Implementation,":[11],"and":[12,43],"Verification":[13],"Swarms\"":[15],"(ECOOP'26).":[16],"contains":[19],"an":[20],"extension":[21],"open-source":[24],"Actyx":[25,61],"toolkit":[26,62],"that":[27],"implements":[28],"theoretical":[30],"results":[31],"in":[32,45],"paper.":[34],"It":[35],"also":[36],"includes":[37],"scripts":[38],"to":[39],"reproduce":[40],"all":[41],"experiments":[42],"claims":[44],"Section":[46],"6":[47],"paper,":[50],"as":[51,53],"well":[52],"documentation":[54],"on":[55],"usage":[57],"our":[59],"extended":[60],"via":[63],"various":[64],"examples.":[65]},"counts_by_year":[],"updated_date":"2026-08-14T07:06:38.338062","created_date":"2026-06-26T00:00:00"}