Guanhua He

Publication Activity (10 Years)

Years Active: 2007-2024
Publications (10 Years): 4

Top Topics

Microstrip Antenna

Automated Verification

Top Venues

Sci. Comput. Program.

IEICE Trans. Inf. Syst.

Int. J. Softw. Tools Technol. Transf.

Publications

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)
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) (2024)
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 (2017)
Jiaqi Wang, Jinjie Yao, Guanhua He, Kai Gao, Zhiying Fan
Influence of feeder bending and curved surface on microstrip antenna. CISP-BMEI (2016)
Yilong Zhang, Yuehua Li, Guanhua He, Sheng Zhang
A Compressive Regularization Imaging Algorithm for Millimeter-Wave SAIR. IEICE Trans. Inf. Syst. (8) (2015)
Shengchao Qin, Guanhua He, Chenguang Luo, Wei-Ngan Chin, Hongli Yang
Automatically refining partial specifications for heap-manipulating programs. Sci. Comput. Program. 82 (2014)
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) (2014)
Guanhua He, Shengchao Qin, Wei-Ngan Chin, Florin Craciun
Automated Specification Discovery via User-Defined Predicates. ICFEM (2013)
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)
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)
Shengchao Qin, Guanhua He, Chenguang Luo, Wei-Ngan Chin, Xin Chen
Loop invariant synthesis in a combined abstract domain. J. Symb. Comput. 50 (2013)
João F. Ferreira, Guanhua He, Shengchao Qin
Automated Verification of the FreeRTOS Scheduler in HIP/SLEEK. TASE (2012)
Yanhong Huang, Yongxin Zhao, Shengchao Qin, Guanhua He, João F. Ferreira
A Timed CSP Model for the Time-Triggered Language Giotto. SEW (2012)
Shengchao Qin, Chenguang Luo, Wei-Ngan Chin, Guanhua He
Automatically Refining Partial Specifications for Program Verification. FM (2011)
Shengchao Qin, Chenguang Luo, Guanhua He, Florin Craciun, Wei-Ngan Chin
Verifying Heap-Manipulating Programs with Unknown Procedure Calls. ICFEM (2010)
Shengchao Qin, Guanhua He, Chenguang Luo, Wei-Ngan Chin
Loop Invariant Synthesis in a Combined Domain. ICFEM (2010)
Florin Craciun, Chenguang Luo, Guanhua He, Shengchao Qin, Wei-Ngan Chin
Discovering Specifications for Unknown Procedures - Work in Progress. WING@ETAPS/IJCAR (2010)
Chenguang Luo, Florin Craciun, Shengchao Qin, Guanhua He, Wei-Ngan Chin
Verifying pointer safety for programs with unknown calls. J. Symb. Comput. 45 (11) (2010)
Florin Craciun, Wei-Ngan Chin, Guanhua He, Shengchao Qin
An Interval-Based Inference of Variant Parametric Types. ESOP (2009)
Guanhua He, Shengchao Qin, Chenguang Luo, Wei-Ngan Chin
Memory Usage Verification Using Hip/Sleek. ATVA (2009)
Guanhua He, Chenguang Luo
Heap Memory Requirements Analysis via Separation Logic. TASE (2009)
Chenguang Luo, Guanhua He, Shengchao Qin
A Heap Model for Java Bytecode to Support Separation Logic. APSEC (2008)
Shengchao Qin, Guanhua He
Linking Object-Z with Spec#. ICECCS (2007)