Follow
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
2692011
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
1302009
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
982012
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
852014
A model checker for AADL
M Bozzano, A Cimatti, JP Katoen, VY Nguyen, T Noll, M Roveri, ...
Computer Aided Verification, 562-565, 2010
472010
Formal verification and validation of AADL models
M Bozzano, R Cavada, A Cimatti, JP Katoen, V Nguyen, T Noll, X Olive
ERTS2 2010, Embedded Real Time Software & Systems, 2010
412010
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
332009
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
322009
A review of statistical model checking pitfalls on real-time stochastic models
D Bohlender, H Bruintjes, S Junges, J Katelaan, VY Nguyen, T Noll
Leveraging Applications of Formal Methods, Verification and Validation …, 2014
212014
Slicing AADL specifications for model checking
M Odenbrett, VY Nguyen, T Noll
Proceedings of the Second NASA Formal Methods Symposium, 2010
172010
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
Model-based codesign of critical embedded systems
M Bozzano, A Cimatti, JP Katoen, VY Nguyen, T Noll, M Roveri
2nd International Workshop on Model Based Architecting and Construction of …, 2009
142009
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
122011
Incremental hashing for Spin
VY Nguyen, T Ruys
Model Checking Software, 232-249, 2008
112008
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
Five major reasons why safety and security haven’t married (yet)
T Amorim, D Schneider, VY Nguyen, C Schmittner, E Schoitsch
ERCIM News 102, 16-17, 2015
92015
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
Trustworthy spacecraft design using formal methods
VY Nguyen
Aachen, Techn. Hochsch., Diss., 2012, 2013
52013
Optimising techniques for model checkers
VY Nguyen
University of Twente, 2007
52007
COMPASS project webpage
M Bozzano, A Cimatti, JP Katoen, VY Nguyen, T Noll, M Roveri
42009
The system can't perform the operation now. Try again later.
Articles 1–20