C
search
search
reviewers
reviewers
feeds
feeds
assignments
assignments
settings
logout
Ximeng Li
Publication Activity (10 Years)
Years Active: 2019-2023
Publications (10 Years): 12
Top Topics
Conformal Geometric Algebra
Acid Properties
Symbolic Model Checking
Pose Estimation
Top Venues
CoRR
ICFEM
J. Log. Algebraic Methods Program.
SETTA
</>
Publications
</>
Yingjie Wu
,
Guohui Wang
,
Shanyan Chen
,
Zhiping Shi
,
Yong Guan
,
Ximeng Li
Formalization of Robot Collision Detection Method based on Conformal Geometric Algebra.
CoRR
(2023)
Ximeng Li
,
Qianying Zhang
,
Guohui Wang
,
Zhi-Ping Shi
,
Yong Guan
A unified proof technique for verifying program correctness with big-step semantics.
J. Syst. Archit.
136 (2023)
Guohui Wang
,
Shanyan Chen
,
Yong Guan
,
Zhi-Ping Shi
,
Ximeng Li
,
Jingzhi Zhang
Formalization of the inverse kinematics of three-fingered dexterous hand.
J. Log. Algebraic Methods Program.
133 (2023)
Yong Guan
,
Jingzhi Zhang
,
Guohui Wang
,
Ximeng Li
,
Zhiping Shi
,
Yongdong Li
Formalization of Euler-Lagrange Equation Set Based on Variational Calculus in HOL Light.
J. Autom. Reason.
65 (1) (2021)
Ximeng Li
,
Qianying Zhang
,
Guohui Wang
,
Zhiping Shi
,
Yong Guan
Reasoning about Iteration and Recursion Uniformly based on Big-step Semantics.
CoRR
(2021)
Ximeng Li
,
Qianying Zhang
,
Guohui Wang
,
Zhiping Shi
,
Yong Guan
Reasoning About Iteration and Recursion Uniformly Based on Big-Step Semantics.
SETTA
(2021)
Yuwei Ma
,
Qianying Zhang
,
Shijun Zhao
,
Guohui Wang
,
Ximeng Li
,
Zhiping Shi
Formal Verification of Memory Isolation for the TrustZone-based TEE.
APSEC
(2020)
Xiangyu Chen
,
Ximeng Li
,
Qianying Zhang
,
Zhiping Shi
,
Yong Guan
Formalizing the Transaction Flow Process of Hyperledger Fabric.
ICFEM
(2020)
Shanyan Chen
,
Guohui Wang
,
Ximeng Li
,
Qianying Zhang
,
Zhi-Ping Shi
,
Yong Guan
Formalization of Camera Pose Estimation Algorithm based on Rodrigues Formula.
Formal Aspects Comput.
32 (4-6) (2020)
Ning Han
,
Ximeng Li
,
Guohui Wang
,
Zhiping Shi
,
Yong Guan
Formal Verification of Atomicity Requirements for Smart Contracts.
APLAS
(2020)
Ximeng Li
,
Zhiping Shi
,
Qianying Zhang
,
Guohui Wang
,
Yong Guan
,
Ning Han
Towards Verifying Ethereum Smart Contracts at Intermediate Language Level.
ICFEM
(2019)
Yuhan Nie
,
Zhiping Shi
,
Aixuan Wu
,
Ximeng Li
,
Guohui Wang
,
Yong Guan
A HOL Theory of the Differential for Matrix Functions.
TASE
(2019)