| 2008 | ||
|---|---|---|
| 2 | Tuan-Hung Pham, Anh-Hoang Truong, Ninh-Thuan Truong, Wei-Ngan Chin: A Fast Algorithm to Compute Heap Memory Bounds of Java Card Applets. SEFM 2008: 259-267 | |
| 1 | Anh-Hoang Truong, Thanh-Binh Trinh, Dang Van Hung, Viet Ha Nguyen, Nguyen Thi Thu Trang, Pham Dinh Hung: Checking Interface Interaction Protocols Using Aspect-Oriented Programming. SEFM 2008: 382-386 | |
| 1 | Wei-Ngan Chin | [2] |
| 2 | Dang Van Hung | [1] |
| 3 | Pham Dinh Hung | [1] |
| 4 | Viet Ha Nguyen | [1] |
| 5 | Tuan-Hung Pham | [2] |
| 6 | Nguyen Thi Thu Trang | [1] |
| 7 | Thanh-Binh Trinh | [1] |
| 8 | Ninh-Thuan Truong | [2] |