| |
| 2009 | ||
|---|---|---|
| 3 | EE | Niels H. M. Aan de Brugh, Viet Yen Nguyen, Theo C. Ruys: MoonWalker: Verification of .NET Programs. TACAS 2009: 170-173 |
| 2 | EE | Viet Yen Nguyen, Theo C. Ruys: Memoised Garbage Collection for Software Model Checking. TACAS 2009: 201-214 |
| 2008 | ||
| 1 | EE | Viet Yen Nguyen, Theo C. Ruys: Incremental Hashing for Spin. SPIN 2008: 232-249 |
| 1 | Niels H. M. Aan de Brugh | [3] |
| 2 | Theo C. Ruys | [1] [2] [3] |