We stand with Ukraine  

Ximeng Li

Affiliations:
  • Capital Normal University, Beijing Key Laboratory of Electronic System Reliability and Prognostics / Beijing Engineering Research Center of High Reliable Embedded System, China


According to our database1, Ximeng Li authored at least 14 papers between 2019 and 2024.

Collaborative distances:
  • Dijkstra number2 of five.
  • Erdős number3 of five.

Timeline

Legend:

Book 
In proceedings 
Article 
PhD thesis 
Dataset
Other 

Links

On csauthors.net:

Bibliography

2024
Formal Verification of Functional Correctness for Mutexes in Microkernel.
[BibTeX]
[DOI]
Linyan Zhang
,
Ximeng Li
,
Zhi-Ping Shi
,
Yong Guan
,
Qinxiang Cao
,
Qianying Zhang
Int. J. Softw. Informatics, 2024

Refinement Verification of OS Services based on a Verified Preemptive Microkernel.
[BibTeX]
[DOI]
Ximeng Li
,
Shanyan Chen
,
Yong Guan
,
Qianying Zhang
,
Guohui Wang
,
Zhiping Shi
Proceedings of the Fundamental Approaches to Software Engineering, 2024

2023
Formalization of the inverse kinematics of three-fingered dexterous hand.
[BibTeX]
[DOI]
Guohui Wang
,
Shanyan Chen
,
Yong Guan
,
Zhi-Ping Shi
,
Ximeng Li
,
Jingzhi Zhang
J. Log. Algebraic Methods Program., June, 2023

A unified proof technique for verifying program correctness with big-step semantics.
[BibTeX]
[DOI]
Ximeng Li
,
Qianying Zhang
,
Guohui Wang
,
Zhi-Ping Shi
,
Yong Guan
J. Syst. Archit., March, 2023

Formalization of Robot Collision Detection Method based on Conformal Geometric Algebra.
[BibTeX]
[DOI]
Yingjie Wu
,
Guohui Wang
,
Shanyan Chen
,
Zhiping Shi
,
Yong Guan
,
Ximeng Li
CoRR, 2023

Formal Verification of Interrupt Isolation for the TrustZone-based TEE.
[BibTeX]
[DOI]
Leping Zhang
,
Qianying Zhang
,
Xinyue Wang
,
Ximeng Li
,
Guohui Wang
,
Zhiping Shi
,
Yong Guan
Proceedings of the 30th Asia-Pacific Software Engineering Conference, 2023

2021
Formalization of Euler-Lagrange Equation Set Based on Variational Calculus in HOL Light.
[BibTeX]
[DOI]
Yong Guan
,
Jingzhi Zhang
,
Guohui Wang
,
Ximeng Li
,
Zhiping Shi
,
Yongdong Li
J. Autom. Reason., 2021

Reasoning About Iteration and Recursion Uniformly Based on Big-Step Semantics.
[BibTeX]
[DOI]
Ximeng Li
,
Qianying Zhang
,
Guohui Wang
,
Zhiping Shi
,
Yong Guan
Proceedings of the Dependable Software Engineering. Theories, Tools, and Applications, 2021

2020
Formalization of Camera Pose Estimation Algorithm based on Rodrigues Formula.
[BibTeX]
[DOI]
Shanyan Chen
,
Guohui Wang
,
Ximeng Li
,
Qianying Zhang
,
Zhi-Ping Shi
,
Yong Guan
Formal Aspects Comput., 2020

Formalizing the Transaction Flow Process of Hyperledger Fabric.
[BibTeX]
[DOI]
Xiangyu Chen
,
Ximeng Li
,
Qianying Zhang
,
Zhiping Shi
,
Yong Guan
Proceedings of the Formal Methods and Software Engineering, 2020

Formal Verification of Memory Isolation for the TrustZone-based TEE.
[BibTeX]
[DOI]
Yuwei Ma
,
Qianying Zhang
,
Shijun Zhao
,
Guohui Wang
,
Ximeng Li
,
Zhiping Shi
Proceedings of the 27th Asia-Pacific Software Engineering Conference, 2020

Formal Verification of Atomicity Requirements for Smart Contracts.
[BibTeX]
[DOI]
Ning Han
,
Ximeng Li
,
Guohui Wang
,
Zhiping Shi
,
Yong Guan
Proceedings of the Programming Languages and Systems - 18th Asian Symposium, 2020

2019
A HOL Theory of the Differential for Matrix Functions.
[BibTeX]
[DOI]
Yuhan Nie
,
Zhiping Shi
,
Aixuan Wu
,
Ximeng Li
,
Guohui Wang
,
Yong Guan
Proceedings of the 2019 International Symposium on Theoretical Aspects of Software Engineering, 2019

Towards Verifying Ethereum Smart Contracts at Intermediate Language Level.
[BibTeX]
[DOI]
Ximeng Li
,
Zhiping Shi
,
Qianying Zhang
,
Guohui Wang
,
Yong Guan
,
Ning Han
Proceedings of the Formal Methods and Software Engineering, 2019


  Loading...