Wanling Xie - Citegraph

Author Info

Name	Affiliation	Papers
WANLING XIE	Shanghai Key Laboratory of Trustworthy Computing, East China Normal University, Shanghai, China	20
Collaborators	Citations	PageRank
26	4	6.88
Referers	Referees	References
9	285	177

Search Limit

100285

Publications (20 rows)

Collaborators (26 rows)

Referers (9 rows)

Referees (100 rows)

Title	Citations	PageRank	Year
A process calculus BigrTiMo of mobile systemsand its formal semantics	0	0.34	2021
Modeling and verifying the topology discovery mechanism of OpenFlow controllers in software-defined networks using process algebra	0	0.34	2020
An Axiomatic Approach to BigrTiMo	0	0.34	2020
UTP Semantics of a Calculus for Mobile Ad Hoc Networks.	0	0.34	2019
Formal Verification of mCWQ Using Extended Hoare Logic.	0	0.34	2019
Modeling and Verifying Basic Modules of Floodlight.	0	0.34	2019
Modeling and Verifying TopoGuard in OpenFlow-Based Software Defined Networks	0	0.34	2018
Utp Semantics For Bigrtimo	0	0.34	2018
Modeling and Verifying MooseFS in CSP	0	0.34	2018
A UTP approach for rTiMo.	1	0.35	2018
Modeling and Verifying OpenFlow Scheduled Bundle Mechanism Using CSP	0	0.34	2018
Formalization and Verification of Mobile Systems Calculus Using the Rewriting Engine Maude	0	0.34	2018
Modeling and Verifying Identity Authentication Security of HDFS Using CSP	0	0.34	2017
Modeling and Verifying HDFS Using Process Algebra.	0	0.34	2017
BigrTiMo-A Process Algebra for Structure-Aware Mobile Systems	1	0.40	2017
Assertion-Based Reasoning Method for Calculus of Wireless System.	0	0.34	2017
Modeling and Analysis of the Security Protocol in C-DAX Based on Process Algebra	0	0.34	2017
A Proof System for mCWQ	1	0.35	2017
Modeling and Verifying HDFS Using CSP	1	0.37	2016
Utp Semantics For Rtimo	0	0.34	2016