Optimal Continuous Time Markov Decisions. - Yuliya Butkova; Hassan Hatefi; Holger Hermanns; Jan Krcál (ATVA, 2015)

Effective Static and Dynamic Fault Tree Analysis. - Ola Bäckström; Yuliya Butkova; Holger Hermanns; Jan Krcál; Pavel Krcál (SAFECOMP, 2016)

Long-Run Rewards for Markov Automata. - Yuliya Butkova; Ralf Wimmer 001; Holger Hermanns (TACAS (2), 2017)

Continuous-Time Markov Decisions Based on Partial Exploration. - Pranav Ashok; Yuliya Butkova; Holger Hermanns; Jan Kretínský (ATVA, 2018)

Markov Automata on Discount! - Yuliya Butkova; Ralf Wimmer 001; Holger Hermanns (MMB, 2018)

A Modest Approach to Modelling and Checking Markov Automata. - Yuliya Butkova; Arnd Hartmanns; Holger Hermanns (QEST, 2019)

Optimal Time-Bounded Reachability Analysis for Concurrent Systems. - Yuliya Butkova; Gereon Fox (TACAS (2), 2019)

Towards efficient analysis of Markov automata. - Yuliya Butkova (2020)

A Modest Approach to Markov Automata. - Yuliya Butkova; Arnd Hartmanns; Holger Hermanns (ACM Trans. Model. Comput. Simul., 2021)