Modeling and Verifying HDFS Using CSP. - Wanling Xie; Huibiao Zhu; Xi Wu 005; Shuangqing Xiang; Jian Guo 005 (COMPSAC, 2016)

UTP Semantics for rTiMo. - Wanling Xie; Shuangqing Xiang (UTP, 2016)

Modeling and Analysis of the Security Protocol in C-DAX Based on Process Algebra. - Ailun Liu; Huibiao Zhu; Yuan Fei; Shuangqing Xiang; Gang Lu; Wanling Xie (COMPSAC (1), 2017)

Modeling and Verifying HDFS Using Process Algebra. - Wanling Xie; Huibiao Zhu; Xi Wu 005; Shuangqing Xiang; Jian Guo 005; Phan Cong Vinh (Mob. Networks Appl., 2017)

Modeling and verifying SDN with multiple controllers. - Lili Xiao; Shuangqing Xiang; Huibiao Zhu (SAC, 2018)

Modeling and Verifying TopoGuard in OpenFlow-Based Software Defined Networks. - Shuangqing Xiang; Huibiao Zhu; Lili Xiao; Wanling Xie (TASE, 2018)

A UTP approach for rTiMo. - Wanling Xie; Shuangqing Xiang; Huibiao Zhu (Formal Aspects Comput., 2018)

PDNet: A Programming Language for Software-Defined Networks with VLAN. - Shuangqing Xiang; Marcello M. Bonsangue; Huibiao Zhu (ICFEM, 2019)

Modeling and Verifying Basic Modules of Floodlight. - Shuangqing Xiang; Xi Wu 005; Huibiao Zhu; Wanling Xie; Lili Xiao; Phan Cong Vinh (Mob. Networks Appl., 2019)

Formal analysis and verification of the PSTM architecture using CSP. - Ailun Liu; Huibiao Zhu; Miroslav Popovic; Shuangqing Xiang; Lei Zhang (J. Syst. Softw., 2020)

Modeling and verifying the topology discovery mechanism of OpenFlow controllers in software-defined networks using process algebra. - Shuangqing Xiang; Huibiao Zhu; Xi Wu 005; Lili Xiao; Marcello M. Bonsangue; Wanling Xie; Lei Zhang (Sci. Comput. Program., 2020)

Formal Analysis of 5G AKMA. - Tengshun Yang; Shuling Wang 003; Bohua Zhan; Naijun Zhan; Jinghui Li; Shuangqing Xiang; Zhan Xiang; Bifei Mao (SETTA, 2021)

Modeling and verifying SDN under Multi-controller architectures using CSP. - Lili Xiao; Huibiao Zhu; Shuangqing Xiang; Phan Cong Vinh (Concurr. Comput. Pract. Exp., 2021)

Formal Analysis of 5G Authentication and Key Management for Applications (AKMA). - Tengshun Yang; Shuling Wang 003; Bohua Zhan; Naijun Zhan; Jinghui Li; Shuangqing Xiang; Zhan Xiang; Bifei Mao (J. Syst. Archit., 2022)