Xiaoran Zhu

According to our database, Xiaoran Zhu authored at least 13 papers between 2012 and 2019.

Collaborative distances:

• Dijkstra number of three.
• Erdős number of four.

2019

Toward a Unified Executable Formal Automobile OS Kernel and Its Applications.

Xiaoran Zhu, Min Zhang, Jian Guo, Xin Li, Huibiao Zhu, Jifeng He

IEEE Trans. Reliab., 2019

Formal Modeling and Verifying the TTCAN Protocol from a Probabilistic Perspective.

Xin Li, Jian Guo, Yongxin Zhao, Xiaoran Zhu

J. Circuits Syst. Comput., 2019

KST: Executable Formal Semantics of IEC 61131-3 Structured Text for Verification.

Yanhong Huang, Xiangxing Bu, Gang Zhu, Xin Ye, Xiaoran Zhu, Jianqi Shi

IEEE Access, 2019

2018

Formal Analysis of the PKMv3 Protocol.

Xiaoran Zhu, Yuanmin Xu, Xin Li, Jian Guo, Huibiao Zhu, Phan Cong Vinh

Mob. Networks Appl., 2018

KRust: A Formal Executable Semantics of Rust.

Feng Wang, Fu Song, Min Zhang, Xiaoran Zhu, Jun Zhang

Proceedings of the 2018 International Symposium on Theoretical Aspects of Software Engineering, 2018

KEVM: A Complete Formal Semantics of the Ethereum Virtual Machine.

Everett Hildenbrandt, Manasvi Saxena, Nishant Rodrigues, Xiaoran Zhu, Philip Daian, Dwight Guth, Brandon M. Moore, Daejun Park, Yi Zhang, Andrei Stefanescu, Grigore Rosu

Proceedings of the 31st IEEE Computer Security Foundations Symposium, 2018

End-to-End Automated Verification for OS Kernels.

Jizheng Ding, Xiaoran Zhu, Jian Guo

Proceedings of the 25th Asia-Pacific Software Engineering Conference, 2018

2017

Towards an executable semantics of automobile RTOS standard and its application to conformance verification.

Xiaoran Zhu, Min Zhang, Jian Guo

CoRR, 2017

Algebraic Formalization and Verification of PKMv3 Protocol using Maude.

Jia She, Xiaoran Zhu, Min Zhang

Proceedings of the 29th International Conference on Software Engineering and Knowledge Engineering, 2017

Formalization and Verification of the PKMv3 Protocol Using CSP.

Yuanmin Xu, Huibiao Zhu, Xiaoran Zhu, Xi Wu, Jian Guo, Gang Lu

Proceedings of the 41st IEEE Annual Computer Software and Applications Conference, 2017

2015

Formal Verification of PKMv3 Protocol Using DT-Spin.

Xiaoran Zhu, Yuanmin Xu, Jian Guo, Xi Wu, Huibiao Zhu, Weikai Miao

Proceedings of the 2015 International Symposium on Theoretical Aspects of Software Engineering, 2015

Research on the Application of Face Symbol in Thematic Map Making.

Yujie Yao, Xiaoran Zhu, Juan Zhang, Lifeng Jiang

Proceedings of the 2015 IEEE International Conference on Multimedia Big Data, BigMM 2015, 2015

2012

A novelty degradation assessment method for equipment based on multi-kernel SVDD.

Yongsheng Zhu, Yinghua Song, Xiaoran Zhu, Youyun Zhang

Proceedings of the 2012 IEEE International Conference on Automation Science and Engineering, 2012