Publications of Author

		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.

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.

Theo C. Ruys, Rom Langerak, Joost-Pieter Katoen, Diego Latella, and Mieke Massink. First passage time analysis of stochastic process algebra using partial orders. In Tiziana Margaria, and Wang Yi, editors, Tools and Algorithms for the Construction and Analysis of Systems (TACAS). pages 220–236. LNCS vol. 2031, Springer-Verlag, 2001.

Pedro R. D’Argenio, Joost-Pieter Katoen, Theo C. Ruys, and Jan Tretmans. The Bounded Retransmission Protocol Must Be on Time!. In Ed Brinksma, editor, Tools and Algorithms for the Construction and Analysis of Systems (TACAS), volume 1217 of Lecture Notes in Computer Science. pages 416–432. Springer-Verlag, 1997.

Pedro R. D’Argenio, Joost-Pieter Katoen, Theo C. Ruys, and Jan Tretmans. Modelling and verifying a bounded retransmission protocol using Uppaal. In Z. Brezocnik, and T. Kapus, editors, COST 247 Int. Workshop on Applied Formal Methods in System Design. pages 114–128. 1996.

BSc/MSc/Diploma Topics
Teaching WS09/10
Hybrid Systems Group

1-2 stud. Hilfskr. zur Unterstützung bei der Erstellung eines neuen Foliensatzes für "Datenstrukturen & Algorithmen 2010". (mehr)

Tingting Han defended her thesis "Synthesis, Diagnosis and Analysis of Probabilistic Systems" with highest praise at the University of Twente (NL) and today also at the RWTH Aachen! (more)