Jiangyuan Yao

According to our database, Jiangyuan Yao authored at least 31 papers between 2011 and 2024.

Collaborative distances:

• Dijkstra number of four.
• Erdős number of four.

2024

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

Proceedings of the ACM SIGCOMM 2024 Conference: Posters and Demos, 2024

2023

A Machine Learning Based Funding Project Evaluation Decision Prediction.

Chuqing Zhang, Jiangyuan Yao, Guangwu Hu, 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

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

2022

Model Checking of Software-Defined Networking for Multiple Applications.

Jiangyuan Yao, Shengjun Lin, Jiawen Wang, Deshun Li, Qiuling Yang, Changshuai Wang, Xiaobin Wang

Proceedings of the IEEE Smartworld, 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

Proceedings of the IEEE Smartworld, 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

Proceedings of the IEEE Smartworld, 2022

Formal Verification of Security Protocols: ProVerif and Extensions.

Jiangyuan Yao, Chunxiang Xu, Deshun Li, Shengjun Lin, Xingcan Cao

Proceedings of the Artificial Intelligence and Security - 8th International Conference, 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

Proceedings of the Artificial Intelligence and Security - 8th International Conference, 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

Proceedings of the Artificial Intelligence and Security - 8th International Conference, 2022

Research Progress and Trend of Coflow Time-Optimal Scheduling in Data Center Network.

Deshun Li, Ganghua Cao, Lu Xiao, Jiangyuan Yao, Xingcan Cao

Proceedings of the Artificial Intelligence and Security - 8th International Conference, 2022

2021

Optimal deployment design of repeaters and memories in quantum networks.

Jiangyuan Yao, Kaiwen Zou, Deshun Li, Zheng Jiang

Proceedings of the 2021 IEEE 23rd Int Conf on High Performance Computing & Communications; 7th Int Conf on Data Science & Systems; 19th Int Conf on Smart City; 7th Int Conf on Dependability in Sensor, 2021

Forwarding Policy Verification of Hybrid Multi-domain Software-Defined Network.

Jiangyuan Yao, Zheng Jiang, Weiping Yang, Minrui Wang, Deshun Li

Proceedings of the 2021 IEEE 23rd Int Conf on High Performance Computing & Communications; 7th Int Conf on Data Science & Systems; 19th Int Conf on Smart City; 7th Int Conf on Dependability in Sensor, 2021

2020

Assisting reachability verification of network configurations updates with NUV.

Yahui Li, Zhiliang Wang, Xia Yin, Xingang Shi, Jianping Wu, Fangdan Ye, Jiangyuan Yao, Han Zhang

Comput. Networks, 2020

Real-Time Self-defense Approach Based on Customized Netlink Connection for Industrial Linux-Based Devices.

Ming Wan, Jiawei Li, Jiangyuan Yao

Proceedings of the Collaborative Computing: Networking, Applications and Worksharing, 2020

2019

A Survey on Network Verification and Testing With Formal Methods: Approaches and Challenges.

Yahui Li, Xia Yin, Zhiliang Wang, Jiangyuan Yao, Xingang Shi, Jianping Wu, Han Zhang, Qing Wang

IEEE Commun. Surv. Tutorials, 2019

MSAID: Automated detection of interference in multiple SDN applications.

Yahui Li, Zhiliang Wang, Jiangyuan Yao, Xia Yin, Xingang Shi, Jianping Wu, Han Zhang

Comput. Networks, 2019

2018

Efficient network configuration verification using optimized datalog.

Yahui Li, Zhiliang Wang, Xia Yin, Xingang Shi, Jianping Wu, Jiangyuan Yao, Yingya Guo

Proceedings of the IEEE INFOCOM 2018, 2018

A Secure Blind Watermarking Scheme Based on Dual Frequency Domains and Ergodic Matrix.

Minjun Zhao, Shiqin Liu, Chunjie Cao, Jiangyuan Yao, Xiaoyi Zhou

Proceedings of the Cloud Computing and Security - 4th International Conference, 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

Proceedings of the Cloud Computing and Security - 4th International Conference, 2018

A Novel Watermarking Technology Based on Posterior Probability SVM and Improved GA.

Shiqin Liu, Minjun Zhao, Jixin Ma, Jiangyuan Yao, Yucong Duan, Xiaoyi Zhou

Proceedings of the Cloud Computing and Security - 4th International Conference, 2018

2017

Testing Black-Box SDN Applications with Formal Behavior Models.

Jiangyuan Yao, Zhiliang Wang, Xia Yin, Xingang Shi, Yahui Li, Chongrong Li

Proceedings of the 25th IEEE International Symposium on Modeling, 2017

MSAID: Automated interference detection for multiple SDN applications.

Yahui Li, Zhiliang Wang, Jiangyuan Yao, Xia Yin, Xingang Shi, Jianping Wu

Proceedings of the 25th IEEE International Conference on Network Protocols, 2017

2015

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

2014

Test oriented formal model of SDN applications.

Jiangyuan Yao, Zhiliang Wang, Xia Yin, Xingang Shi, Jianping Wu, Yahui Li

Proceedings of the IEEE 33rd International Performance Computing and Communications Conference, 2014

A hybrid link protection scheme for link-state routing networks.

Haijun Geng, Xingang Shi, Xia Yin, Zhiliang Wang, Han Zhang, Jiangyuan Yao

Proceedings of the IEEE 33rd International Performance Computing and Communications Conference, 2014

Let more nodes have a second choice.

Haijun Geng, Xingang Shi, Xia Yin, Zhiliang Wang, Han Zhang, Jiangyuan Yao

Proceedings of the IEEE 33rd International Performance Computing and Communications Conference, 2014

Formal Modeling and Systematic Black-Box Testing of SDN Data Plane.

Jiangyuan Yao, Zhiliang Wang, Xia Yin, Xingang Shi, Jianping Wu

Proceedings of the 22nd IEEE International Conference on Network Protocols, 2014

Model Based Black-Box Testing of SDN Applications.

Jiangyuan Yao, Zhiliang Wang, Xia Yin, Xingang Shi, Jianping Wu, Yahui Li

Proceedings of the 2014 CoNEXT on Student Workshop, 2014

2013

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

Proceedings of the 22nd International Conference on Computer Communication and Networks, 2013

2011

Testing of a source address validation protocol with parallel parameterized extended finite state machines.

Jiangyuan Yao, Zhiliang Wang, Xia Yin, Jianping Wu

Proceedings of the AINTEC '11, Asian Internet Engineering Conference, Bangkok, Thailand, November 09, 2011