Ximeng Li

17 papers B 2C 4Misc 2Journal 9
YearRankTypeTitle / Venue / Authors
2026 J jnl
Formal reasoning about Bernstein-Vazirani algorithm.
J. Log. Algebraic Methods Program.
Hongxia Sun, Zhi-Ping Shi, Shanyan Chen, Guohui Wang, Ximeng Li, Yong Guan
2025 J jnl
Formalization of robot collision detection method based on conformal geometric algebra.
Formal Methods Syst. Des.
Yingjie Wu, Guohui Wang, Shanyan Chen, Zhiping Shi, Yong Guan, Ximeng Li
2024 J jnl
Formal Verification of Functional Correctness for Mutexes in Microkernel.
Int. J. Softw. Informatics
Linyan Zhang, Ximeng Li, Zhi-Ping Shi, Yong Guan, Qinxiang Cao, Qianying Zhang
2024 B conf
Refinement Verification of OS Services based on a Verified Preemptive Microkernel.
FASE
Ximeng Li, Shanyan Chen, Yong Guan, Qianying Zhang, Guohui Wang, Zhiping Shi
2023 J jnl
A unified proof technique for verifying program correctness with big-step semantics.
J. Syst. Archit.
Ximeng Li, Qianying Zhang, Guohui Wang, Zhi-Ping Shi, Yong Guan
2023 C conf
Formal Verification of Interrupt Isolation for the TrustZone-based TEE.
APSEC
Leping Zhang, Qianying Zhang, Xinyue Wang, Ximeng Li, Guohui Wang, Zhiping Shi, Yong Guan
2023 J jnl
Formalization of Robot Collision Detection Method based on Conformal Geometric Algebra.
CoRR
Yingjie Wu, Guohui Wang, Shanyan Chen, Zhiping Shi, Yong Guan, Ximeng Li
2023 J jnl
Formalization of the inverse kinematics of three-fingered dexterous hand.
J. Log. Algebraic Methods Program.
Guohui Wang, Shanyan Chen, Yong Guan, Zhi-Ping Shi, Ximeng Li, Jingzhi Zhang
2021 J jnl
Formalization of Euler-Lagrange Equation Set Based on Variational Calculus in HOL Light.
J. Autom. Reason.
Yong Guan, Jingzhi Zhang, Guohui Wang, Ximeng Li, Zhiping Shi, Yongdong Li
2021 Misc conf
Reasoning About Iteration and Recursion Uniformly Based on Big-Step Semantics.
SETTA
Ximeng Li, Qianying Zhang, Guohui Wang, Zhiping Shi, Yong Guan
2021 J jnl
Reasoning about Iteration and Recursion Uniformly based on Big-step Semantics.
CoRR
Ximeng Li, Qianying Zhang, Guohui Wang, Zhiping Shi, Yong Guan
2020 B conf
Formal Verification of Atomicity Requirements for Smart Contracts.
APLAS
Ning Han, Ximeng Li, Guohui Wang, Zhiping Shi, Yong Guan
2020 C conf
Formal Verification of Memory Isolation for the TrustZone-based TEE.
APSEC
Yuwei Ma, Qianying Zhang, Shijun Zhao, Guohui Wang, Ximeng Li, Zhiping Shi
2020 J jnl
Formalization of Camera Pose Estimation Algorithm based on Rodrigues Formula.
Formal Aspects Comput.
Shanyan Chen, Guohui Wang, Ximeng Li, Qianying Zhang, Zhi-Ping Shi, Yong Guan
2020 C conf
Formalizing the Transaction Flow Process of Hyperledger Fabric.
ICFEM
Xiangyu Chen, Ximeng Li, Qianying Zhang, Zhiping Shi, Yong Guan
2019 Misc conf
A HOL Theory of the Differential for Matrix Functions.
TASE
Yuhan Nie, Zhiping Shi, Aixuan Wu, Ximeng Li, Guohui Wang, Yong Guan
2019 C conf
Towards Verifying Ethereum Smart Contracts at Intermediate Language Level.
ICFEM
Ximeng Li, Zhiping Shi, Qianying Zhang, Guohui Wang, Yong Guan, Ning Han