Publications of Author

Tingting Han, Joost-Pieter Katoen, and Berteun Damman. Counterexample Generation in Probabilistic Model Checking. IEEE Transactions on Software Engineering, 35(2):241–257, 2009.

Berteun Damman, Tingting Han, and Joost-Pieter Katoen. Regular Expressions for PCTL Counterexamples. In Proceedings 5th International Conference on Quantitative Evaluation of Systems (QEST). pages 179–188. IEEE CS Press, 2008.

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)