Shuangqing Xiang
Publication record assembled from the DBLP archive of ranked conferences.
Papers indexed
6
Venues
5
Active years
2016–2021
Best venue rank
B
Where they publish
Papers
6 indexed papers, newest first.
| Year | Venue | Title | Authors |
|---|---|---|---|
| 2021 | SETTA | Formal Analysis of 5G AKMA. | Tengshun Yang, Shuling Wang, Bohua Zhan, Naijun Zhan, Jinghui Li, Shuangqing Xiang, Zhan Xiang, Bifei Mao |
| 2019 | ICFEM | PDNet: A Programming Language for Software-Defined Networks with VLAN. | Shuangqing Xiang, Marcello M. Bonsangue, Huibiao Zhu |
| 2018 | SAC | Modeling and verifying SDN with multiple controllers. | Lili Xiao, Shuangqing Xiang, Huibiao Zhu |
| 2018 | TASE | Modeling and Verifying TopoGuard in OpenFlow-Based Software Defined Networks. | Shuangqing Xiang, Huibiao Zhu, Lili Xiao, Wanling Xie |
| 2017 | COMPSAC | 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 |
| 2016 | COMPSAC | Modeling and Verifying HDFS Using CSP. | Wanling Xie, Huibiao Zhu, Xi Wu, Shuangqing Xiang, Jian Guo |