Incremental Hashing for Spin. - Viet Yen Nguyen; Theo C. Ruys (SPIN, 2008)

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

Model-Based Codesign of Critical Embedded Systems. - Marco Bozzano; Alessandro Cimatti; Joost-Pieter Katoen; Viet Yen Nguyen; Thomas Noll 001; Marco Roveri (ACES-MB@MoDELS, 2009)

The COMPASS Approach: Correctness, Modelling and Performability of Aerospace Systems. - Marco Bozzano; Alessandro Cimatti; Joost-Pieter Katoen; Viet Yen Nguyen; Thomas Noll 001; Marco Roveri (SAFECOMP, 2009)

Verification and performance evaluation of aadl models. - Marco Bozzano; Alessandro Cimatti; Marco Roveri; Joost-Pieter Katoen; Viet Yen Nguyen; Thomas Noll 001 (ESEC/SIGSOFT FSE, 2009)

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

Memoised Garbage Collection for Software Model Checking. - Viet Yen Nguyen; Theo C. Ruys (TACAS, 2009)

A Model Checker for AADL. - Marco Bozzano; Alessandro Cimatti; Joost-Pieter Katoen; Viet Yen Nguyen; Thomas Noll 001; Marco Roveri; Ralf Wimmer 001 (CAV, 2010)

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

Slicing AADL Specifications for Model Checking. - Viet Yen Nguyen; Thomas Noll 001; Max Odenbrett (NASA Formal Methods, 2010)

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

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

Characterization of Failure Effects on AADL Models. - Bernhard Ern; Viet Yen Nguyen; Thomas Noll 001 (SAFECOMP, 2013)

Selected dynamic issues in software model checking. - Viet Yen Nguyen; Theo C. Ruys (Int. J. Softw. Tools Technol. Transf., 2013)

Trustworthy spacecraft design using formal methods. - Viet Yen Nguyen (2013)

Compositional Analysis Using Component-Oriented Interpolation. - Viet Yen Nguyen; Benjamin Bittner; Joost-Pieter Katoen; Thomas Noll 001 (FACS, 2014)

A Review of Statistical Model Checking Pitfalls on Real-Time Stochastic Models. - Dimitri Bohlender; Harold Bruintjes; Sebastian Junges; Jens Katelaan; Viet Yen Nguyen; Thomas Noll 001 (ISoLA (2), 2014)

Spacecraft early design validation using formal methods. - Marco Bozzano; Alessandro Cimatti; Joost-Pieter Katoen; Panagiotis Katsaros; Konstantinos Mokos; Viet Yen Nguyen; Thomas Noll 001; Bart Postma; Marco Roveri (Reliab. Eng. Syst. Saf., 2014)

Formal validation methods in model-based spacecraft systems engineering. - Joost-Pieter Katoen; Viet Yen Nguyen; Thomas Noll 001 (Modeling and Simulation-Based Systems Engineering Handbook, 2014)

Five Major Reasons Why Safety and Security Haven't Married (Yet). - Tiago Amorim 001; Daniel Schneider 001; Viet Yen Nguyen; Christoph Schmittner; Erwin Schoitsch (ERCIM News, 2015)

Atlastic Reputation AI: Four Years of Advancing and Applying a SOTA NLP Classifier. - Viet Yen Nguyen; Andréa B. Duque; Jules Belveze; Lukas D. Baker; Astrid Harsaae; Pedro Pessoa; Inês Oliveira (DSAA, 2021)