{"id":"https://openalex.org/W4235188675","doi":"https://doi.org/10.1109/wsc.2016.7822171","title":"Convenus: Congestion verification of network updates in software-defined networks","display_name":"Convenus: Congestion verification of network updates in software-defined networks","publication_year":2016,"publication_date":"2016-12-01","ids":{"openalex":"https://openalex.org/W4235188675","doi":"https://doi.org/10.1109/wsc.2016.7822171"},"language":"en","primary_location":{"id":"doi:10.1109/wsc.2016.7822171","is_oa":false,"landing_page_url":"https://doi.org/10.1109/wsc.2016.7822171","pdf_url":null,"source":{"id":"https://openalex.org/S4363607936","display_name":"2016 Winter Simulation Conference (WSC)","issn_l":null,"issn":null,"is_oa":false,"is_in_doaj":false,"is_core":false,"host_organization":null,"host_organization_name":null,"host_organization_lineage":[],"host_organization_lineage_names":[],"type":"conference"},"license":null,"license_id":null,"version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"2016 Winter Simulation Conference (WSC)","raw_type":"proceedings-article"},"type":"article","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/A5100352117","display_name":"Xin Liu","orcid":"https://orcid.org/0000-0001-5674-4592"},"institutions":[{"id":"https://openalex.org/I180949307","display_name":"Illinois Institute of Technology","ror":"https://ror.org/037t3ry66","country_code":"US","type":"education","lineage":["https://openalex.org/I180949307"]}],"countries":["US"],"is_corresponding":false,"raw_author_name":"Xin Liu","raw_affiliation_strings":["Department of Computer Science, Illinois Institute of Technology, Chicago, IL, USA"],"raw_orcid":null,"affiliations":[{"raw_affiliation_string":"Department of Computer Science, Illinois Institute of Technology, Chicago, IL, USA","institution_ids":["https://openalex.org/I180949307"]}]},{"author_position":"middle","author":{"id":"https://openalex.org/A5107211644","display_name":"Dong Jin","orcid":null},"institutions":[{"id":"https://openalex.org/I180949307","display_name":"Illinois Institute of Technology","ror":"https://ror.org/037t3ry66","country_code":"US","type":"education","lineage":["https://openalex.org/I180949307"]}],"countries":["US"],"is_corresponding":false,"raw_author_name":"Dong Jin","raw_affiliation_strings":["Department of Computer Science, Illinois Institute of Technology, Chicago, IL, USA"],"raw_orcid":null,"affiliations":[{"raw_affiliation_string":"Department of Computer Science, Illinois Institute of Technology, Chicago, IL, USA","institution_ids":["https://openalex.org/I180949307"]}]},{"author_position":"middle","author":{"id":"https://openalex.org/A5088159266","display_name":"Cheol Won Lee","orcid":null},"institutions":[{"id":"https://openalex.org/I4210118593","display_name":"Korean Association for Public Security Administration","ror":"https://ror.org/02d5yh638","country_code":"KR","type":"other","lineage":["https://openalex.org/I4210118593"]},{"id":"https://openalex.org/I4387156240","display_name":"National Security Research Institute","ror":"https://ror.org/01rg5mm74","country_code":"KR","type":"government","lineage":["https://openalex.org/I2801339556","https://openalex.org/I4210144908","https://openalex.org/I4387152098","https://openalex.org/I4387156240"]}],"countries":["KR"],"is_corresponding":false,"raw_author_name":"Cheol Won Lee","raw_affiliation_strings":["National Security Research Institute, Daejeon, SOUTH KOREA"],"raw_orcid":null,"affiliations":[{"raw_affiliation_string":"National Security Research Institute, Daejeon, SOUTH KOREA","institution_ids":["https://openalex.org/I4210118593","https://openalex.org/I4387156240"]}]},{"author_position":"last","author":{"id":"https://openalex.org/A5084258371","display_name":"Jong Cheol Moon","orcid":null},"institutions":[{"id":"https://openalex.org/I4210118593","display_name":"Korean Association for Public Security Administration","ror":"https://ror.org/02d5yh638","country_code":"KR","type":"other","lineage":["https://openalex.org/I4210118593"]},{"id":"https://openalex.org/I4387156240","display_name":"National Security Research Institute","ror":"https://ror.org/01rg5mm74","country_code":"KR","type":"government","lineage":["https://openalex.org/I2801339556","https://openalex.org/I4210144908","https://openalex.org/I4387152098","https://openalex.org/I4387156240"]}],"countries":["KR"],"is_corresponding":false,"raw_author_name":"Jong Cheol Moon","raw_affiliation_strings":["National Security Research Institute, Daejeon, SOUTH KOREA"],"raw_orcid":null,"affiliations":[{"raw_affiliation_string":"National Security Research Institute, Daejeon, SOUTH KOREA","institution_ids":["https://openalex.org/I4210118593","https://openalex.org/I4387156240"]}]}],"institutions":[],"countries_distinct_count":2,"institutions_distinct_count":4,"corresponding_author_ids":[],"corresponding_institution_ids":[],"apc_list":null,"apc_paid":null,"fwci":0.84,"has_fulltext":false,"cited_by_count":3,"citation_normalized_percentile":{"value":0.80097324,"is_in_top_1_percent":false,"is_in_top_10_percent":false},"cited_by_percentile_year":{"min":90,"max":94},"biblio":{"volume":null,"issue":null,"first_page":"1131","last_page":"1142"},"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/T12127","display_name":"Software System Performance and Reliability","score":0.9976999759674072,"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/T10101","display_name":"Cloud Computing and Resource Management","score":0.9854999780654907,"subfield":{"id":"https://openalex.org/subfields/1710","display_name":"Information Systems"},"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.8261436820030212},{"id":"https://openalex.org/keywords/computer-network","display_name":"Computer network","score":0.593071699142456},{"id":"https://openalex.org/keywords/throughput","display_name":"Throughput","score":0.5813831686973572},{"id":"https://openalex.org/keywords/network-simulation","display_name":"Network simulation","score":0.5430558919906616},{"id":"https://openalex.org/keywords/network-congestion","display_name":"Network congestion","score":0.5316959619522095},{"id":"https://openalex.org/keywords/middleware","display_name":"Middleware (distributed applications)","score":0.5154262781143188},{"id":"https://openalex.org/keywords/distributed-computing","display_name":"Distributed computing","score":0.5097255110740662},{"id":"https://openalex.org/keywords/software","display_name":"Software","score":0.5021841526031494},{"id":"https://openalex.org/keywords/controller","display_name":"Controller (irrigation)","score":0.4996974468231201},{"id":"https://openalex.org/keywords/software-defined-networking","display_name":"Software-defined networking","score":0.4966021180152893},{"id":"https://openalex.org/keywords/network-traffic-control","display_name":"Network traffic control","score":0.447092741727829},{"id":"https://openalex.org/keywords/set","display_name":"Set (abstract data type)","score":0.442465215921402},{"id":"https://openalex.org/keywords/flow-control","display_name":"Flow control (data)","score":0.43598854541778564},{"id":"https://openalex.org/keywords/real-time-computing","display_name":"Real-time computing","score":0.3384067416191101},{"id":"https://openalex.org/keywords/operating-system","display_name":"Operating system","score":0.16813674569129944},{"id":"https://openalex.org/keywords/network-packet","display_name":"Network packet","score":0.1149512231349945}],"concepts":[{"id":"https://openalex.org/C41008148","wikidata":"https://www.wikidata.org/wiki/Q21198","display_name":"Computer science","level":0,"score":0.8261436820030212},{"id":"https://openalex.org/C31258907","wikidata":"https://www.wikidata.org/wiki/Q1301371","display_name":"Computer network","level":1,"score":0.593071699142456},{"id":"https://openalex.org/C157764524","wikidata":"https://www.wikidata.org/wiki/Q1383412","display_name":"Throughput","level":3,"score":0.5813831686973572},{"id":"https://openalex.org/C139940560","wikidata":"https://www.wikidata.org/wiki/Q290036","display_name":"Network simulation","level":2,"score":0.5430558919906616},{"id":"https://openalex.org/C195563490","wikidata":"https://www.wikidata.org/wiki/Q180368","display_name":"Network congestion","level":3,"score":0.5316959619522095},{"id":"https://openalex.org/C169468491","wikidata":"https://www.wikidata.org/wiki/Q146923","display_name":"Middleware (distributed applications)","level":2,"score":0.5154262781143188},{"id":"https://openalex.org/C120314980","wikidata":"https://www.wikidata.org/wiki/Q180634","display_name":"Distributed computing","level":1,"score":0.5097255110740662},{"id":"https://openalex.org/C2777904410","wikidata":"https://www.wikidata.org/wiki/Q7397","display_name":"Software","level":2,"score":0.5021841526031494},{"id":"https://openalex.org/C203479927","wikidata":"https://www.wikidata.org/wiki/Q5165939","display_name":"Controller (irrigation)","level":2,"score":0.4996974468231201},{"id":"https://openalex.org/C77270119","wikidata":"https://www.wikidata.org/wiki/Q1655198","display_name":"Software-defined networking","level":2,"score":0.4966021180152893},{"id":"https://openalex.org/C201100257","wikidata":"https://www.wikidata.org/wiki/Q393287","display_name":"Network traffic control","level":3,"score":0.447092741727829},{"id":"https://openalex.org/C177264268","wikidata":"https://www.wikidata.org/wiki/Q1514741","display_name":"Set (abstract data type)","level":2,"score":0.442465215921402},{"id":"https://openalex.org/C186766456","wikidata":"https://www.wikidata.org/wiki/Q612457","display_name":"Flow control (data)","level":2,"score":0.43598854541778564},{"id":"https://openalex.org/C79403827","wikidata":"https://www.wikidata.org/wiki/Q3988","display_name":"Real-time computing","level":1,"score":0.3384067416191101},{"id":"https://openalex.org/C111919701","wikidata":"https://www.wikidata.org/wiki/Q9135","display_name":"Operating system","level":1,"score":0.16813674569129944},{"id":"https://openalex.org/C158379750","wikidata":"https://www.wikidata.org/wiki/Q214111","display_name":"Network packet","level":2,"score":0.1149512231349945},{"id":"https://openalex.org/C555944384","wikidata":"https://www.wikidata.org/wiki/Q249","display_name":"Wireless","level":2,"score":0.0},{"id":"https://openalex.org/C6557445","wikidata":"https://www.wikidata.org/wiki/Q173113","display_name":"Agronomy","level":1,"score":0.0},{"id":"https://openalex.org/C199360897","wikidata":"https://www.wikidata.org/wiki/Q9143","display_name":"Programming language","level":1,"score":0.0},{"id":"https://openalex.org/C86803240","wikidata":"https://www.wikidata.org/wiki/Q420","display_name":"Biology","level":0,"score":0.0}],"mesh":[],"locations_count":1,"locations":[{"id":"doi:10.1109/wsc.2016.7822171","is_oa":false,"landing_page_url":"https://doi.org/10.1109/wsc.2016.7822171","pdf_url":null,"source":{"id":"https://openalex.org/S4363607936","display_name":"2016 Winter Simulation Conference (WSC)","issn_l":null,"issn":null,"is_oa":false,"is_in_doaj":false,"is_core":false,"host_organization":null,"host_organization_name":null,"host_organization_lineage":[],"host_organization_lineage_names":[],"type":"conference"},"license":null,"license_id":null,"version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"2016 Winter Simulation Conference (WSC)","raw_type":"proceedings-article"}],"best_oa_location":null,"sustainable_development_goals":[],"awards":[],"funders":[],"has_content":{"grobid_xml":false,"pdf":false},"content_urls":null,"referenced_works_count":18,"referenced_works":["https://openalex.org/W158224344","https://openalex.org/W1675033504","https://openalex.org/W1710734607","https://openalex.org/W1882012874","https://openalex.org/W1917945289","https://openalex.org/W2037583014","https://openalex.org/W2069354103","https://openalex.org/W2115526539","https://openalex.org/W2137826183","https://openalex.org/W2162547852","https://openalex.org/W2167724537","https://openalex.org/W4238223428","https://openalex.org/W6606536520","https://openalex.org/W6637274776","https://openalex.org/W6637688222","https://openalex.org/W6639592347","https://openalex.org/W6640224399","https://openalex.org/W6684446252"],"related_works":["https://openalex.org/W2374774854","https://openalex.org/W2147074439","https://openalex.org/W1483864377","https://openalex.org/W1990799529","https://openalex.org/W2347295639","https://openalex.org/W2372056697","https://openalex.org/W1985457510","https://openalex.org/W2513572042","https://openalex.org/W2174583209","https://openalex.org/W4388218486"],"abstract_inverted_index":{"We":[0],"present":[1],"ConVenus,":[2],"a":[3,18,77,83,117],"system":[4],"that":[5,68,107],"performs":[6],"rapid":[7],"congestion":[8],"verification":[9],"of":[10,43,64,92,113,120],"network":[11,26,79,97,101,118],"updates":[12,34,115],"in":[13,45,95,116],"software-defined":[14],"networks.":[15],"ConVenus":[16,58,81,108],"is":[17,29],"lightweight":[19],"middleware":[20],"between":[21],"the":[22,36,41,51,61,90,96,114],"SDN":[23],"controller":[24,37],"and":[25,28,38,48,66,75,99,124],"devices,":[27],"capable":[30],"to":[31,87,110],"intercept":[32],"flow":[33,73,94],"from":[35],"verify":[39,111],"whether":[40],"amount":[42],"traffic":[44],"any":[46],"links":[47],"switches":[49,67,126],"exceeds":[50],"desired":[52],"capacity.":[53],"To":[54],"enable":[55],"online":[56],"verification,":[57],"dynamically":[59],"identifies":[60],"minimum":[62],"set":[63],"flows":[65],"are":[69],"affected":[70],"by":[71],"each":[72],"update,":[74],"creates":[76],"compact":[78],"model.":[80],"uses":[82],"four-phase":[84],"simulation":[85],"algorithm":[86],"quickly":[88],"compute":[89],"throughput":[91],"every":[93],"model":[98],"report":[100],"congestion.":[102],"The":[103],"experimental":[104],"results":[105],"demonstrate":[106],"manages":[109],"90%":[112],"consisting":[119],"over":[121],"500":[122],"hosts":[123],"80":[125],"within":[127],"5":[128],"milliseconds.":[129]},"counts_by_year":[{"year":2023,"cited_by_count":1},{"year":2019,"cited_by_count":1},{"year":2018,"cited_by_count":1}],"updated_date":"2026-06-11T09:08:48.828518","created_date":"2025-10-10T00:00:00"}