default search action
Google
Google Scholar
Semantic Scholar
Internet Archive Scholar
CiteSeerX
ORCIDGuanhua He
Person information
Refine list
refinements active!
zoomed in on ?? of ?? records
view refined list in
export refined list as
2020 – today
- 2024
[j7]Xiaqing Li
, Qi Guo, Guangyan Zhang, Siwei Ye, Guanhua He, Yiheng Yao, Rui Zhang, Yifan Hao, Zidong Du, Weimin Zheng:
FastTuning: Enabling Fast and Efficient Hyper-Parameter Tuning With Partitioning and Parallelism of Search Space. IEEE Trans. Parallel Distributed Syst. 35(7): 1174-1188 (2024)- [c17]Huang Lei, Jiaming Guo, Guanhua He, Xishan Zhang, Rui Zhang, Shaohui Peng, Shaoli Liu, Tianshi Chen:
Ex3: Automatic Novel Writing by Extracting, Excelsior and Expanding. ACL (1) 2024: 9125-9146 - [c16]Ming Chang, Xishan Zhang, Rui Zhang, Zhipeng Zhao, Guanhua He, Shaoli Liu:
RecurrentBEV: A Long-Term Temporal Fusion Framework for Multi-view 3D Detection. ECCV (72) 2024: 131-147 - [i1]Huang Lei, Jiaming Guo, Guanhua He, Xishan Zhang, Rui Zhang, Shaohui Peng, Shaoli Liu, Tianshi Chen:
Ex3: Automatic Novel Writing by Extracting, Excelsior and Expanding. CoRR abs/2408.08506 (2024)
2010 – 2019
- 2017
- [j6]Shengchao Qin, Guanhua He, Wei-Ngan Chin, Florin Craciun, Mengda He, Zhong Ming:
Automated specification inference in a combined domain via user-defined predicates. Sci. Comput. Program. 148: 189-212 (2017) - 2016
- [c15]Jiaqi Wang, Jinjie Yao, Guanhua He, Kai Gao, Zhiying Fan:
Influence of feeder bending and curved surface on microstrip antenna. CISP-BMEI 2016: 1312-1316 - 2015
- [j5]Yilong Zhang, Yuehua Li, Guanhua He, Sheng Zhang:
A Compressive Regularization Imaging Algorithm for Millimeter-Wave SAIR. IEICE Trans. Inf. Syst. 98-D(8): 1609-1612 (2015) - 2014
- [j4]Shengchao Qin, Guanhua He, Chenguang Luo, Wei-Ngan Chin, Hongli Yang:
Automatically refining partial specifications for heap-manipulating programs. Sci. Comput. Program. 82: 56-76 (2014) - [j3]João F. Ferreira, Cristian Gherghina, Guanhua He, Shengchao Qin, Wei-Ngan Chin:
Automated verification of the FreeRTOS scheduler in Hip/Sleek. Int. J. Softw. Tools Technol. Transf. 16(4): 381-397 (2014) - 2013
- [j2]Shengchao Qin, Guanhua He, Chenguang Luo, Wei-Ngan Chin, Xin Chen:
Loop invariant synthesis in a combined abstract domain. J. Symb. Comput. 50: 386-408 (2013) - [c14]Shengchao Qin, Guanhua He, Wei-Ngan Chin, Hongli Yang:
Invariants Synthesis over a Combined Domain for Automated Program Verification. Theories of Programming and Formal Methods 2013: 304-325 - [c13]Yanhong Huang, João F. Ferreira, Guanhua He, Shengchao Qin, Jifeng He:
Deadline Analysis of AUTOSAR OS Periodic Tasks in the Presence of Interrupts. ICFEM 2013: 165-181 - [c12]Guanhua He, Shengchao Qin, Wei-Ngan Chin, Florin Craciun:
Automated Specification Discovery via User-Defined Predicates. ICFEM 2013: 397-414 - 2012
- [c11]Yanhong Huang, Yongxin Zhao, Shengchao Qin, Guanhua He, João F. Ferreira:
A Timed CSP Model for the Time-Triggered Language Giotto. SEW 2012: 110-119 - [c10]João F. Ferreira, Guanhua He, Shengchao Qin:
Automated Verification of the FreeRTOS Scheduler in HIP/SLEEK. TASE 2012: 51-58 - 2011
- [b1]Guanhua He:
Program analysis in a combined abstract domain. Durham University, UK, 2011 - [c9]Shengchao Qin, Chenguang Luo, Wei-Ngan Chin, Guanhua He:
Automatically Refining Partial Specifications for Program Verification. FM 2011: 369-385 - 2010
- [j1]Chenguang Luo, Florin Craciun, Shengchao Qin, Guanhua He, Wei-Ngan Chin:
Verifying pointer safety for programs with unknown calls. J. Symb. Comput. 45(11): 1163-1183 (2010) - [c8]Florin Craciun, Chenguang Luo, Guanhua He, Shengchao Qin, Wei-Ngan Chin:
Discovering Specifications for Unknown Procedures - Work in Progress. WING@ETAPS/IJCAR 2010: 76-91 - [c7]Shengchao Qin, Chenguang Luo, Guanhua He, Florin Craciun, Wei-Ngan Chin:
Verifying Heap-Manipulating Programs with Unknown Procedure Calls. ICFEM 2010: 171-187 - [c6]Shengchao Qin, Guanhua He, Chenguang Luo, Wei-Ngan Chin:
Loop Invariant Synthesis in a Combined Domain. ICFEM 2010: 468-484
2000 – 2009
- 2009
- [c5]Guanhua He, Shengchao Qin, Chenguang Luo, Wei-Ngan Chin:
Memory Usage Verification Using Hip/Sleek. ATVA 2009: 166-181 - [c4]Florin Craciun, Wei-Ngan Chin, Guanhua He, Shengchao Qin:
An Interval-Based Inference of Variant Parametric Types. ESOP 2009: 112-127 - [c3]Guanhua He, Chenguang Luo:
Heap Memory Requirements Analysis via Separation Logic. TASE 2009: 321-322 - 2008
- [c2]Chenguang Luo, Guanhua He, Shengchao Qin:
A Heap Model for Java Bytecode to Support Separation Logic. APSEC 2008: 127-134 - 2007
- [c1]Shengchao Qin, Guanhua He:
Linking Object-Z with Spec#. ICECCS 2007: 185-196
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-11-11 22:29 CET 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:
