Guanhua He

According to our database, Guanhua He authored at least 21 papers between 2007 and 2017.

Collaborative distances:

• Dijkstra number of three.
• Erdős number of four.

2017

Automated specification inference in a combined domain via user-defined predicates.

Shengchao Qin, Guanhua He, Wei-Ngan Chin, Florin Craciun, Mengda He, Zhong Ming

Sci. Comput. Program., 2017

2016

Influence of feeder bending and curved surface on microstrip antenna.

Jiaqi Wang, Jinjie Yao, Guanhua He, Kai Gao, Zhiying Fan

Proceedings of the 9th International Congress on Image and Signal Processing, 2016

2015

A Compressive Regularization Imaging Algorithm for Millimeter-Wave SAIR.

Yilong Zhang, Yuehua Li, Guanhua He, Sheng Zhang

IEICE Trans. Inf. Syst., 2015

2014

Automated verification of the FreeRTOS scheduler in Hip/Sleek.

João F. Ferreira, Cristian Gherghina, Guanhua He, Shengchao Qin, Wei-Ngan Chin

Int. J. Softw. Tools Technol. Transf., 2014

Automatically refining partial specifications for heap-manipulating programs.

Shengchao Qin, Guanhua He, Chenguang Luo, Wei-Ngan Chin, Hongli Yang

Sci. Comput. Program., 2014

2013

Loop invariant synthesis in a combined abstract domain.

Shengchao Qin, Guanhua He, Chenguang Luo, Wei-Ngan Chin, Xin Chen

J. Symb. Comput., 2013

Deadline Analysis of AUTOSAR OS Periodic Tasks in the Presence of Interrupts.

Yanhong Huang, João F. Ferreira, Guanhua He, Shengchao Qin, Jifeng He

Proceedings of the Formal Methods and Software Engineering, 2013

Automated Specification Discovery via User-Defined Predicates.

Guanhua He, Shengchao Qin, Wei-Ngan Chin, Florin Craciun

Proceedings of the Formal Methods and Software Engineering, 2013

Invariants Synthesis over a Combined Domain for Automated Program Verification.

Shengchao Qin, Guanhua He, Wei-Ngan Chin, Hongli Yang

Proceedings of the Theories of Programming and Formal Methods, 2013

2012

Automated Verification of the FreeRTOS Scheduler in HIP/SLEEK.

João F. Ferreira, Guanhua He, Shengchao Qin

Proceedings of the Sixth International Symposium on Theoretical Aspects of Software Engineering, 2012

A Timed CSP Model for the Time-Triggered Language Giotto.

Yanhong Huang, Yongxin Zhao, Shengchao Qin, Guanhua He, João F. Ferreira

Proceedings of the 35th Annual IEEE Software Engineering Workshop, 2012

2011

Automatically Refining Partial Specifications for Program Verification.

Shengchao Qin, Chenguang Luo, Wei-Ngan Chin, Guanhua He

Proceedings of the FM 2011: Formal Methods, 2011

2010

Verifying pointer safety for programs with unknown calls.

Chenguang Luo, Florin Craciun, Shengchao Qin, Guanhua He, Wei-Ngan Chin

J. Symb. Comput., 2010

Verifying Heap-Manipulating Programs with Unknown Procedure Calls.

Shengchao Qin, Chenguang Luo, Guanhua He, Florin Craciun, Wei-Ngan Chin

Proceedings of the Formal Methods and Software Engineering, 2010

Loop Invariant Synthesis in a Combined Domain.

Shengchao Qin, Guanhua He, Chenguang Luo, Wei-Ngan Chin

Proceedings of the Formal Methods and Software Engineering, 2010

Discovering Specifications for Unknown Procedures - Work in Progress.

Florin Craciun, Chenguang Luo, Guanhua He, Shengchao Qin, Wei-Ngan Chin

Proceedings of the Second International Workshop on Invariant Generation, 2010

2009

Heap Memory Requirements Analysis via Separation Logic.

Guanhua He, Chenguang Luo

Proceedings of the TASE 2009, 2009

An Interval-Based Inference of Variant Parametric Types.

Florin Craciun, Wei-Ngan Chin, Guanhua He, Shengchao Qin

Proceedings of the Programming Languages and Systems, 2009

Memory Usage Verification Using Hip/Sleek.

Guanhua He, Shengchao Qin, Chenguang Luo, Wei-Ngan Chin

Proceedings of the Automated Technology for Verification and Analysis, 2009

2008

A Heap Model for Java Bytecode to Support Separation Logic.

Chenguang Luo, Guanhua He, Shengchao Qin

Proceedings of the 15th Asia-Pacific Software Engineering Conference (APSEC 2008), 2008

2007

Linking Object-Z with Spec#.

Shengchao Qin, Guanhua He

Proceedings of the 12th International Conference on Engineering of Complex Computer Systems (ICECCS 2007), 2007