| 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 | 37 | 2014 |
| Memory usage verification using hip/sleek G He, S Qin, C Luo, WN Chin Automated Technology for Verification and Analysis: 7th International …, 2009 | 25 | 2009 |
| Automatically refining partial specifications for program verification S Qin, C Luo, WN Chin, G He International Symposium on Formal Methods, 369-385, 2011 | 20 | 2011 |
| 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 | 18 | 2013 |
| 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 | 18 | 2010 |
| 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 | 15 | 2010 |
| Linking object-z with spec S Qin, G He 12th IEEE International Conference on Engineering Complex Computer Systems …, 2007 | 12 | 2007 |
| 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 | 9 | 2014 |
| 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 | 9 | 2013 |
| An interval-based inference of variant parametric types F Craciun, WN Chin, G He, S Qin European Symposium on Programming, 112-127, 2009 | 9 | 2009 |
| 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 | 8 | 2013 |
| 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 | 6 | 2017 |
| 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 | 6 | 2010 |
| 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 | 5 | 2013 |
| Discovering Specifications for Unknown Procedures-Work in Progress. F Craciun, C Luo, G He, S Qin, WN Chin WING@ ETAPS/IJCAR, 76-91, 2010 | 3 | 2010 |
| 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 | 3 | 2008 |
| 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 | 2 | 2014 |
| Program analysis in a combined abstract domain G He Durham University, 2011 | 1 | 2011 |
| Heap memory requirements analysis via separation logic G He, C Luo 2009 Third IEEE International Symposium on Theoretical Aspects of Software …, 2009 | 1 | 2009 |
| 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 |
Shengchao QinProfessor of Computer Science, Teesside University在 tees.ac.uk 的电子邮件经过验证
