Jiangyuan Yao

Publication Activity (10 Years)

Years Active: 2011-2024
Publications (10 Years): 23

Top Topics

Formal Verification

Mining Algorithm

Network Configuration

Top Venues

SmartWorld/UIC/ScalCom/DigitalTwin/PriComp/Meta

Comput. Syst. Sci. Eng.

Publications

Xinzhe Liu, Yahui Li, Han Zhang, Xia Yin, Xingang Shi, Zhiliang Wang, Gang Ren, Jiangyuan Yao
Poster: Scalable and Interpretable Multilayer Overlay Network Checking via Ensemble Verification. SIGCOMM (Posters and Demos) (2024)
Deshun Li, Shaorong Sun, Qisen Wu, Shuhua Weng, Yuyin Tan, Jiangyuan Yao, Xiangdang Huang, Xingcan Cao
Exploring High-Performance Architecture for Data Center Networks. Comput. Syst. Sci. Eng. 46 (1) (2023)
Chuqing Zhang, Jiangyuan Yao, Guangwu Hu, Xingcan Cao
A Machine Learning Based Funding Project Evaluation Decision Prediction. Comput. Syst. Sci. Eng. 45 (2) (2023)
Jiangyuan Yao, Weiping Yang, Shuhua Weng, Minrui Wang, Zheng Jiang, Deshun Li, Yahui Li, Xingcan Cao
Performance Evaluation of Topologies for Multi-Domain Software-Defined Networking. Comput. Syst. Sci. Eng. 47 (1) (2023)
Deshun Li, Lingyu Li, Kaiyi Li, Qiuling Yang, Jiangyuan Yao, Yuyin Tan
MSIP: Study on multi-source infection pattern mining algorithm in four-dimensional spacetime. SmartWorld/UIC/ScalCom/DigitalTwin/PriComp/Meta (2022)
Jiangyuan Yao, Chunxiang Xu, Deshun Li, Shengjun Lin, Xingcan Cao
Formal Verification of Security Protocols: ProVerif and Extensions. ICAIS (2) (2022)
Jiangyuan Yao, Shengjun Lin, Jiawen Wang, Deshun Li, Qiuling Yang, Changshuai Wang, Xiaobin Wang
Model Checking of Software-Defined Networking for Multiple Applications. SmartWorld/UIC/ScalCom/DigitalTwin/PriComp/Meta (2022)
Deshun Li, Ganghua Cao, Lu Xiao, Jiangyuan Yao, Xingcan Cao
Research Progress and Trend of Coflow Time-Optimal Scheduling in Data Center Network. ICAIS (2) (2022)
Deshun Li, Ganghua Cao, Xudong Fang, Jiangyuan Yao, Qiuling Yang, Yuyin Tan, Kewei Zhang
Coflow scheduling with unknown prior knowledge based on traffic characteristics. SmartWorld/UIC/ScalCom/DigitalTwin/PriComp/Meta (2022)
Jiangyuan Yao, Shengjun Lin, Chunxiang Xu, Min Jing, Deshun Li, Minrui Wang, Xingcan Cao
Review of Detection and Avoidance of Interference Among Multiple Applications in Software-Defined Networks. ICAIS (2) (2022)
Jiangyuan Yao, Minrui Wang, Weiping Yang, Shuhua Weng, Zheng Jiang, Min Jing, Deshun Li, Xingcan Cao
Test Traffic Control Based on REST API for Software-Defined Networking. ICAIS (2) (2022)
Jiangyuan Yao, Kaiwen Zou, Deshun Li, Zheng Jiang
Optimal deployment design of repeaters and memories in quantum networks. HPCC/DSS/SmartCity/DependSys (2021)
Jiangyuan Yao, Zheng Jiang, Weiping Yang, Minrui Wang, Deshun Li
Forwarding Policy Verification of Hybrid Multi-domain Software-Defined Network. HPCC/DSS/SmartCity/DependSys (2021)
Ming Wan, Jiawei Li, Jiangyuan Yao
Real-Time Self-defense Approach Based on Customized Netlink Connection for Industrial Linux-Based Devices. CollaborateCom (1) (2020)
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 (2020)
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) (2019)
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 (2019)
Zhiliang Wang, Changping Zhou, Yang Yu, Xingang Shi, Xia Yin, Jiangyuan Yao
Fast Detection of Heavy Hitters in Software Defined Networking Using an Adaptive and Learning Method. ICCCS (3) (2018)
Minjun Zhao, Shiqin Liu, Chunjie Cao, Jiangyuan Yao, Xiaoyi Zhou
A Secure Blind Watermarking Scheme Based on Dual Frequency Domains and Ergodic Matrix. ICCCS (4) (2018)
Yahui Li, Zhiliang Wang, Xia Yin, Xingang Shi, Jianping Wu, Jiangyuan Yao, Yingya Guo
Efficient network configuration verification using optimized datalog. INFOCOM Workshops (2018)
Shiqin Liu, Minjun Zhao, Jixin Ma, Jiangyuan Yao, Yucong Duan, Xiaoyi Zhou
A Novel Watermarking Technology Based on Posterior Probability SVM and Improved GA. ICCCS (4) (2018)
Jiangyuan Yao, Zhiliang Wang, Xia Yin, Xingang Shi, Yahui Li, Chongrong Li
Testing Black-Box SDN Applications with Formal Behavior Models. MASCOTS (2017)
Yahui Li, Zhiliang Wang, Jiangyuan Yao, Xia Yin, Xingang Shi, Jianping Wu
MSAID: Automated interference detection for multiple SDN applications. ICNP (2017)
Xia Yin, Jiangyuan Yao, Zhiliang Wang, Xingang Shi, Jun Bi, Jianping Wu
Modeling and Testing of Network Protocols with Parallel State Machines. IEICE Trans. Inf. Syst. (12) (2015)
Haijun Geng, Xingang Shi, Xia Yin, Zhiliang Wang, Han Zhang, Jiangyuan Yao
Let more nodes have a second choice. IPCCC (2014)
Jiangyuan Yao, Zhiliang Wang, Xia Yin, Xingang Shi, Jianping Wu, Yahui Li
Test oriented formal model of SDN applications. IPCCC (2014)
Haijun Geng, Xingang Shi, Xia Yin, Zhiliang Wang, Han Zhang, Jiangyuan Yao
A hybrid link protection scheme for link-state routing networks. IPCCC (2014)
Jiangyuan Yao, Zhiliang Wang, Xia Yin, Xingang Shi, Jianping Wu, Yahui Li
Model Based Black-Box Testing of SDN Applications. CoNEXT Student Workshop (2014)
Jiangyuan Yao, Zhiliang Wang, Xia Yin, Xingang Shi, Jianping Wu
Formal Modeling and Systematic Black-Box Testing of SDN Data Plane. ICNP (2014)
Jiangyuan Yao, Zhiliang Wang, Xia Yin, Xingang Shi, Jianping Wu
Reachability Graph Based Hierarchical Test Generation for Network Protocols Modeled as Parallel Finite State Machines. ICCCN (2013)
Jiangyuan Yao, Zhiliang Wang, Xia Yin, Jianping Wu
Testing of a source address validation protocol with parallel parameterized extended finite state machines. AINTEC (2011)