Viet Yen Nguyen

Marie-Aude Esteve, Joost-Pieter Katoen, Viet Yen Nguyen, Bart Postma, Yuri Yushtein: Formal correctness, safety, dependability, and performance analysis of a satellite. ICSE 2012: 1022-1031

Marco Bozzano, Alessandro Cimatti, Joost-Pieter Katoen, Viet Yen Nguyen, Thomas Noll, Marco Roveri: Safety, Dependability and Performance Analysis of Extended AADL Models. Comput. J. 54(5): 754-775 (2011)

Marco Bozzano, Alessandro Cimatti, Joost-Pieter Katoen, Viet Yen Nguyen, Thomas Noll, Marco Roveri, Ralf Wimmer: A Model Checker for AADL. CAV 2010: 562-565

Falko Dulat, Joost-Pieter Katoen, Viet Yen Nguyen: Model Checking Markov Chains Using Krylov Subspace Methods: An Experience Report. EPEW 2010: 115-130

Viet Yen Nguyen, Thomas Noll, Max Odenbrett: Slicing AADL Specifications for Model Checking. NASA Formal Methods 2010: 217-221

Marco Bozzano, Alessandro Cimatti, Marco Roveri, Joost-Pieter Katoen, Viet Yen Nguyen, Thomas Noll: Codesign of dependable systems: A component-based modeling language. MEMOCODE 2009: 121-130

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

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

Niels H. M. Aan de Brugh, Viet Yen Nguyen, Theo C. Ruys: MoonWalker: Verification of .NET Programs. TACAS 2009: 170-173

Viet Yen Nguyen, Theo C. Ruys: Memoised Garbage Collection for Software Model Checking. TACAS 2009: 201-214

Viet Yen Nguyen, Theo C. Ruys: Incremental Hashing for Spin. SPIN 2008: 232-249