Testing of a source address validation protocol with parallel parameterized extended finite state machines. - Jiangyuan Yao; Zhiliang Wang; Xia Yin; Jianping Wu (AINTEC, 2011)

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 (ICCCN, 2013)

Model Based Black-Box Testing of SDN Applications. - Jiangyuan Yao; Zhiliang Wang; Xia Yin; Xingang Shi; Jianping Wu; Yahui Li (CoNEXT Student Workshop, 2014)

Formal Modeling and Systematic Black-Box Testing of SDN Data Plane. - Jiangyuan Yao; Zhiliang Wang; Xia Yin; Xingang Shi; Jianping Wu (ICNP, 2014)

Let more nodes have a second choice. - Haijun Geng; Xingang Shi; Xia Yin 001; Zhiliang Wang; Han Zhang 009; Jiangyuan Yao (IPCCC, 2014)

A hybrid link protection scheme for link-state routing networks. - Haijun Geng; Xingang Shi; Xia Yin 001; Zhiliang Wang; Han Zhang 009; Jiangyuan Yao (IPCCC, 2014)

Test oriented formal model of SDN applications. - Jiangyuan Yao; Zhiliang Wang; Xia Yin; Xingang Shi; Jianping Wu; Yahui Li (IPCCC, 2014)

Modeling and Testing of Network Protocols with Parallel State Machines. - Xia Yin; Jiangyuan Yao; Zhiliang Wang; Xingang Shi; Jun Bi; Jianping Wu (IEICE Trans. Inf. Syst., 2015)

MSAID: Automated interference detection for multiple SDN applications. - Yahui Li; Zhiliang Wang; Jiangyuan Yao; Xia Yin; Xingang Shi; Jianping Wu (ICNP, 2017)

Testing Black-Box SDN Applications with Formal Behavior Models. - Jiangyuan Yao; Zhiliang Wang; Xia Yin; Xingang Shi; Yahui Li; Chongrong Li (MASCOTS, 2017)

A Novel Watermarking Technology Based on Posterior Probability SVM and Improved GA. - Shiqin Liu; Minjun Zhao; Jixin Ma 001; Jiangyuan Yao; Yucong Duan; Xiaoyi Zhou (ICCCS (4), 2018)

Fast Detection of Heavy Hitters in Software Defined Networking Using an Adaptive and Learning Method. - Zhiliang Wang; Changping Zhou; Yang Yu; Xingang Shi; Xia Yin; Jiangyuan Yao (ICCCS (3), 2018)

A Secure Blind Watermarking Scheme Based on Dual Frequency Domains and Ergodic Matrix. - Minjun Zhao; Shiqin Liu; Chunjie Cao; Jiangyuan Yao; Xiaoyi Zhou (ICCCS (4), 2018)

Efficient network configuration verification using optimized datalog. - Yahui Li; Zhiliang Wang; Xia Yin 001; Xingang Shi; Jianping Wu; Jiangyuan Yao; Yingya Guo (INFOCOM Workshops, 2018)

MSAID: Automated detection of interference in multiple SDN applications. - Yahui Li; Zhiliang Wang; Jiangyuan Yao; Xia Yin 001; Xingang Shi; Jianping Wu; Han Zhang 009 (Comput. Networks, 2019)

A Survey on Network Verification and Testing With Formal Methods: Approaches and Challenges. - Yahui Li; Xia Yin 001; Zhiliang Wang; Jiangyuan Yao; Xingang Shi; Jianping Wu; Han Zhang 009; Qing Wang (IEEE Commun. Surv. Tutorials, 2019)

Real-Time Self-defense Approach Based on Customized Netlink Connection for Industrial Linux-Based Devices. - Ming Wan; Jiawei Li; Jiangyuan Yao (CollaborateCom (1), 2020)

Assisting reachability verification of network configurations updates with NUV. - Yahui Li; Zhiliang Wang; Xia Yin 001; Xingang Shi; Jianping Wu; Fangdan Ye; Jiangyuan Yao; Han Zhang 009 (Comput. Networks, 2020)

Forwarding Policy Verification of Hybrid Multi-domain Software-Defined Network. - Jiangyuan Yao; Zheng Jiang; Weiping Yang; Minrui Wang; Deshun Li (HPCC/DSS/SmartCity/DependSys, 2021)

Optimal deployment design of repeaters and memories in quantum networks. - Jiangyuan Yao; Kaiwen Zou; Deshun Li; Zheng Jiang (HPCC/DSS/SmartCity/DependSys, 2021)

Case Optimization Using Improved Genetic Algorithm for Industrial Fuzzing Test. - Ming Wan; Shiyan Zhang; Yan Song; Jiangyuan Yao; Hao Luo; Xingcan Cao (Intell. Autom. Soft Comput., 2021)

Research Progress and Trend of Coflow Time-Optimal Scheduling in Data Center Network. - Deshun Li; Ganghua Cao; Lu Xiao; Jiangyuan Yao; Xingcan Cao (ICAIS (2), 2022)

Review of Detection and Avoidance of Interference Among Multiple Applications in Software-Defined Networks. - Jiangyuan Yao; Shengjun Lin; Chunxiang Xu; Min Jing; Deshun Li; Minrui Wang; Xingcan Cao (ICAIS (2), 2022)

Test Traffic Control Based on REST API for Software-Defined Networking. - Jiangyuan Yao; Minrui Wang; Weiping Yang; Shuhua Weng; Zheng Jiang; Min Jing; Deshun Li; Xingcan Cao (ICAIS (2), 2022)

Formal Verification of Security Protocols: ProVerif and Extensions. - Jiangyuan Yao; Chunxiang Xu; Deshun Li; Shengjun Lin; Xingcan Cao (ICAIS (2), 2022)

Coflow scheduling with unknown prior knowledge based on traffic characteristics. - Deshun Li; Ganghua Cao; Xudong Fang; Jiangyuan Yao; Qiuling Yang; Yuyin Tan; Kewei Zhang (SmartWorld/UIC/ScalCom/DigitalTwin/PriComp/Meta, 2022)

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 (SmartWorld/UIC/ScalCom/DigitalTwin/PriComp/Meta, 2022)

Model Checking of Software-Defined Networking for Multiple Applications. - Jiangyuan Yao; Shengjun Lin; Jiawen Wang; Deshun Li; Qiuling Yang; Changshuai Wang; Xiaobin Wang (SmartWorld/UIC/ScalCom/DigitalTwin/PriComp/Meta, 2022)

Exploring High-Performance Architecture for Data Center Networks. - Deshun Li; Shaorong Sun; Qisen Wu; Shuhua Weng; Yuyin Tan; Jiangyuan Yao; Xiangdang Huang; Xingcan Cao (Comput. Syst. Sci. Eng., 2023)

Performance Evaluation of Topologies for Multi-Domain Software-Defined Networking. - Jiangyuan Yao; Weiping Yang; Shuhua Weng; Minrui Wang; Zheng Jiang; Deshun Li; Yahui Li; Xingcan Cao (Comput. Syst. Sci. Eng., 2023)

A Machine Learning Based Funding Project Evaluation Decision Prediction. - Chuqing Zhang; Jiangyuan Yao; Guangwu Hu; Xingcan Cao (Comput. Syst. Sci. Eng., 2023)

ProbD: Faulty Path Detection Based on Probability in Software-Defined Networking. - Jiangyuan Yao; Jiawen Wang; Shuhua Weng; Minrui Wang; Deshun Li; Yahui Li; Xingcan Cao (Intell. Autom. Soft Comput., 2023)

Poster: Scalable and Interpretable Multilayer Overlay Network Checking via Ensemble Verification. - Xinzhe Liu; Yahui Li; Han Zhang 009; Xia Yin 001; Xingang Shi; Zhiliang Wang; Gang Ren 003; Jiangyuan Yao (SIGCOMM (Posters and Demos), 2024)

A model checking-based framework for testing security properties of protocols under development. - Jiangyuan Yao; Weiyang Xin; Xia Yin; Xingang Shi; Zhiliang Wang; Li Zhou; Ting Jin (Comput. Networks, 2025)

A Fair MAC Protocol Based on Dual Bandwidth Allocation Iterations in Underwater Acoustic Sensor Networks. - Libin Feng; Jingke Liu; Yanxia Chen; Jiangyuan Yao (Int. J. Commun. Syst., 2025)