Jan Krcál

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