Viet Yen Nguyen

Publication Activity (10 Years)

Years Active: 2008-2021
Publications (10 Years): 1

Top Venues

Int. J. Softw. Tools Technol. Transf.

ISoLA (2)

FACS

SAFECOMP

RWTH Aachen University (PHD)

Education History

RWTH Aachen University

PHD

Publications

Viet Yen Nguyen, Andréa B. Duque, Jules Belveze, Lukas D. Baker, Astrid Harsaae, Pedro Pessoa, Inês Oliveira
Atlastic Reputation AI: Four Years of Advancing and Applying a SOTA NLP Classifier. DSAA (2021)
Tiago Amorim, Daniel Schneider, Viet Yen Nguyen, Christoph Schmittner, Erwin Schoitsch
Five Major Reasons Why Safety and Security Haven't Married (Yet). ERCIM News 2015 (102) (2015)
Marco Bozzano, Alessandro Cimatti, Joost-Pieter Katoen, Panagiotis Katsaros, Konstantinos Mokos, Viet Yen Nguyen, Thomas Noll, Bart Postma, Marco Roveri
Spacecraft early design validation using formal methods. Reliab. Eng. Syst. Saf. 132 (2014)
Dimitri Bohlender, Harold Bruintjes, Sebastian Junges, Jens Katelaan, Viet Yen Nguyen, Thomas Noll
A Review of Statistical Model Checking Pitfalls on Real-Time Stochastic Models. ISoLA (2) (2014)
Viet Yen Nguyen, Benjamin Bittner, Joost-Pieter Katoen, Thomas Noll
Compositional Analysis Using Component-Oriented Interpolation. FACS (2014)
Viet Yen Nguyen, Theo C. Ruys
Selected dynamic issues in software model checking. Int. J. Softw. Tools Technol. Transf. 15 (4) (2013)
Bernhard Ern, Viet Yen Nguyen, Thomas Noll
Characterization of Failure Effects on AADL Models. SAFECOMP (2013)
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)
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) (2011)
Marco Bozzano, Alessandro Cimatti, Joost-Pieter Katoen, Viet Yen Nguyen, Thomas Noll, Marco Roveri, Ralf Wimmer
A Model Checker for AADL. CAV (2010)
Falko Dulat, Joost-Pieter Katoen, Viet Yen Nguyen
Model Checking Markov Chains Using Krylov Subspace Methods: An Experience Report. EPEW (2010)
Viet Yen Nguyen, Thomas Noll, Max Odenbrett
Slicing AADL Specifications for Model Checking. NASA Formal Methods (2010)
Viet Yen Nguyen, Theo C. Ruys
Memoised Garbage Collection for Software Model Checking. TACAS (2009)
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)
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)
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)
Marco Bozzano, Alessandro Cimatti, Joost-Pieter Katoen, Viet Yen Nguyen, Thomas Noll, Marco Roveri
Model-Based Codesign of Critical Embedded Systems. ACES-MB@MoDELS (2009)
Niels H. M. Aan de Brugh, Viet Yen Nguyen, Theo C. Ruys
MoonWalker: Verification of .NET Programs. TACAS (2009)
Viet Yen Nguyen, Theo C. Ruys
Incremental Hashing for Spin. SPIN (2008)

Viet Yen Nguyen.css-eqlu8i{font-size:small;padding-left:4px;}

Publication Activity (10 Years)

Top Topics

Top Venues

Viet Yen Nguyen