Guanhua He
Guanhua He
Dirección de correo verificada de tees.ac.uk
Título
Citado por
Citado por
Año
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 (4), 381-397, 2014
272014
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
152013
Loop invariant synthesis in a combined domain
S Qin, G He, C Luo, WN Chin
International Conference on Formal Engineering Methods, 468-484, 2010
152010
Automatically refining partial specifications for program verification
S Qin, C Luo, WN Chin, G He
International Symposium on Formal Methods, 369-385, 2011
142011
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
142010
Memory usage verification using hip/sleek
G He, S Qin, C Luo, WN Chin
International Symposium on Automated Technology for Verification and …, 2009
142009
An interval-based inference of variant parametric types
F Craciun, WN Chin, G He, S Qin
European Symposium on Programming, 112-127, 2009
102009
Linking object-z with spec
S Qin, G He
12th IEEE International Conference on Engineering Complex Computer Systems …, 2007
102007
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
82014
Automated specification discovery via user-defined predicates
G He, S Qin, WN Chin, F Craciun
International Conference on Formal Engineering Methods, 397-414, 2013
62013
Deadline analysis of AUTOSAR OS periodic tasks in the presence of interrupts
Y Huang, JF Ferreira, G He, S Qin, J He
International Conference on Formal Engineering Methods, 165-181, 2013
62013
Verifying heap-manipulating programs with unknown procedure calls
S Qin, C Luo, G He, F Craciun, WN Chin
International Conference on Formal Engineering Methods, 171-187, 2010
42010
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
32017
Invariants synthesis over a combined domain for automated program verification
S Qin, G He, WN Chin, H Yang
Theories of Programming and Formal Methods, 304-325, 2013
32013
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, S Qin, WN Chin, C Luo
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
El sistema no puede realizar la operación en estos momentos. Inténtalo de nuevo más tarde.
Artículos 1–20