default search action
Google
Google Scholar
Semantic Scholar
Internet Archive Scholar
CiteSeerX
ORCIDXimeng Li 0003
Person information
- affiliation: Capital Normal University, Beijing Key Laboratory of Electronic System Reliability and Prognostics / Beijing Engineering Research Center of High Reliable Embedded System, China
Other persons with the same name
- Ximeng Li 0001 — TU Darmstadt, Department of Computer Science, Germany (and 1 more)
- Ximeng Li 0002 — University of Hong Kong
- Ximeng Li 0004
![[0009-0003-8539-2233]](https://dblp.uni-trier.de./img/orcid-mark.12x12.png "0009-0003-8539-2233")
— Harbin Engineering University, College of Information and Communictaion, China - Ximeng Li 0005 — Fuzhou University, Fuzhou, China
- Ximeng Li 0006 — Henan Polytechnic Institute, Department of Economic Management, Nanyang, China
- Ximeng Li 0007 — Huazhong University of Science and Technology, China
- Ximeng Li 0008 — Sun Yat-Sen University, Fifth Affiliated Hospital, Department of Radiology, Zhuhai, China
Refine list
refinements active!
zoomed in on ?? of ?? records
view refined list in
export refined list as
2020 – today
- 2024
[c8]Ximeng Li, Shanyan Chen, Yong Guan, Qianying Zhang, Guohui Wang, Zhiping Shi:
Refinement Verification of OS Services based on a Verified Preemptive Microkernel. FASE 2024: 188-209- 2023
- [j4]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: 100861 (2023) - [j3]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: 102820 (2023) - [c7]Leping Zhang, Qianying Zhang, Xinyue Wang, Ximeng Li, Guohui Wang, Zhiping Shi, Yong Guan:
Formal Verification of Interrupt Isolation for the TrustZone-based TEE. APSEC 2023: 309-318 - [i2]Yingjie Wu, Guohui Wang, Shanyan Chen, Zhiping Shi, Yong Guan, Ximeng Li:
Formalization of Robot Collision Detection Method based on Conformal Geometric Algebra. CoRR abs/2312.04598 (2023) - 2021
- [j2]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): 1-29 (2021) - [c6]Ximeng Li, Qianying Zhang, Guohui Wang, Zhiping Shi, Yong Guan:
Reasoning About Iteration and Recursion Uniformly Based on Big-Step Semantics. SETTA 2021: 61-80 - [i1]Ximeng Li, Qianying Zhang, Guohui Wang, Zhiping Shi, Yong Guan:
Reasoning about Iteration and Recursion Uniformly based on Big-step Semantics. CoRR abs/2108.01883 (2021) - 2020
- [j1]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): 417-437 (2020) - [c5]Ning Han, Ximeng Li, Guohui Wang, Zhiping Shi, Yong Guan:
Formal Verification of Atomicity Requirements for Smart Contracts. APLAS 2020: 44-64 - [c4]Yuwei Ma, Qianying Zhang, Shijun Zhao, Guohui Wang, Ximeng Li, Zhiping Shi:
Formal Verification of Memory Isolation for the TrustZone-based TEE. APSEC 2020: 149-158 - [c3]Xiangyu Chen, Ximeng Li, Qianying Zhang, Zhiping Shi, Yong Guan:
Formalizing the Transaction Flow Process of Hyperledger Fabric. ICFEM 2020: 233-250
2010 – 2019
- 2019
- [c2]Ximeng Li, Zhiping Shi, Qianying Zhang, Guohui Wang, Yong Guan, Ning Han:
Towards Verifying Ethereum Smart Contracts at Intermediate Language Level. ICFEM 2019: 121-137 - [c1]Yuhan Nie, Zhiping Shi, Aixuan Wu, Ximeng Li, Guohui Wang, Yong Guan:
A HOL Theory of the Differential for Matrix Functions. TASE 2019: 121-127
Coauthor Index
manage site settings
To protect your privacy, all features that rely on external API calls from your browser are turned off by default. You need to opt-in for them to become active. All settings here will be stored as cookies with your web browser. For more information see our F.A.Q.
Unpaywalled article links
Add open access links from 
to the list of external document links (if available).
Privacy notice: By enabling the option above, your browser will contact the API of unpaywall.org to load hyperlinks to open access articles. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the Unpaywall privacy policy.
Archived links via Wayback Machine
For web page which are no longer available, try to retrieve content from the 
of the Internet Archive (if available).
Privacy notice: By enabling the option above, your browser will contact the API of archive.org to check for archived content of web pages that are no longer available. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the Internet Archive privacy policy.
Reference lists
Add a list of references from 
, 
, and 
to record detail pages.
load references from crossref.org and opencitations.net
Privacy notice: By enabling the option above, your browser will contact the APIs of crossref.org, opencitations.net, and semanticscholar.org to load article reference information. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the Crossref privacy policy and the OpenCitations privacy policy, as well as the AI2 Privacy Policy covering Semantic Scholar.
Citation data
Add a list of citing articles from and to record detail pages.
load citations from opencitations.net
Privacy notice: By enabling the option above, your browser will contact the API of opencitations.net and semanticscholar.org to load citation information. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the OpenCitations privacy policy as well as the AI2 Privacy Policy covering Semantic Scholar.
OpenAlex data
Load additional information about publications from 
.
Privacy notice: By enabling the option above, your browser will contact the API of openalex.org to load additional information. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the information given by OpenAlex.
last updated on 2024-10-07 22:23 CEST by the dblp team
all metadata released as open data under CC0 1.0 license
see also: Terms of Use | Privacy Policy | Imprint
dblp was originally created in 1993 at:
since 2018, dblp has been operated and maintained by:
the dblp computer science bibliography is funded and supported by:
