Výpis publikací

BISGAARD, Morten; David GERHARDT; Holger HERMANNS; Jan KRČÁL; Gilles NIES a Marvin STENGER. Battery-Aware Scheduling in Low Orbit: The GomX–3 Case. Online. In FM 2016: Formal Methods: 21st International Symposium. Berlin: Springer International Publishing., 2016, s. 559-576. ISBN 978-3-319-48988-9. Dostupné z: https://doi.org/10.1007/978-3-319-48989-6_34.

HERMANNS, Holger; Jan KRČÁL a Steen VESTER. Distributed synthesis in continuous time. In International Conference on Foundations of Software Science and Computation Structures. Berlin: Springer, 2016, s. 353-369. ISBN 978-3-662-49629-9. Dostupné z: https://doi.org/10.1007/978-3-662-49630-5_21.

BÄCKSTRÖM, Ola; Yuliya BUTKOVA; Holger HERMANNS; Jan KRČÁL a Pavel KRČÁL. Effective static and dynamic fault tree analysis. In In International Conference on Computer Safety, Reliability, and Security. Berlin: Springer, 2016, s. 266-280. ISBN 978-3-319-45476-4. Dostupné z: https://doi.org/10.1007/978-3-319-45477-1_21.

HARTMANNS, Arnd; Holger HERMANNS a Jan KRČÁL. Schedulers are no Prophets. In Semantics, Logics, and Calculi. Berlin: Springer International Publishing, 2016, s. 214-235. ISBN 978-3-319-27809-4. Dostupné z: https://doi.org/10.1007/978-3-319-27810-0_11.

HERMANNS, Holger; Julia KRÄMER; Jan KRČÁL a Mariëlle STOELINGA. The value of attack-defence diagrams. In In International Conference on Principles of Security and Trust. Berlin: Springer, 2016, s. 163-185. ISBN 978-3-662-49634-3. Dostupné z: https://doi.org/10.1007/978-3-662-49635-0_9.

FOREJT, Vojtěch; Jan KRČÁL a Jan KŘETÍNSKÝ. Controller Synthesis for MDPs and Frequency LTL\GU. In LPAR 2015. Suva, Fiji: Springer, 2015, s. 162-177. ISBN 978-3-662-48898-0. Dostupné z: https://doi.org/10.1007/978-3-662-48899-7_12.

FOREJT, Vojtěch a Jan KRČÁL. On Frequency LTL in Probabilistic Systems. Online. In CONCUR 2015. Madrid, Spain: Schloss Dagstuhl - Leibniz-Zentrum fuer Informatik, 2015, s. 184-197. ISBN 978-3-939897-91-0. Dostupné z: https://doi.org/10.4230/LIPIcs.CONCUR.2015.184.

BUTKOVA, Yuliya; Hassan HATEFI; Holger HERMANNS a Jan KRČÁL. Optimal Continuous Time Markov Decisions. Online. In ATVA 2015. Shanghai, China: Springer, 2015, s. 166-182. ISBN 978-3-319-24952-0. Dostupné z: https://doi.org/10.1007/978-3-319-24953-7_12.

BRÁZDIL, Tomáš; Ľuboš KORENČIAK; Jan KRČÁL; Petr NOVOTNÝ a Vojtěch ŘEHÁK. Optimizing Performance of Continuous-Time Stochastic Systems Using Timeout Synthesis. In Javier Campos, Boudewijn R. Haverkort. Quantitative Evaluation of Systems. BERLIN: SPRINGER-VERLAG BERLIN, 2015, s. 141-159. ISBN 978-3-319-22263-9. Dostupné z: https://doi.org/10.1007/978-3-319-22264-6_10.

HERMANNS, Holger; Jan KRČÁL a Gilles NIES. Recharging Probably Keeps Batteries Alive. In CyPhy 2015. Amsterdam, The Netherlands: Springer, 2015, s. 83-98. ISBN 978-3-319-25140-0. Dostupné z: https://doi.org/10.1007/978-3-319-25141-7_7.

KRČÁL, Jan a Pavel KRČÁL. Scalable Analysis of Fault Trees with Dynamic Features. In DSN 2015. Rio de Janeiro, Brazil: IEEE, 2015, s. 89-100. ISBN 978-1-4799-8629-3. Dostupné z: https://doi.org/10.1109/DSN.2015.29.

KORENČIAK, Ľuboš; Jan KRČÁL a Vojtěch ŘEHÁK. Dealing with Zero Density Using Piecewise Phase-Type Approximation. In András Horváth, Katinka Wolter. Computer Performance Engineering. Switzerland: Springer International Publishing, 2014, s. 119-134. ISBN 978-3-319-10884-1. Dostupné z: https://doi.org/10.1007/978-3-319-10885-8_9.

HERMANNS, Holger; Jan KRČÁL a Jan KŘETÍNSKÝ. Probabilistic Bisimulation: Naturally on Distributions. In CONCUR 2014 - Concurrency Theory - 25th International Conference. Heidelberg Dordrecht London New York: Springer, 2014, s. 249-265. ISBN 978-3-662-44583-9. Dostupné z: https://doi.org/10.1007/978-3-662-44584-6_18.

HASHEMI, Vahid; Hassan HATEFI a Jan KRČÁL. Probabilistic Bisimulations for PCTL Model Checking of Interval MDPs (extended version). Online. In Étienne André and Goran Frehse. Proceedings 1st International Workshop on Synthesis of Continuous Parameters. Grenoble, France: Electronic Proceedings in Theoretical Computer Science, 2014, s. 19-33. ISSN 2075-2180. Dostupné z: https://doi.org/10.4204/EPTCS.145.4.

ABAFFY, Michal; Tomáš BRÁZDIL; Vojtěch ŘEHÁK; Branislav BOŠANSKÝ; Antonín KUČERA a Jan KRČÁL. Solving adversarial patrolling games with bounded error: (extended abstract). In Alessio Lomuscio, Paul Scerri, Ana Bazzan, and Michael Huhns. Proceedings of the 13th International Conference on Autonomous Agents and Multiagent Systems (AAMAS'14). Richland, SC, USA: International Foundation for Autonomous Agents and Multiagent Systems (IFAAMAS), 2014, s. 1617-1618. ISBN 978-1-4503-2738-1.

HERMANNS, Holger; Jan KRČÁL a Jan KŘETÍNSKÝ. Compositional Verification and Optimization of Interactive Markov Chains. In CONCUR 2013 - Concurrency Theory - 24th International Conference. Heidelberg Dordrecht London New York: Springer, 2013, s. 364-379. ISBN 978-3-642-40183-1. Dostupné z: https://doi.org/10.1007/978-3-642-40184-8_26.

BRÁZDIL, Tomáš; Vojtěch FOREJT; Jan KRČÁL; Jan KŘETÍNSKÝ a Antonín KUČERA. Continuous-Time Stochastic Games with Time-Bounded Reachability. Information and Computation. Elsevier, 2013, roč. 224, č. 1, s. 46-70. ISSN 0890-5401. Dostupné z: https://doi.org/10.1016/j.ic.2013.01.001.

BRÁZDIL, Tomáš; Ľuboš KORENČIAK; Jan KRČÁL; Jan KŘETÍNSKÝ a Vojtěch ŘEHÁK. On time-average limits in deterministic and stochastic Petri nets. In ACM/SPEC International Conference on Performance Engineering, ICPE'13. New York: ACM, 2013, s. 421-422. ISBN 978-1-4503-1636-1. Dostupné z: https://doi.org/10.1145/2479871.2479936.

BRÁZDIL, Tomáš; Holger HERMANNS; Jan KRČÁL; Jan KŘETÍNSKÝ a Vojtěch ŘEHÁK. Verification of Open Interactive Markov Chains. In Deepak D'Souza and Telikepalli Kavitha and Jaikumar Radhakrishnan. IARCS Annual Conference on Foundations of Software Technology and Theoretical Computer Science (FSTTCS 2012). Dagstuhl, Germany: Schloss Dagstuhl--Leibniz-Zentrum fuer Informatik, 2012, s. 474-485. ISBN 978-3-939897-47-7. Dostupné z: https://doi.org/10.4230/LIPIcs.FSTTCS.2012.474.

BRÁZDIL, Tomáš; Jan KRČÁL; Jan KŘETÍNSKÝ a Vojtěch ŘEHÁK. Fixed-delay Events in Generalized Semi-Markov Processes Revisited. In CONCUR 2011 - Concurrency Theory: 22nd International Conference. Berlin Heidelberg New York: Springer, 2011, s. 140-155. ISBN 978-3-642-23216-9.

BRÁZDIL, Tomáš; Jan KRČÁL; Jan KŘETÍNSKÝ; Antonín KUČERA a Vojtěch ŘEHÁK. Measuring Performance of Continuous-Time Stochastic Processes using Timed Automata. In Emilio Frazzoli, Radu Grosu. HSCC 11: Proceedings of the 14th International Conference on Hybrid Systems: Computation and Control. New York: ACM, 2011, s. 33-42. ISBN 978-1-4503-0629-4.

BRÁZDIL, Tomáš; Jan KRČÁL; Jan KŘETÍNSKÝ; Antonín KUČERA a Vojtěch ŘEHÁK. Stochastic Real-Time Games with Qualitative Timed Automata Objectives. In CONCUR 2010 - Concurrency Theory. Berlin Heidelberg New York: Springer, 2010, s. 207-221. ISBN 978-3-642-15374-7. Dostupné z: https://doi.org/10.1007/978-3-642-15375-4_15.

BRÁZDIL, Tomáš; Vojtěch FOREJT; Jan KRČÁL; Jan KŘETÍNSKÝ a Antonín KUČERA. Continuous-Time Stochastic Games with Time-Bounded Reachability. In IARCS Annual Conference on Foundations of Software Technology and Theoretical Computer Science (FSTTCS 2009). Dagstuhl, Germany: Schloss Dagstuhl-Leibniz-Zentrum fuer Informatik, 2009, s. 61-72. ISBN 978-3-939897-13-2.