[1] Yan Yang, Xingang Shi, Qiang Ma, Yahui Li, Xia Yin, Zhiliang Wang: Path stability in partially deployed secure BGP routing. Comput. Networks 206: 108762 (2022)
[2] Lei Shi, Yahui Li, Boon Thau Loo, Rajeev Alur: Network Traffic Classification by Program Synthesis. TACAS (1) 2021: 430-448
[3] Yahui Li, Zhiliang Wang, Xia Yin, Xingang Shi, Jianping Wu, Fangdan Ye, Jiangyuan Yao, Han Zhang: Assisting reachability verification of network configurations updates with NUV. Comput. Networks 177: 107326 (2020)
[4] Yahui Li, Zhiliang Wang, Jiangyuan Yao, Xia Yin, Xingang Shi, Jianping Wu, Han Zhang: MSAID: Automated detection of interference in multiple SDN applications. Comput. Networks 153: 49-62 (2019)
[5] Yahui Li, Xia Yin, Zhiliang Wang, Jiangyuan Yao, Xingang Shi, Jianping Wu, Han Zhang, Qing Wang: A Survey on Network Verification and Testing With Formal Methods: Approaches and Challenges. IEEE Commun. Surv. Tutorials 21(1): 940-969 (2019)
[6] Han Zhang, Haijun Geng, Yahui Li, Xia Yin, Xingang Shi, Zhiliang Wang, Qianhong Wu, Jianwei Liu: DA&FD-Deadline-Aware and Flow Duration-Based Rate Control for Mixed Flows in DCNs. IEEE/ACM Trans. Netw. 27(6): 2458-2471 (2019)
[7] Zhiliang Wang, Han Zhang, Xingang Shi, Xia Yin, Yahui Li, Haijun Geng, Qianhong Wu, Jianwei Liu: Efficient Scheduling of Weighted Coflows in Data Centers. IEEE Trans. Parallel Distributed Syst. 30(9): 2003-2017 (2019)
[8] Yahui Li, Zhiliang Wang, Xia Yin, Xingang Shi, Jianping Wu, Jiangyuan Yao, Yingya Guo: Efficient network configuration verification using optimized datalog. INFOCOM Workshops 2018: 1-2
[9] Yahui Li, Zhiliang Wang, Jiangyuan Yao, Xia Yin, Xingang Shi, Jianping Wu: MSAID: Automated interference detection for multiple SDN applications. ICNP 2017: 1-2
[10] Jiangyuan Yao, Zhiliang Wang, Xia Yin, Xingang Shi, Yahui Li, Chongrong Li: Testing Black-Box SDN Applications with Formal Behavior Models. MASCOTS 2017: 110-120