I am Ph.D. student at the chair of Prof. Holger Hermanns since October 2014.


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 64026 
Location: Bldg. E1 3, Room 508 
Linked-in: www.linkedin.com/in/yuliya-butkova