Jan Krčál

Homepage

This homepage is outdated

Since fall 2013, I am a post-doc in the group of prof. Holger Hermanns at Saarland University, Germany.


PhD student

Faculty of Informatics Masaryk University
Botanická 68a, 602 00, Brno
Czech Republic


Since fall 2009, I am a PhD student in the group of prof. RNDr. Antonín Kučera, Ph.D. who is my advisor. My consultant is RNDr. Tomáš Brázdil, Ph.D..

Contact

Publications

  • Tomáš Brázdil, Jan Krčál, Jan Křetínský, Vojtěch Řehák:
    Fixed-delay Events in Generalized Semi-Markov Processes Revisited. CONCUR 2011. pdf
  • Tomáš Brázdil, Jan Krčál, Jan Křetínský, Antonín Kučera, Vojtěch Řehák:
    Measuring Performance of Continuous-Time Stochastic Processes using Timed Automata. HSCC 2011. pdf
  • Tomáš Brázdil, Jan Krčál, Jan Křetínský, Antonín Kučera, Vojtěch Řehák:
    Stochastic Real-Time Games with Qualitative Timed Automata Objectives, CONCUR 2010 pdf
  • Tomáš Brázdil, Vojtěch Forejt, Jan Krčál, Jan Křetínský, Antonín Kučera:
    Continuous-Time Stochastic Games with Time-Bounded Reachability, FSTTCS 2009 pdf
home.txt · Last modified: 2014/10/20 08:46 by Jan Krčál