Výpis publikací

BAIER, Christel; Clemens DUBSLAFF; Ľuboš KORENČIAK; Antonín KUČERA a Vojtěch ŘEHÁK. Mean-Payoff Optimization in Continuous-Time Markov Chains with Parametric Alarms. ACM Transactions on Modeling and Computer Simulation (TOMACS). ACM, 2019, roč. 29, č. 4, s. "28:1"-"28:26", 26 s. ISSN 1049-3301. Dostupné z: https://doi.org/10.1145/3310225.

BAIER, Christel; Clemens DUBSLAFF; Ľuboš KORENČIAK; Antonín KUČERA a Vojtěch ŘEHÁK. Mean-Payoff Optimization in Continuous-Time Markov Chains with Parametric Alarms. In Nathalie Bertrand, Luca Bortolussi. Quantitative Evaluation of Systems. Cham: Springer, 2017, s. 190-206. ISBN 978-3-319-66334-0. Dostupné z: https://doi.org/10.1007/978-3-319-66335-7_12.

BAIER, Christel; Clemens DUBSLAFF; Ľuboš KORENČIAK; Antonín KUČERA a Vojtěch ŘEHÁK. Synthesis of Optimal Resilient Control Strategies. In Deepak D'Souza, K. Narayan Kumar. Automated Technology for Verification and Analysis. Cham: Springer International Publishing, 2017, s. 417-434. ISBN 978-3-319-68166-5. Dostupné z: https://doi.org/10.1007/978-3-319-68167-2_27.

KORENČIAK, Ľuboš; Antonín KUČERA a Vojtěch ŘEHÁK. Efficient Timeout Synthesis in Fixed-Delay CTMC Using Policy Iteration. In 2016 IEEE 24th International Symposium on Modeling, Analysis and Simulation of Computer and Telecommunication Systems. London: IEEE Computer Society, 2016, s. 367-372. ISBN 978-1-5090-3431-4. Dostupné z: https://doi.org/10.1109/MASCOTS.2016.34.

KORENČIAK, Ľuboš; Vojtěch ŘEHÁK a Adrian FARMADIN. Extension of PRISM by Synthesis of Optimal Timeouts in Fixed-Delay CTMC. In Erika Ábrahám, Marieke Huisman. Integrated Formal Methods. Switzerland: Springer International Publishing, 2016, s. 130-138. ISBN 978-3-319-33692-3. Dostupné z: https://doi.org/10.1007/978-3-319-33693-0_9.

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.

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.

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.

BEZDĚKA, Martin; Ondřej BOUDA; Ľuboš KORENČIAK; Matúš MADZIN a Vojtěch ŘEHÁK. Sequence Chart Studio. In Jens Brandt and Keijo Heljanko. 2012 12th International Conference on Application of Concurrency to System Design. Los Allamitos, Califonia, USA: IEEE Computer Society, 2012, s. 148-153. ISBN 978-1-4673-1687-3. Dostupné z: https://doi.org/10.1109/ACSD.2012.25.

ŘEHÁK, Vojtěch; Matúš MADZIN; Ľuboš KORENČIAK; Petr GOTTHARD; Ondřej KOCIAN; Martin BEZDĚKA; Ondřej BOUDA; Václav VACEK; Milan MALOTA a Zuzana PEKARČÍKOVÁ. Sequence Chart Studio: user-friendly drawing and verification tool for MSC. 2012.