| |
| 2008 | ||
|---|---|---|
| 6 | EE | 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 |
| 2007 | ||
| 5 | EE | Ninh-Thuan Truong, Viet Ha Nguyen: Using B to Verify the Weaving of Aspects. APSEC 2007: 199-205 |
| 2006 | ||
| 4 | EE | Ninh-Thuan Truong, Jeanine Souquières: Verification of UML Model Elements Using B. J. Inf. Sci. Eng. 22(2): 357-373 (2006) |
| 2005 | ||
| 3 | EE | Ninh-Thuan Truong, Jeanine Souquières: Verification of behavioural elements of UML models using B. SAC 2005: 1546-1552 |
| 2 | Ninh-Thuan Truong, Jeanine Souquières: Validation of UML static diagrams using B. Software Engineering Research and Practice 2005: 915-927 | |
| 2004 | ||
| 1 | EE | Ninh-Thuan Truong, Jeanine Souquières: An Approach for the Verification of UML Models Using B. ECBS 2004: 195-202 |
| 1 | Wei-Ngan Chin | [6] |
| 2 | Viet Ha Nguyen | [5] |
| 3 | Tuan-Hung Pham | [6] |
| 4 | Jeanine Souquières | [1] [2] [3] [4] |
| 5 | Anh-Hoang Truong | [6] |