Jan Krčál
Jan Krčál
Saarland University
Verified email at
Cited by
Cited by
Probabilistic bisimulation: Naturally on distributions
H Hermanns, J Krčál, J Křetínský
CONCUR 2014–Concurrency Theory: 25th International Conference, CONCUR 2014 …, 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
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
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
Optimal continuous time Markov decisions
Y Butkova, H Hatefi, H Hermanns, J Krčál
Automated Technology for Verification and Analysis: 13th International …, 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
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
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
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
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
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
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
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
Recharging probably keeps batteries alive
H Hermanns, J Krčál, G Nies
Cyber Physical Systems. Design, Modeling, and Evaluation: 5th International …, 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
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
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
Probabilistic bisimulations for PCTL model checking of interval MDPs
V Hashemi, H Hatefi, J Krčál
arXiv preprint arXiv:1403.2864, 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
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
The system can't perform the operation now. Try again later.
Articles 1–20