{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,9,11]],"date-time":"2025-09-11T22:01:34Z","timestamp":1757628094407,"version":"3.44.0"},"reference-count":16,"publisher":"IEEE","license":[{"start":{"date-parts":[[2025,7,2]],"date-time":"2025-07-02T00:00:00Z","timestamp":1751414400000},"content-version":"stm-asf","delay-in-days":0,"URL":"https:\/\/doi.org\/10.15223\/policy-029"},{"start":{"date-parts":[[2025,7,2]],"date-time":"2025-07-02T00:00:00Z","timestamp":1751414400000},"content-version":"stm-asf","delay-in-days":0,"URL":"https:\/\/doi.org\/10.15223\/policy-037"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2025,7,2]]},"DOI":"10.1109\/iwqos65803.2025.11143368","type":"proceedings-article","created":{"date-parts":[[2025,9,9]],"date-time":"2025-09-09T17:29:52Z","timestamp":1757438992000},"page":"1-6","source":"Crossref","is-referenced-by-count":0,"title":["Probabilistic Analysis of Overload-Free Property for Critical Traffic"],"prefix":"10.1109","author":[{"given":"Zhiyun","family":"Tang","sequence":"first","affiliation":[{"name":"Tsinghua University,China"}]},{"given":"Yahui","family":"Li","sequence":"additional","affiliation":[{"name":"Tsinghua University,China"}]},{"given":"Ke","family":"Ruan","sequence":"additional","affiliation":[{"name":"Research Institute, China Telecom Corporation,China"}]},{"given":"Yongqing","family":"Zhu","sequence":"additional","affiliation":[{"name":"Research Institute, China Telecom Corporation,China"}]},{"given":"Yingjun","family":"Ye","sequence":"additional","affiliation":[{"name":"Research Institute, China Telecom Corporation,China"}]},{"given":"Jilong","family":"Wang","sequence":"additional","affiliation":[{"name":"Tsinghua University,China"}]},{"given":"Xia","family":"Yin","sequence":"additional","affiliation":[{"name":"Tsinghua University,China"}]},{"given":"Xingang","family":"Shi","sequence":"additional","affiliation":[{"name":"Tsinghua University,China"}]},{"given":"Han","family":"Zhang","sequence":"additional","affiliation":[{"name":"Tsinghua University,China"}]}],"member":"263","reference":[{"key":"ref1","doi-asserted-by":"publisher","DOI":"10.1109\/nas.2016.7549408"},{"key":"ref2","doi-asserted-by":"publisher","DOI":"10.1109\/tetc.2018.2847296"},{"key":"ref3","article-title":"Achieving high utilization with software-driven WAN","author":"Chi-Yao","year":"2013","journal-title":"In SIGCOMM"},{"key":"ref4","doi-asserted-by":"publisher","DOI":"10.1145\/2043164.2018470"},{"key":"ref5","article-title":"Veriflow: Verifying network-wide invariants in real time","author":"Khurshid","year":"2013","journal-title":"In NSDI"},{"key":"ref6","article-title":"A general approach to network configuration analysis","author":"Ari","year":"2015","journal-title":"In NSDI"},{"key":"ref7","article-title":"A general approach to network configuration verification","author":"Ryan","year":"2017","journal-title":"In SIGCOMM"},{"key":"ref8","article-title":"Reasoning about Network Traffic Load Property at Production Scale","author":"Ruihan","year":"2024","journal-title":"In NSDI"},{"key":"ref9","article-title":"Detecting network load violations for distributed control planes","author":"Kausik","year":"2020","journal-title":"In PLDI"},{"key":"ref10","article-title":"Fast control plane analysis using an abstract representation","author":"Aaron","year":"2016","journal-title":"In SIGCOMM"},{"key":"ref11","article-title":"Header space analysis: Static checking for networks","volume-title":"9th USENIX Symposium on Networked Systems Design and Implementation (NSDI 12)","author":"Peyman","year":"2012"},{"key":"ref12","article-title":"Probabilistic verification of network configurations","author":"Samuel","year":"2020","journal-title":"In SIGCOMM"},{"key":"ref13","doi-asserted-by":"publisher","DOI":"10.1109\/ICNP55882.2022.9940438"},{"key":"ref14","volume-title":"Topology zoo"},{"key":"ref15","doi-asserted-by":"publisher","DOI":"10.1145\/3584182"},{"key":"ref16","doi-asserted-by":"publisher","DOI":"10.1145\/1096536.1096551"}],"event":{"name":"2025 IEEE\/ACM International Symposium on Quality of Service (IWQoS)","location":"Gold Coast, Australia","start":{"date-parts":[[2025,7,2]]},"end":{"date-parts":[[2025,7,4]]}},"container-title":["2025 IEEE\/ACM 33rd International Symposium on Quality of Service (IWQoS)"],"original-title":[],"link":[{"URL":"http:\/\/xplorestaging.ieee.org\/ielx8\/11143240\/11143247\/11143368.pdf?arnumber=11143368","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2025,9,10]],"date-time":"2025-09-10T05:51:06Z","timestamp":1757483466000},"score":1,"resource":{"primary":{"URL":"https:\/\/ieeexplore.ieee.org\/document\/11143368\/"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2025,7,2]]},"references-count":16,"URL":"https:\/\/doi.org\/10.1109\/iwqos65803.2025.11143368","relation":{},"subject":[],"published":{"date-parts":[[2025,7,2]]}}}