| |
| 2005 | ||
|---|---|---|
| 3 | EE | Hoang Truong: Guaranteeing Resource Bounds for Component Software. FMOODS 2005: 179-194 |
| 2 | EE | Hoang Truong, Marc Bezem: Finding Resource Bounds in the Presence of Explicit Deallocation. ICTAC 2005: 227-241 |
| 2004 | ||
| 1 | EE | Marc Bezem, Hoang Truong: A Type System for the Safe Instantiation of Components. Electr. Notes Theor. Comput. Sci. 97: 197-217 (2004) |
| 1 | Marc Bezem | [1] [2] |