| |
| 2007 | ||
|---|---|---|
| 7 | EE | Manuel Fähndrich, Songtao Xia: Establishing object invariants with delayed types. OOPSLA 2007: 337-350 |
| 2006 | ||
| 6 | EE | Songtao Xia, Ben Di Vito, César Muñoz: Predicate Abstraction of Programs with Non-linear Computation. ATVA 2006: 352-368 |
| 2005 | ||
| 5 | EE | Songtao Xia, Ben Di Vito, César Muñoz: Automated test generation for engineering applications. ASE 2005: 283-286 |
| 2004 | ||
| 4 | EE | Songtao Xia, James Hook: Certifying Temporal Properties for Compiled C Programs. VMCAI 2004: 161-174 |
| 2003 | ||
| 3 | EE | Songtao Xia, James Hook: Experience with Abstraction-carrying Code. Electr. Notes Theor. Comput. Sci. 89(3): (2003) |
| 2001 | ||
| 2 | EE | Songtao Xia: Verify Properties of Mobile Code. ASE 2001: 440 |
| 1999 | ||
| 1 | EE | Hongwei Xi, Songtao Xia: Towards array bound check elimination in Java TM virtual machine language. CASCON 1999: 14 |
| 1 | Manuel Fähndrich | [7] |
| 2 | James Hook | [3] [4] |
| 3 | César Muñoz | [5] [6] |
| 4 | Ben Di Vito | [5] [6] |
| 5 | Hongwei Xi | [1] |