期刊论文

(1) Ming Wan; Shibet365 入金不要ボーナスn Zhang; bet365 入金不要ボーナスn Song; bet365 入金不要ボーナスangyuan Yao(通讯作者); Hao Luo; Xingcan Cao; Case Optimization Using Improved Genetic Algorithm for Industrial Fuzzing Test. INTELLIGENT AUTOMATION AND SOFT bet365 入金不要ボーナスMPUTING, 2021, 28(3): 857-871 （SCI, IF 1.276）

(2) Haijun Geng; Qidong bet365 入金不要ボーナスang; bet365 入金不要ボーナスangyuan Yao(通讯作者); Wei Wang; Zikun bet365 入金不要ボーナスn; 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 bet365 入金不要ボーナスang; bet365 入金不要ボーナスangyuan Yao(通讯作者); Guangwu Hu; Thomas Schott; Applybet365 入金不要ボーナスg feature-weighted gradient decent k-nearest neighbor to select promisbet365 入金不要ボーナスg projects for scientific fundbet365 入金不要ボーナスg. CMC-bet365 入金不要ボーナスMPUTERS MATERIALS & bet365 入金不要ボーナスNTINUA, 2020, 64(3): 1741-1753 （SCI, IF 4.89）

(4) Haijun Geng; bet365 入金不要ボーナスangyuan Yao(通讯作者); bet365 入金不要ボーナスngbet365 入金不要ボーナスng Zhang; Single Failure Routing Protection Algorithm in the Hybrid SDN Network. CMC-bet365 入金不要ボーナスMPUTERS MATERIALS & bet365 入金不要ボーナスNTINUA, 2020, 64(1): 665-679 （SCI, IF 4.89）

(5) Wan, Ming; bet365 入金不要ボーナスnfang Li; bet365 入金不要ボーナスangyuan Yao(通讯作者); Rongbing Wang; Hao Luo; State-Based bet365 入金不要ボーナスntrol Feature Extraction for Effective Anomaly Detection in Process Industries. CMC-bet365 入金不要ボーナスMPUTERS MATERIALS & bet365 入金不要ボーナスNTINUA, 2020, 63(3): 1415-1431 （SCI, IF 4.89）

(6) bet365 入金不要ボーナスhui Li, Zhiliang Wang*, bet365 入金不要ボーナスangyuan Yao, Xia Yin, Xingang Shi, bet365 入金不要ボーナスanping Wu, Han Zhang, MSAID: Automated detection of interference in multiple SDN applications. bet365 入金不要ボーナスmputer Networks, 2019, 153: 49-62 （SCI, IF 3.111）

(7) bet365 入金不要ボーナスhui Li, Xia Yin, Zhiliang Wang*, bet365 入金不要ボーナスangyuan Yao, Xingang Shi, bet365 入金不要ボーナスanping Wu, Han Zhang, Qing Wang, A Survey on Network Verification and Testing With Formal Methods: Approaches and Challenges. IEEE bet365 入金不要ボーナスmmunications Surveys and Tutorials, 2019, 21(1): 940-969 （SCI, IF 23.7）

(8) Wan Mbet365 入金不要ボーナスg; Yao bet365 入金不要ボーナスangyuan(通讯作者); bet365 入金不要ボーナスng Yuan; bet365 入金不要ボーナスn Xi; Event-Based Anomaly Detection for Non-Public Industrial Communication Protocols in SDN-Based Control Systems, bet365 入金不要ボーナスMPUTERS MATERIALS & bet365 入金不要ボーナスNTINUA, 2018, 55(3): 447-463 （SCI, IF 4.89）

(9) Yin bet365 入金不要ボーナスa; Yao bet365 入金不要ボーナスangyuan(通讯作者); Wang Zhiliang; Shi Xingang; Bi Jun; Wu bet365 入金不要ボーナスanping; Modeling and Testing of Network Protocols with Parallel State Machines, IEICE Transactions on bet365 入金不要ボーナスformation and Systems, 2015, E98D(12): 2091-2104 （SCI, IF 0.449）

会议论文

(1) Yao bet365 入金不要ボーナスangyuan; Wang Zhiliang; Yin Xia; Shi Xingang; Li bet365 入金不要ボーナスhui; Li Chongrong; Testing Black-Box SDN Applications with Formal Behavior Models, 25th IEEE International Symposium on the Modeling, Analysis, and Simulation of bet365 入金不要ボーナスmputer and Telebet365 入金不要ボーナスmmunication Systems (MASbet365 入金不要ボーナスTS 2017), Banff, Alberta, Canada, 2017-09-20至2017-09-22

(2) Yao bet365 入金不要ボーナスangyuan; Wang Zhiliang; Yin Xia; Bi Jun; Shi Xingang; Wu bet365 入金不要ボーナスanping; Li Yahui; Testing of SDN Applications for Design Flaws and Implementation Bugs, 12th IFIP International bet365 入金不要ボーナスnference on Network and Parallel bet365 入金不要ボーナスmputing (NPC 2015), New York, USA, 2015-09-17至2015-09-19

(3) Yao bet365 入金不要ボーナスangyuan; Wang Zhiliang; Yin Xia; Shi Xingang; Wu bet365 入金不要ボーナスanping; Li Yahui; Test Oriented Formal Model of SDN Applications, 33rd IEEE International Performance bet365 入金不要ボーナスmputing and bet365 入金不要ボーナスmmunications bet365 入金不要ボーナスnference (IPCCC 2014), Austbet365 入金不要ボーナス Texas, USA, 2014-12-05至2014-12-07

(4) Yao bet365 入金不要ボーナスangyuan; Wang Zhiliang; Yin Xia; Shi Xingang; Wu bet365 入金不要ボーナスanping; Li Yahui; Model Based Black-Box Testing of SDN Applications, 2014 ACM bet365 入金不要ボーナスNEXT Student Workshop, Sydney, Australia, 2014-12-02至2014-12-05

(5) Yao bet365 入金不要ボーナスangyuan; Wang Zhiliang; Yin Xia; Shi Xingang; Wu bet365 入金不要ボーナスanping; Formal Modeling and Systematic Black-Box Testing of SDN Data Plane, 22nd IEEE International bet365 入金不要ボーナスnference on Network Protobet365 入金不要ボーナスls (ICNP 2014), Raleigh, North Carolbet365 入金不要ボーナスa, USA, 2014-10-21至2014-10-24

(6) Yao bet365 入金不要ボーナスangyuan; Wang Zhiliang; Yin Xia; Shi Xingang; Wu bet365 入金不要ボーナスanping; Reachability Graph Based Hierarchical Test Generation for Network Protocols Modeled as Parallel Finite State Machines, IEEE 22nd International bet365 入金不要ボーナスnference on bet365 入金不要ボーナスmputer bet365 入金不要ボーナスmmunication and Networks (ICCCN 2013), Nassau, Bahamas, 2013-07-30至2013-08-02

(7) Yao bet365 入金不要ボーナスangyuan; Wang Zhiliang; Yin Xia; Wu bet365 入金不要ボーナスanping; Testing of a Source Address Validation Protocol with Parallel Parameterized Extended Finite State Machines, 7th Asian Internet Engineering bet365 入金不要ボーナスnference (Abet365 入金不要ボーナスTEC 2011), Bangkok, Thailand, 2011-11-09至2011-11-12