Jan Krcál

Publication Activity (10 Years)

Years Active: 2009-2019
Publications (10 Years): 18

Top Topics

Controller Synthesis

Joint Probability Distributions

Top Venues

Semantics, Logics, and Calculi

Publications

Morten Bisgaard, David Gerhardt, Holger Hermanns, Jan Krcál, Gilles Nies, Marvin Stenger
Battery-aware scheduling in low orbit: the GomX-3 case. Formal Aspects Comput. 31 (2) (2019)
Holger Hermanns, Jan Krcál, Gilles Nies
How Is Your Satellite Doing? Battery Kinetics with Recharging and Uncertainty. Leibniz Trans. Embed. Syst. 4 (1) (2017)
Arnd Hartmanns, Holger Hermanns, Jan Krcál
Schedulers are no Prophets. Semantics, Logics, and Calculi (2016)
Morten Bisgaard, David Gerhardt, Holger Hermanns, Jan Krcál, Gilles Nies, Marvin Stenger
Battery-Aware Scheduling in Low Orbit: The GomX-3 Case. FM (2016)
Holger Hermanns, Jan Krcál, Steen Vester
Distributed Synthesis in Continuous Time. CoRR (2016)
Holger Hermanns, Julia Krämer, Jan Krcál, Mariëlle Stoelinga
The Value of Attack-Defence Diagrams. POST (2016)
Ola Bäckström, Yuliya Butkova, Holger Hermanns, Jan Krcál, Pavel Krcál
Effective Static and Dynamic Fault Tree Analysis. SAFECOMP (2016)
Holger Hermanns, Jan Krcál, Steen Vester
Distributed Synthesis in Continuous Time. FoSSaCS (2016)
Vojtech Forejt, Jan Krcál
On Frequency LTL in Probabilistic Systems. CONCUR (2015)
Vojtech Forejt, Jan Krcál, Jan Kretínský
Controller synthesis for MDPs and Frequency LTL$\setminus$GU. CoRR (2015)
Tomás Brázdil, Lubos Korenciak, Jan Krcál, Petr Novotný, Vojtech Rehák
Optimizing Performance of Continuous-Time Stochastic Systems Using Timeout Synthesis. QEST (2015)
Holger Hermanns, Jan Krcál, Gilles Nies
Recharging Probably Keeps Batteries Alive. CyPhy (2015)
Jan Krcál, Pavel Krcál
Scalable Analysis of Fault Trees with Dynamic Features. DSN (2015)
Holger Hermanns, Jan Krcál, Gilles Nies
Recharging Probably Keeps Batteries Alive. CoRR (2015)
Vojtech Forejt, Jan Krcál
On Frequency LTL in Probabilistic Systems. CoRR (2015)
Yuliya Butkova, Hassan Hatefi, Holger Hermanns, Jan Krcál
Optimal Continuous Time Markov Decisions. CoRR (2015)
Vojtech Forejt, Jan Krcál, Jan Kretínský
. LPAR (2015)
Yuliya Butkova, Hassan Hatefi, Holger Hermanns, Jan Krcál
Optimal Continuous Time Markov Decisions. ATVA (2015)
Holger Hermanns, Jan Krcál, Jan Kretínský
Probabilistic Bisimulation: Naturally on Distributions. CONCUR (2014)
Tomás Brázdil, Lubos Korenciak, Jan Krcál, Petr Novotný, Vojtech Rehák
Optimizing Performance of Continuous-Time Stochastic Systems using Timeout Synthesis. CoRR (2014)
Michal Abaffy, Tomás Brázdil, Vojtech Rehák, Branislav Bosanský, Antonín Kucera, Jan Krcál
Solving adversarial patrolling games with bounded error: (extended abstract). AAMAS (2014)
Lubos Korenciak, Jan Krcál, Vojtech Rehák
Dealing with Zero Density Using Piecewise Phase-type Approximation. CoRR (2014)
Holger Hermanns, Jan Krcál, Jan Kretínský
Probabilistic Bisimulation: Naturally on Distributions. CoRR (2014)
Lubos Korenciak, Jan Krcál, Vojtech Rehák
Dealing with Zero Density Using Piecewise Phase-Type Approximation. EPEW (2014)
Vahid Hashemi, Hassan Hatefi, Jan Krcál
Probabilistic Bisimulations for PCTL Model Checking of Interval MDPs (extended version). SynCoP (2014)
Holger Hermanns, Jan Krcál, Jan Kretínský
Compositional Verification and Optimization of Interactive Markov Chains. CoRR (2013)
Tomás Brázdil, Vojtech Forejt, Jan Krcál, Jan Kretínský, Antonín Kucera
Continuous-time stochastic games with time-bounded reachability. Inf. Comput. 224 (2013)
Holger Hermanns, Jan Krcál, Jan Kretínský
Compositional Verification and Optimization of Interactive Markov Chains. CONCUR (2013)
Tomás Brázdil, Lubos Korenciak, Jan Krcál, Jan Kretínský, Vojtech Rehák
On time-average limits in deterministic and stochastic petri nets. ICPE (2013)
Tomás Brázdil, Holger Hermanns, Jan Krcál, Jan Kretínský, Vojtech Rehák
Verification of Open Interactive Markov Chains. FSTTCS (2012)
Tomás Brázdil, Jan Krcál, Jan Kretínský, Antonín Kucera, Vojtech Rehák
Measuring Performance of Continuous-Time Stochastic Processes using Timed Automata CoRR (2011)
Tomás Brázdil, Jan Krcál, Jan Kretínský, Antonín Kucera, Vojtech Rehák
Measuring performance of continuous-time stochastic processes using timed automata. HSCC (2011)
Tomás Brázdil, Jan Krcál, Jan Kretínský, Vojtech Rehák
Fixed-Delay Events in Generalized Semi-Markov Processes Revisited. CONCUR (2011)
Tomás Brázdil, Jan Krcál, Jan Kretínský, Vojtech Rehák
Fixed-delay Events in Generalized Semi-Markov Processes Revisited CoRR (2011)
Tomás Brázdil, Jan Krcál, Jan Kretínský, Antonín Kucera, Vojtech Rehák
Stochastic Real-Time Games with Qualitative Timed Automata Objectives. CONCUR (2010)
Tomás Brázdil, Vojtech Forejt, Jan Krcál, Jan Kretínský, Antonín Kucera
Continuous-Time Stochastic Games with Time-Bounded Reachability. FSTTCS (2009)