Guanhua He

26 papers A 1B 3C 6Misc 2Journal 8Unranked 5
YearRankTypeTitle / Venue / Authors
2024 — conf
Ex3: Automatic Novel Writing by Extracting, Excelsior and Expanding.
ACL (1)
Huang Lei, Jiaming Guo, Guanhua He, Xishan Zhang, Rui Zhang, Shaohui Peng, Shaoli Liu, Tianshi Chen
2024 J jnl
Ex3: Automatic Novel Writing by Extracting, Excelsior and Expanding.
CoRR
Huang Lei, Jiaming Guo, Guanhua He, Xishan Zhang, Rui Zhang, Shaohui Peng, Shaoli Liu, Tianshi Chen
2024 J jnl
FastTuning: Enabling Fast and Efficient Hyper-Parameter Tuning With Partitioning and Parallelism of Search Space.
IEEE Trans. Parallel Distributed Syst.
Xiaqing Li, Qi Guo, Guangyan Zhang, Siwei Ye, Guanhua He, Yiheng Yao, Rui Zhang, Yifan Hao, Zidong Du, Weimin Zheng
2024 — conf
RecurrentBEV: A Long-Term Temporal Fusion Framework for Multi-view 3D Detection.
ECCV (72)
Ming Chang, Xishan Zhang, Rui Zhang, Zhipeng Zhao, Guanhua He, Shaoli Liu
2017 J jnl
Automated specification inference in a combined domain via user-defined predicates.
Sci. Comput. Program.
Shengchao Qin, Guanhua He, Wei-Ngan Chin, Florin Craciun, Mengda He, Zhong Ming
2016 — conf
Influence of feeder bending and curved surface on microstrip antenna.
CISP-BMEI
Jiaqi Wang, Jinjie Yao, Guanhua He, Kai Gao, Zhiying Fan
2015 J jnl
A Compressive Regularization Imaging Algorithm for Millimeter-Wave SAIR.
IEICE Trans. Inf. Syst.
Yilong Zhang, Yuehua Li, Guanhua He, Sheng Zhang
2014 J jnl
Automated verification of the FreeRTOS scheduler in Hip/Sleek.
Int. J. Softw. Tools Technol. Transf.
João F. Ferreira, Cristian Gherghina, Guanhua He, Shengchao Qin, Wei-Ngan Chin
2014 J jnl
Automatically refining partial specifications for heap-manipulating programs.
Sci. Comput. Program.
Shengchao Qin, Guanhua He, Chenguang Luo, Wei-Ngan Chin, Hongli Yang
2013 C conf
Automated Specification Discovery via User-Defined Predicates.
ICFEM
Guanhua He, Shengchao Qin, Wei-Ngan Chin, Florin Craciun
2013 C conf
Deadline Analysis of AUTOSAR OS Periodic Tasks in the Presence of Interrupts.
ICFEM
Yanhong Huang, João F. Ferreira, Guanhua He, Shengchao Qin, Jifeng He
2013 — conf
Invariants Synthesis over a Combined Domain for Automated Program Verification.
Theories of Programming and Formal Methods
Shengchao Qin, Guanhua He, Wei-Ngan Chin, Hongli Yang
2013 J jnl
Loop invariant synthesis in a combined abstract domain.
J. Symb. Comput.
Shengchao Qin, Guanhua He, Chenguang Luo, Wei-Ngan Chin, Xin Chen
2012 C conf
A Timed CSP Model for the Time-Triggered Language Giotto.
SEW
Yanhong Huang, Yongxin Zhao, Shengchao Qin, Guanhua He, João F. Ferreira
2012 Misc conf
Automated Verification of the FreeRTOS Scheduler in HIP/SLEEK.
TASE
João F. Ferreira, Guanhua He, Shengchao Qin
2011 B conf
Automatically Refining Partial Specifications for Program Verification.
FM
Shengchao Qin, Chenguang Luo, Wei-Ngan Chin, Guanhua He
2011 — —
Program analysis in a combined abstract domain
Guanhua He
2010 — conf
Discovering Specifications for Unknown Procedures - Work in Progress.
WING@ETAPS/IJCAR
Florin Craciun, Chenguang Luo, Guanhua He, Shengchao Qin, Wei-Ngan Chin
2010 C conf
Loop Invariant Synthesis in a Combined Domain.
ICFEM
Shengchao Qin, Guanhua He, Chenguang Luo, Wei-Ngan Chin
2010 C conf
Verifying Heap-Manipulating Programs with Unknown Procedure Calls.
ICFEM
Shengchao Qin, Chenguang Luo, Guanhua He, Florin Craciun, Wei-Ngan Chin
2010 J jnl
Verifying pointer safety for programs with unknown calls.
J. Symb. Comput.
Chenguang Luo, Florin Craciun, Shengchao Qin, Guanhua He, Wei-Ngan Chin
2009 A conf
An Interval-Based Inference of Variant Parametric Types.
ESOP
Florin Craciun, Wei-Ngan Chin, Guanhua He, Shengchao Qin
2009 Misc conf
Heap Memory Requirements Analysis via Separation Logic.
TASE
Guanhua He, Chenguang Luo
2009 B conf
Memory Usage Verification Using Hip/Sleek.
ATVA
Guanhua He, Shengchao Qin, Chenguang Luo, Wei-Ngan Chin
2008 C conf
A Heap Model for Java Bytecode to Support Separation Logic.
APSEC
Chenguang Luo, Guanhua He, Shengchao Qin
2007 B conf
Linking Object-Z with Spec#.
ICECCS
Shengchao Qin, Guanhua He