default search action
Guohui Wang
- > Home > Persons > Guohui Wang
Publications
- 2024
- [c58]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
- [j31]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) - [j30]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) - [c56]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 - [c55]Zhengang Chen, Guohui Wang, Zhi-Ping Shi, Yong Guan, Tianyu Wang:
Region-based Flash Caching with Joint Latency and Lifetime Optimization in Hybrid SMR Storage Systems. DATE 2023: 1-6 - [i12]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
- [j23]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) - [c51]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 - [i9]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
- [j19]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) - [c47]Ning Han, Ximeng Li, Guohui Wang, Zhiping Shi, Yong Guan:
Formal Verification of Atomicity Requirements for Smart Contracts. APLAS 2020: 44-64 - [c44]Zhenzhou Shao, Ying Qu, Guangli Ren, Guohui Wang, Yong Guan, Zhiping Shi, Jindong Tan:
Batch Normalization Masked Sparse Autoencoder for Robotic Grasping Detection. IROS 2020: 9614-9619 - 2019
- [j18]Jingzhi Zhang, Guohui Wang, Zhiping Shi, Yong Guan, Yongdong Li:
Formalization of functional variation in HOL Light. J. Log. Algebraic Methods Program. 106: 29-38 (2019) - [c41]Leping Zhang, Qianying Zhang, Guohui Wang, Zhiping Shi, Minhua Wu, Yong Guan:
Formal Modelling and Verification of Spinlocks at Instruction Level. APSEC 2019: 355-362 - [c39]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 - [c38]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 - [i5]Qianying Zhang, Shijun Zhao, Zhiping Shi, Yong Guan, Guohui Wang:
A Comprehensive Formal Security Analysis and Revision of the Two-phase Key Exchange Primitive of TPM 2.0. CoRR abs/1906.06653 (2019) - 2018
- [c37]Guohui Wang, Yong Guan, Zhiping Shi, Qianying Zhang, Xiaojuan Li, Yongdong Li:
Formalization of Symplectic Geometry in HOL-Light. ICFEM 2018: 270-283 - 2017
- [j15]Yong Guan, Guohui Wang, Chenlin Ma, Renhai Chen, Yi Wang, Zili Shao:
A Block-Level Log-Block Management Scheme for MLC NAND Flash Memory Storage Systems. IEEE Trans. Computers 66(9): 1464-1477 (2017) - 2016
- [j14]Guohui Wang, Yong Guan, Yi Wang, Zili Shao:
Energy-aware assignment and scheduling for hybrid main memory in embedded systems. Computing 98(3): 279-301 (2016) - 2015
- [j11]Lijuan Wang, Lifeng Wu, Yong Guan, Guohui Wang:
Online Sensor Fault Detection Based on an Improved Strong Tracking Filter. Sensors 15(2): 4578-4591 (2015) - 2014
- [j9]Lifeng Wu, Yu Zheng, Yong Guan, Guohui Wang, Xiaojuan Li:
A Non-Intrusive Method for Monitoring the Degradation of MOSFETs. Sensors 14(1): 1132-1139 (2014) - 2013
- [c19]Yong Guan, Guohui Wang, Yi Wang, Renhai Chen, Zili Shao:
BLog: block-level log-block management for NAND flash memorystorage systems. LCTES 2013: 111-120
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-08-23 18:36 CEST by the dblp team
all metadata released as open data under CC0 1.0 license
see also: Terms of Use | Privacy Policy | Imprint