About Viet Yen Nguyen
|
|
Short Curriculum Vitae
Born in the winter of 1983 in Hoorn, The Netherlands. After completing the Atheneum in 2001, I studied computer science at the University of Twente and earned my Master's degree at the Formal Methods Group in 2007 under the supervision of Theo Ruys. Since then, I have been a Wissenschaftlicher Mitarbeiter at the chair of Professor Joost-Pieter Katoen. In the first years, I worked on COMPASS (Correctness, Modeling and Performance of Aerospace Systems). It was a project commissioned by the European Space Agency (ESA) to our chair, Alessandro Cimatti's group from Fondazione Bruno Kessler and Thales Alenia Space to develop state of the art verification and validation tools for space systems using formal methods. Later on, we also collaborated with Ellidiss Technologies for the development of a graphical design tool. Afterwards, since 2010, I have been dividing my time between the RWTH and ESA's technical heart, the European Space Research and Technology Centre (ESTEC) due to a commission by ESA and Thales for advancing theory and practice of space systems-software co-engineering under the ESA's NPI program. In my time at the RWTH, I am engaged in teaching undergraduate and graduate students. While at the agency, I am fulfulling my commission by conducting research and providing expert support to engineers. At the moment, I am completing my PhD dissertation, aiming to defend it in the fall of 2012.
My research interests include:
- Model checking
- Formal semantics of high level specification languages
- Compositional verification
Tools I work(ed) on:
- COMPASS toolset, current researcher and architect
- Markov Reward Model Checker, current maintainer
- MoonWalker, principal developer of release 1.0
- Spin, developer of incremental hashing against version 5.1.4
Web presence:
- ArnetMiner
- Academic Bing
- DBLP
- LinkedIn (for career opportunities, ventures and expertise requests)
Teaching
Publications
2012
| Marie-Aude Esteve, Joost-Pieter Katoen, Viet Yen Nguyen, Bart Postma, and Yuri Yushtein. Formal Correctness, Safety, Dependability and Performance Analysis of a Satellite. In 34th Int. Conf. on Software Engineering (ICSE 2012). ACM and IEEE CS Press, 2012. |
2011
| Yuri Yushtein, Marco Bozzano, Alessandro Cimatti, Joost-Pieter Katoen, Viet Yen Nguyen, Thomas Noll, Xavier Olive, and Marco Roveri. System-Software Co-Engineering: Dependability and Safety Perspective. In 4th IEEE Int. Conf. on Space Mission Challenges in Information Technology (SMC-IT 2011). pages 18–25. IEEE CS Press, 2011. |
2010
 | Marco Bozzano, Roberto Cavada, Alessandro Cimatti, Joost-Pieter Katoen, Viet Yen Nguyen, Thomas Noll, and Xavier Olive. Formal Verification and Validation of AADL Models. In Proc. of Embedded Real Time Software and Systems Conf. (ERTS2 2010). 2010. | |
|
| Marco Bozzano, Alessandro Cimatti, Joost-Pieter Katoen, Viet Yen Nguyen, Thomas Noll, and Marco Roveri. Safety, Dependability, and Performance Analysis of Extended AADL Models. The Computer Journal, doi: 10.1093/com, 2010. | |
| Marco Bozzano, Alessandro Cimatti, Joost-Pieter Katoen, Viet Yen Nguyen, Thomas Noll, Marco Roveri, and Ralf Wimmer. A Model Checker for AADL. In Proc. of 22nd Int. Conf. on Computer Aided Verification (CAV 2010). pages 562–565. Volume 6174 of LNCS. Springer, 2010. | ||
| Falko Dulat, Joost-Pieter Katoen, and Viet Yen Nguyen. Model Checking Markov Chains using Krylov Subspace Methods: An Experience Report. In Proceedings of 7th European Performance Engineering Workshop (EPEW 2010). pages 115–130. Volume 6342 of LNCS. Springer, 2010. | ||
| Maximilian R. Odenbrett, Viet Yen Nguyen, and Thomas Noll. Slicing AADL Specifications for Model Checking. In Proc. of the 2nd NASA Formal Methods Symp. (NFM 2010). pages 217–221. NASA Conference Proceedings. 2010. |
2009
|
| Niels H.M. Aan de Brugh, Viet Yen Nguyen, and Theo C. Ruys. MoonWalker: Verification of .NET Programs. In Proceedings of the 15th International Conference on Tools and Algorithms for the Construction and Analysis of Systems (TACAS). LNCS. Springer-Verlag, 2009. | |
|
| Marco Bozzano, Alessandro Cimatti, Marco Roveri, Joost-Pieter Katoen, Viet Yen Nguyen, and Thomas Noll. Codesign of Dependable Systems: A Component-Based Modeling Language. In Proc. 7th ACM-IEEE Int. Conf. on Formal Methods and Models for Codesign (MEMOCODE 2009). pages 121–130. IEEE CS Press, 2009. | |
| Marco Bozzano, Alessandro Cimatti, Joost-Pieter Katoen, Viet Yen Nguyen, Thomas Noll, and Marco Roveri. The COMPASS Approach: Correctness, Modelling and Performability of Aerospace Systems. In Proc. 28th Int. Conf. on Computer Safety, Reliability and Security (SAFECOMP 2009). pages 173–186. Volume 5775 of LNCS. Springer, 2009. | ||
| Marco Bozzano, Alessandro Cimatti, Joost-Pieter Katoen, Viet Yen Nguyen, Thomas Noll, and Marco Roveri. Verification and Performance Evaluation of AADL Models (Tool Demonstration). In Proc. 7th Joint Meeting of European Software Engineering Conf. and ACM SIGSOFT Symp. on the Foundations of Software Engineering (ESEC/FSE 2009). pages 285–286. ACM Press, 2009. | ||
| Marco Bozzano, Alessandro Cimatti, Joost-Pieter Katoen, Viet Yen Nguyen, Thomas Noll, and Marco Roveri. Model-Based Codesign of Critical Embedded Systems. In Proc. 2nd Int. Workshop on Model Based Architecting and Construction of Embedded Systems (ACES-MB 2009). pages 87–91. Volume 507 of CEUR Workshop Proceedings. 2009. | ||
| Viet Yen Nguyen, and Theo C. Ruys. Memoised Garbage Collection for Software Model Checking. In Proceedings of the 15th International Conference on Tools and Algorithms for the Construction and Analysis of Systems (TACAS). LNCS. Springer-Verlag, 2009. | ||
| Viet Yen Nguyen. Verification and Performance Evaluation of AADL Models. Demonstration at ESEC/FSE 2009, Amsterdam, Netherlands, 2009. |
2008
|
| Viet Yen Nguyen, and Theo C. Ruys. Incremental Hashing for SPIN. In Proceedings 15th International SPIN Workshop on Model Checking Software. pages 232–249. Volume 5156 of LNCS. 2008. |
