Publications of Author

		Daniel Klink, Anne Remke, Boudewijn R. Haverkort, and Joost-Pieter Katoen. Time-Bounded Reachability in Tree-Structured QBDs by Abstraction. In Quantitative Evaluation of Systems (QEST). IEEE CS Press, 2009.
		Joost-Pieter Katoen, Daniel Klink, and Martin R. Neuhäußer. Compositional Abstraction of Stochastic Systems . In Formal Modeling and Analysis of Timed Systems (FORMATS). pages 195–211. Volume 5813 of LNCS. Springer, 2009.
		Joost-Pieter Katoen, Daniel Klink, and Martin R. Neuhäußer. Compositional Abstraction for Stochastic Systems. Technical Report AIB-2009-15, RWTH Aachen, 2009.

		Joost-Pieter Katoen, Daniel Klink, Martin Leucker, and Verena Wolf. Abstraction for Stochastic Systems by Erlang’s Method of Stages. In 19th International Conference on Concurrency Theory (CONCUR’08). pages 279–294. Volume 5201 of LNCS. Springer, 2008.
		Joost-Pieter Katoen, Daniel Klink, Martin Leucker, and Verena Wolf. Abstraction for stochastic systems by Erlang’s method of stages. Technical Report AIB-2008-12, RWTH Aachen University, 2008.

		Joost-Pieter Katoen, Daniel Klink, Martin Leucker, and Verena Wolf. Three-valued abstraction for continuous-time Markov chains. In Proceedings of the 19th International Conference on Computer Aided Verification (CAV). pages 311–324. Volume 4590 of Lecture Notes in Computer Science. Springer Verlag, 2007.
		Joost-Pieter Katoen, Daniel Klink, Martin Leucker, and Verena Wolf. Three-Valued Abstraction for Probabilistic Systems. Technical Report , RWTH Aachen University, 2007.

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)