Viet Yen Nguyen

21 papers A* 2A 2B 3C 1Journal 4Unranked 7
YearRankTypeTitle / Venue / Authors
2021 B conf
Atlastic Reputation AI: Four Years of Advancing and Applying a SOTA NLP Classifier.
DSAA
Viet Yen Nguyen, Andréa B. Duque, Jules Belveze, Lukas D. Baker, Astrid Harsaae, Pedro Pessoa, Inês Oliveira
2015 J jnl
Five Major Reasons Why Safety and Security Haven't Married (Yet).
ERCIM News
Tiago Amorim, Daniel Schneider, Viet Yen Nguyen, Christoph Schmittner, Erwin Schoitsch
2014 — conf
A Review of Statistical Model Checking Pitfalls on Real-Time Stochastic Models.
ISoLA (2)
Dimitri Bohlender, Harold Bruintjes, Sebastian Junges, Jens Katelaan, Viet Yen Nguyen, Thomas Noll
2014 — conf
Compositional Analysis Using Component-Oriented Interpolation.
FACS
Viet Yen Nguyen, Benjamin Bittner, Joost-Pieter Katoen, Thomas Noll
2014 — ch.
Formal validation methods in model-based spacecraft systems engineering.
Modeling and Simulation-Based Systems Engineering Handbook
Joost-Pieter Katoen, Viet Yen Nguyen, Thomas Noll
2014 J jnl
Spacecraft early design validation using formal methods.
Reliab. Eng. Syst. Saf.
Marco Bozzano, Alessandro Cimatti, Joost-Pieter Katoen, Panagiotis Katsaros, Konstantinos Mokos, Viet Yen Nguyen, Thomas Noll, Bart Postma, Marco Roveri
2013 B conf
Characterization of Failure Effects on AADL Models.
SAFECOMP
Bernhard Ern, Viet Yen Nguyen, Thomas Noll
2013 J jnl
Selected dynamic issues in software model checking.
Int. J. Softw. Tools Technol. Transf.
Viet Yen Nguyen, Theo C. Ruys
2013 — —
Trustworthy spacecraft design using formal methods.
Viet Yen Nguyen
2012 A* conf
Formal correctness, safety, dependability, and performance analysis of a satellite.
ICSE
Marie-Aude Esteve, Joost-Pieter Katoen, Viet Yen Nguyen, Bart Postma, Yuri Yushtein
2011 J jnl
Safety, Dependability and Performance Analysis of Extended AADL Models.
Comput. J.
Marco Bozzano, Alessandro Cimatti, Joost-Pieter Katoen, Viet Yen Nguyen, Thomas Noll, Marco Roveri
2010 A* conf
A Model Checker for AADL.
CAV
Marco Bozzano, Alessandro Cimatti, Joost-Pieter Katoen, Viet Yen Nguyen, Thomas Noll, Marco Roveri, Ralf Wimmer
2010 — conf
Model Checking Markov Chains Using Krylov Subspace Methods: An Experience Report.
EPEW
Falko Dulat, Joost-Pieter Katoen, Viet Yen Nguyen
2010 — conf
Slicing AADL Specifications for Model Checking.
NASA Formal Methods
Viet Yen Nguyen, Thomas Noll, Max Odenbrett
2009 C conf
Codesign of dependable systems: A component-based modeling language.
MEMOCODE
Marco Bozzano, Alessandro Cimatti, Marco Roveri, Joost-Pieter Katoen, Viet Yen Nguyen, Thomas Noll
2009 A conf
Memoised Garbage Collection for Software Model Checking.
TACAS
Viet Yen Nguyen, Theo C. Ruys
2009 — conf
Model-Based Codesign of Critical Embedded Systems.
ACES-MB@MoDELS
Marco Bozzano, Alessandro Cimatti, Joost-Pieter Katoen, Viet Yen Nguyen, Thomas Noll, Marco Roveri
2009 A conf
MoonWalker: Verification of .NET Programs.
TACAS
Niels H. M. Aan de Brugh, Viet Yen Nguyen, Theo C. Ruys
2009 B conf
The COMPASS Approach: Correctness, Modelling and Performability of Aerospace Systems.
SAFECOMP
Marco Bozzano, Alessandro Cimatti, Joost-Pieter Katoen, Viet Yen Nguyen, Thomas Noll, Marco Roveri
2009 — conf
Verification and performance evaluation of aadl models.
ESEC/SIGSOFT FSE
Marco Bozzano, Alessandro Cimatti, Marco Roveri, Joost-Pieter Katoen, Viet Yen Nguyen, Thomas Noll
2008 — conf
Incremental Hashing for Spin.
SPIN
Viet Yen Nguyen, Theo C. Ruys