Yuliya Butkova

According to our database, Yuliya Butkova authored at least 9 papers between 2015 and 2021.

Collaborative distances:

• Dijkstra number of four.
• Erdős number of four.

2021

A Modest Approach to Markov Automata.

Yuliya Butkova, Arnd Hartmanns, Holger Hermanns

ACM Trans. Model. Comput. Simul., 2021

2020

Towards efficient analysis of Markov automata.

Yuliya Butkova

PhD thesis, 2020

2019

Optimal Time-Bounded Reachability Analysis for Concurrent Systems.

Yuliya Butkova, Gereon Fox

Proceedings of the Tools and Algorithms for the Construction and Analysis of Systems, 2019

A Modest Approach to Modelling and Checking Markov Automata.

Yuliya Butkova, Arnd Hartmanns, Holger Hermanns

Proceedings of the Quantitative Evaluation of Systems, 16th International Conference, 2019

2018

Markov Automata on Discount!

Yuliya Butkova, Ralf Wimmer, Holger Hermanns

Proceedings of the Measurement, Modelling and Evaluation of Computing Systems, 2018

Continuous-Time Markov Decisions Based on Partial Exploration.

Pranav Ashok, Yuliya Butkova, Holger Hermanns, Jan Kretínský

Proceedings of the Automated Technology for Verification and Analysis, 2018

2017

Long-Run Rewards for Markov Automata.

Yuliya Butkova, Ralf Wimmer, Holger Hermanns

Proceedings of the Tools and Algorithms for the Construction and Analysis of Systems, 2017

2016

Effective Static and Dynamic Fault Tree Analysis.

Ola Bäckström, Yuliya Butkova, Holger Hermanns, Jan Krcál, Pavel Krcál

Proceedings of the Computer Safety, Reliability, and Security, 2016

2015

Optimal Continuous Time Markov Decisions.

Yuliya Butkova, Hassan Hatefi, Holger Hermanns, Jan Krcál

Proceedings of the Automated Technology for Verification and Analysis, 2015