| 2024 | ACL | Ex3: Automatic Novel Writing by Extracting, Excelsior and Expanding. | Huang Lei, Jiaming Guo, Guanhua He, Xishan Zhang, Rui Zhang, Shaohui Peng, Shaoli Liu, Tianshi Chen |
| 2024 | ECCV | RecurrentBEV: A Long-Term Temporal Fusion Framework for Multi-view 3D Detection. | Ming Chang, Xishan Zhang, Rui Zhang, Zhipeng Zhao, Guanhua He, Shaoli Liu |
| 2013 | ICFEM | Automated Specification Discovery via User-Defined Predicates. | Guanhua He, Shengchao Qin, Wei-Ngan Chin, Florin Craciun |
| 2013 | ICFEM | Deadline Analysis of AUTOSAR OS Periodic Tasks in the Presence of Interrupts. | Yanhong Huang, Joo F. Ferreira, Guanhua He, Shengchao Qin, Jifeng He |
| 2012 | SEW | A Timed CSP Model for the Time-Triggered Language Giotto. | Yanhong Huang, Yongxin Zhao, Shengchao Qin, Guanhua He, Joo F. Ferreira |
| 2012 | TASE | Automated Verification of the FreeRTOS Scheduler in HIP/SLEEK. | Joo F. Ferreira, Guanhua He, Shengchao Qin |
| 2011 | FM | Automatically Refining Partial Specifications for Program Verification. | Shengchao Qin, Chenguang Luo, Wei-Ngan Chin, Guanhua He |
| 2010 | CADE | Discovering Specifications for Unknown Procedures - Work in Progress. | Florin Craciun, Chenguang Luo, Guanhua He, Shengchao Qin, Wei-Ngan Chin |
| 2010 | ICFEM | Loop Invariant Synthesis in a Combined Domain. | Shengchao Qin, Guanhua He, Chenguang Luo, Wei-Ngan Chin |
| 2010 | ICFEM | Verifying Heap-Manipulating Programs with Unknown Procedure Calls. | Shengchao Qin, Chenguang Luo, Guanhua He, Florin Craciun, Wei-Ngan Chin |
| 2009 | ATVA | Memory Usage Verification Using Hip/Sleek. | Guanhua He, Shengchao Qin, Chenguang Luo, Wei-Ngan Chin |
| 2009 | ESOP | An Interval-Based Inference of Variant Parametric Types. | Florin Craciun, Wei-Ngan Chin, Guanhua He, Shengchao Qin |
| 2009 | TASE | Heap Memory Requirements Analysis via Separation Logic. | Guanhua He, Chenguang Luo |
| 2008 | APSEC | A Heap Model for Java Bytecode to Support Separation Logic. | Chenguang Luo, Guanhua He, Shengchao Qin |
| 2007 | ICECCS | Linking Object-Z with Spec#. | Shengchao Qin, Guanhua He |