Shuangqing Xiang

According to our database, Shuangqing Xiang authored at least 14 papers between 2016 and 2022.

Collaborative distances:

• Dijkstra number of three.
• Erdős number of four.

2022

Formal Analysis of 5G Authentication and Key Management for Applications (AKMA).

Tengshun Yang, Shuling Wang, Bohua Zhan, Naijun Zhan, Jinghui Li, Shuangqing Xiang, Zhan Xiang, Bifei Mao

J. Syst. Archit., 2022

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 AKMA.

Tengshun Yang, Shuling Wang, Bohua Zhan, Naijun Zhan, Jinghui Li, Shuangqing Xiang, Zhan Xiang, Bifei Mao

Proceedings of the Dependable Software Engineering. Theories, Tools, and Applications, 2021

2020

Modeling and verifying the topology discovery mechanism of OpenFlow controllers in software-defined networks using process algebra.

Shuangqing Xiang, Huibiao Zhu, Xi Wu, Lili Xiao, Marcello M. Bonsangue, Wanling Xie, Lei Zhang

Sci. Comput. Program., 2020

Formal analysis and verification of the PSTM architecture using CSP.

Ailun Liu, Huibiao Zhu, Miroslav Popovic, Shuangqing Xiang, Lei Zhang

J. Syst. Softw., 2020

2019

Modeling and Verifying Basic Modules of Floodlight.

Shuangqing Xiang, Xi Wu, Huibiao Zhu, Wanling Xie, Lili Xiao, Phan Cong Vinh

Mob. Networks Appl., 2019

PDNet: A Programming Language for Software-Defined Networks with VLAN.

Shuangqing Xiang, Marcello M. Bonsangue, Huibiao Zhu

Proceedings of the Formal Methods and Software Engineering, 2019

2018

A UTP approach for rTiMo.

Wanling Xie, Shuangqing Xiang, Huibiao Zhu

Formal Aspects Comput., 2018

Modeling and Verifying TopoGuard in OpenFlow-Based Software Defined Networks.

Shuangqing Xiang, Huibiao Zhu, Lili Xiao, Wanling Xie

Proceedings of the 2018 International Symposium on Theoretical Aspects of Software Engineering, 2018

Modeling and verifying SDN with multiple controllers.

Lili Xiao, Shuangqing Xiang, Huibiao Zhu

Proceedings of the 33rd Annual ACM Symposium on Applied Computing, 2018

2017

Modeling and Verifying HDFS Using Process Algebra.

Wanling Xie, Huibiao Zhu, Xi Wu, Shuangqing Xiang, Jian Guo, Phan Cong Vinh

Mob. Networks Appl., 2017

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

Proceedings of the 41st IEEE Annual Computer Software and Applications Conference, 2017

2016

UTP Semantics for rTiMo.

Wanling Xie, Shuangqing Xiang

Proceedings of the Unifying Theories of Programming - 6th International Symposium, 2016

Modeling and Verifying HDFS Using CSP.

Wanling Xie, Huibiao Zhu, Xi Wu, Shuangqing Xiang, Jian Guo

Proceedings of the 40th IEEE Annual Computer Software and Applications Conference, 2016