About Viet Yen Nguyen


E-Mail:

nguyen <at> cs.rwth-aachen.de

Phone:

+49-241/80-21206

Fax:

+49-241/80-22217

Postal Address:

Viet Yen Nguyen

Lehrstuhl für Informatik II

RWTH Aachen

D-52056 Aachen

Germany

Visiting Address:

Room 4203

Ahornstraße 55

D-52074 Aachen

 

 


Research

I work on the Correctness, Modeling and Performance of Aerospace Systems (COMPASS) project where our chair, our colleagues from Fondazione Bruno Kessler and our associates from Thales Alenia Space together build a novel model checking suite for analysing aerospace systems. Prior to this, I earned my Master degree in Computer Science at the Formal Methods Group at the University of Twente, Enschede, Netherlands under the supervision of Theo Ruys. 

 

My research interests include:

  • Stochastic model checking
  • Formal semantics of high level specification languages
  • Compositional modelling
  • Effective software model checking

Tools I work(ed) on:


Miscellaneous


Vietnamese spelling of my name: Nguyễn Việt Yên (click on my lastname for pronunciation)

 

Nice pictures (thanks Sander!) taken while I was honoured with an award: University Twente Thesis Award 2008, Dutch/Belgium NGI Thesis Award 2008.

 

On the right you see a photograph of the squirrel that runs by my office every nice summer day. Currently (February 2009), it is probably sleeping somewhere.


Publications

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.
  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). ACM 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 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 Conference 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). LNCS. Springer, 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.

2007
  Viet Yen Nguyen. Optimising Techniques for Model Checkers. Masters Thesis, University of Twente, 2007.