 | 2009 |
|---|
| 7 |       | Guanhua He,
Shengchao Qin,
Chenguang Luo,
Wei-Ngan Chin:
Memory Usage Verification Using Hip/Sleek.
ATVA 2009: 166-181 |
| 6 | | Guanhua He,
Chenguang Luo:
Heap Memory Requirements Analysis via Separation Logic.
TASE 2009: 321-322 |
| 2008 |
|---|
| 5 | | Chenguang Luo,
Guanhua He,
Shengchao Qin:
A Heap Model for Java Bytecode to Support Separation Logic.
APSEC 2008: 127-134 |
| 4 | | Chenguang Luo:
From Word Automata to Tree Automata.
ICYCS 2008: 94-99 |
| 3 | | Chenguang Luo,
Shengchao Qin,
Zongyan Qiu:
Verifying BPEL-Like Programs with Hoare Logic.
TASE 2008: 151-158 |
| 2 | | Chenguang Luo,
Shengchao Qin:
Separation Logic for Multiple Inheritance.
Electr. Notes Theor. Comput. Sci. 212: 27-40 (2008) |
| 1 | | Chenguang Luo,
Shengchao Qin,
Zongyan Qiu:
Verifying BPEL-like programs with Hoare logic.
Frontiers of Computer Science in China 2(4): 344-356 (2008) |
