Viet Yen Nguyen
According to our database1,
Viet Yen Nguyen
authored at least 21 papers
between 2008 and 2021.
Collaborative distances:
Collaborative distances:
Timeline
2008
2010
2012
2014
2016
2018
2020
0
1
2
3
4
5
6
7
1
1
1
1
1
1
2
1
1
3
6
1
1
Legend:
Book In proceedings Article PhD thesis Dataset OtherLinks
On csauthors.net:
Bibliography
2021
Proceedings of the 8th IEEE International Conference on Data Science and Advanced Analytics, 2021
2015
2014
Proceedings of the Modeling and Simulation-Based Systems Engineering Handbook., 2014
Reliab. Eng. Syst. Saf., 2014
Proceedings of the Leveraging Applications of Formal Methods, Verification and Validation. Specialized Techniques and Applications, 2014
Proceedings of the Formal Aspects of Component Software - 11th International Symposium, 2014
2013
Int. J. Softw. Tools Technol. Transf., 2013
Proceedings of the Computer Safety, Reliability, and Security, 2013
2012
Proceedings of the 34th International Conference on Software Engineering, 2012
2011
Comput. J., 2011
2010
Slicing AADL Specifications for Model Checking.
Proceedings of the Second NASA Formal Methods Symposium, 2010
Proceedings of the Computer Performance Engineering, 2010
Proceedings of the Computer Aided Verification, 22nd International Conference, 2010
2009
Proceedings of the Tools and Algorithms for the Construction and Analysis of Systems, 2009
Proceedings of the Tools and Algorithms for the Construction and Analysis of Systems, 2009
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
Proceedings of the 2nd International Workshop on Model Based Architecting and Construction of Embedded Systems ( ACES-MB 2009 ), 2009
Proceedings of the 7th ACM/IEEE International Conference on Formal Methods and Models for Codesign (MEMOCODE 2009), 2009
2008