Linking Object-Z with Spec#. - Shengchao Qin; Guanhua He (ICECCS, 2007)

A Heap Model for Java Bytecode to Support Separation Logic. - Chenguang Luo; Guanhua He; Shengchao Qin (APSEC, 2008)

Memory Usage Verification Using Hip/Sleek. - Guanhua He; Shengchao Qin; Chenguang Luo; Wei-Ngan Chin (ATVA, 2009)

An Interval-Based Inference of Variant Parametric Types. - Florin Craciun; Wei-Ngan Chin; Guanhua He; Shengchao Qin (ESOP, 2009)

Heap Memory Requirements Analysis via Separation Logic. - Guanhua He; Chenguang Luo (TASE, 2009)

Discovering Specifications for Unknown Procedures - Work in Progress. - Florin Craciun; Chenguang Luo; Guanhua He; Shengchao Qin; Wei-Ngan Chin (WING@ETAPS/IJCAR, 2010)

Loop Invariant Synthesis in a Combined Domain. - Shengchao Qin; Guanhua He; Chenguang Luo; Wei-Ngan Chin (ICFEM, 2010)

Verifying Heap-Manipulating Programs with Unknown Procedure Calls. - Shengchao Qin; Chenguang Luo; Guanhua He; Florin Craciun; Wei-Ngan Chin (ICFEM, 2010)

Verifying pointer safety for programs with unknown calls. - Chenguang Luo; Florin Craciun; Shengchao Qin; Guanhua He; Wei-Ngan Chin (J. Symb. Comput., 2010)

Automatically Refining Partial Specifications for Program Verification. - Shengchao Qin; Chenguang Luo; Wei-Ngan Chin; Guanhua He (FM, 2011)

Program analysis in a combined abstract domain - Guanhua He (2011)

A Timed CSP Model for the Time-Triggered Language Giotto. - Yanhong Huang; Yongxin Zhao; Shengchao Qin; Guanhua He; João F. Ferreira 001 (SEW, 2012)

Automated Verification of the FreeRTOS Scheduler in HIP/SLEEK. - João F. Ferreira 001; Guanhua He; Shengchao Qin (TASE, 2012)

Invariants Synthesis over a Combined Domain for Automated Program Verification. - Shengchao Qin; Guanhua He; Wei-Ngan Chin; Hongli Yang (Theories of Programming and Formal Methods, 2013)

Automated Specification Discovery via User-Defined Predicates. - Guanhua He; Shengchao Qin; Wei-Ngan Chin; Florin Craciun (ICFEM, 2013)

Deadline Analysis of AUTOSAR OS Periodic Tasks in the Presence of Interrupts. - Yanhong Huang; João F. Ferreira 001; Guanhua He; Shengchao Qin; Jifeng He 001 (ICFEM, 2013)

Loop invariant synthesis in a combined abstract domain. - Shengchao Qin; Guanhua He; Chenguang Luo; Wei-Ngan Chin; Xin Chen 027 (J. Symb. Comput., 2013)

Automatically refining partial specifications for heap-manipulating programs. - Shengchao Qin; Guanhua He; Chenguang Luo; Wei-Ngan Chin; Hongli Yang (Sci. Comput. Program., 2014)

Automated verification of the FreeRTOS scheduler in Hip/Sleek. - João F. Ferreira 001; Cristian Gherghina; Guanhua He; Shengchao Qin; Wei-Ngan Chin (Int. J. Softw. Tools Technol. Transf., 2014)

A Compressive Regularization Imaging Algorithm for Millimeter-Wave SAIR. - Yilong Zhang; Yuehua Li; Guanhua He; Sheng Zhang (IEICE Trans. Inf. Syst., 2015)

Influence of feeder bending and curved surface on microstrip antenna. - Jiaqi Wang; Jinjie Yao; Guanhua He; Kai Gao; Zhiying Fan (CISP-BMEI, 2016)

Automated specification inference in a combined domain via user-defined predicates. - Shengchao Qin; Guanhua He; Wei-Ngan Chin; Florin Craciun; Mengda He; Zhong Ming 001 (Sci. Comput. Program., 2017)

Ex3: Automatic Novel Writing by Extracting, Excelsior and Expanding. - Huang Lei; Jiaming Guo; Guanhua He; Xishan Zhang; Rui Zhang 040; Shaohui Peng; Shaoli Liu; Tianshi Chen 002 (ACL (1), 2024)

RecurrentBEV: A Long-Term Temporal Fusion Framework for Multi-view 3D Detection. - Ming Chang; Xishan Zhang; Rui Zhang 040; Zhipeng Zhao; Guanhua He; Shaoli Liu (ECCV (72), 2024)

FastTuning: Enabling Fast and Efficient Hyper-Parameter Tuning With Partitioning and Parallelism of Search Space. - Xiaqing Li; Qi Guo 001; Guangyan Zhang; Siwei Ye; Guanhua He; Yiheng Yao; Rui Zhang 040; Yifan Hao 001; Zidong Du; Weimin Zheng (IEEE Trans. Parallel Distributed Syst., 2024)