Yuliya Butkova
Publication record assembled from the DBLP archive of ranked conferences.
Papers indexed
5
Venues
3
Active years
2015–2019
Best venue rank
A
Where they publish
Papers
5 indexed papers, newest first.
| Year | Venue | Title | Authors |
|---|---|---|---|
| 2019 | TACAS | Optimal Time-Bounded Reachability Analysis for Concurrent Systems. | Yuliya Butkova, Gereon Fox |
| 2018 | ATVA | Continuous-Time Markov Decisions Based on Partial Exploration. | Pranav Ashok, Yuliya Butkova, Holger Hermanns, Jan Kretnsk |
| 2017 | TACAS | Long-Run Rewards for Markov Automata. | Yuliya Butkova, Ralf Wimmer, Holger Hermanns |
| 2016 | SAFECOMP | Effective Static and Dynamic Fault Tree Analysis. | Ola Bckstrm, Yuliya Butkova, Holger Hermanns, Jan Krcl, Pavel Krcl |
| 2015 | ATVA | Optimal Continuous Time Markov Decisions. | Yuliya Butkova, Hassan Hatefi, Holger Hermanns, Jan Krcl |