Diana Fischer

Diana Fischer

Adresse

Mathematische Grundlagen der Informatik
RWTH Aachen
D-52056 Aachen
Telefon:   +49-241-80-21715
Fax:   +49-241-80-22215
Büro:   4119 (E1) / Ahornstr. 55
E-Mail:   fischer [AT] logic.rwth-aachen.de

Forschung

I am a member of the DFG Research Training Group AlgoSyn.

My research interests lie in the field of game theory and its application to logic and verification.
I am particularly interested in the theory of quantitative systems.

Activities

  • Programme Coordinator of the ESF Research Networking Programme GAMES

Aktuelle Publikationen

  • D. Fischer and Ł. Kaiser. Model Checking the Quantitative mu-Calculus on Linear Hybrid Systems. In Proceedings of the 38th International Colloquium on Automata, Languages and Programming, ICALP 2011 (2), vol. 6756 of Lecture Notes in Computer Science, pp. 404–415. Springer, 2011.
  • D. Fischer, E. Grädel, and Ł. Kaiser. Model Checking Games for the Quantitative mu-Calculus. Theory Comput. Syst., vol. 47(3), pp. 696–719, 2010.
  • D. Fischer, E. Grädel, and Ł. Kaiser. Model Checking Games for the Quantitative $\mu$-Calculus. In Proceedings of the 25th International Symposium on Theoretical Aspects of Computer Science, STACS 2008 (S. Albers and P. Weil, Eds.), pp. 301–312, 2008.

Alle Publikationen