{"id":"https://openalex.org/W4401508560","doi":"https://doi.org/10.1109/infocom52122.2024.10621323","title":"SyPer: Synthesis of Perfectly Resilient Local Fast Re-Routing Rules for Highly Dependable Networks","display_name":"SyPer: Synthesis of Perfectly Resilient Local Fast Re-Routing Rules for Highly Dependable Networks","publication_year":2024,"publication_date":"2024-05-20","ids":{"openalex":"https://openalex.org/W4401508560","doi":"https://doi.org/10.1109/infocom52122.2024.10621323"},"language":"en","primary_location":{"id":"doi:10.1109/infocom52122.2024.10621323","is_oa":false,"landing_page_url":"https://doi.org/10.1109/infocom52122.2024.10621323","pdf_url":null,"source":null,"license":null,"license_id":null,"version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"IEEE INFOCOM 2024 - IEEE Conference on Computer Communications","raw_type":"proceedings-article"},"type":"article","indexed_in":["crossref"],"open_access":{"is_oa":true,"oa_status":"green","oa_url":"https://vbn.aau.dk/ws/files/799217081/INFOCOM_GLSS_24.pdf","any_repository_has_fulltext":true},"authorships":[{"author_position":"first","author":{"id":"https://openalex.org/A5081807660","display_name":"Csaba Gy\u00f6rgyi","orcid":"https://orcid.org/0000-0002-8083-3277"},"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":true,"raw_author_name":"Csaba Gy\u00f6rgyi","raw_affiliation_strings":["University of Vienna"],"affiliations":[{"raw_affiliation_string":"University of Vienna","institution_ids":["https://openalex.org/I129774422"]}]},{"author_position":"middle","author":{"id":"https://openalex.org/A5069362159","display_name":"Kim G. Larsen","orcid":"https://orcid.org/0000-0002-5953-3384"},"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":"Kim G. Larsen","raw_affiliation_strings":["Aalborg University"],"affiliations":[{"raw_affiliation_string":"Aalborg University","institution_ids":["https://openalex.org/I891191580"]}]},{"author_position":"middle","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"]}],"countries":["AT"],"is_corresponding":false,"raw_author_name":"Stefan Schmid","raw_affiliation_strings":["University of Vienna"],"affiliations":[{"raw_affiliation_string":"University of Vienna","institution_ids":["https://openalex.org/I129774422"]}]},{"author_position":"last","author":{"id":"https://openalex.org/A5009728620","display_name":"Ji\u0159\u0131\u0301 Srba","orcid":"https://orcid.org/0000-0001-5551-6547"},"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":"Ji\u0159\u00ed Srba","raw_affiliation_strings":["Aalborg University"],"affiliations":[{"raw_affiliation_string":"Aalborg University","institution_ids":["https://openalex.org/I891191580"]}]}],"institutions":[],"countries_distinct_count":2,"institutions_distinct_count":4,"corresponding_author_ids":["https://openalex.org/A5081807660"],"corresponding_institution_ids":["https://openalex.org/I129774422"],"apc_list":null,"apc_paid":null,"fwci":0.686,"has_fulltext":true,"cited_by_count":2,"citation_normalized_percentile":{"value":0.71051416,"is_in_top_1_percent":false,"is_in_top_10_percent":false},"cited_by_percentile_year":{"min":90,"max":95},"biblio":{"volume":null,"issue":null,"first_page":"2398","last_page":"2407"},"is_retracted":false,"is_paratext":false,"is_xpac":false,"primary_topic":{"id":"https://openalex.org/T10714","display_name":"Software-Defined Networks and 5G","score":1.0,"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":1.0,"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/T10829","display_name":"Interconnection Networks and Systems","score":0.9994000196456909,"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/T10847","display_name":"Advanced Optical Network Technologies","score":0.9962000250816345,"subfield":{"id":"https://openalex.org/subfields/2208","display_name":"Electrical and Electronic Engineering"},"field":{"id":"https://openalex.org/fields/22","display_name":"Engineering"},"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.668213963508606},{"id":"https://openalex.org/keywords/routing","display_name":"Routing (electronic design automation)","score":0.5574449300765991},{"id":"https://openalex.org/keywords/computer-network","display_name":"Computer network","score":0.506060779094696},{"id":"https://openalex.org/keywords/distributed-computing","display_name":"Distributed computing","score":0.44275885820388794},{"id":"https://openalex.org/keywords/network-routing","display_name":"Network routing","score":0.415910929441452}],"concepts":[{"id":"https://openalex.org/C41008148","wikidata":"https://www.wikidata.org/wiki/Q21198","display_name":"Computer science","level":0,"score":0.668213963508606},{"id":"https://openalex.org/C74172769","wikidata":"https://www.wikidata.org/wiki/Q1446839","display_name":"Routing (electronic design automation)","level":2,"score":0.5574449300765991},{"id":"https://openalex.org/C31258907","wikidata":"https://www.wikidata.org/wiki/Q1301371","display_name":"Computer network","level":1,"score":0.506060779094696},{"id":"https://openalex.org/C120314980","wikidata":"https://www.wikidata.org/wiki/Q180634","display_name":"Distributed computing","level":1,"score":0.44275885820388794},{"id":"https://openalex.org/C2983435990","wikidata":"https://www.wikidata.org/wiki/Q22725","display_name":"Network routing","level":3,"score":0.415910929441452}],"mesh":[],"locations_count":2,"locations":[{"id":"doi:10.1109/infocom52122.2024.10621323","is_oa":false,"landing_page_url":"https://doi.org/10.1109/infocom52122.2024.10621323","pdf_url":null,"source":null,"license":null,"license_id":null,"version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"IEEE INFOCOM 2024 - IEEE Conference on Computer Communications","raw_type":"proceedings-article"},{"id":"pmh:oai:pure.atira.dk:publications/a55b6122-a29b-48b0-b4fc-579394ecf443","is_oa":true,"landing_page_url":"https://vbn.aau.dk/da/publications/a55b6122-a29b-48b0-b4fc-579394ecf443","pdf_url":"https://vbn.aau.dk/ws/files/799217081/INFOCOM_GLSS_24.pdf","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":"other-oa","license_id":"https://openalex.org/licenses/other-oa","version":"submittedVersion","is_accepted":false,"is_published":false,"raw_source_name":"Gyorgyi, C, Larsen, K G, Schmid, S & Srba, J 2024, SyPer : Synthesis of Perfectly Resilient Local Fast Re-Routing Rules for Highly Dependable Networks. in IEEE INFOCOM 2024 - IEEE Conference on Computer Communications. IEEE (Institute of Electrical and Electronics Engineers), Proceedings - IEEE INFOCOM, pp. 2398-2407, 2024 IEEE Conference on Computer Communications, INFOCOM 2024, Vancouver, Canada, 20/05/2024. https://doi.org/10.1109/INFOCOM52122.2024.10621323","raw_type":"info:eu-repo/semantics/publishedVersion"}],"best_oa_location":{"id":"pmh:oai:pure.atira.dk:publications/a55b6122-a29b-48b0-b4fc-579394ecf443","is_oa":true,"landing_page_url":"https://vbn.aau.dk/da/publications/a55b6122-a29b-48b0-b4fc-579394ecf443","pdf_url":"https://vbn.aau.dk/ws/files/799217081/INFOCOM_GLSS_24.pdf","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":"other-oa","license_id":"https://openalex.org/licenses/other-oa","version":"submittedVersion","is_accepted":false,"is_published":false,"raw_source_name":"Gyorgyi, C, Larsen, K G, Schmid, S & Srba, J 2024, SyPer : Synthesis of Perfectly Resilient Local Fast Re-Routing Rules for Highly Dependable Networks. in IEEE INFOCOM 2024 - IEEE Conference on Computer Communications. IEEE (Institute of Electrical and Electronics Engineers), Proceedings - IEEE INFOCOM, pp. 2398-2407, 2024 IEEE Conference on Computer Communications, INFOCOM 2024, Vancouver, Canada, 20/05/2024. https://doi.org/10.1109/INFOCOM52122.2024.10621323","raw_type":"info:eu-repo/semantics/publishedVersion"},"sustainable_development_goals":[{"id":"https://metadata.un.org/sdg/13","score":0.5699999928474426,"display_name":"Climate action"}],"awards":[{"id":"https://openalex.org/G4723775318","display_name":null,"funder_award_id":"10.47379/ICT19045","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":{"pdf":true,"grobid_xml":false},"content_urls":{"pdf":"https://content.openalex.org/works/W4401508560.pdf"},"referenced_works_count":58,"referenced_works":["https://openalex.org/W95608104","https://openalex.org/W348179840","https://openalex.org/W1714884520","https://openalex.org/W1879069508","https://openalex.org/W1988160302","https://openalex.org/W2011560542","https://openalex.org/W2023696105","https://openalex.org/W2045221772","https://openalex.org/W2049516232","https://openalex.org/W2058503096","https://openalex.org/W2076424788","https://openalex.org/W2080267935","https://openalex.org/W2099251677","https://openalex.org/W2101364936","https://openalex.org/W2105772303","https://openalex.org/W2111819604","https://openalex.org/W2118404561","https://openalex.org/W2122003969","https://openalex.org/W2162784824","https://openalex.org/W2480346368","https://openalex.org/W2496148045","https://openalex.org/W2548521885","https://openalex.org/W2552298303","https://openalex.org/W2773607777","https://openalex.org/W2794548278","https://openalex.org/W2833580585","https://openalex.org/W2899270299","https://openalex.org/W2902696225","https://openalex.org/W2969402646","https://openalex.org/W2981785382","https://openalex.org/W2982698902","https://openalex.org/W2993738875","https://openalex.org/W3009075947","https://openalex.org/W3012968683","https://openalex.org/W3029209723","https://openalex.org/W3034548139","https://openalex.org/W3046676529","https://openalex.org/W3101258903","https://openalex.org/W3108378780","https://openalex.org/W3156151636","https://openalex.org/W3160434771","https://openalex.org/W4233126987","https://openalex.org/W4285210891","https://openalex.org/W4298005732","https://openalex.org/W4308245350","https://openalex.org/W4309224635","https://openalex.org/W4310484070","https://openalex.org/W4378801142","https://openalex.org/W4382401951","https://openalex.org/W4387060221","https://openalex.org/W4393718719","https://openalex.org/W4393892947","https://openalex.org/W6678632050","https://openalex.org/W6729163099","https://openalex.org/W6750584877","https://openalex.org/W6760642972","https://openalex.org/W6769828913","https://openalex.org/W6845987841"],"related_works":["https://openalex.org/W2075067217","https://openalex.org/W4254709952","https://openalex.org/W2026034687","https://openalex.org/W1687060458","https://openalex.org/W2353466952","https://openalex.org/W2609535666","https://openalex.org/W4256116802","https://openalex.org/W2117492357","https://openalex.org/W2148325338","https://openalex.org/W2534932155"],"abstract_inverted_index":{"Modern":[0],"communication":[1],"networks":[2],"support":[3],"local":[4,41],"fast":[5],"re-routing":[6],"(FRR)":[7],"to":[8,11,25,48,127,135],"quickly":[9],"react":[10],"link":[12,57,137],"failures.":[13],"However,":[14],"configuring":[15],"such":[16],"FRR":[17,74,100],"mechanisms":[18],"is":[19,59,186],"challenging":[20],"as":[21,148,150],"the":[22,34,45,110,114,156,166,173],"rules":[23,75,171],"have":[24],"be":[26],"defined":[27],"ahead":[28],"of":[29,33,94,113,168],"time,":[30],"without":[31],"knowledge":[32],"failures,":[35,138],"and":[36,79,116,179,188],"can":[37,140,189],"depend":[38],"only":[39],"on":[40,165],"decisions":[42],"made":[43],"by":[44,72],"nodes":[46,147],"incident":[47],"a":[49,64,91,105,118],"failed":[50],"link.":[51],"Designing":[52],"failover":[53],"protection":[54],"against":[55],"multiple":[56],"failures":[58],"particularly":[60],"difficult.":[61],"We":[62,108],"present":[63],"novel":[65],"synthesis":[66,119,167],"approach":[67],"which":[68],"addresses":[69],"this":[70,161],"challenge":[71],"generating":[73],"in":[76,121,155,194],"an":[77],"automated":[78],"provably":[80],"correct":[81],"manner.":[82],"Our":[83],"network":[84,192],"model":[85,115],"assumes":[86],"that":[87,102,125,184],"each":[88],"node":[89],"maintains":[90],"prioritised":[92],"list":[93],"backup":[95],"links":[96],"(a.k.a.":[97],"skipping":[98],"forwarding)\u2014an":[99],"method":[101,120],"allows":[103],"for":[104],"memory-efficient":[106],"deployment.":[107],"study":[109],"theoretical":[111],"properties":[112],"implement":[117],"our":[122,180],"tool":[123],"SyPer":[124,163,185],"aims":[126],"provide":[128],"perfect":[129],"resilience:":[130],"if":[131],"there":[132],"are":[133,152],"up":[134],"k":[136],"we":[139],"always":[141],"route":[142],"traffic":[143],"between":[144],"any":[145],"two":[146],"long":[149],"they":[151],"still":[153],"connected":[154],"underlying":[157],"physical":[158],"network.":[159],"To":[160],"end,":[162],"focuses":[164],"efficient":[169],"forwarding":[170],"using":[172],"BDD":[174],"(binary":[175],"decision":[176],"diagram)":[177],"methodology":[178],"empirical":[181],"evaluation":[182],"shows":[183],"feasible,":[187],"synthesize":[190],"robust":[191],"configuration":[193],"realistic":[195],"settings.":[196]},"counts_by_year":[{"year":2025,"cited_by_count":1},{"year":2024,"cited_by_count":1}],"updated_date":"2026-04-10T15:06:20.359241","created_date":"2025-10-10T00:00:00"}