Xiaoran Zhu

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