{"id":"https://openalex.org/W4286571694","doi":"https://doi.org/10.23919/ifipnetworking55013.2022.9829770","title":"NetStack: A Game Approach to Synthesizing Consistent Network Updates","display_name":"NetStack: A Game Approach to Synthesizing Consistent Network Updates","publication_year":2022,"publication_date":"2022-06-13","ids":{"openalex":"https://openalex.org/W4286571694","doi":"https://doi.org/10.23919/ifipnetworking55013.2022.9829770"},"language":"en","primary_location":{"id":"doi:10.23919/ifipnetworking55013.2022.9829770","is_oa":false,"landing_page_url":"https://doi.org/10.23919/ifipnetworking55013.2022.9829770","pdf_url":null,"source":null,"license":null,"license_id":null,"version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"2022 IFIP Networking Conference (IFIP Networking)","raw_type":"proceedings-article"},"type":"conference-paper","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/A5066080641","display_name":"Stefan Schmid","orcid":"https://orcid.org/0000-0002-7798-1711"},"institutions":[{"id":"https://openalex.org/I129774422","display_name":"University of Vienna","ror":"https://ror.org/03prydq77","country_code":"AT","type":"education","lineage":["https://openalex.org/I129774422"]},{"id":"https://openalex.org/I4577782","display_name":"Technische Universit\u00e4t Berlin","ror":"https://ror.org/03v4gjf40","country_code":"DE","type":"education","lineage":["https://openalex.org/I4577782"]}],"countries":["AT","DE"],"is_corresponding":false,"raw_author_name":"Stefan Schmid","raw_affiliation_strings":["TU Berlin & University of Vienna"],"raw_orcid":null,"affiliations":[{"raw_affiliation_string":"TU Berlin & University of Vienna","institution_ids":["https://openalex.org/I129774422","https://openalex.org/I4577782"]}]},{"author_position":"middle","author":{"id":"https://openalex.org/A5061966435","display_name":"Bernhard Clemens Schrenk","orcid":"https://orcid.org/0000-0001-9042-6264"},"institutions":[{"id":"https://openalex.org/I129774422","display_name":"University of Vienna","ror":"https://ror.org/03prydq77","country_code":"AT","type":"education","lineage":["https://openalex.org/I129774422"]}],"countries":["AT"],"is_corresponding":false,"raw_author_name":"Bernhard Clemens Schrenk","raw_affiliation_strings":["University of Vienna"],"raw_orcid":null,"affiliations":[{"raw_affiliation_string":"University of Vienna","institution_ids":["https://openalex.org/I129774422"]}]},{"author_position":"last","author":{"id":"https://openalex.org/A5055606711","display_name":"\u00c1lvaro Torralba","orcid":"https://orcid.org/0000-0002-5352-2529"},"institutions":[{"id":"https://openalex.org/I891191580","display_name":"Aalborg University","ror":"https://ror.org/04m5j1k67","country_code":"DK","type":"education","lineage":["https://openalex.org/I891191580"]}],"countries":["DK"],"is_corresponding":false,"raw_author_name":"Alvaro Torralba","raw_affiliation_strings":["Aalborg University"],"raw_orcid":null,"affiliations":[{"raw_affiliation_string":"Aalborg University","institution_ids":["https://openalex.org/I891191580"]}]}],"institutions":[],"countries_distinct_count":3,"institutions_distinct_count":3,"corresponding_author_ids":[],"corresponding_institution_ids":[],"apc_list":null,"apc_paid":null,"fwci":1.8872,"has_fulltext":false,"cited_by_count":7,"citation_normalized_percentile":{"value":0.85461499,"is_in_top_1_percent":false,"is_in_top_10_percent":false},"cited_by_percentile_year":{"min":89,"max":97},"biblio":{"volume":null,"issue":null,"first_page":"1","last_page":"9"},"is_retracted":false,"is_paratext":false,"is_xpac":false,"primary_topic":{"id":"https://openalex.org/T10714","display_name":"Software-Defined Networks and 5G","score":0.9998000264167786,"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"}},"topics":[{"id":"https://openalex.org/T10714","display_name":"Software-Defined Networks and 5G","score":0.9998000264167786,"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/T12127","display_name":"Software System Performance and Reliability","score":0.9987000226974487,"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/T10743","display_name":"Software Testing and Debugging Techniques","score":0.9955999851226807,"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/computer-science","display_name":"Computer science","score":0.8506510853767395},{"id":"https://openalex.org/keywords/stackelberg-competition","display_name":"Stackelberg competition","score":0.6475159525871277},{"id":"https://openalex.org/keywords/flexibility","display_name":"Flexibility (engineering)","score":0.6004274487495422},{"id":"https://openalex.org/keywords/reachability","display_name":"Reachability","score":0.563048779964447},{"id":"https://openalex.org/keywords/context","display_name":"Context (archaeology)","score":0.5577175617218018},{"id":"https://openalex.org/keywords/distributed-computing","display_name":"Distributed computing","score":0.5502493381500244},{"id":"https://openalex.org/keywords/theoretical-computer-science","display_name":"Theoretical computer science","score":0.33034902811050415}],"concepts":[{"id":"https://openalex.org/C41008148","wikidata":"https://www.wikidata.org/wiki/Q21198","display_name":"Computer science","level":0,"score":0.8506510853767395},{"id":"https://openalex.org/C199510392","wikidata":"https://www.wikidata.org/wiki/Q1184602","display_name":"Stackelberg competition","level":2,"score":0.6475159525871277},{"id":"https://openalex.org/C2780598303","wikidata":"https://www.wikidata.org/wiki/Q65921492","display_name":"Flexibility (engineering)","level":2,"score":0.6004274487495422},{"id":"https://openalex.org/C136643341","wikidata":"https://www.wikidata.org/wiki/Q1361526","display_name":"Reachability","level":2,"score":0.563048779964447},{"id":"https://openalex.org/C2779343474","wikidata":"https://www.wikidata.org/wiki/Q3109175","display_name":"Context (archaeology)","level":2,"score":0.5577175617218018},{"id":"https://openalex.org/C120314980","wikidata":"https://www.wikidata.org/wiki/Q180634","display_name":"Distributed computing","level":1,"score":0.5502493381500244},{"id":"https://openalex.org/C80444323","wikidata":"https://www.wikidata.org/wiki/Q2878974","display_name":"Theoretical computer science","level":1,"score":0.33034902811050415},{"id":"https://openalex.org/C105795698","wikidata":"https://www.wikidata.org/wiki/Q12483","display_name":"Statistics","level":1,"score":0.0},{"id":"https://openalex.org/C151730666","wikidata":"https://www.wikidata.org/wiki/Q7205","display_name":"Paleontology","level":1,"score":0.0},{"id":"https://openalex.org/C33923547","wikidata":"https://www.wikidata.org/wiki/Q395","display_name":"Mathematics","level":0,"score":0.0},{"id":"https://openalex.org/C86803240","wikidata":"https://www.wikidata.org/wiki/Q420","display_name":"Biology","level":0,"score":0.0},{"id":"https://openalex.org/C144237770","wikidata":"https://www.wikidata.org/wiki/Q747534","display_name":"Mathematical economics","level":1,"score":0.0}],"mesh":[],"locations_count":3,"locations":[{"id":"doi:10.23919/ifipnetworking55013.2022.9829770","is_oa":false,"landing_page_url":"https://doi.org/10.23919/ifipnetworking55013.2022.9829770","pdf_url":null,"source":null,"license":null,"license_id":null,"version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"2022 IFIP Networking Conference (IFIP Networking)","raw_type":"proceedings-article"},{"id":"pmh:oai:pure.atira.dk:publications/013d3ab7-40a8-4b71-afb3-67f369f0b703","is_oa":false,"landing_page_url":"http://www.scopus.com/inward/record.url?scp=85136257800&partnerID=8YFLogxK","pdf_url":null,"source":{"id":"https://openalex.org/S4306401731","display_name":"VBN Forskningsportal (Aalborg Universitet)","issn_l":null,"issn":null,"is_oa":false,"is_in_doaj":false,"is_core":false,"host_organization":"https://openalex.org/I891191580","host_organization_name":"Aalborg University","host_organization_lineage":["https://openalex.org/I891191580"],"host_organization_lineage_names":[],"type":"repository"},"license":null,"license_id":null,"version":"submittedVersion","is_accepted":false,"is_published":false,"raw_source_name":"Schmid , S , Schrenk , B C & Torralba , A 2022 , NetStack : A Game Approach to Synthesizing Consistent Network Updates . in 2022 IFIP Networking Conference, IFIP Networking 2022 . IEEE , 2022 IFIP Networking Conference, IFIP Networking 2022 , 2022 IFIP Networking Conference, IFIP Networking 2022 , Catania , Italy , 13/06/2022 . https://doi.org/10.23919/IFIPNetworking55013.2022.9829770","raw_type":"contributionToPeriodical"},{"id":"pmh:oai:pure.atira.dk:publications/013d3ab7-40a8-4b71-afb3-67f369f0b703","is_oa":false,"landing_page_url":"https://vbn.aau.dk/da/publications/013d3ab7-40a8-4b71-afb3-67f369f0b703","pdf_url":null,"source":{"id":"https://openalex.org/S4306401731","display_name":"VBN Forskningsportal (Aalborg Universitet)","issn_l":null,"issn":null,"is_oa":false,"is_in_doaj":false,"is_core":false,"host_organization":"https://openalex.org/I891191580","host_organization_name":"Aalborg University","host_organization_lineage":["https://openalex.org/I891191580"],"host_organization_lineage_names":[],"type":"repository"},"license":null,"license_id":null,"version":"submittedVersion","is_accepted":false,"is_published":false,"raw_source_name":"Schmid, S, Schrenk, B C & Torralba, A 2022, NetStack : A Game Approach to Synthesizing Consistent Network Updates. in 2022 IFIP Networking Conference, IFIP Networking 2022. IEEE (Institute of Electrical and Electronics Engineers), 2022 IFIP Networking Conference, IFIP Networking 2022, 2022 IFIP Networking Conference, IFIP Networking 2022, Catania, Italy, 13/06/2022. https://doi.org/10.23919/IFIPNetworking55013.2022.9829770","raw_type":"info:eu-repo/semantics/conferenceObject"}],"best_oa_location":null,"sustainable_development_goals":[{"display_name":"Peace, Justice and strong institutions","id":"https://metadata.un.org/sdg/16","score":0.7099999785423279}],"awards":[{"id":"https://openalex.org/G1413855161","display_name":"Fast and Quantitative What-if Analysis for Dependable Communication Networks (WHATIF)","funder_award_id":"ICT19-045","funder_id":"https://openalex.org/F4320321003","funder_display_name":"Vienna Science and Technology Fund"}],"funders":[{"id":"https://openalex.org/F4320321003","display_name":"Vienna Science and Technology Fund","ror":"https://ror.org/01f9mc681"}],"has_content":{"grobid_xml":false,"pdf":false},"content_urls":null,"referenced_works_count":38,"referenced_works":["https://openalex.org/W1509757491","https://openalex.org/W1882012874","https://openalex.org/W1964393599","https://openalex.org/W2016300863","https://openalex.org/W2058503096","https://openalex.org/W2068384525","https://openalex.org/W2080267935","https://openalex.org/W2091307059","https://openalex.org/W2118404561","https://openalex.org/W2119709400","https://openalex.org/W2161414194","https://openalex.org/W2197295414","https://openalex.org/W2426667934","https://openalex.org/W2470756317","https://openalex.org/W2527860649","https://openalex.org/W2530510313","https://openalex.org/W2549442734","https://openalex.org/W2559548740","https://openalex.org/W2742515467","https://openalex.org/W2786499672","https://openalex.org/W2789221435","https://openalex.org/W2888081310","https://openalex.org/W3006074501","https://openalex.org/W3037981738","https://openalex.org/W3103142336","https://openalex.org/W3108378780","https://openalex.org/W3166300667","https://openalex.org/W3170106073","https://openalex.org/W3187890719","https://openalex.org/W4250011158","https://openalex.org/W4300021588","https://openalex.org/W4393729602","https://openalex.org/W6630611045","https://openalex.org/W6639592347","https://openalex.org/W6687473441","https://openalex.org/W6730919094","https://openalex.org/W6767596359","https://openalex.org/W6797149756"],"related_works":["https://openalex.org/W2127267268","https://openalex.org/W1987562536","https://openalex.org/W2136512912","https://openalex.org/W2067910792","https://openalex.org/W2156446763","https://openalex.org/W4383533535","https://openalex.org/W2375814310","https://openalex.org/W2772294324","https://openalex.org/W4253760428","https://openalex.org/W2047831585"],"abstract_inverted_index":{"Availability":[0],"and":[1,70,116,134,174],"policy-compliance":[2],"of":[3,23,44,63,90],"many":[4,55],"communication":[5,93],"networks":[6,27,94],"must":[7],"be":[8,76],"guaranteed":[9],"at":[10],"any":[11],"time,":[12],"even":[13],"during":[14],"updates.":[15],"Accordingly,":[16],"over":[17],"the":[18,21,42,61,88,111],"last":[19],"years,":[20],"problem":[22,57],"how":[24],"to":[25,75,110,170],"update":[26,66,98,113],"in":[28,41,59,95,155],"a":[29,79,107,119,139,145],"manner":[30],"which":[31,96,125],"transiently":[32,126],"preserves":[33],"desirable":[34],"properties,":[35],"has":[36],"received":[37],"much":[38],"attention,":[39],"especially":[40],"context":[43],"Software-Defined":[45],"Networks":[46],"(SDNs).":[47],"While":[48],"important":[49],"insights":[50],"have":[51,74],"been":[52],"obtained":[53],"for":[54],"different":[56],"variants,":[58],"general,":[60],"design":[62],"efficient":[64],"network":[65,112,172],"algorithms":[67,73],"remains":[68],"challenging,":[69],"usually":[71],"new":[72],"developed":[77],"on":[78,122],"case-by":[80],"-case":[81],"basis.":[82],"This":[83],"paper":[84],"is":[85],"motivated":[86],"by":[87],"vision":[89],"fully":[91],"automated":[92],"consistent":[97],"schedules":[99],"are":[100,160],"synthesized":[101],"automatically.":[102],"In":[103],"particular,":[104],"we":[105],"propose":[106],"game":[108],"approach":[109,137],"synthesis":[114],"problem,":[115],"present":[117],"NetStack,":[118],"tool":[120],"based":[121],"Stackelberg":[123],"games":[124],"ensures":[127],"fundamental":[128],"properties":[129],"such":[130],"as":[131],"reachability,":[132],"loop-freedom,":[133],"waypointing.":[135],"Our":[136,163],"features":[138],"high":[140],"flexibility.":[141],"For":[142],"example,":[143],"with":[144],"simple":[146],"extension,":[147],"NetStack":[148,168],"can":[149,175],"also":[150],"support":[151],"concurrent":[152,178],"updates,":[153],"where":[154],"each":[156],"round":[157],"multiple":[158],"routers":[159],"updated":[161],"simultaneously.":[162],"empirical":[164],"evaluation":[165],"shows":[166],"that":[167],"scales":[169],"realistic":[171],"sizes,":[173],"compute":[176],"optimal":[177],"schedules.":[179]},"counts_by_year":[{"year":2025,"cited_by_count":1},{"year":2024,"cited_by_count":1},{"year":2023,"cited_by_count":4},{"year":2022,"cited_by_count":1}],"updated_date":"2026-07-29T14:22:42.915294","created_date":"2025-10-10T00:00:00"}