Publications of Tingting Han

		Taolue Chen, Tingting Han, Joost-Pieter Katoen, and Alexandru Mereacre. Quantitative model checking of continuous-time Markov chains against timed automata specifications. Technical Report AIB-2009-02, RWTH Aachen University, 2009.
		Taolue Chen, Tingting Han, Joost-Pieter Katoen, and Alexandru Mereacre. Quantitative Model Checking of Continuous-Time Markov Chains Against Timed Automata Specifications. In IEEE Symposium on Logic in Computer Science (LICS). IEEE CS Press, 2009.
		Tingting Han, Joost-Pieter Katoen, and Berteun Damman. Counterexample Generation in Probabilistic Model Checking. IEEE Transactions on Software Engineering, 35(2):241–257, 2009.
		Taolue Chen, Tingting Han, Joost-Pieter Katoen, and Alexandru Mereacre. LTL model checking of time-inhomogeneous Markov chains. In 7th International Symposium on Automated Technology for Verification and Analysis (ATVA’09). pages 104–119. Volume 5799 of LNCS. 2009.
		Tingting Han. Diagnosis, Synthesis and Analysis of Probabilistic Models. PhD Thesis, University of Twente and RWTH Aachen University, 2009.

		Tingting Han, Joost-Pieter Katoen, and Alexandru Mereacre. Compositional Modeling and Minimization of Time-inhomogeneous Markov Chains. In Hybrid Systems: Computation and Control (HSCC). pages 244–258. Volume 4981 of LNCS. Springer Verlag, 2008.
		Taolue Chen, Tingting Han, and Joost-Pieter Katoen. Time-Abstracting Bisimulation for Probabilistic Timed Automata. In 2nd IEEE International Symposium on Theoretical Aspects of Software Engineering (TASE). pages 177–184. IEEE CS Press, 2008.
		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.
		Tingting Han, Joost-Pieter Katoen, and Alexandru Mereacre. Approximate parameter synthesis for probabilistic time-bounded reachability. In Proceedings of IEEE Real-Time Systems Symposium (RTSS). pages 173–182. IEEE CS Press, 2008.

		Tingting Han, and Joost-Pieter Katoen. Counterexamples in probabilistic model checking. In Proceedings of the 13th International Conference on Tools and Algorithms for Construction and Analysis of Systems (TACAS’07). pages 60–75. Volume 4424 of Lecture Notes in Computer Science. Springer Verlag, 2007.
		Tingting Han, and Joost-Pieter Katoen. Providing evidence of likely being on time – Counterexample generation for CTMC model checking. In Proceedings of the 5th International Symposium on Automated Technology for Verification and Analysis (ATVA’07). Lecture Notes in Computer Science. Springer Verlag, 2007.
		Tingting Han, Joost-Pieter Katoen, and Alexandru Mereacre. Compositional Modeling and Minimization of Time-Inhomogeneous Markov Chains. Technical Report AIB-2007-21, RWTH Aachen, 2007.

Tingting Han, and Joost-Pieter Katoen. Counterexamples in probabilistic model checking. Technical Report AIB 2006-09, RWTH Aachen, 2006.

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)