Viet Yen Nguyen
Publication record assembled from the DBLP archive of ranked conferences.
Papers indexed
10
Venues
8
Active years
2009–2021
Best venue rank
A*
Where they publish
Papers
10 indexed papers, newest first.
| Year | Venue | Title | Authors |
|---|---|---|---|
| 2021 | DSAA | Atlastic Reputation AI: Four Years of Advancing and Applying a SOTA NLP Classifier. | Viet Yen Nguyen, Andra B. Duque, Jules Belveze, Lukas D. Baker, Astrid Harsaae, Pedro Pessoa, Ins Oliveira |
| 2014 | ISoLA | 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 |
| 2013 | SAFECOMP | Characterization of Failure Effects on AADL Models. | Bernhard Ern, Viet Yen Nguyen, Thomas Noll |
| 2012 | ICSE | Formal correctness, safety, dependability, and performance analysis of a satellite. | Marie-Aude Esteve, Joost-Pieter Katoen, Viet Yen Nguyen, Bart Postma, Yuri Yushtein |
| 2010 | CAV | A Model Checker for AADL. | Marco Bozzano, Alessandro Cimatti, Joost-Pieter Katoen, Viet Yen Nguyen, Thomas Noll, Marco Roveri, Ralf Wimmer |
| 2009 | MEMOCODE | Codesign of dependable systems: A component-based modeling language. | Marco Bozzano, Alessandro Cimatti, Marco Roveri, Joost-Pieter Katoen, Viet Yen Nguyen, Thomas Noll |
| 2009 | MODELS | Model-Based Codesign of Critical Embedded Systems. | Marco Bozzano, Alessandro Cimatti, Joost-Pieter Katoen, Viet Yen Nguyen, Thomas Noll, Marco Roveri |
| 2009 | SAFECOMP | The COMPASS Approach: Correctness, Modelling and Performability of Aerospace Systems. | Marco Bozzano, Alessandro Cimatti, Joost-Pieter Katoen, Viet Yen Nguyen, Thomas Noll, Marco Roveri |
| 2009 | TACAS | MoonWalker: Verification of .NET Programs. | Niels H. M. Aan de Brugh, Viet Yen Nguyen, Theo C. Ruys |
| 2009 | TACAS | Memoised Garbage Collection for Software Model Checking. | Viet Yen Nguyen, Theo C. Ruys |