| * | 2009 |
|---|
| 5 | EE | Marco Bozzano,
Alessandro Cimatti,
Marco Roveri,
Joost-Pieter Katoen,
Viet Yen Nguyen,
Thomas Noll:
Verification and performance evaluation of aadl models.
ESEC/SIGSOFT FSE 2009: 285-286 |
| 4 | EE | Marco Bozzano,
Alessandro Cimatti,
Joost-Pieter Katoen,
Viet Yen Nguyen,
Thomas Noll,
Marco Roveri:
The COMPASS Approach: Correctness, Modelling and Performability of Aerospace Systems.
SAFECOMP 2009: 173-186 |
| 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 |
