Viet Yen Nguyen

21 papers A* 2A 2B 3C 1Journal 4Unranked 7

Year	Rank	Type	Title / 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