Author Info
Name
Affiliation
Papers
SHUANGQING XIANG
Shanghai Key Laboratory of Trustworthy Computing, East China Normal University, Shanghai, China
6
Collaborators
Citations 
PageRank 
15
1
2.06
Referers 
Referees 
References 
3
100
47
Title
Citations
PageRank
Year
Modeling And Verifying Sdn Under Multi-Controller Architectures Using Csp00.342021
Modeling and verifying the topology discovery mechanism of OpenFlow controllers in software-defined networks using process algebra00.342020
Modeling and Verifying TopoGuard in OpenFlow-Based Software Defined Networks00.342018
Modeling and Verifying HDFS Using Process Algebra.00.342017
Modeling and Analysis of the Security Protocol in C-DAX Based on Process Algebra00.342017
Modeling and Verifying HDFS Using CSP10.372016