Viet Yen Nguyen
Viet Yen Nguyen
CTO at Hypefactors
Verified email at hypefactors.com - Homepage
Title
Cited by
Cited by
Year
Safety, dependability and performance analysis of extended AADL models
M Bozzano, A Cimatti, JP Katoen, VY Nguyen, T Noll, M Roveri
The Computer Journal 54 (5), 754-775, 2011
2192011
The COMPASS approach: Correctness, modelling and performability of aerospace systems
M Bozzano, A Cimatti, JP Katoen, VY Nguyen, T Noll, M Roveri
Computer Safety, Reliability, and Security, 173-186, 2009
972009
Formal correctness, safety, dependability, and performance analysis of a satellite
MA Esteve, JP Katoen, VY Nguyen, B Postma, Y Yushtein
2012 34th International Conference on Software Engineering (ICSE), 1022-1031, 2012
742012
Spacecraft early design validation using formal methods
M Bozzano, A Cimatti, JP Katoen, P Katsaros, K Mokos, VY Nguyen, ...
Reliability engineering & system safety 132, 20-35, 2014
482014
A model checker for AADL
M Bozzano, A Cimatti, JP Katoen, VY Nguyen, T Noll, M Roveri, ...
Computer Aided Verification, 562-565, 2010
382010
Formal verification and validation of AADL models
M Bozzano, R Cavada, A Cimatti, JP Katoen, V Nguyen, T Noll, X Olive
302010
Codesign of dependable systems: a component-based modeling language
M Bozzano, A Cimatti, M Roveri, JP Katoen, VY Nguyen, T Noll
2009 7th IEEE/ACM International Conference on Formal Methods and Models for …, 2009
292009
Moonwalker: Verification of. net programs
N Aan de Brugh, VY Nguyen, T Ruys
Tools and Algorithms for the Construction and Analysis of Systems, 170-173, 2009
29*2009
Verification and performance evaluation of AADL models
M Bozzano, A Cimatti, M Roveri, JP Katoen, VY Nguyen, T Noll
Proceedings of the 7th joint meeting of the European software engineering …, 2009
162009
A review of statistical model checking pitfalls on real-time stochastic models
D Bohlender, H Bruintjes, S Junges, J Katelaan, VY Nguyen, T Noll
International Symposium On Leveraging Applications of Formal Methods …, 2014
152014
Slicing AADL specifications for model checking
M Odenbrett, VY Nguyen, T Noll
132010
System-software co-engineering: Dependability and safety perspective
Y Yushtein, M Bozzano, A Cimatti, JP Katoen, VY Nguyen, T Noll, X Olive, ...
2011 IEEE Fourth International Conference on Space Mission Challenges for …, 2011
112011
Characterization of failure effects on AADL models
B Ern, VY Nguyen, T Noll
International Conference on Computer Safety, Reliability, and Security, 241-252, 2013
102013
Model-Based Codesign of Critical Embedded Systems.
M Bozzano, A Cimatti, JP Katoen, VY Nguyen, T Noll, M Roveri
ACES-MB@ MoDELS, 2009
102009
Incremental hashing for Spin
VY Nguyen, T Ruys
Model Checking Software, 232-249, 2008
92008
Memoised Garbage Collection for Software Model Checking
VY Nguyen, T Ruys
Tools and Algorithms for the Construction and Analysis of Systems, 201-214, 2009
72009
Five Major Reasons Why Safety and Security Haven’t Married (Yet)
T Amorim, D Schneider, VY Nguyen, C Schmittner, E Schoitsch
ERCIM News 104, Trustworthy Systems of Systems, 16-17, 2015
62015
Trustworthy spacecraft design using formal methods
VY Nguyen
Hochschulbibliothek der Rheinisch-Westfälischen Technischen Hochschule Aachen, 2013
52013
COMPASS project webpage
M Bozzano, A Cimatti, JP Katoen, VY Nguyen, T Noll, M Roveri
52009
Optimising techniques for model checkers
VY Nguyen
University of Twente, 2007
52007
The system can't perform the operation now. Try again later.
Articles 1–20