期刊论文

(1) Ming Wan; Shiyan Zhang; Yan Song;Jiangyuan Yao(通讯作者); Hao Luo; Xingcan Cao; Case Optimization Using Improved Genetic Algorithm for Industrial Fuzzing Test. INTELLIGENT AUTOMATION AND SOFT COMPUTING, 2021, 28(3): 857-871（SCI, IF 1.276）

(2) Haijun Geng; Qidong Zhang;Jiangyuan Yao(通讯作者); Wei Wang; Zikun Jin; Han Zhang; Yangyang Zhang; Energy-Efficient Routing Algorithm Based on Multipath Routing in Large-Scale Networks. CMC-COMPUTERS MATERIALS & CONTINUA, 2021, 68(2): 2029-2039（SCI, IF 4.89）

(3) Chuqing Zhang;Jiangyuan Yao(通讯作者); Guangwu Hu; Thomas Schott; Applying feature-weighted gradient decent k-nearest neighbor to select promising projects for scientific funding.CMC-COMPUTERS MATERIALS & CONTINUA, 2020, 64(3): 1741-1753（SCI, IF 4.89）

(4) Haijun Geng;Jiangyuan Yao(通讯作者); Yangyang Zhang; Single Failure Routing Protection Algorithm in the Hybrid SDN Network.CMC-COMPUTERS MATERIALS & CONTINUA, 2020, 64(1): 665-679（SCI, IF 4.89）

(5) Wan, Ming; Jinfang Li;Jiangyuan Yao(通讯作者); Rongbing Wang; Hao Luo; State-Based Control Feature Extraction for Effective Anomaly Detection in Process Industries.CMC-COMPUTERS MATERIALS & CONTINUA, 2020, 63(3): 1415-1431（SCI, IF 4.89）

(6) Yahui Li, Zhiliang Wang*,Jiangyuan Yao, Xia Yin, Xingang Shi, Jianping Wu, Han Zhang, MSAID: Automated detection of interference in multiple SDN applications.Computer Networks, 2019, 153: 49-62（SCI, IF 3.111）

(7) 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 Communications Surveys and Tutorials, 2019, 21(1): 940-969（SCI, IF 23.7）

(8) Wan Ming;Yao Jiangyuan(通讯作者); Jing Yuan; Jin Xi; Event-Based Anomaly Detection for Non-Public Industrial Communication Protocols in SDN-Based Control Systems,COMPUTERS MATERIALS & CONTINUA, 2018, 55(3): 447-463（SCI, IF 4.89）

(9) Yin Xia;Yao Jiangyuan(通讯作者); Wang Zhiliang; Shi Xingang; Bi Jun; Wu Jianping; Modeling and Testing of Network Protocols with Parallel State Machines,IEICE Transactions on Information and Systems, 2015, E98D(12): 2091-2104（SCI, IF 0.449）

会议论文

(1)Yao Jiangyuan; Wang Zhiliang; Yin Xia; Shi Xingang; Li Yahui; Li Chongrong; Testing Black-Box SDN Applications with Formal Behavior Models,25th IEEE International Symposium on the Modeling, Analysis, and Simulation of Computer and Telecommunication Systems(MASCOTS 2017), Banff, Alberta, Canada, 2017-09-20至2017-09-22

(2)Yao Jiangyuan; Wang Zhiliang; Yin Xia; Bi Jun; Shi Xingang; Wu Jianping; Li Yahui; Testing of SDN Applications for Design Flaws and Implementation Bugs,12th IFIP International Conference on Network and Parallel Computing(NPC 2015), New York, USA, 2015-09-17至2015-09-19

(3)Yao Jiangyuan; Wang Zhiliang; Yin Xia; Shi Xingang; Wu Jianping; Li Yahui; Test Oriented Formal Model of SDN Applications,33rd IEEE International Performance Computing and Communications Conference(IPCCC 2014), Austin, Texas, USA, 2014-12-05至2014-12-07

(4)Yao Jiangyuan; Wang Zhiliang; Yin Xia; Shi Xingang; Wu Jianping; Li Yahui; Model Based Black-Box Testing of SDN Applications,2014 ACM CoNEXT Student Workshop, Sydney, Australia, 2014-12-02至2014-12-05

(5)Yao Jiangyuan; Wang Zhiliang; Yin Xia; Shi Xingang; Wu Jianping; Formal Modeling and Systematic Black-Box Testing of SDN Data Plane,22nd IEEE International Conference on Network Protocols(ICNP 2014), Raleigh, North Carolina, USA, 2014-10-21至2014-10-24

(6)Yao Jiangyuan; Wang Zhiliang; Yin Xia; Shi Xingang; Wu Jianping; Reachability Graph Based Hierarchical Test Generation for Network Protocols Modeled as Parallel Finite State Machines,IEEE 22nd International Conference on Computer Communication and Networks (ICCCN 2013), Nassau, Bahamas, 2013-07-30至2013-08-02

(7)Yao Jiangyuan; Wang Zhiliang; Yin Xia; Wu Jianping; Testing of a Source Address Validation Protocol with Parallel Parameterized Extended Finite State Machines,7th Asian Internet Engineering Conference(AINTEC 2011), Bangkok, Thailand, 2011-11-09至2011-11-12