Xiaoran Zhu

Publication Activity (10 Years)

Years Active: 2012-2019
Publications (10 Years): 11

Top Topics

Owl Dl Ontology

Virtual Machine

Formal Semantics

Formal Language

Top Venues

IEEE Trans. Reliab.

Mob. Networks Appl.

Publications

Xin Li, Jian Guo, Yongxin Zhao, Xiaoran Zhu
Formal Modeling and Verifying the TTCAN Protocol from a Probabilistic Perspective. J. Circuits Syst. Comput. 28 (10) (2019)
Xiaoran Zhu, Min Zhang, Jian Guo, Xin Li, Huibiao Zhu, Jifeng He
Toward a Unified Executable Formal Automobile OS Kernel and Its Applications. IEEE Trans. Reliab. 68 (3) (2019)
Yanhong Huang, Xiangxing Bu, Gang Zhu, Xin Ye, Xiaoran Zhu, Jianqi Shi
KST: Executable Formal Semantics of IEC 61131-3 Structured Text for Verification. IEEE Access 7 (2019)
Feng Wang, Fu Song, Min Zhang, Xiaoran Zhu, Jun Zhang
KRust: A Formal Executable Semantics of Rust. CoRR (2018)
Feng Wang, Fu Song, Min Zhang, Xiaoran Zhu, Jun Zhang
KRust: A Formal Executable Semantics of Rust. TASE (2018)
Xiaoran Zhu, Yuanmin Xu, Xin Li, Jian Guo, Huibiao Zhu, Phan Cong Vinh
Formal Analysis of the PKMv3 Protocol. Mob. Networks Appl. 23 (1) (2018)
Everett Hildenbrandt, Manasvi Saxena, Nishant Rodrigues, Xiaoran Zhu, Philip Daian, Dwight Guth, Brandon M. Moore, Daejun Park, Yi Zhang, Andrei Stefanescu, Grigore Rosu
KEVM: A Complete Formal Semantics of the Ethereum Virtual Machine. CSF (2018)
Jizheng Ding, Xiaoran Zhu, Jian Guo
End-to-End Automated Verification for OS Kernels. APSEC (2018)
Xiaoran Zhu, Min Zhang, Jian Guo
Towards an executable semantics of automobile RTOS standard and its application to conformance verification. CoRR (2017)
Jia She, Xiaoran Zhu, Min Zhang
Algebraic Formalization and Verification of PKMv3 Protocol using Maude. SEKE (2017)
Yuanmin Xu, Huibiao Zhu, Xiaoran Zhu, Xi Wu, Jian Guo, Gang Lu
Formalization and Verification of the PKMv3 Protocol Using CSP. COMPSAC (1) (2017)
Xiaoran Zhu, Yuanmin Xu, Jian Guo, Xi Wu, Huibiao Zhu, Weikai Miao
Formal Verification of PKMv3 Protocol Using DT-Spin. TASE (2015)
Yujie Yao, Xiaoran Zhu, Juan Zhang, Lifeng Jiang
Research on the Application of Face Symbol in Thematic Map Making. BigMM (2015)
Yongsheng Zhu, Yinghua Song, Xiaoran Zhu, Youyun Zhang
A novelty degradation assessment method for equipment based on multi-kernel SVDD. CASE (2012)