Jiangyuan Yao
Publication record assembled from the DBLP archive of ranked conferences.
Papers indexed
16
Venues
9
Active years
2013–2026
Best venue rank
A*
Where they publish
Papers
16 indexed papers, newest first.
| Year | Venue | Title | Authors |
|---|---|---|---|
| 2026 | INFOCOM | Comprehensive Network Configuration Verification via Effective Environment Reduction. | Xinzhe Liu, Yahui Li, Han Zhang, Renrui Tian, Xia Yin, Xingang Shi, Gang Ren, Jilong Wang, Jiangyuan Yao |
| 2024 | SIGCOMM | Poster: Scalable and Interpretable Multilayer Overlay Network Checking via Ensemble Verification. | Xinzhe Liu, Yahui Li, Han Zhang, Xia Yin, Xingang Shi, Zhiliang Wang, Gang Ren, Jiangyuan Yao |
| 2022 | UIC | Coflow scheduling with unknown prior knowledge based on traffic characteristics. | Deshun Li, Ganghua Cao, Xudong Fang, Jiangyuan Yao, Qiuling Yang, Yuyin Tan, Kewei Zhang |
| 2022 | UIC | MSIP: Study on multi-source infection pattern mining algorithm in four-dimensional spacetime. | Deshun Li, Lingyu Li, Kaiyi Li, Qiuling Yang, Jiangyuan Yao, Yuyin Tan |
| 2022 | UIC | Model Checking of Software-Defined Networking for Multiple Applications. | Jiangyuan Yao, Shengjun Lin, Jiawen Wang, Deshun Li, Qiuling Yang, Changshuai Wang, Xiaobin Wang |
| 2021 | HPCC | Forwarding Policy Verification of Hybrid Multi-domain Software-Defined Network. | Jiangyuan Yao, Zheng Jiang, Weiping Yang, Minrui Wang, Deshun Li |
| 2021 | HPCC | Optimal deployment design of repeaters and memories in quantum networks. | Jiangyuan Yao, Kaiwen Zou, Deshun Li, Zheng Jiang |
| 2018 | INFOCOM | Efficient network configuration verification using optimized datalog. | Yahui Li, Zhiliang Wang, Xia Yin, Xingang Shi, Jianping Wu, Jiangyuan Yao, Yingya Guo |
| 2017 | ICNP | MSAID: Automated interference detection for multiple SDN applications. | Yahui Li, Zhiliang Wang, Jiangyuan Yao, Xia Yin, Xingang Shi, Jianping Wu |
| 2017 | MASCOTS | Testing Black-Box SDN Applications with Formal Behavior Models. | Jiangyuan Yao, Zhiliang Wang, Xia Yin, Xingang Shi, Yahui Li, Chongrong Li |
| 2014 | CoNEXT | Model Based Black-Box Testing of SDN Applications. | Jiangyuan Yao, Zhiliang Wang, Xia Yin, Xingang Shi, Jianping Wu, Yahui Li |
| 2014 | ICNP | Formal Modeling and Systematic Black-Box Testing of SDN Data Plane. | Jiangyuan Yao, Zhiliang Wang, Xia Yin, Xingang Shi, Jianping Wu |
| 2014 | IPCCC | Let more nodes have a second choice. | Haijun Geng, Xingang Shi, Xia Yin, Zhiliang Wang, Han Zhang, Jiangyuan Yao |
| 2014 | IPCCC | A hybrid link protection scheme for link-state routing networks. | Haijun Geng, Xingang Shi, Xia Yin, Zhiliang Wang, Han Zhang, Jiangyuan Yao |
| 2014 | IPCCC | Test oriented formal model of SDN applications. | Jiangyuan Yao, Zhiliang Wang, Xia Yin, Xingang Shi, Jianping Wu, Yahui Li |
| 2013 | ICCCN | Reachability Graph Based Hierarchical Test Generation for Network Protocols Modeled as Parallel Finite State Machines. | Jiangyuan Yao, Zhiliang Wang, Xia Yin, Xingang Shi, Jianping Wu |