Name
Playground
About
FAQ
GitHub
Playground
Shortest Path Finder
Community Detector
Connected Papers
Author Trending
Daniel P. Kennedy
Dan Graur
Barbara Aquilani
A Kogan
Ping-gong Guo
Maximilian Dürr
Jhonathan Pinzon
Liangliang Shang
Krystian Koronowski
Chen Ma
Home
/
Author
/
XIAORAN ZHU
Author Info
Open Visualization
Name
Affiliation
Papers
XIAORAN ZHU
East China Normal Univ, Soft Hardware Codesign Engn Res Ctr, Shanghai, Peoples R China
8
Collaborators
Citations
PageRank
32
17
3.22
Referers
Referees
References
68
115
42
Search Limit
100
115
Publications (8 rows)
Collaborators (32 rows)
Referers (68 rows)
Referees (100 rows)
Title
Citations
PageRank
Year
Formal Modeling and Verifying the TTCAN Protocol from a Probabilistic Perspective
0
0.34
2019
Toward a Unified Executable Formal Automobile OS Kernel and Its Applications
0
0.34
2019
Kst: Executable Formal Semantics Of Iec 61131-3 Structured Text For Verification
0
0.34
2019
Formal Analysis of the PKMv3 Protocol.
1
0.35
2018
KRust: A Formal Executable Semantics of Rust
1
0.36
2018
KEVM: A Complete Formal Semantics of the Ethereum Virtual Machine
13
0.78
2018
Formalization and Verification of the PKMv3 Protocol Using CSP
1
0.35
2017
Formal Verification of PKMv3 Protocol Using DT-Spin
1
0.36
2015
1