Jan Krčál
Jan Krčál
Saarland University
Geverifieerd e-mailadres voor fi.muni.cz
Titel
Geciteerd door
Geciteerd door
Jaar
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
432009
Probabilistic bisimulation: Naturally on distributions
H Hermanns, J Krčál, J Křetínský
International Conference on Concurrency Theory, 249-265, 2014
392014
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 (2), 261-285, 2019
252019
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
International Conference on Concurrency Theory, 207-221, 2010
252010
Optimal continuous time Markov decisions
Y Butkova, H Hatefi, H Hermanns, J Krčál
International Symposium on Automated Technology for Verification and …, 2015
242015
Continuous-time stochastic games with time-bounded reachability
T BráZdil, V Forejt, J KrčáL, J KřEtíNský, AN KučEra
Information and Computation 224, 46-70, 2013
242013
The value of attack-defence diagrams
H Hermanns, J Krämer, J Krčál, M Stoelinga
International Conference on Principles of Security and Trust, 163-185, 2016
222016
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
202012
Fixed-delay events in generalized semi-Markov processes revisited
T Brázdil, J Krčál, J Křetínský, V Řehák
International Conference on Concurrency Theory, 140-155, 2011
202011
Optimizing performance of continuous-time stochastic systems using timeout synthesis
T Brázdil, Ľ Korenčiak, J Krčál, P Novotný, V Řehák
International Conference on Quantitative Evaluation of Systems, 141-159, 2015
162015
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
152015
Recharging probably keeps batteries alive
H Hermanns, J Krčál, G Nies
International Workshop on Design, Modeling, and Evaluation of Cyber Physical …, 2015
132015
Compositional verification and optimization of interactive markov chains
H Hermanns, J Krčál, J Křetínský
International Conference on Concurrency Theory, 364-379, 2013
132013
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
122011
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
102017
Probabilistic bisimulations for PCTL model checking of interval MDPs
V Hashemi, H Hatefi, J Krčál
arXiv preprint arXiv:1403.2864, 2014
102014
Solving adversarial patrolling games with bounded error
M Abaffy, T Brázdil, V Rehák, B Bosanský, A Kucera, J Krcál
AAMAS, 1617-1618, 2014
92014
Effective static and dynamic fault tree analysis
O Bäckström, Y Butkova, H Hermanns, J Krčál, P Krčál
International Conference on Computer Safety, Reliability, and Security, 266-280, 2016
72016
Dealing with zero density using piecewise phase-type approximation
L Korenčiak, J Krčál, V Řehák
European Workshop on Performance Engineering, 119-134, 2014
72014
Determinacy and optimal strategies in stochastic games
J Krčál
Masarykova univerzita, Fakulta informatiky, 2009
72009
Het systeem kan de bewerking nu niet uitvoeren. Probeer het later opnieuw.
Artikelen 1–20