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..

• office: G206
• phone: +420 549 49 1879
• e-mail: krcal [at] fi [dot] muni [dot] cz
• official personal page

• 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