 | 2009 |
|---|
| 6 |       | Cristina David,
Cristian Gherghina,
Wei-Ngan Chin:
Translation and optimization for a core calculus with exceptions.
PEPM 2009: 41-50 |
| 5 | | Cristian Gherghina,
Cristina David:
Automated Verification Using Unified Control Flows.
TASE 2009: 323-324 |
| 2008 |
|---|
| 4 | | Wei-Ngan Chin,
Cristina David,
Huu Hai Nguyen,
Shengchao Qin:
Enhancing modular OO verification with separation logic.
POPL 2008: 87-99 |
| 2007 |
|---|
| 3 | | Wei-Ngan Chin,
Cristina David,
Huu Hai Nguyen,
Shengchao Qin:
Multiple Pre/Post Specifications for Heap-Manipulating Methods.
HASE 2007: 357-364 |
| 2 | | Wei-Ngan Chin,
Cristina David,
Huu Hai Nguyen,
Shengchao Qin:
Automated Verification of Shape, Size and Bag Properties.
ICECCS 2007: 307-320 |
| 1 | | Huu Hai Nguyen,
Cristina David,
Shengchao Qin,
Wei-Ngan Chin:
Automated Verification of Shape and Size Properties Via Separation Logic.
VMCAI 2007: 251-266 |
