| Probabilistic bisimulation: Naturally on distributions H Hermanns, J Krčál, J Křetínský CONCUR 2014–Concurrency Theory: 25th International Conference, CONCUR 2014 …, 2014 | 51 | 2014 |
| Continuous-time stochastic games with time-bounded reachability T Brázdil, V Forejt, J Krcal, J Kretinsky, A Kucera IARCS Annual Conference on Foundations of Software Technology and …, 2009 | 43 | 2009 |
| The value of attack-defence diagrams H Hermanns, J Krämer, J Krčál, M Stoelinga Principles of Security and Trust: 5th International Conference, POST 2016 …, 2016 | 41 | 2016 |
| Battery-aware scheduling in low orbit: the GomX–3 case M Bisgaard, D Gerhardt, H Hermanns, J Krčál, G Nies, M Stenger Formal Aspects of Computing 31, 261-285, 2019 | 40 | 2019 |
| Optimal continuous time Markov decisions Y Butkova, H Hatefi, H Hermanns, J Krčál Automated Technology for Verification and Analysis: 13th International …, 2015 | 33 | 2015 |
| Continuous-time stochastic games with time-bounded reachability T Brázdil, V Forejt, J Krčál, J Křetínský, A Kučera Information and Computation 224, 46-70, 2013 | 24 | 2013 |
| Stochastic real-time games with qualitative timed automata objectives T Brázdil, J Krčál, J Křetínský, A Kučera, V Řehák CONCUR 2010-Concurrency Theory: 21th International Conference, CONCUR 2010 …, 2010 | 24 | 2010 |
| How is your satellite doing? Battery kinetics with recharging and uncertainty H Hermanns, J Krčál, G Nies Leibniz Transactions on Embedded Systems 4 (1), 04: 1-04: 28, 2017 | 22 | 2017 |
| Verification of open interactive Markov chains T Brázdil, H Hermanns, J Krcál, J Kretinsky, V Rehák IARCS Annual Conference on Foundations of Software Technology and …, 2012 | 22 | 2012 |
| Fixed-delay events in generalized semi-Markov processes revisited T Brázdil, J Krčál, J Křetínský, V Řehák CONCUR 2011–Concurrency Theory: 22nd International Conference, CONCUR 2011 …, 2011 | 20 | 2011 |
| Scalable analysis of fault trees with dynamic features J Krcál, P Krcál 2015 45th Annual IEEE/IFIP international conference on dependable systems …, 2015 | 19 | 2015 |
| Mastering operational limitations of LEO satellites–The GomX-3 approach G Nies, M Stenger, J Krčál, H Hermanns, M Bisgaard, D Gerhardt, ... Acta astronautica 151, 726-735, 2018 | 17 | 2018 |
| Optimizing performance of continuous-time stochastic systems using timeout synthesis T Brázdil, Ľ Korenčiak, J Krčál, P Novotný, V Řehák Quantitative Evaluation of Systems: 12th International Conference, QEST 2015 …, 2015 | 17 | 2015 |
| Recharging probably keeps batteries alive H Hermanns, J Krčál, G Nies Cyber Physical Systems. Design, Modeling, and Evaluation: 5th International …, 2015 | 17 | 2015 |
| Effective static and dynamic fault tree analysis O Bäckström, Y Butkova, H Hermanns, J Krčál, P Krčál Computer Safety, Reliability, and Security: 35th International Conference …, 2016 | 15 | 2016 |
| Compositional verification and optimization of interactive markov chains H Hermanns, J Krčál, J Křetínský CONCUR 2013–Concurrency Theory: 24th International Conference, CONCUR 2013 …, 2013 | 14 | 2013 |
| Solving adversarial patrolling games with bounded error M Abaffy, T Brázdil, V Řehák, B Bošanský, A Kučera, J Krčál Proceedings of the 2014 international conference on Autonomous agents and …, 2014 | 11 | 2014 |
| Probabilistic bisimulations for PCTL model checking of interval MDPs V Hashemi, H Hatefi, J Krčál arXiv preprint arXiv:1403.2864, 2014 | 11 | 2014 |
| Dealing with zero density using piecewise phase-type approximation L Korenčiak, J Krčál, V Řehák Computer Performance Engineering: 11th European Workshop, EPEW 2014 …, 2014 | 10 | 2014 |
| Measuring performance of continuous-time stochastic processes using timed automata T Brázdil, J Krcál, J Kretínský, A Kucera, V Řehák Proceedings of the 14th international conference on Hybrid systems …, 2011 | 10 | 2011 |
