I have been a Ph.D. student at the chair of Prof. Holger Hermanns since October 2014. I graduated in Summer 2020.

Research Interests

  • Model checking of various Markov models in continuous and discrete time;
  • Model checking of Markov models w.r.t. properties with costs and rewards;
  • Analysis of fault trees with dynamic features;


  • Optimal Continuous Time Markov Decisions; Butkova Y., Hatefi H., Hermanns H., Krcál J; ATVA 2015: 166-182; doi
  • Effective Static and Dynamic Fault Tree Analysis; Bäckström O.,, Butkova Y.,, Hermanns H., Krcál J., Krcál P.; SAFECOMP 2016: 266-280; doi
  • Long-run Rewards for Markov Automata; Butkova Y.,, Wimmer R., Hermanns H.; TACAS 2017;


If you have any questions feel free to contact me:

Address: Saarland Informatics Campus, 66123 Saarbrücken
Phone: +49 681 302 5635
Location: Bldg. E1 3, Room 508
E-mail: butkova@depend.uni-saarland.de
Linked-in: www.linkedin.com/in/yuliya-butkova