Jiangyuan Yao - RankMe

36 papers B 4C 3Journal 12Unranked 17

Year	Rank	Type	Title / Venue / Authors
2025	J	`jnl`	A Fair MAC Protocol Based on Dual Bandwidth Allocation Iterations in Underwater Acoustic Sensor Networks. Int. J. Commun. Syst. Libin Feng, Jingke Liu, Yanxia Chen, Jiangyuan Yao
2025	J	`jnl`	A model checking-based framework for testing security properties of protocols under development. Comput. Networks Jiangyuan Yao, Weiyang Xin, Xia Yin, Xingang Shi, Zhiliang Wang, Li Zhou, Ting Jin
2025	J	`jnl`	Scalable and Interpretable Overlay Network Checking via Ensemble Verification. Proc. ACM Netw. Xinzhe Liu, Yahui Li, Han Zhang, Xia Yin, Xingang Shi, Zhiliang Wang, Gang Ren, Jilong Wang, Jiangyuan Yao
2024	—	`conf`	Poster: Scalable and Interpretable Multilayer Overlay Network Checking via Ensemble Verification. SIGCOMM (Posters and Demos) Xinzhe Liu, Yahui Li, Han Zhang, Xia Yin, Xingang Shi, Zhiliang Wang, Gang Ren, Jiangyuan Yao
2023	J	`jnl`	A Machine Learning Based Funding Project Evaluation Decision Prediction. Comput. Syst. Sci. Eng. Chuqing Zhang, Jiangyuan Yao, Guangwu Hu, Xingcan Cao
2023	J	`jnl`	Exploring High-Performance Architecture for Data Center Networks. Comput. Syst. Sci. Eng. Deshun Li, Shaorong Sun, Qisen Wu, Shuhua Weng, Yuyin Tan, Jiangyuan Yao, Xiangdang Huang, Xingcan Cao
2023	J	`jnl`	Performance Evaluation of Topologies for Multi-Domain Software-Defined Networking. Comput. Syst. Sci. Eng. Jiangyuan Yao, Weiping Yang, Shuhua Weng, Minrui Wang, Zheng Jiang, Deshun Li, Yahui Li, Xingcan Cao
2023	J	`jnl`	ProbD: Faulty Path Detection Based on Probability in Software-Defined Networking. Intell. Autom. Soft Comput. Jiangyuan Yao, Jiawen Wang, Shuhua Weng, Minrui Wang, Deshun Li, Yahui Li, Xingcan Cao
2022	—	`conf`	Coflow scheduling with unknown prior knowledge based on traffic characteristics. SmartWorld/UIC/ScalCom/DigitalTwin/PriComp/Meta Deshun Li, Ganghua Cao, Xudong Fang, Jiangyuan Yao, Qiuling Yang, Yuyin Tan, Kewei Zhang
2022	—	`conf`	Formal Verification of Security Protocols: ProVerif and Extensions. ICAIS (2) Jiangyuan Yao, Chunxiang Xu, Deshun Li, Shengjun Lin, Xingcan Cao
2022	—	`conf`	MSIP: Study on multi-source infection pattern mining algorithm in four-dimensional spacetime. SmartWorld/UIC/ScalCom/DigitalTwin/PriComp/Meta Deshun Li, Lingyu Li, Kaiyi Li, Qiuling Yang, Jiangyuan Yao, Yuyin Tan
2022	—	`conf`	Model Checking of Software-Defined Networking for Multiple Applications. SmartWorld/UIC/ScalCom/DigitalTwin/PriComp/Meta Jiangyuan Yao, Shengjun Lin, Jiawen Wang, Deshun Li, Qiuling Yang, Changshuai Wang, Xiaobin Wang
2022	—	`conf`	Research Progress and Trend of Coflow Time-Optimal Scheduling in Data Center Network. ICAIS (2) Deshun Li, Ganghua Cao, Lu Xiao, Jiangyuan Yao, Xingcan Cao
2022	—	`conf`	Review of Detection and Avoidance of Interference Among Multiple Applications in Software-Defined Networks. ICAIS (2) Jiangyuan Yao, Shengjun Lin, Chunxiang Xu, Min Jing, Deshun Li, Minrui Wang, Xingcan Cao
2022	—	`conf`	Test Traffic Control Based on REST API for Software-Defined Networking. ICAIS (2) Jiangyuan Yao, Minrui Wang, Weiping Yang, Shuhua Weng, Zheng Jiang, Min Jing, Deshun Li, Xingcan Cao
2021	J	`jnl`	Case Optimization Using Improved Genetic Algorithm for Industrial Fuzzing Test. Intell. Autom. Soft Comput. Ming Wan, Shiyan Zhang, Yan Song, Jiangyuan Yao, Hao Luo, Xingcan Cao
2021	—	`conf`	Forwarding Policy Verification of Hybrid Multi-domain Software-Defined Network. HPCC/DSS/SmartCity/DependSys Jiangyuan Yao, Zheng Jiang, Weiping Yang, Minrui Wang, Deshun Li
2021	—	`conf`	Optimal deployment design of repeaters and memories in quantum networks. HPCC/DSS/SmartCity/DependSys Jiangyuan Yao, Kaiwen Zou, Deshun Li, Zheng Jiang
2020	J	`jnl`	Assisting reachability verification of network configurations updates with NUV. Comput. Networks Yahui Li, Zhiliang Wang, Xia Yin, Xingang Shi, Jianping Wu, Fangdan Ye, Jiangyuan Yao, Han Zhang
2020	—	`conf`	Real-Time Self-defense Approach Based on Customized Netlink Connection for Industrial Linux-Based Devices. CollaborateCom (1) Ming Wan, Jiawei Li, Jiangyuan Yao
2019	J	`jnl`	A Survey on Network Verification and Testing With Formal Methods: Approaches and Challenges. IEEE Commun. Surv. Tutorials Yahui Li, Xia Yin, Zhiliang Wang, Jiangyuan Yao, Xingang Shi, Jianping Wu, Han Zhang, Qing Wang
2019	J	`jnl`	MSAID: Automated detection of interference in multiple SDN applications. Comput. Networks Yahui Li, Zhiliang Wang, Jiangyuan Yao, Xia Yin, Xingang Shi, Jianping Wu, Han Zhang
2018	—	`conf`	A Novel Watermarking Technology Based on Posterior Probability SVM and Improved GA. ICCCS (4) Shiqin Liu, Minjun Zhao, Jixin Ma, Jiangyuan Yao, Yucong Duan, Xiaoyi Zhou
2018	—	`conf`	A Secure Blind Watermarking Scheme Based on Dual Frequency Domains and Ergodic Matrix. ICCCS (4) Minjun Zhao, Shiqin Liu, Chunjie Cao, Jiangyuan Yao, Xiaoyi Zhou
2018	—	`conf`	Efficient network configuration verification using optimized datalog. INFOCOM Workshops Yahui Li, Zhiliang Wang, Xia Yin, Xingang Shi, Jianping Wu, Jiangyuan Yao, Yingya Guo
2018	—	`conf`	Fast Detection of Heavy Hitters in Software Defined Networking Using an Adaptive and Learning Method. ICCCS (3) Zhiliang Wang, Changping Zhou, Yang Yu, Xingang Shi, Xia Yin, Jiangyuan Yao
2017	B	`conf`	MSAID: Automated interference detection for multiple SDN applications. ICNP Yahui Li, Zhiliang Wang, Jiangyuan Yao, Xia Yin, Xingang Shi, Jianping Wu
2017	B	`conf`	Testing Black-Box SDN Applications with Formal Behavior Models. MASCOTS Jiangyuan Yao, Zhiliang Wang, Xia Yin, Xingang Shi, Yahui Li, Chongrong Li
2015	J	`jnl`	Modeling and Testing of Network Protocols with Parallel State Machines. IEICE Trans. Inf. Syst. Xia Yin, Jiangyuan Yao, Zhiliang Wang, Xingang Shi, Jun Bi, Jianping Wu
2014	C	`conf`	A hybrid link protection scheme for link-state routing networks. IPCCC Haijun Geng, Xingang Shi, Xia Yin, Zhiliang Wang, Han Zhang, Jiangyuan Yao
2014	B	`conf`	Formal Modeling and Systematic Black-Box Testing of SDN Data Plane. ICNP Jiangyuan Yao, Zhiliang Wang, Xia Yin, Xingang Shi, Jianping Wu
2014	C	`conf`	Let more nodes have a second choice. IPCCC Haijun Geng, Xingang Shi, Xia Yin, Zhiliang Wang, Han Zhang, Jiangyuan Yao
2014	—	`conf`	Model Based Black-Box Testing of SDN Applications. CoNEXT Student Workshop Jiangyuan Yao, Zhiliang Wang, Xia Yin, Xingang Shi, Jianping Wu, Yahui Li
2014	C	`conf`	Test oriented formal model of SDN applications. IPCCC Jiangyuan Yao, Zhiliang Wang, Xia Yin, Xingang Shi, Jianping Wu, Yahui Li
2013	B	`conf`	Reachability Graph Based Hierarchical Test Generation for Network Protocols Modeled as Parallel Finite State Machines. ICCCN Jiangyuan Yao, Zhiliang Wang, Xia Yin, Xingang Shi, Jianping Wu
2011	—	`conf`	Testing of a source address validation protocol with parallel parameterized extended finite state machines. AINTEC Jiangyuan Yao, Zhiliang Wang, Xia Yin, Jianping Wu