Viet Yen Nguyen

According to our database, Viet Yen Nguyen authored at least 21 papers between 2008 and 2021.

Collaborative distances:

• Dijkstra number of four.
• Erdős number of four.

2021

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

Proceedings of the 8th IEEE International Conference on Data Science and Advanced Analytics, 2021

2015

Five Major Reasons Why Safety and Security Haven't Married (Yet).

Tiago Amorim, Daniel Schneider, Viet Yen Nguyen, Christoph Schmittner, Erwin Schoitsch

ERCIM News, 2015

2014

Formal validation methods in model-based spacecraft systems engineering.

Joost-Pieter Katoen, Viet Yen Nguyen, Thomas Noll

Proceedings of the Modeling and Simulation-Based Systems Engineering Handbook., 2014

Spacecraft early design validation using formal methods.

Marco Bozzano, Alessandro Cimatti, Joost-Pieter Katoen, Panagiotis Katsaros, Konstantinos Mokos, Viet Yen Nguyen, Thomas Noll, Bart Postma, Marco Roveri

Reliab. Eng. Syst. Saf., 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

Proceedings of the Leveraging Applications of Formal Methods, Verification and Validation. Specialized Techniques and Applications, 2014

Compositional Analysis Using Component-Oriented Interpolation.

Viet Yen Nguyen, Benjamin Bittner, Joost-Pieter Katoen, Thomas Noll

Proceedings of the Formal Aspects of Component Software - 11th International Symposium, 2014

2013

Trustworthy spacecraft design using formal methods.

Viet Yen Nguyen

PhD thesis, 2013

Selected dynamic issues in software model checking.

Viet Yen Nguyen, Theo C. Ruys

Int. J. Softw. Tools Technol. Transf., 2013

Characterization of Failure Effects on AADL Models.

Bernhard Ern, Viet Yen Nguyen, Thomas Noll

Proceedings of the Computer Safety, Reliability, and Security, 2013

2012

Formal correctness, safety, dependability, and performance analysis of a satellite.

Marie-Aude Esteve, Joost-Pieter Katoen, Viet Yen Nguyen, Bart Postma, Yuri Yushtein

Proceedings of the 34th International Conference on Software Engineering, 2012

2011

Safety, Dependability and Performance Analysis of Extended AADL Models.

Marco Bozzano, Alessandro Cimatti, Joost-Pieter Katoen, Viet Yen Nguyen, Thomas Noll, Marco Roveri

Comput. J., 2011

2010

Slicing AADL Specifications for Model Checking.

Viet Yen Nguyen, Thomas Noll, Max Odenbrett

Proceedings of the Second NASA Formal Methods Symposium, 2010

Model Checking Markov Chains Using Krylov Subspace Methods: An Experience Report.

Falko Dulat, Joost-Pieter Katoen, Viet Yen Nguyen

Proceedings of the Computer Performance Engineering, 2010

A Model Checker for AADL.

Marco Bozzano, Alessandro Cimatti, Joost-Pieter Katoen, Viet Yen Nguyen, Thomas Noll, Marco Roveri, Ralf Wimmer

Proceedings of the Computer Aided Verification, 22nd International Conference, 2010

2009

Memoised Garbage Collection for Software Model Checking.

Viet Yen Nguyen, Theo C. Ruys

Proceedings of the Tools and Algorithms for the Construction and Analysis of Systems, 2009

MoonWalker: Verification of .NET Programs.

Niels H. M. Aan de Brugh, Viet Yen Nguyen, Theo C. Ruys

Proceedings of the Tools and Algorithms for the Construction and Analysis of Systems, 2009

Verification and performance evaluation of aadl models.

Marco Bozzano, Alessandro Cimatti, Marco Roveri, Joost-Pieter Katoen, Viet Yen Nguyen, Thomas Noll

Proceedings of the 7th joint meeting of the European Software Engineering Conference and the ACM SIGSOFT International Symposium on Foundations of Software Engineering, 2009

The COMPASS Approach: Correctness, Modelling and Performability of Aerospace Systems.

Marco Bozzano, Alessandro Cimatti, Joost-Pieter Katoen, Viet Yen Nguyen, Thomas Noll, Marco Roveri

Proceedings of the Computer Safety, 2009

Model-Based Codesign of Critical Embedded Systems.

Marco Bozzano, Alessandro Cimatti, Joost-Pieter Katoen, Viet Yen Nguyen, Thomas Noll, Marco Roveri

Proceedings of the 2nd International Workshop on Model Based Architecting and Construction of Embedded Systems ( ACES-MB 2009 ), 2009

Codesign of dependable systems: A component-based modeling language.

Marco Bozzano, Alessandro Cimatti, Marco Roveri, Joost-Pieter Katoen, Viet Yen Nguyen, Thomas Noll

Proceedings of the 7th ACM/IEEE International Conference on Formal Methods and Models for Codesign (MEMOCODE 2009), 2009

2008

Incremental Hashing for Spin.

Viet Yen Nguyen, Theo C. Ruys

Proceedings of the Model Checking Software, 2008