Viet Yen Nguyen

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

Collaborative distances:
  • Dijkstra number2 of four.
  • Erdős number3 of four.



In proceedings 
PhD thesis 




Atlastic Reputation AI: Four Years of Advancing and Applying a SOTA NLP Classifier.
Proceedings of the 8th IEEE International Conference on Data Science and Advanced Analytics, 2021

Five Major Reasons Why Safety and Security Haven't Married (Yet).
ERCIM News, 2015

Formal validation methods in model-based spacecraft systems engineering.
Proceedings of the Modeling and Simulation-Based Systems Engineering Handbook., 2014

Spacecraft early design validation using formal methods.
Reliab. Eng. Syst. Saf., 2014

A Review of Statistical Model Checking Pitfalls on Real-Time Stochastic Models.
Proceedings of the Leveraging Applications of Formal Methods, Verification and Validation. Specialized Techniques and Applications, 2014

Compositional Analysis Using Component-Oriented Interpolation.
Proceedings of the Formal Aspects of Component Software - 11th International Symposium, 2014

Trustworthy spacecraft design using formal methods.
PhD thesis, 2013

Selected dynamic issues in software model checking.
Int. J. Softw. Tools Technol. Transf., 2013

Characterization of Failure Effects on AADL Models.
Proceedings of the Computer Safety, Reliability, and Security, 2013

Formal correctness, safety, dependability, and performance analysis of a satellite.
Proceedings of the 34th International Conference on Software Engineering, 2012

Safety, Dependability and Performance Analysis of Extended AADL Models.
Comput. J., 2011

Slicing AADL Specifications for Model Checking.
Proceedings of the Second NASA Formal Methods Symposium, 2010

Model Checking Markov Chains Using Krylov Subspace Methods: An Experience Report.
Proceedings of the Computer Performance Engineering, 2010

A Model Checker for AADL.
Proceedings of the Computer Aided Verification, 22nd International Conference, 2010

Memoised Garbage Collection for Software Model Checking.
Proceedings of the Tools and Algorithms for the Construction and Analysis of Systems, 2009

MoonWalker: Verification of .NET Programs.
Proceedings of the Tools and Algorithms for the Construction and Analysis of Systems, 2009

Verification and performance evaluation of aadl models.
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.
Proceedings of the Computer Safety, 2009

Model-Based Codesign of Critical Embedded Systems.
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.
Proceedings of the 7th ACM/IEEE International Conference on Formal Methods and Models for Codesign (MEMOCODE 2009), 2009

Incremental Hashing for Spin.
Proceedings of the Model Checking Software, 2008