default search action
Google
Google Scholar
Semantic Scholar
Internet Archive Scholar
CiteSeerX
ORCIDJiangyuan Yao
Person information
Refine list
refinements active!
zoomed in on ?? of ?? records
view refined list in
export refined list as
2020 – today
- 2024
[c24]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: 22-24- 2023
- [j7]Chuqing Zhang, Jiangyuan Yao, Guangwu Hu, Xingcan Cao:
A Machine Learning Based Funding Project Evaluation Decision Prediction. Comput. Syst. Sci. Eng. 45(2): 2111-2124 (2023) - [j6]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): 433-443 (2023) - [j5]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): 741-755 (2023) - 2022
- [c23]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: 448-459 - [c22]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: 473-486 - [c21]Jiangyuan Yao, Chunxiang Xu, Deshun Li, Shengjun Lin, Xingcan Cao:
Formal Verification of Security Protocols: ProVerif and Extensions. ICAIS (2) 2022: 500-512 - [c20]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: 560-572 - [c19]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: 1099-1104 - [c18]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: 1483-1487 - [c17]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: 1684-1689 - 2021
- [c16]Jiangyuan Yao, Kaiwen Zou, Deshun Li, Zheng Jiang:
Optimal deployment design of repeaters and memories in quantum networks. HPCC/DSS/SmartCity/DependSys 2021: 361-368 - [c15]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: 2371-2378 - 2020
- [j4]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) - [c14]Ming Wan, Jiawei Li, Jiangyuan Yao:
Real-Time Self-defense Approach Based on Customized Netlink Connection for Industrial Linux-Based Devices. CollaborateCom (1) 2020: 406-420
2010 – 2019
- 2019
- [j3]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) - [j2]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) - 2018
- [c13]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: 44-55 - [c12]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: 195-207 - [c11]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: 208-220 - [c10]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 - 2017
- [c9]Yahui Li, Zhiliang Wang, Jiangyuan Yao, Xia Yin, Xingang Shi, Jianping Wu:
MSAID: Automated interference detection for multiple SDN applications. ICNP 2017: 1-2 - [c8]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 - 2015
- [j1]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. 98-D(12): 2091-2104 (2015) - 2014
- [c7]Jiangyuan Yao, Zhiliang Wang, Xia Yin, Xingang Shi, Jianping Wu, Yahui Li:
Model Based Black-Box Testing of SDN Applications. CoNEXT Student Workshop 2014: 37-39 - [c6]Jiangyuan Yao, Zhiliang Wang, Xia Yin, Xingang Shi, Jianping Wu:
Formal Modeling and Systematic Black-Box Testing of SDN Data Plane. ICNP 2014: 179-190 - [c5]Haijun Geng, Xingang Shi, Xia Yin, Zhiliang Wang, Han Zhang, Jiangyuan Yao:
Let more nodes have a second choice. IPCCC 2014: 1-2 - [c4]Haijun Geng, Xingang Shi, Xia Yin, Zhiliang Wang, Han Zhang, Jiangyuan Yao:
A hybrid link protection scheme for link-state routing networks. IPCCC 2014: 1-2 - [c3]Jiangyuan Yao, Zhiliang Wang, Xia Yin, Xingang Shi, Jianping Wu, Yahui Li:
Test oriented formal model of SDN applications. IPCCC 2014: 1-2 - 2013
- [c2]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: 1-9 - 2011
- [c1]Jiangyuan Yao, Zhiliang Wang, Xia Yin, Jianping Wu:
Testing of a source address validation protocol with parallel parameterized extended finite state machines. AINTEC 2011: 152-155
Coauthor Index
manage site settings
To protect your privacy, all features that rely on external API calls from your browser are turned off by default. You need to opt-in for them to become active. All settings here will be stored as cookies with your web browser. For more information see our F.A.Q.
Unpaywalled article links
Add open access links from 
to the list of external document links (if available).
Privacy notice: By enabling the option above, your browser will contact the API of unpaywall.org to load hyperlinks to open access articles. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the Unpaywall privacy policy.
Archived links via Wayback Machine
For web page which are no longer available, try to retrieve content from the 
of the Internet Archive (if available).
Privacy notice: By enabling the option above, your browser will contact the API of archive.org to check for archived content of web pages that are no longer available. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the Internet Archive privacy policy.
Reference lists
Add a list of references from 
, 
, and 
to record detail pages.
load references from crossref.org and opencitations.net
Privacy notice: By enabling the option above, your browser will contact the APIs of crossref.org, opencitations.net, and semanticscholar.org to load article reference information. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the Crossref privacy policy and the OpenCitations privacy policy, as well as the AI2 Privacy Policy covering Semantic Scholar.
Citation data
Add a list of citing articles from and to record detail pages.
load citations from opencitations.net
Privacy notice: By enabling the option above, your browser will contact the API of opencitations.net and semanticscholar.org to load citation information. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the OpenCitations privacy policy as well as the AI2 Privacy Policy covering Semantic Scholar.
OpenAlex data
Load additional information about publications from 
.
Privacy notice: By enabling the option above, your browser will contact the API of openalex.org to load additional information. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the information given by OpenAlex.
last updated on 2024-09-04 00:30 CEST by the dblp team
all metadata released as open data under CC0 1.0 license
see also: Terms of Use | Privacy Policy | Imprint
dblp was originally created in 1993 at:
since 2018, dblp has been operated and maintained by:
the dblp computer science bibliography is funded and supported by:
