Follow
Guanhua He
Guanhua He
Verified email at tees.ac.uk
Title
Cited by
Cited by
Year
Automated verification of the FreeRTOS scheduler in Hip/Sleek
JF Ferreira, C Gherghina, G He, S Qin, WN Chin
International Journal on Software Tools for Technology Transfer 16, 381-397, 2014
382014
Memory usage verification using hip/sleek
G He, S Qin, C Luo, WN Chin
Automated Technology for Verification and Analysis: 7th International …, 2009
232009
Loop invariant synthesis in a combined abstract domain
S Qin, G He, C Luo, WN Chin, X Chen
Journal of Symbolic Computation 50, 386-408, 2013
182013
Automatically refining partial specifications for program verification
S Qin, C Luo, WN Chin, G He
International Symposium on Formal Methods, 369-385, 2011
182011
Loop invariant synthesis in a combined domain
S Qin, G He, C Luo, WN Chin
Formal Methods and Software Engineering: 12th International Conference on …, 2010
182010
Verifying pointer safety for programs with unknown calls
C Luo, F Craciun, S Qin, G He, WN Chin
Journal of Symbolic Computation 45 (11), 1163-1183, 2010
152010
Linking object-z with spec
S Qin, G He
12th IEEE International Conference on Engineering Complex Computer Systems …, 2007
122007
Automatically refining partial specifications for heap-manipulating programs
S Qin, G He, C Luo, WN Chin, H Yang
Science of Computer Programming 82, 56-76, 2014
92014
An interval-based inference of variant parametric types
F Craciun, WN Chin, G He, S Qin
European Symposium on Programming, 112-127, 2009
92009
Automated specification discovery via user-defined predicates
G He, S Qin, WN Chin, F Craciun
Formal Methods and Software Engineering: 15th International Conference on …, 2013
82013
Deadline analysis of AUTOSAR OS periodic tasks in the presence of interrupts
Y Huang, JF Ferreira, G He, S Qin, J He
Formal Methods and Software Engineering: 15th International Conference on …, 2013
82013
Automated specification inference in a combined domain via user-defined predicates
S Qin, G He, WN Chin, F Craciun, M He, Z Ming
Science of Computer Programming 148, 189-212, 2017
62017
Verifying heap-manipulating programs with unknown procedure calls
S Qin, C Luo, G He, F Craciun, WN Chin
Formal Methods and Software Engineering: 12th International Conference on …, 2010
62010
Invariants synthesis over a combined domain for automated program verification
S Qin, G He, WN Chin, H Yang
Theories of Programming and Formal Methods: Essays Dedicated to Jifeng He on …, 2013
52013
Discovering Specifications for Unknown Procedures-Work in Progress.
F Craciun, C Luo, G He, S Qin, WN Chin
WING@ ETAPS/IJCAR, 76-91, 2010
32010
A heap model for java bytecode to support separation logic
C Luo, G He, S Qin
2008 15th Asia-Pacific Software Engineering Conference, 127-134, 2008
32008
Automated Specification Discovery in a Combined Abstract Domain
G He, Q Sh, WN Chin, L Ch
URL: http://www. comp. nus. edu. sg/~ chinwn/papers/icfem13-cdomain. pdf …, 2014
12014
Program Analysis in a Combined Abstract Domain
G He
Durham University, 2011
12011
Heap memory requirements analysis via separation logic
G He, C Luo
2009 Third IEEE International Symposium on Theoretical Aspects of Software …, 2009
12009
A Timed CSP Model for the Time-Triggered Language Giotto
Y Huang, Y Zhao, S Qin, G He, JF Ferreira
2012 35th Annual IEEE Software Engineering Workshop, 110-119, 2012
2012
The system can't perform the operation now. Try again later.
Articles 1–20