Masarykova univerzita

Výpis publikací

česky | in English

Filtrování publikací

    2024

    1. Optimizing Local Satisfaction of Long-Run Average Objectives in Markov Decision Processes
      KLAŠKA, David, Antonín KUČERA, Vojtěch KŮR, Vít MUSIL a Vojtěch ŘEHÁK. Optimizing Local Satisfaction of Long-Run Average Objectives in Markov Decision Processes. In Wooldridge M., Dy J., Natarajan S. Proceedings of 38th Annual AAAI Conference on Artificial Intelligence (AAAI 2024). Washington, DC,. Neuveden: AAAI Press, 2024, s. 20143-20150. ISBN 978-1-57735-887-9. Dostupné z: https://dx.doi.org/10.1609/aaai.v38i18.29993.
      Paper URL
      RIV: Stať ve sborníku. angličtina.
      Klaška, David (203 Česká republika, domácí) -- Kučera, Antonín (203 Česká republika, garant, domácí) -- Kůr, Vojtěch (203 Česká republika, domácí) -- Musil, Vít (203 Česká republika, domácí) -- Řehák, Vojtěch (203 Česká republika, domácí)
      Klíčová slova anglicky: Markov decision processes; invariant distribution
      Druh sborníku: postkonferenční sborník
      Mezinárodní význam: ano
      Recenzováno: ano
      Změnil: prof. RNDr. Antonín Kučera, Ph.D., učo 2508. Změněno: 25. 4. 2024 10:06.
      Podrobněji: https://is.muni.cz/publication/2396817/cs

    2023

    1. Mean Payoff Optimization for Systems of Periodic Service and Maintenance
      KLAŠKA, David, Antonín KUČERA, Vít MUSIL a Vojtěch ŘEHÁK. Mean Payoff Optimization for Systems of Periodic Service and Maintenance. Online. In Edith Elkind. Proceedings of the Thirty-Second International Joint Conference on Artificial Intelligence, IJCAI 2023,. Neuveden: International Joint Conferences on Artificial Intelligence, 2023, s. 5386-5393. ISBN 978-1-956792-03-4. Dostupné z: https://dx.doi.org/10.24963/ijcai.2023/598.
      Paper URL
      RIV/00216224:14330/23:00131517 Stať ve sborníku. angličtina.
      Klaška, David (203 Česká republika, domácí) -- Kučera, Antonín (203 Česká republika, garant, domácí) -- Musil, Vít (203 Česká republika, domácí) -- Řehák, Vojtěch (203 Česká republika, domácí)
      Klíčová slova anglicky: Periodic Maintenance; strategy synthesis
      Druh sborníku: postkonferenční sborník
      Mezinárodní význam: ano
      Recenzováno: ano
      Změnil: RNDr. Pavel Šmerk, Ph.D., učo 3880. Změněno: 8. 4. 2024 15:45.
      Podrobněji: https://is.muni.cz/publication/2304579/cs
    2. Synthesizing Resilient Strategies for Infinite-Horizon Objectives in Multi-Agent Systems
      KLAŠKA, David, Antonín KUČERA, Martin KUREČKA, Vít MUSIL, Petr NOVOTNÝ a Vojtěch ŘEHÁK. Synthesizing Resilient Strategies for Infinite-Horizon Objectives in Multi-Agent Systems. Online. In Edith Elkind. Proceedings of the Thirty-Second International Joint Conference on Artificial Intelligence, IJCAI 2023,. Neuveden: International Joint Conferences on Artificial Intelligence, 2023, s. 171-179. ISBN 978-1-956792-03-4. Dostupné z: https://dx.doi.org/10.24963/ijcai.2023/20.
      Paper URL
      RIV/00216224:14330/23:00131516 Stať ve sborníku. angličtina.
      Klaška, David (203 Česká republika, domácí) -- Kučera, Antonín (203 Česká republika, garant, domácí) -- Kurečka, Martin (203 Česká republika, domácí) -- Musil, Vít (203 Česká republika, domácí) -- Novotný, Petr (203 Česká republika, domácí) -- Řehák, Vojtěch (203 Česká republika, domácí)
      Klíčová slova anglicky: Multi-agent systems; strategy synthesis
      Druh sborníku: postkonferenční sborník
      Mezinárodní význam: ano
      Recenzováno: ano
      Změnil: RNDr. Pavel Šmerk, Ph.D., učo 3880. Změněno: 8. 4. 2024 15:40.
      Podrobněji: https://is.muni.cz/publication/2304578/cs

    2022

    1. General Optimization Framework for Recurrent Reachability Objectives
      KLAŠKA, David, Antonín KUČERA, Vít MUSIL a Vojtěch ŘEHÁK. General Optimization Framework for Recurrent Reachability Objectives. Online. In Luc De Raedt. Proceedings of the Thirty-First International Joint Conference on Artificial Intelligence, IJCAI 2022. Neuveden: ijcai.org, 2022, s. 4642-4648. ISBN 978-1-956792-00-3. Dostupné z: https://dx.doi.org/10.24963/ijcai.2022/644.
      Paper URL
      RIV/00216224:14330/22:00126564 Stať ve sborníku. angličtina.
      Klaška, David (203 Česká republika, domácí) -- Kučera, Antonín (203 Česká republika, garant, domácí) -- Musil, Vít (203 Česká republika, domácí) -- Řehák, Vojtěch (203 Česká republika, domácí)
      Klíčová slova anglicky: recurrent reachability objectives; strategy synthesis
      Druh sborníku: postkonferenční sborník
      Mezinárodní význam: ano
      Recenzováno: ano
      Změnil: RNDr. Pavel Šmerk, Ph.D., učo 3880. Změněno: 28. 3. 2023 11:54.
      Podrobněji: https://is.muni.cz/publication/2214541/cs
    2. Minimizing Expected Intrusion Detection Time in Adversarial Patrolling
      KLAŠKA, David, Antonín KUČERA, Vít MUSIL a Vojtěch ŘEHÁK. Minimizing Expected Intrusion Detection Time in Adversarial Patrolling. Online. In Piotr Faliszewski, Viviana Mascardi, Catherine Pelachaud, Matthew E. Taylor. 21st International Conference on Autonomous Agents and Multiagent Systems, AAMAS 2022. Neuveden: International Foundation for Autonomous Agents and Multiagent Systems (IFAAMAS), 2022, s. 1660-1662. ISBN 978-1-4503-9213-6. Dostupné z: https://dx.doi.org/10.5555/3535850.3536068.
      Paper URL
      RIV/00216224:14330/22:00126563 Stať ve sborníku. angličtina. Spojené státy.
      Klaška, David (203 Česká republika, domácí) -- Kučera, Antonín (203 Česká republika, garant, domácí) -- Musil, Vít (203 Česká republika, domácí) -- Řehák, Vojtěch (203 Česká republika, domácí)
      Klíčová slova anglicky: Security Games; Adversarial Patrolling
      Druh sborníku: postkonferenční sborník
      Mezinárodní význam: ano
      Recenzováno: ano
      Změnil: RNDr. Pavel Šmerk, Ph.D., učo 3880. Změněno: 28. 3. 2023 11:53.
      Podrobněji: https://is.muni.cz/publication/2214539/cs
    3. On-the-fly Adaptation of Patrolling Strategies in Changing Environments
      BRÁZDIL, Tomáš, David KLAŠKA, Antonín KUČERA, Vít MUSIL, Petr NOVOTNÝ a Vojtěch ŘEHÁK. On-the-fly Adaptation of Patrolling Strategies in Changing Environments. Online. In James Cussens, Kun Zhang. Proceedings of the Thirty-Eighth Conference on Uncertainty in Artificial Intelligence, UAI 2022. Neuveden: Proceedings of Machine Learning Research, 2022, s. 244-254. ISBN 978-1-7138-6329-8.
      Paper URL
      RIV/00216224:14330/22:00127027 Stať ve sborníku. angličtina.
      Brázdil, Tomáš (203 Česká republika, domácí) -- Klaška, David (203 Česká republika, domácí) -- Kučera, Antonín (203 Česká republika, garant, domácí) -- Musil, Vít (203 Česká republika, domácí) -- Novotný, Petr (203 Česká republika, domácí) -- Řehák, Vojtěch (203 Česká republika, domácí)
      Klíčová slova anglicky: patrolling games; strategy synthesis
      Druh sborníku: postkonferenční sborník
      Mezinárodní význam: ano
      Recenzováno: ano
      Změnil: RNDr. Pavel Šmerk, Ph.D., učo 3880. Změněno: 5. 4. 2023 03:29.
      Podrobněji: https://is.muni.cz/publication/2227363/cs

    2021

    1. Regstar: Efficient Strategy Synthesis for Adversarial Patrolling Games
      KLAŠKA, David, Antonín KUČERA, Vojtěch ŘEHÁK a Vít MUSIL. Regstar: Efficient Strategy Synthesis for Adversarial Patrolling Games. Online. In de Campos, Cassio and Maathuis, Marloes H. Proceedings of 37th Conference on Uncertainty in Artificial Intelligence (UAI 2021). Neuveden: AUAI Press, 2021, s. 471-481. ISSN 2640-3498.
      URL
      RIV/00216224:14330/21:00122557 Stať ve sborníku. angličtina.
      Klaška, David (203 Česká republika, domácí) -- Kučera, Antonín (203 Česká republika, garant, domácí) -- Řehák, Vojtěch (203 Česká republika, domácí) -- Musil, Vít (203 Česká republika, domácí)
      Klíčová slova anglicky: adversarial security games; strategy synthesis
      Druh sborníku: postkonferenční sborník
      Mezinárodní význam: ano
      Recenzováno: ano
      Změnil: doc. RNDr. Vojtěch Řehák, Ph.D., učo 3721. Změněno: 14. 3. 2023 16:08.
      Podrobněji: https://is.muni.cz/publication/1797259/cs

    2020

    1. Adversarial Patrolling with Drones
      KLAŠKA, David, Antonín KUČERA a Vojtěch ŘEHÁK. Adversarial Patrolling with Drones. Online. In Proceedings of the 2020 International Conference on Autonomous Agents & Multiagent Systems. Richland, SC: International Foundation for Autonomous Agents and Multiagent Systems, 2020, s. 629-637. ISBN 978-1-4503-7518-4. Dostupné z: https://dx.doi.org/10.5555/3398761.3398837.
      RIV/00216224:14330/20:00114048 Stať ve sborníku. angličtina.
      Klaška, David (203 Česká republika, domácí) -- Kučera, Antonín (203 Česká republika, domácí) -- Řehák, Vojtěch (203 Česká republika, garant, domácí)
      Klíčová slova anglicky: Single and multi-agent planning and scheduling; patrolling
      Druh sborníku: postkonferenční sborník
      Mezinárodní význam: ano
      Recenzováno: ano
      Změnil: RNDr. Pavel Šmerk, Ph.D., učo 3880. Změněno: 30. 4. 2021 07:54.
      Podrobněji: https://is.muni.cz/publication/1618996/cs

    2019

    1. Mean-Payoff Optimization in Continuous-Time Markov Chains with Parametric Alarms
      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://dx.doi.org/10.1145/3310225.
      URL
      RIV/00216224:14330/19:00107916 Článek v odborném periodiku. angličtina. Spojené státy.
      Baier, Christel (276 Německo) -- Dubslaff, Clemens (276 Německo) -- Korenčiak, Ľuboš (703 Slovensko, garant, domácí) -- Kučera, Antonín (203 Česká republika, domácí) -- Řehák, Vojtěch (203 Česká republika, domácí)
      Klíčová slova anglicky: parameter synthesis; continuous-time Markov chains; non-Markovian distributions; Markov decision process; policy iteration; generalized semi-Markov process; Markov regenerative process
      Mezinárodní význam: ano
      Recenzováno: ano
      Změnil: doc. RNDr. Vojtěch Řehák, Ph.D., učo 3721. Změněno: 20. 4. 2020 10:54.
      Podrobněji: https://is.muni.cz/publication/1598416/cs
    2. PROLEMus: A Proactive Learning-Based MAC Protocol Against PUEA and SSDF Attacks in Energy Constrained Cognitive Radio Networks
      PATNAIK, Milan, V. KAMAKOTI, Václav MATYÁŠ a Vojtěch ŘEHÁK. PROLEMus: A Proactive Learning-Based MAC Protocol Against PUEA and SSDF Attacks in Energy Constrained Cognitive Radio Networks. IEEE Transactions on Cognitive Communications and Networking. 2019, roč. 5, č. 2, s. 400-412. ISSN 2332-7731. Dostupné z: https://dx.doi.org/10.1109/TCCN.2019.2913397.
      URL
      RIV/00216224:14330/19:00107446 Článek v odborném periodiku. angličtina. Spojené státy.
      Patnaik, Milan (356 Indie, garant, domácí) -- Kamakoti, V. (356 Indie) -- Matyáš, Václav (203 Česká republika, domácí) -- Řehák, Vojtěch (203 Česká republika, domácí)
      Klíčová slova anglicky: Cognitive Radio (CR); Primary User Emulation; Attack (PUEA); Spectrum Sensing Data Falsification (SSDF); Denial of Service (DoS); Model Predictive Control (MPC); Chernoff Bounds
      Mezinárodní význam: ano
      Recenzováno: ano
      Změnil: RNDr. Pavel Šmerk, Ph.D., učo 3880. Změněno: 28. 4. 2020 07:36.
      Podrobněji: https://is.muni.cz/publication/1537756/cs

    2018

    1. Automatic Synthesis of Efficient Regular Strategies in Adversarial Patrolling Games
      KLAŠKA, David, Antonín KUČERA, Tomáš LAMSER a Vojtěch ŘEHÁK. Automatic Synthesis of Efficient Regular Strategies in Adversarial Patrolling Games. Online. In Proceedings of the 2018 International Conference on Autonomous Agents & Multiagent Systems. Richland, SC: International Foundation for Autonomous Agents and Multiagent Systems, 2018, s. 659-666. ISBN 978-1-5108-6808-3. Dostupné z: https://dx.doi.org/10.5555/3237383.3237481.
      URL
      RIV/00216224:14330/18:00100830 Stať ve sborníku. angličtina.
      Klaška, David (203 Česká republika, domácí) -- Kučera, Antonín (203 Česká republika, domácí) -- Lamser, Tomáš (203 Česká republika, domácí) -- Řehák, Vojtěch (203 Česká republika, garant, domácí)
      Klíčová slova anglicky: patrolling games; single and multi-agent planning and scheduling
      Druh sborníku: předkonferenční sborník
      Mezinárodní význam: ano
      Recenzováno: ano
      Změnil: doc. RNDr. Vojtěch Řehák, Ph.D., učo 3721. Změněno: 24. 9. 2019 15:31.
      Podrobněji: https://is.muni.cz/publication/1408461/cs
    2. Solving Patrolling Problems in the Internet Environment
      BRÁZDIL, Tomáš, Antonín KUČERA a Vojtěch ŘEHÁK. Solving Patrolling Problems in the Internet Environment. Online. In Jerome Lang. Proceedings of the Twenty-Seventh International Joint Conference on Artificial Intelligence, IJCAI 2018, July 13-19, 2018, Stockholm, Sweden. Neuveden: International Joint Conferences on Artificial Intelligence, 2018, s. 121-127. ISBN 978-0-9992411-2-7. Dostupné z: https://dx.doi.org/10.24963/ijcai.2018/17.
      IJCAI.org
      RIV/00216224:14330/18:00101076 Stať ve sborníku. angličtina. Švédsko.
      Brázdil, Tomáš (203 Česká republika, domácí) -- Kučera, Antonín (203 Česká republika, garant, domácí) -- Řehák, Vojtěch (203 Česká republika, domácí)
      Klíčová slova anglicky: patrolling games; strategy synthesis
      Druh sborníku: postkonferenční sborník
      Mezinárodní význam: ano
      Recenzováno: ano
      Změnil: Mgr. Michal Petr, učo 65024. Změněno: 16. 5. 2022 15:36.
      Podrobněji: https://is.muni.cz/publication/1423781/cs

    2017

    1. Mean-Payoff Optimization in Continuous-Time Markov Chains with Parametric Alarms
      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://dx.doi.org/10.1007/978-3-319-66335-7_12.
      RIV/00216224:14330/17:00095081 Stať ve sborníku. Informatika. angličtina. Švýcarsko.
      Baier, Christel (276 Německo) -- Dubslaff, Clemens (276 Německo) -- Korenčiak, Ľuboš (703 Slovensko, garant, domácí) -- Kučera, Antonín (203 Česká republika, domácí) -- Řehák, Vojtěch (203 Česká republika, domácí)
      Klíčová slova anglicky: parameter synthesis; continuous-time Markov chains; non-Markovian distributions; Markov decision process; policy iteration; generalized semi-Markov process; Markov regenerative process
      Druh sborníku: předkonferenční sborník
      Mezinárodní význam: ano
      Recenzováno: ano
      Změnil: RNDr. Pavel Šmerk, Ph.D., učo 3880. Změněno: 27. 4. 2018 09:56.
      Podrobněji: https://is.muni.cz/publication/1392972/cs
    2. Synthesis of Optimal Resilient Control Strategies
      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://dx.doi.org/10.1007/978-3-319-68167-2_27.
      RIV/00216224:14330/17:00095082 Stať ve sborníku. Informatika. angličtina. Švýcarsko.
      Baier, Christel (276 Německo) -- Dubslaff, Clemens (276 Německo) -- Korenčiak, Ľuboš (703 Slovensko, garant, domácí) -- Kučera, Antonín (203 Česká republika, domácí) -- Řehák, Vojtěch (203 Česká republika, domácí)
      Klíčová slova anglicky: controller synthesis; Markov decision processes; resilience
      Druh sborníku: předkonferenční sborník
      Mezinárodní význam: ano
      Recenzováno: ano
      Změnil: RNDr. Pavel Šmerk, Ph.D., učo 3880. Změněno: 27. 4. 2018 11:00.
      Podrobněji: https://is.muni.cz/publication/1392977/cs

    2016

    1. Efficient Timeout Synthesis in Fixed-Delay CTMC Using Policy Iteration
      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://dx.doi.org/10.1109/MASCOTS.2016.34.
      URL
      Název anglicky: Efficient Timeout Synthesis in Fixed-Delay CTMC Using Policy Iteration
      RIV/00216224:14330/16:00088476 Stať ve sborníku. Informatika. angličtina. Spojené státy.
      Korenčiak, Ľuboš (703 Slovensko, domácí) -- Kučera, Antonín (203 Česká republika, domácí) -- Řehák, Vojtěch (203 Česká republika, garant, domácí)
      Klíčová slova anglicky: Clocks: Protocols; Markov processes; Delays; Standards; Computational modeling
      Druh sborníku: postkonferenční sborník
      Mezinárodní význam: ano
      Recenzováno: ano
      Změnil: RNDr. Pavel Šmerk, Ph.D., učo 3880. Změněno: 12. 5. 2017 07:03.
      Podrobněji: https://is.muni.cz/publication/1365671/cs
    2. Extension of PRISM by Synthesis of Optimal Timeouts in Fixed-Delay CTMC
      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://dx.doi.org/10.1007/978-3-319-33693-0_9.
      URL
      RIV/00216224:14330/16:00088084 Stať ve sborníku. Informatika. angličtina. Švýcarsko.
      Korenčiak, Ľuboš (703 Slovensko, domácí) -- Řehák, Vojtěch (203 Česká republika, garant, domácí) -- Farmadin, Adrian (703 Slovensko, domácí)
      Klíčová slova anglicky: CTMC; DSPN; synthesis; timeout; expected reward; PRISM model checker
      Druh sborníku: předkonferenční sborník
      Mezinárodní význam: ano
      Recenzováno: ano
      Změnil: RNDr. Pavel Šmerk, Ph.D., učo 3880. Změněno: 13. 5. 2020 19:23.
      Podrobněji: https://is.muni.cz/publication/1351805/cs

    2015

    1. Optimizing Performance of Continuous-Time Stochastic Systems Using Timeout Synthesis
      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://dx.doi.org/10.1007/978-3-319-22264-6_10.
      RIV/00216224:14330/15:00081201 Stať ve sborníku. Informatika. angličtina. Německo.
      Brázdil, Tomáš (203 Česká republika, domácí) -- Korenčiak, Ľuboš (703 Slovensko, garant, domácí) -- Krčál, Jan (203 Česká republika) -- Novotný, Petr (203 Česká republika, domácí) -- Řehák, Vojtěch (203 Česká republika, domácí)
      Klíčová slova anglicky: continuous-time Markov chains; synthesis; timeout
      Mezinárodní význam: ano
      Recenzováno: ano
      Změnil: doc. RNDr. Vojtěch Řehák, Ph.D., učo 3721. Změněno: 10. 12. 2018 13:41.
      Podrobněji: https://is.muni.cz/publication/1317666/cs

    2014

    1. Dealing with Zero Density Using Piecewise Phase-Type Approximation
      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://dx.doi.org/10.1007/978-3-319-10885-8_9.
      RIV/00216224:14330/14:00074094 Stať ve sborníku. Informatika. angličtina. Švýcarsko.
      Korenčiak, Ľuboš (703 Slovensko, garant, domácí) -- Krčál, Jan (203 Česká republika) -- Řehák, Vojtěch (203 Česká republika, domácí)
      Klíčová slova anglicky: phase-type; CTMC; discrete-time transition
      Mezinárodní význam: ano
      Recenzováno: ano
      Změnil: Mgr. Ľuboš Korenčiak, Ph.D., učo 208317. Změněno: 14. 11. 2014 14:27.
      Podrobněji: https://is.muni.cz/publication/1206017/cs
    2. Solving adversarial patrolling games with bounded error: (extended abstract)
      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.
      RIV/00216224:14330/14:00073686 Stať ve sborníku. Informatika. angličtina. Spojené státy.
      Abaffy, Michal (703 Slovensko, domácí) -- Brázdil, Tomáš (203 Česká republika, domácí) -- Řehák, Vojtěch (203 Česká republika, garant, domácí) -- Bošanský, Branislav (203 Česká republika) -- Kučera, Antonín (203 Česká republika, domácí) -- Krčál, Jan (203 Česká republika, domácí)
      Klíčová slova anglicky: patrolling games; stochastic games; epsilon-optimal strategy
      Druh sborníku: předkonferenční sborník
      Mezinárodní význam: ano
      Recenzováno: ano
      Změnil: doc. RNDr. Vojtěch Řehák, Ph.D., učo 3721. Změněno: 13. 6. 2014 16:04.
      Podrobněji: https://is.muni.cz/publication/1185661/cs

    2013

    1. Controllable-choice Message Sequence Graphs
      CHMELÍK, Martin a Vojtěch ŘEHÁK. Controllable-choice Message Sequence Graphs. In Proceedings of Mathematical and Engineering Methods in Computer Science, 8th Doctoral Workshop (MEMICS 2012), Selected Papers. Berlin Heidelberg: Springer, 2013, s. 118-130. ISBN 978-3-642-36044-2. Dostupné z: https://dx.doi.org/10.1007/978-3-642-36046-6_12.
      URL
      RIV/00216224:14330/13:00065934 Stať ve sborníku. Informatika. angličtina. Česká republika.
      Chmelík, Martin (203 Česká republika) -- Řehák, Vojtěch (203 Česká republika, garant, domácí)
      Klíčová slova anglicky: message sequence charts; realizability; local choice
      Druh sborníku: postkonferenční sborník
      Mezinárodní význam: ano
      Recenzováno: ano
      Změnil: RNDr. Pavel Šmerk, Ph.D., učo 3880. Změněno: 25. 4. 2014 13:50.
      Podrobněji: https://is.muni.cz/publication/1066786/cs
    2. On time-average limits in deterministic and stochastic Petri nets
      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://dx.doi.org/10.1145/2479871.2479936.
      RIV/00216224:14330/13:00066145 Stať ve sborníku. Informatika. angličtina. Spojené státy.
      Brázdil, Tomáš (203 Česká republika, domácí) -- Korenčiak, Ľuboš (703 Slovensko, domácí) -- Krčál, Jan (203 Česká republika, domácí) -- Křetínský, Jan (203 Česká republika, garant, domácí) -- Řehák, Vojtěch (203 Česká republika, domácí)
      Klíčová slova anglicky: performance evaluation; stochastic Petri nets; stability
      Mezinárodní význam: ano
      Recenzováno: ano
      Změnil: RNDr. Pavel Šmerk, Ph.D., učo 3880. Změněno: 28. 4. 2014 00:02.
      Podrobněji: https://is.muni.cz/publication/1110174/cs

    2012

    1. Almost linear Büchi automata
      BABIAK, Tomáš, Jan STREJČEK a Vojtěch ŘEHÁK. Almost linear Büchi automata. Mathematical Structures in Computer Science. Cambridge: Cambridge University Press, 2012, roč. 22, č. 2, s. 203-235. ISSN 0960-1295. Dostupné z: https://dx.doi.org/10.1017/S0960129511000399.
      URL
      Název česky: Skoro lineární Büchiho automaty
      Název anglicky: Almost linear Büchi automata
      RIV/00216224:14330/12:00057181 Článek v odborném periodiku. Informatika. angličtina. Česká republika.
      Babiak, Tomáš (703 Slovensko, domácí) -- Strejček, Jan (203 Česká republika, domácí) -- Řehák, Vojtěch (203 Česká republika, garant, domácí)
      Klíčová slova anglicky: LTL; linear time logic; model checking
      Mezinárodní význam: ano
      Recenzováno: ano
      Změnil: RNDr. Pavel Šmerk, Ph.D., učo 3880. Změněno: 22. 4. 2013 05:15.
      Podrobněji: https://is.muni.cz/publication/913326/cs
    2. LTL to Büchi Automata Translation: Fast and More Deterministic
      BABIAK, Tomáš, Mojmír KŘETÍNSKÝ, Vojtěch ŘEHÁK a Jan STREJČEK. LTL to Büchi Automata Translation: Fast and More Deterministic. In Cormac Flanagan, Barbara König. TACAS 2012: 18th International Conference on Tools and Algorithms for the Construction and Analysis of Systems. Berlin, Heidelberg: Springer-Verlag, 2012, s. 95-109. ISBN 978-3-642-28755-8. Dostupné z: https://dx.doi.org/10.1007/978-3-642-28756-5_8.
      URL
      Název česky: Překlad LTL na Büchiho automaty: rychle a determinističtěji
      RIV/00216224:14330/12:00057222 Stať ve sborníku. Informatika. angličtina. Německo.
      Babiak, Tomáš (203 Česká republika, garant, domácí) -- Křetínský, Mojmír (203 Česká republika, domácí) -- Řehák, Vojtěch (203 Česká republika, domácí) -- Strejček, Jan (203 Česká republika, domácí)
      Klíčová slova anglicky: Linear Temporal Logic; Büchi Automata
      Druh sborníku: předkonferenční sborník
      Mezinárodní význam: ano
      Recenzováno: ano
      Změnil: doc. RNDr. Vojtěch Řehák, Ph.D., učo 3721. Změněno: 9. 4. 2013 18:14.
      Podrobněji: https://is.muni.cz/publication/963563/cs
    3. Sequence Chart Studio
      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://dx.doi.org/10.1109/ACSD.2012.25.
      Název česky: Sequence Chart Studio
      RIV/00216224:14330/12:00057472 Stať ve sborníku. Informatika. angličtina. Spojené státy.
      Bezděka, Martin (203 Česká republika, domácí) -- Bouda, Ondřej (203 Česká republika, domácí) -- Korenčiak, Ľuboš (703 Slovensko, domácí) -- Madzin, Matúš (703 Slovensko, domácí) -- Řehák, Vojtěch (203 Česká republika, garant, domácí)
      Klíčová slova anglicky: message sequence charts; checkers; transformers; sequence chart drawing
      Druh sborníku: předkonferenční sborník
      Mezinárodní význam: ano
      Recenzováno: ano
      Změnil: doc. RNDr. Vojtěch Řehák, Ph.D., učo 3721. Změněno: 23. 4. 2013 14:01.
      Podrobněji: https://is.muni.cz/publication/986577/cs
    4. Sequence Chart Studio: user-friendly drawing and verification tool for MSC (software)
      Ř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.
      URL
      Název česky: Sequence Chart Studio: uživatelsky přívětivý nástroj pro kreslení a verifikaci MSC
      RIV/00216224:14330/12:00057901 Software. Informatika. angličtina. Česká republika.
      Řehák, Vojtěch (203 Česká republika, garant, domácí) -- Madzin, Matúš (703 Slovensko, domácí) -- Korenčiak, Ľuboš (703 Slovensko, domácí) -- Gotthard, Petr (203 Česká republika, domácí) -- Kocian, Ondřej (203 Česká republika, domácí) -- Bezděka, Martin (203 Česká republika, domácí) -- Bouda, Ondřej (203 Česká republika, domácí) -- Vacek, Václav (203 Česká republika, domácí) -- Malota, Milan (703 Slovensko, domácí) -- Pekarčíková, Zuzana (703 Slovensko, domácí)
      Klíčová slova anglicky: Message Sequence Charts; ITU-T Z.120; Microsoft Visio; time race checking; find flow; easy drawing
      Mezinárodní význam: ano
      Změnil: doc. RNDr. Vojtěch Řehák, Ph.D., učo 3721. Změněno: 19. 4. 2013 12:56.
      Podrobněji: https://is.muni.cz/publication/1076330/cs
    5. Verification of Open Interactive Markov Chains
      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://dx.doi.org/10.4230/LIPIcs.FSTTCS.2012.474.
      URL
      RIV/00216224:14330/12:00057580 Stať ve sborníku. Informatika. angličtina. Německo.
      Brázdil, Tomáš (203 Česká republika, garant, domácí) -- Hermanns, Holger (276 Německo) -- Krčál, Jan (203 Česká republika, domácí) -- Křetínský, Jan (203 Česká republika, domácí) -- Řehák, Vojtěch (203 Česká republika, domácí)
      Klíčová slova anglicky: IMC;compositional verification;synthesis;time bounded reachability;discretization
      Mezinárodní význam: ano
      Recenzováno: ano
      Změnil: doc. RNDr. Vojtěch Řehák, Ph.D., učo 3721. Změněno: 9. 4. 2013 17:57.
      Podrobněji: https://is.muni.cz/publication/991746/cs

    2011

    1. Fixed-delay Events in Generalized Semi-Markov Processes Revisited
      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.
      RIV/00216224:14330/11:00049932 Stať ve sborníku. Informatika. angličtina. Německo.
      Brázdil, Tomáš (203 Česká republika, garant, domácí) -- Krčál, Jan (203 Česká republika, domácí) -- Křetínský, Jan (203 Česká republika, domácí) -- Řehák, Vojtěch (203 Česká republika, domácí)
      Klíčová slova anglicky: generalized semi-Markov processes; long-run average; stability; discrete events
      Druh sborníku: postkonferenční sborník
      Mezinárodní význam: ano
      Recenzováno: ano
      Změnil: doc. RNDr. Vojtěch Řehák, Ph.D., učo 3721. Změněno: 10. 4. 2013 18:18.
      Podrobněji: https://is.muni.cz/publication/948678/cs
    2. Measuring Performance of Continuous-Time Stochastic Processes using Timed Automata
      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.
      RIV/00216224:14330/11:00049786 Stať ve sborníku. Informatika. angličtina. Spojené státy.
      Brázdil, Tomáš (203 Česká republika, domácí) -- Krčál, Jan (203 Česká republika, domácí) -- Křetínský, Jan (203 Česká republika, domácí) -- Kučera, Antonín (203 Česká republika, garant, domácí) -- Řehák, Vojtěch (203 Česká republika, domácí)
      Klíčová slova anglicky: semi-Markov processes; timed automata
      Druh sborníku: postkonferenční sborník
      Mezinárodní význam: ano
      Recenzováno: ano
      Změnil: prof. Dr. rer. nat. RNDr. Mgr. Bc. Jan Křetínský, Ph.D., učo 139914. Změněno: 9. 4. 2013 17:58.
      Podrobněji: https://is.muni.cz/publication/937653/cs

    2010

    1. Almost Linear Büchi Automata
      BABIAK, Tomáš, Jan STREJČEK a Vojtěch ŘEHÁK. Almost Linear Büchi Automata. In MEMICS 2010. 2010. ISBN 978-80-87342-10-7.
      Název česky: Skoro lineární Büchiho automaty
      Název anglicky: Almost Linear Büchi Automata
      RIV/00216224:14330/10:00045184 Prezentace na konferencích. Informatika. angličtina. Česká republika.
      Babiak, Tomáš (703 Slovensko, garant, domácí) -- Strejček, Jan (203 Česká republika, domácí) -- Řehák, Vojtěch (203 Česká republika, domácí)
      Klíčová slova anglicky: LTL; linear time logic; Büchi Automata; model checking
      Druh účasti: aktivní účast
      Změnil: doc. RNDr. Vojtěch Řehák, Ph.D., učo 3721. Změněno: 11. 1. 2011 16:52.
      Podrobněji: https://is.muni.cz/publication/904350/cs
    2. Decidable Race Condition and Open Coregions in HMSC
      ŘEHÁK, Vojtěch, Petr SLOVÁK, Jan STREJČEK a Loïc HÉLOUËT. Decidable Race Condition and Open Coregions in HMSC. In Jochen Küster, Emilio Tuosto. Proceedings of the Ninth International Workshop on Graph Transformation and Visual Modeling Techniques (GT-VMT 2010). Paphos, Kypr: ECEASST, 2010, 12 s. ISSN 1863-2122.
      URL
      Název česky: Rozhodnutelné podmínky souběhu a otevřené koregiony v HMSC
      RIV/00216224:14330/10:00043646 Stať ve sborníku. Informatika. angličtina. Kypr.
      Řehák, Vojtěch (203 Česká republika, garant, domácí) -- Slovák, Petr (203 Česká republika) -- Strejček, Jan (203 Česká republika, domácí) -- Hélouët, Loïc (250 Francie)
      Klíčová slova anglicky: HMSC; race condition; trace-race condition; open coregions;
      Druh sborníku: postkonferenční sborník
      Mezinárodní význam: ano
      Recenzováno: ano
      Změnil: doc. RNDr. Vojtěch Řehák, Ph.D., učo 3721. Změněno: 28. 4. 2011 15:15.
      Podrobněji: https://is.muni.cz/publication/878519/cs
    3. Stochastic Real-Time Games with Qualitative Timed Automata Objectives
      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://dx.doi.org/10.1007/978-3-642-15375-4_15.
      RIV/00216224:14330/10:00065879 Stať ve sborníku. Informatika. angličtina. Německo.
      Brázdil, Tomáš (203 Česká republika, domácí) -- Krčál, Jan (203 Česká republika, domácí) -- Křetínský, Jan (203 Česká republika, domácí) -- Kučera, Antonín (203 Česká republika, garant, domácí) -- Řehák, Vojtěch (203 Česká republika, domácí)
      Klíčová slova anglicky: stochastic games; timed automata
      Druh sborníku: postkonferenční sborník
      Mezinárodní význam: ano
      Recenzováno: ano
      Změnil: RNDr. Pavel Šmerk, Ph.D., učo 3880. Změněno: 30. 4. 2014 04:35.
      Podrobněji: https://is.muni.cz/publication/896101/cs

    2009

    1. Almost Linear Büchi Automata
      BABIAK, Tomáš, Vojtěch ŘEHÁK a Jan STREJČEK. Almost Linear Büchi Automata. In Proceedings 16th International Workshop on Expressiveness in Concurrency 2009 (EXPRESS'09). 1st ed. internet: EPTCS, 2009, s. 16-25. ISSN 2075-2180.
      DOI
      Název česky: Skoro lineární Büchiho automaty
      RIV/00216224:14330/09:00029631 Stať ve sborníku. Informatika. angličtina. Itálie.
      Babiak, Tomáš (703 Slovensko) -- Řehák, Vojtěch (203 Česká republika, garant) -- Strejček, Jan (203 Česká republika)
      Klíčová slova anglicky: LTL; linear time logic; model checking
      Druh sborníku: postkonferenční sborník
      Mezinárodní význam: ano
      Recenzováno: ano
      Změnil: doc. RNDr. Vojtěch Řehák, Ph.D., učo 3721. Změněno: 23. 11. 2009 16:12.
      Podrobněji: https://is.muni.cz/publication/856270/cs
    2. On Decidability of LTL Model Checking for Process Rewrite Systems
      BOZZELLI, Laura, Mojmír KŘETÍNSKÝ, Vojtěch ŘEHÁK a Jan STREJČEK. On Decidability of LTL Model Checking for Process Rewrite Systems. Acta informatica. Berlin: Springer-Verlag, 2009, roč. 46, č. 1, s. 1-28. ISSN 0001-5903.
      URL
      Název česky: O rozhodnutelnosti problému ověřování modelu pro LTL a procesové přepisovací systémy
      RIV/00216224:14330/09:00029078 Článek v odborném periodiku. Informatika. angličtina. Německo.
      Bozzelli, Laura (380 Itálie) -- Křetínský, Mojmír (203 Česká republika, garant) -- Řehák, Vojtěch (203 Česká republika) -- Strejček, Jan (203 Česká republika)
      Klíčová slova anglicky: infinite-state systems; linear time logic; decidability; model checking
      Mezinárodní význam: ano
      Recenzováno: ano
      Změnil: doc. RNDr. Vojtěch Řehák, Ph.D., učo 3721. Změněno: 22. 5. 2009 16:43.
      Podrobněji: https://is.muni.cz/publication/769242/cs
    3. On Decidability of LTL+Past Model Checking for Process Rewrite Systems
      KŘETÍNSKÝ, Mojmír, Vojtěch ŘEHÁK a Jan STREJČEK. On Decidability of LTL+Past Model Checking for Process Rewrite Systems. In Joint Proceedings of the 8th, 9th, and 10th International Workshops on Verification of Infinite-State Systems (INFINITY 2006, 2007, 2008). 2009. vyd. Amsterdam, The Netherlands: Elsevier Science Publishers, 2009, s. 105-117. ISSN 1571-0661.
      URL
      Název česky: O rozhodnutelnosti ověřování modelu pro logiku LTL+Past a Procesové Přepisovací Systémy
      RIV/00216224:14330/09:00028439 Stať ve sborníku. Informatika. angličtina. Portugalsko.
      Křetínský, Mojmír (203 Česká republika) -- Řehák, Vojtěch (203 Česká republika) -- Strejček, Jan (203 Česká republika, garant)
      Klíčová slova anglicky: process rewrite systems; LTL; infinite-state; model-checking; decidability
      Druh sborníku: postkonferenční sborník
      Mezinárodní význam: ano
      Recenzováno: ano
      Změnil: doc. RNDr. Vojtěch Řehák, Ph.D., učo 3721. Změněno: 23. 6. 2009 16:57.
      Podrobněji: https://is.muni.cz/publication/800536/cs
    4. Reachability is decidable for weakly extended process rewrite systems
      KŘETÍNSKÝ, Mojmír, Vojtěch ŘEHÁK a Jan STREJČEK. Reachability is decidable for weakly extended process rewrite systems. Information and Computation. Elsevier, 2009, roč. 207, č. 6, s. 671-680. ISSN 0890-5401.
      URL
      Název česky: Dosažitelnost je rozhodnutelná pro slabě rozšířené procesové přepisovací systémy
      RIV/00216224:14330/09:00028490 Článek v odborném periodiku. Informatika. angličtina. Německo.
      Křetínský, Mojmír (203 Česká republika) -- Řehák, Vojtěch (203 Česká republika) -- Strejček, Jan (203 Česká republika, garant)
      Klíčová slova anglicky: process rewrite systems; state extension; infinite-state; (un)decidability; reachability
      Mezinárodní význam: ano
      Recenzováno: ano
      Změnil: prof. RNDr. Mojmír Křetínský, CSc., učo 631. Změněno: 7. 5. 2009 10:19.
      Podrobněji: https://is.muni.cz/publication/830834/cs

    2008

    1. Petri Nets Are Less Expressive Than State-Extended PA
      KŘETÍNSKÝ, Mojmír, Vojtěch ŘEHÁK a Jan STREJČEK. Petri Nets Are Less Expressive Than State-Extended PA. Theoretical Computer Science. Amsterdam, North Holland: Elsevier Science Publishers, 2008, roč. 394, 1-2, s. 134-140. ISSN 0304-3975.
      Název česky: Petriho sítě mají menší vyjadřovací sílu než stavově-rozšířené PA
      RIV/00216224:14330/08:00024164 Článek v odborném periodiku. Informatika. angličtina. Nizozemské království.
      Křetínský, Mojmír (203 Česká republika) -- Řehák, Vojtěch (203 Česká republika) -- Strejček, Jan (203 Česká republika, garant)
      Klíčová slova anglicky: Petri nets; PA processes; bisimulation
      Mezinárodní význam: ano
      Recenzováno: ano
      Změnil: doc. RNDr. Vojtěch Řehák, Ph.D., učo 3721. Změněno: 22. 5. 2009 16:55.
      Podrobněji: https://is.muni.cz/publication/760714/cs

    2007

    1. Formalisms and Tools for Design and Specification of Network Protocols
      BABICA, Jindřich, Vojtěch ŘEHÁK, Petr SLOVÁK, Pavel TROUBIL a Martin ZAVADIL. Formalisms and Tools for Design and Specification of Network Protocols. Brno: FI MU, 2007. FIMU-RS-2007-02.
      URL
      Název česky: Formalizmy a nástroje pro navrh a specifikaci sitovych protokolu
      RIV/00216224:14330/07:00019613 Audiovizuální tvorba. Informatika. angličtina. Česká republika.
      Babica, Jindřich (203 Česká republika) -- Řehák, Vojtěch (203 Česká republika, garant, domácí) -- Slovák, Petr (203 Česká republika, domácí) -- Troubil, Pavel (203 Česká republika) -- Zavadil, Martin (203 Česká republika)
      Klíčová slova anglicky: Network protocol description; Message Sequence Charts; realizability; race conditions; formal verification
      Mezinárodní význam: ano
      Změnil: RNDr. Pavel Troubil, Ph.D., učo 139885. Změněno: 13. 6. 2013 12:25.
      Podrobněji: https://is.muni.cz/publication/759822/cs
    2. On Decidability of LTL+Past Model Checking for Process Rewrite Systems
      KŘETÍNSKÝ, Mojmír, Vojtěch ŘEHÁK a Jan STREJČEK. On Decidability of LTL+Past Model Checking for Process Rewrite Systems. In Proc. of 9th Internat. Workshop on Verification of Infinite-State Systems. 2007.
      Název česky: Rozhodnutelnost ověřování modelu pro logiku LTL+Past a Procesové Přepisovací Systémy
      RIV/00216224:14330/07:00019467 Prezentace na konferencích. Informatika. angličtina. Portugalsko.
      Křetínský, Mojmír (203 Česká republika, garant, domácí) -- Řehák, Vojtěch (203 Česká republika, domácí) -- Strejček, Jan (203 Česká republika, domácí)
      Klíčová slova anglicky: process rewrite systems; LTL; infinite-state; model-checking; decidability
      Druh sborníku: předkonferenční sborník
      Druh účasti: aktivní účast
      Mezinárodní význam: ano
      Recenzováno: ano
      Změnil: doc. RNDr. Vojtěch Řehák, Ph.D., učo 3721. Změněno: 28. 4. 2011 14:50.
      Podrobněji: https://is.muni.cz/publication/723973/cs
    3. Verifying VHDL Designs with Multiple Clocks in SMV
      SMRČKA, Aleš, Vojtěch ŘEHÁK, Tomáš VOJNAR, David ŠAFRÁNEK, Petr MATOUŠEK a Zdeněk ŘEHÁK. Verifying VHDL Designs with Multiple Clocks in SMV. In Formal Methods Applications and Technology, 11th International Workshop on Formal Methods for Industrial Critical Systems, FMICS 2006, and 5th International Workshop on Parallel and Distributed Methods in Verification, PDMC 2006. Bonn: Springer-Verlag, 2007, s. 148-164, 16 s. ISBN 978-3-540-70951-0.
      Název česky: Verifikace VHDL programů s více hodinami pomocí SMV
      RIV/00216224:14330/07:00019329 Stať ve sborníku. Informatika. angličtina. Německo.
      Smrčka, Aleš (203 Česká republika) -- Řehák, Vojtěch (203 Česká republika) -- Vojnar, Tomáš (203 Česká republika) -- Šafránek, David (203 Česká republika, garant) -- Matoušek, Petr (203 Česká republika) -- Řehák, Zdeněk (203 Česká republika)
      Klíčová slova anglicky: formal verification; model checking; VHDL; asynchronous clock domains
      Druh sborníku: postkonferenční sborník
      Mezinárodní význam: ano
      Recenzováno: ano
      Změnil: doc. RNDr. David Šafránek, Ph.D., učo 3159. Změněno: 9. 4. 2010 16:10.
      Podrobněji: https://is.muni.cz/publication/639264/cs

    2006

    1. Formal Verification of a FIFO Component in Design of Network Monitoring Hardware
      KRATOCHVÍLA, Tomáš, Vojtěch ŘEHÁK a David ŠAFRÁNEK. Formal Verification of a FIFO Component in Design of Network Monitoring Hardware. In 10 years of CESNET - CESNET CONFERENCE 2006. Praha: CESNET, z.s.p.o., 2006, s. 151-160. ISBN 978-80-239-6533-9.
      Název česky: Formální verifikace FIFO komponenty při návrhu síťového monitorovacího hardware
      RIV/00216224:14330/06:00015311 Stať ve sborníku. Informatika. angličtina. Česká republika.
      Kratochvíla, Tomáš (203 Česká republika) -- Řehák, Vojtěch (203 Česká republika) -- Šafránek, David (203 Česká republika, garant)
      Klíčová slova anglicky: formal verification; model checking; component-based hardware; FPGA
      Druh sborníku: postkonferenční sborník
      Mezinárodní význam: ano
      Recenzováno: ano
      Změnil: doc. RNDr. David Šafránek, Ph.D., učo 3159. Změněno: 9. 4. 2010 16:09.
      Podrobněji: https://is.muni.cz/publication/630815/cs
    2. Formal Verification of the CRC Algorithm Properties
      SMRČKA, Aleš, Petr HLÁVKA, David ŠAFRÁNEK, Vojtěch ŘEHÁK, Pavel ŠIMEČEK a Tomáš VOJNAR. Formal Verification of the CRC Algorithm Properties. In Proceedings of 2nd Doctoral Workshop on Mathematical and Engineering Methods in Computer Science (MEMICS 2006). Brno: FIT BUT, 2006, s. 55-62. ISBN 80-214-3287-X.
      Název česky: Formální verifikace vlastností CRC algoritmů
      RIV/00216224:14330/06:00015972 Stať ve sborníku. Informatika. angličtina. Česká republika.
      Smrčka, Aleš (203 Česká republika) -- Hlávka, Petr (203 Česká republika) -- Šafránek, David (203 Česká republika, garant) -- Řehák, Vojtěch (203 Česká republika) -- Šimeček, Pavel (203 Česká republika) -- Vojnar, Tomáš (203 Česká republika)
      Klíčová slova anglicky: formal verification; CRC algorithms; generating polynomial
      Druh sborníku: předkonferenční sborník
      Mezinárodní význam: ano
      Recenzováno: ano
      Změnil: doc. RNDr. David Šafránek, Ph.D., učo 3159. Změněno: 24. 3. 2010 10:39.
      Podrobněji: https://is.muni.cz/publication/701731/cs
    3. On Decidability of LTL Model Checking for Process Rewrite Systems
      BOZZELLI, Laura, Mojmír KŘETÍNSKÝ, Vojtěch ŘEHÁK a Jan STREJČEK. On Decidability of LTL Model Checking for Process Rewrite Systems. In FSTTCS 2006: 26th International Conference on Foundations of Software Technology and Theoretical Computer Science, 26th International Conference, Kolkata, India, December 13-15, 2006, Proceedings. Berlin: Springer-Verlag, 2006, s. 248-259. ISBN 978-3-540-49994-7.
      Název česky: O rozhodnutelnosti problému ověřování modelu pro LTL a procesové přepisovací systémy
      RIV/00216224:14330/06:00015417 Stať ve sborníku. Informatika. angličtina. Indie.
      Bozzelli, Laura (380 Itálie) -- Křetínský, Mojmír (203 Česká republika, garant) -- Řehák, Vojtěch (203 Česká republika) -- Strejček, Jan (203 Česká republika)
      Klíčová slova anglicky: infinite-state systems; linear time logic; decidability; model checking
      Druh sborníku: předkonferenční sborník
      Mezinárodní význam: ano
      Recenzováno: ano
      Změnil: prof. RNDr. Jan Strejček, Ph.D., učo 3366. Změněno: 20. 12. 2011 18:12.
      Podrobněji: https://is.muni.cz/publication/698768/cs
    4. On Decidability of LTL Model Checking for Weakly Extended Process Rewrite Systems
      BOZZELLI, Laura, Mojmír KŘETÍNSKÝ, Vojtěch ŘEHÁK a Jan STREJČEK. On Decidability of LTL Model Checking for Weakly Extended Process Rewrite Systems. Brno: FI MU, 2006. FIMU-RS-2006-05.
      URL
      Název česky: O rozhodnutelnosti problému ověřování modelu pro LTL a slabě royšířené procesové přepisovací systémy
      RIV/00216224:14330/06:00015439 Audiovizuální tvorba. Informatika. angličtina. Česká republika.
      Bozzelli, Laura (380 Itálie) -- Křetínský, Mojmír (203 Česká republika, garant) -- Řehák, Vojtěch (203 Česká republika) -- Strejček, Jan (203 Česká republika)
      Klíčová slova anglicky: infinite-state systems; linear time logic; decidability; model checking
      Mezinárodní význam: ano
      Změnil: doc. RNDr. Vojtěch Řehák, Ph.D., učo 3721. Změněno: 31. 3. 2010 15:19.
      Podrobněji: https://is.muni.cz/publication/701734/cs
    5. Packet Filtering for FPGA-Based Routing Accelerator
      ANTOŠ, David, Vojtěch ŘEHÁK a Petr HOLUB. Packet Filtering for FPGA-Based Routing Accelerator. In CESNET Conference 2006 Proceedings. Prague: CESNET, z. s. p. o., 2006, s. 161--173. ISBN 80-239-6533-6.
      URL
      Název česky: Filtrace paketů pro směrovací akcelerátor na bázi FPGA
      RIV/00216224:14610/06:00015632 Stať ve sborníku. Počítačový hardware a software. angličtina. Česká republika.
      Antoš, David (203 Česká republika) -- Řehák, Vojtěch (203 Česká republika, garant) -- Holub, Petr (203 Česká republika, domácí)
      Klíčová slova anglicky: packet filtering; hardware accelerated routing; filtring rules transformation; filtering decision diagram; binary decision diagram
      Změnil: RNDr. David Antoš, Ph.D., učo 3077. Změněno: 26. 7. 2011 11:36.
      Podrobněji: https://is.muni.cz/publication/630886/cs
    6. Refining Undecidability Border of Weak Bisimilarity.
      KŘETÍNSKÝ, Mojmír, Vojtěch ŘEHÁK a Jan STREJČEK. Refining Undecidability Border of Weak Bisimilarity. In Proceedings of the 7th International Workshop on Verification of Infinite-State Systems (INFINITY'05). 2006. vyd. Amsterdam, The Netherlands: Elsevier Science, 2006, s. 17-36. ISSN 1571-0661.
      URL
      Název česky: Zjemneni hranice nerozhodnutelnosti slabe bisimulace
      Název anglicky: Refining Undecidability Border of Weak Bisimilarity
      RIV/00216224:14330/06:00015292 Stať ve sborníku. Informatika. angličtina. Nizozemské království.
      Křetínský, Mojmír (203 Česká republika, garant) -- Řehák, Vojtěch (203 Česká republika) -- Strejček, Jan (203 Česká republika)
      Klíčová slova anglicky: process rewrite systems; state extension; infinite-state; decidability; weak bisimilarity
      Druh sborníku: postkonferenční sborník
      Mezinárodní význam: ano
      Recenzováno: ano
      Změnil: doc. RNDr. Vojtěch Řehák, Ph.D., učo 3721. Změněno: 23. 6. 2009 16:53.
      Podrobněji: https://is.muni.cz/publication/616549/cs
    7. Routing and Level 2 Addressing in a Hardware Accelerator for Network Applications
      ANTOŠ, David a Vojtěch ŘEHÁK. Routing and Level 2 Addressing in a Hardware Accelerator for Network Applications. In ICT 2006, 13th International Conference on Telecommunications. Funchal, Madeira: University of Aveiro, Portugal, 2006, s. 1-4. ISBN 972-98368-4-1.
      Název česky: Směrování a L2 adresace v hardwarovém akcelerátoru pro síťové aplikace
      RIV/00216224:14330/06:00015335 Stať ve sborníku. Využití počítačů, robotika a její aplikace. angličtina. Portugalsko.
      Antoš, David (203 Česká republika, garant) -- Řehák, Vojtěch (203 Česká republika)
      Klíčová slova anglicky: routing; L2 addressing; hardware acceleration
      Recenzováno: ano
      Změnil: doc. RNDr. Vojtěch Řehák, Ph.D., učo 3721. Změněno: 11. 12. 2006 11:27.
      Podrobněji: https://is.muni.cz/publication/635304/cs
    8. Routing, L2 Addressing, and Packet Filtering in a Hardware Engine
      ANTOŠ, David a Vojtěch ŘEHÁK. Routing, L2 Addressing, and Packet Filtering in a Hardware Engine. In Proceedings of MEMICS 2006. Mikulov: FIT BUT, 2006, s. 1-8. ISBN 80-214-3287-X.
      Název česky: Směrování, L2 adresace a filtrace paketů v hardwarovém akcelerátoru
      RIV/00216224:14610/06:00015968 Stať ve sborníku. Počítačový hardware a software. angličtina. Česká republika.
      Antoš, David (203 Česká republika, garant) -- Řehák, Vojtěch (203 Česká republika, domácí)
      Klíčová slova anglicky: routing; L2 addressing; packet filtering; hardware packet classification
      Recenzováno: ano
      Změnil: RNDr. David Antoš, Ph.D., učo 3077. Změněno: 26. 7. 2011 11:37.
      Podrobněji: https://is.muni.cz/publication/701705/cs
    9. Weakly Extended Process Rewrite Systems
      ŘEHÁK, Vojtěch. Weakly Extended Process Rewrite Systems. In MOVEP'06: 7th school on MOdeling and VErifying parallel Processes. 2006.
      Název česky: Slabě rozšířené procesové přepisovací systémy
      RIV/00216224:14330/06:00015476 Prezentace na konferencích. Informatika. angličtina. Francie.
      Řehák, Vojtěch (203 Česká republika, garant, domácí)
      Klíčová slova anglicky: process rewrite systems; state extension; infinite-state; expressivness; reachability; decidability
      Druh sborníku: předkonferenční sborník
      Mezinárodní význam: ano
      Recenzováno: ano
      Změnil: doc. RNDr. Vojtěch Řehák, Ph.D., učo 3721. Změněno: 28. 4. 2011 08:26.
      Podrobněji: https://is.muni.cz/publication/704989/cs

    2005

    1. CRC64 Algorithm Analysis and Verification
      ŠAFRÁNEK, David, Vojtěch ŘEHÁK, Tomáš KRATOCHVÍLA, Pavel ŠIMEČEK, Petr HLÁVKA a Tomáš VOJNAR. CRC64 Algorithm Analysis and Verification. Brno: CESNET, z. s. p. o., 2005. Technical Report 27/2005.
      URL
      Název česky: CRC64 Algorithm Analysis and Verification
      RIV/00216224:14330/05:00012922 Audiovizuální tvorba. Informatika. angličtina. Česká republika.
      Šafránek, David (203 Česká republika, garant) -- Řehák, Vojtěch (203 Česká republika) -- Kratochvíla, Tomáš (203 Česká republika) -- Šimeček, Pavel (203 Česká republika) -- Hlávka, Petr (203 Česká republika) -- Vojnar, Tomáš (203 Česká republika)
      Klíčová slova anglicky: CRC64; formal verification; correctness of CRC algorithm
      Změnil: RNDr. Pavel Šimeček, Ph.D., učo 51636. Změněno: 2. 5. 2008 13:57.
      Podrobněji: https://is.muni.cz/publication/597384/cs
    2. Reachability of Hennessy - Milner properties for weakly extended PRS
      KŘETÍNSKÝ, Mojmír, Vojtěch ŘEHÁK a Jan STREJČEK. Reachability of Hennessy - Milner properties for weakly extended PRS. In FSTTCS 2005: 25th International Conference on Foundations of Software Technology and Theoretical Computer Science, 25th International Conference. Berlin, Heidelberg: Springer-Verlag, 2005, s. 213-224. ISBN 3-540-30495-9.
      Název česky: Dosažitelnost Hennessy-Milner vlastností pro slabě rozšířené PRS
      RIV/00216224:14330/05:00012582 Stať ve sborníku. Informatika. angličtina. Německo.
      Křetínský, Mojmír (203 Česká republika, garant) -- Řehák, Vojtěch (203 Česká republika) -- Strejček, Jan (203 Česká republika)
      Klíčová slova anglicky: process rewrite systems; state extension; infinite-state; (un)decidability; HM logic; reachability
      Druh sborníku: předkonferenční sborník
      Mezinárodní význam: ano
      Recenzováno: ano
      Změnil: prof. RNDr. Mojmír Křetínský, CSc., učo 631. Změněno: 8. 4. 2010 21:40.
      Podrobněji: https://is.muni.cz/publication/574584/cs
    3. Refining Undecidability Border of Weak Bisimilarity.
      KŘETÍNSKÝ, Mojmír, Vojtěch ŘEHÁK a Jan STREJČEK. Refining Undecidability Border of Weak Bisimilarity. BRICS Notes Series. San Francisco, USA, 2005, roč. 2005, NS-05-4, s. 3-14. ISSN 0909-3206.
      URL
      Název česky: Zjemneni hranice nerozhodnutelnosti pro slabou bisimulaci
      RIV/00216224:14330/05:00012580 Článek v odborném periodiku. Informatika. angličtina. Česká republika.
      Křetínský, Mojmír (203 Česká republika, garant) -- Řehák, Vojtěch (203 Česká republika) -- Strejček, Jan (203 Česká republika)
      Klíčová slova anglicky: process rewrite systems; state extension; infinite-state; (un)decidability; weak bisimulation
      Mezinárodní význam: ano
      Recenzováno: ano
      Změnil: prof. RNDr. Mojmír Křetínský, CSc., učo 631. Změněno: 4. 12. 2006 16:38.
      Podrobněji: https://is.muni.cz/publication/574582/cs
    4. Refining Undecidability Border of Weak Bisimilarity. (full version of INFINITY 2005 paper)
      KŘETÍNSKÝ, Mojmír, Vojtěch ŘEHÁK a Jan STREJČEK. Refining Undecidability Border of Weak Bisimilarity. (full version of INFINITY 2005 paper). Brno: FI MU, 2005. FIMU-RS-2005-06.
      URL
      Název česky: Zjemneni hranice nerozhodnutelnosti pro slabou bisimulaci
      RIV/00216224:14330/05:00012581 Audiovizuální tvorba. Informatika. angličtina. Česká republika.
      Křetínský, Mojmír (203 Česká republika, garant) -- Řehák, Vojtěch (203 Česká republika) -- Strejček, Jan (203 Česká republika)
      Klíčová slova anglicky: process rewrite systems; state extension; infinite-state; (un)decidability; weak bisimulation
      Mezinárodní význam: ano
      Změnil: prof. RNDr. Jan Strejček, Ph.D., učo 3366. Změněno: 27. 11. 2006 15:12.
      Podrobněji: https://is.muni.cz/publication/574583/cs
    5. Routing and Filtering in a Single Operation
      ANTOŠ, David a Vojtěch ŘEHÁK. Routing and Filtering in a Single Operation. Znojmo: FI MU a FIT VUT Brno, 2005.
      Název česky: Směrování a filtrace v jedné operaci

      Klíčová slova anglicky: routing; filtering; COMBO6; LUP
      Změnil: RNDr. David Antoš, Ph.D., učo 3077. Změněno: 16. 10. 2005 16:33.
      Podrobněji: https://is.muni.cz/publication/583081/cs

    2004

    1. Extended Process Rewrite Systems: Expressiveness and Reachability
      KŘETÍNSKÝ, Mojmír, Vojtěch ŘEHÁK a Jan STREJČEK. Extended Process Rewrite Systems: Expressiveness and Reachability. In CONCUR 2004 - Concurrency Theory. LNCS 3170. Berlin, Heidelberg, New York: Springer, 2004, s. 355-370. ISBN 3-540-22940-X.
      Název česky: Rozšířené procesové přepisovací systémy: Vyjadřovací síla a dosažitelnost
      RIV/00216224:14330/04:00010262 Stať ve sborníku. Informatika. angličtina. Velká Británie a Severní Irsko.
      Křetínský, Mojmír (203 Česká republika, garant) -- Řehák, Vojtěch (203 Česká republika) -- Strejček, Jan (203 Česká republika)
      Klíčová slova anglicky: process rewrite systems; state extension; infinite-state; expressivness; reachability; decidability
      Recenzováno: ano
      Změnil: doc. RNDr. Vojtěch Řehák, Ph.D., učo 3721. Změněno: 11. 3. 2010 13:41.
      Podrobněji: https://is.muni.cz/publication/557472/cs
    2. Hardware Router's Lookup Machine and its Formal Verification
      ANTOŠ, David, Vojtěch ŘEHÁK a Jan KOŘENEK. Hardware Router's Lookup Machine and its Formal Verification. In ICN'2004 Conference Proceedings. Gosier, Guadeloupe, French Caribbean: University of Haute Alsace, Colmar, France, 2004, s. 1002-1007. ISBN 0-86341-325-0.
      URL
      Informatika. angličtina. Guadeloupe.
      Klíčová slova anglicky: IPv6 routing; FPGA; formal verification; Liberouter
      Změnil: RNDr. David Antoš, Ph.D., učo 3077. Změněno: 13. 1. 2005 11:00.
      Podrobněji: https://is.muni.cz/publication/493216/cs
    3. How to Formalize FPGA Hardware Design
      HOLEČEK, Jan, Tomáš KRATOCHVÍLA, Vojtěch ŘEHÁK, David ŠAFRÁNEK a Pavel ŠIMEČEK. How to Formalize FPGA Hardware Design. Praha: CESNET, z.s.p.o., 2004. CESNET Technical Report No. 04/2004.
      URL
      Název česky: Kterak formalizovat hardwarový design FPGA čipů
      RIV/00216224:14330/04:00010387 Audiovizuální tvorba. Informatika. angličtina. Česká republika.
      Holeček, Jan (203 Česká republika) -- Kratochvíla, Tomáš (203 Česká republika) -- Řehák, Vojtěch (203 Česká republika, garant) -- Šafránek, David (203 Česká republika) -- Šimeček, Pavel (203 Česká republika)
      Klíčová slova anglicky: formal verification; programmable hardware; FPGA; Cadence SMV; VHDL
      Změnil: doc. RNDr. Vojtěch Řehák, Ph.D., učo 3721. Změněno: 14. 2. 2005 11:11.
      Podrobněji: https://is.muni.cz/publication/559201/cs
    4. On Extensions of Process Rewrite Systems: Rewrite Systems with Weak Finite-State Unit
      KŘETÍNSKÝ, Mojmír, Vojtěch ŘEHÁK a Jan STREJČEK. On Extensions of Process Rewrite Systems: Rewrite Systems with Weak Finite-State Unit. In INFINITY'2003: 5th International Workshop on Verification of Infinite-State Systems. 2004. vyd. Amsterdam, The Netherlands: Elsevier Science, 2004, s. 75-88. ISSN 1571-0661.
      URL
      Název česky: O rozšířených procesových přepisovacích systémech: Přepisovací systémy se slabou konečně stavovou jednotkou
      RIV/00216224:14330/04:00010392 Stať ve sborníku. Informatika. angličtina. Nizozemské království.
      Křetínský, Mojmír (203 Česká republika, garant) -- Řehák, Vojtěch (203 Česká republika) -- Strejček, Jan (203 Česká republika)
      Klíčová slova anglicky: process rewrite systems; state extension; infinite-state; decidability; reachability
      Druh sborníku: postkonferenční sborník
      Mezinárodní význam: ano
      Recenzováno: ano
      Změnil: prof. RNDr. Jan Strejček, Ph.D., učo 3366. Změněno: 23. 6. 2009 17:11.
      Podrobněji: https://is.muni.cz/publication/559231/cs
    5. On the Expressive Power of Extended Process Rewrite Systems
      KŘETÍNSKÝ, Mojmír, Vojtěch ŘEHÁK a Jan STREJČEK. On the Expressive Power of Extended Process Rewrite Systems. BRICS Report Series. Aarhus: Basic Research in Computer Science, 2004, roč. 2004, RS-04-7, s. 1-18. ISSN 0909-0878.
      URL
      Název česky: O vyjadřovací síle rozšířených procesových přepisovacích systémů
      RIV/00216224:14330/04:00010025 Článek v odborném periodiku. Informatika. angličtina. Česká republika.
      Křetínský, Mojmír (203 Česká republika, garant) -- Řehák, Vojtěch (203 Česká republika) -- Strejček, Jan (203 Česká republika)
      Klíčová slova anglicky: process rewrite systems; state extension; infinite-state; expressivness; reachability
      Změnil: doc. RNDr. Vojtěch Řehák, Ph.D., učo 3721. Změněno: 24. 1. 2005 17:02.
      Podrobněji: https://is.muni.cz/publication/554469/cs
    6. Reachability for Extended Process Rewrite Systems
      ŘEHÁK, Vojtěch. Reachability for Extended Process Rewrite Systems. In MOVEP'04: 6th school on MOdeling and VErifying parallel Processes. Bruxelles, Belgium: Universite Libre de Bruxelles, 2004, s. 77-82.
      Název česky: Dosažitelnost pro rozšířené procesové přepisovací systémy
      RIV/00216224:14330/04:00010695 Stať ve sborníku. Informatika. angličtina. Belgie.
      Řehák, Vojtěch (203 Česká republika, garant)
      Klíčová slova anglicky: process rewrite systems; state extension; infinite-state; expressivness; reachability; decidability
      Recenzováno: ano
      Změnil: doc. RNDr. Vojtěch Řehák, Ph.D., učo 3721. Změněno: 16. 11. 2006 12:47.
      Podrobněji: https://is.muni.cz/publication/562895/cs
    7. Verification Process of Hardware Design in Liberouter Project
      HOLEČEK, Jan, Tomáš KRATOCHVÍLA, Vojtěch ŘEHÁK, David ŠAFRÁNEK a Pavel ŠIMEČEK. Verification Process of Hardware Design in Liberouter Project. Praha: CESNET z.s.p.o., 2004. CESNET Technical Report No. 05/2004.
      URL
      Název česky: Proces verifikace hardwarového návrhu v projektu Liberouter
      RIV/00216224:14330/04:00010547 Audiovizuální tvorba. Informatika. angličtina. Česká republika.
      Holeček, Jan (203 Česká republika, garant) -- Kratochvíla, Tomáš (203 Česká republika) -- Řehák, Vojtěch (203 Česká republika) -- Šafránek, David (203 Česká republika) -- Šimeček, Pavel (203 Česká republika)
      Klíčová slova anglicky: formal verification; Liberouter; Cadence SMV; VHDL
      Změnil: doc. RNDr. Vojtěch Řehák, Ph.D., učo 3721. Změněno: 24. 1. 2005 17:02.
      Podrobněji: https://is.muni.cz/publication/561408/cs
    8. Verification Results in Liberouter Project
      HOLEČEK, Jan, Tomáš KRATOCHVÍLA, Vojtěch ŘEHÁK, David ŠAFRÁNEK a Pavel ŠIMEČEK. Verification Results in Liberouter Project. Praha: CESNET, z.s.p.o., 2004. CESNET Technical Report No. 03/2004.
      URL
      Název česky: Výsledky verifikace v rámci projektu Liberouter
      RIV/00216224:14330/04:00010306 Audiovizuální tvorba. Informatika. angličtina. Česká republika.
      Holeček, Jan (203 Česká republika) -- Kratochvíla, Tomáš (203 Česká republika) -- Řehák, Vojtěch (203 Česká republika) -- Šafránek, David (203 Česká republika, garant) -- Šimeček, Pavel (203 Česká republika)
      Klíčová slova anglicky: formal verification; programmable hardware; FPGA; Cadence SMV; VHDL; Verilog
      Změnil: doc. RNDr. Vojtěch Řehák, Ph.D., učo 3721. Změněno: 24. 1. 2005 17:02.
      Podrobněji: https://is.muni.cz/publication/558042/cs

    2003

    1. On Extensions of Process Rewrite Systems: Rewrite Systems with Weak Finite-State Unit
      KŘETÍNSKÝ, Mojmír, Vojtěch ŘEHÁK a Jan STREJČEK. On Extensions of Process Rewrite Systems: Rewrite Systems with Weak Finite-State Unit. In Prelim.Proc.of the 5th Internat.Workshop on Verification of Infinite-State Systems (INFINITY'2003). Marseille, France: Universite de Provence, Marseille, 2003, s. 73-86.
      RIV/00216224:14330/03:00008151 Stať ve sborníku. Informatika. angličtina. Francie.
      Křetínský, Mojmír (203 Česká republika, garant) -- Řehák, Vojtěch (203 Česká republika) -- Strejček, Jan (203 Česká republika)
      Klíčová slova anglicky: process rewrite systems; state extension; infinite-state
      Recenzováno: ano
      Změnil: doc. RNDr. Vojtěch Řehák, Ph.D., učo 3721. Změněno: 16. 11. 2006 12:47.
      Podrobněji: https://is.muni.cz/publication/488339/cs
    2. Packet header matching in Combo6 IPv6 router
      ANTOŠ, David, Jan KOŘENEK, Kateřina MINAŘÍKOVÁ a Vojtěch ŘEHÁK. Packet header matching in Combo6 IPv6 router. CESNET, z.s.p.o., 2003.
      http://www.cesnet.cz/doc/techzpravy/2003/combo6-header-lookups/
      RIV/00216224:14330/03:00007995 Audiovizuální tvorba. Informatika. angličtina. Česká republika.
      Antoš, David (203 Česká republika, garant) -- Kořenek, Jan (203 Česká republika) -- Minaříková, Kateřina (203 Česká republika) -- Řehák, Vojtěch (203 Česká republika)
      Klíčová slova anglicky: Liberouter; IPv6 routing; special lookup machines
      Změnil: doc. RNDr. Vojtěch Řehák, Ph.D., učo 3721. Změněno: 26. 5. 2004 13:23.
      Podrobněji: https://is.muni.cz/publication/485854/cs
    3. Process Rewrite Systems with Weak Finite-State Unit (full version of INFINITY'2003 paper)
      KŘETÍNSKÝ, Mojmír, Vojtěch ŘEHÁK a Jan STREJČEK. Process Rewrite Systems with Weak Finite-State Unit (full version of INFINITY'2003 paper). Brno: FI MU, 2003, 23 s. FIMU-RS-2003-05.
      Informatika. angličtina. Česká republika.
      Klíčová slova anglicky: process rewrite systems; state extension; infinite-state
      Změnil: prof. RNDr. Mojmír Křetínský, CSc., učo 631. Změněno: 24. 5. 2006 15:51.
      Podrobněji: https://is.muni.cz/publication/488340/cs
    4. Verification of COMBO6 VHDL Design
      KRATOCHVÍLA, Tomáš, Vojtěch ŘEHÁK a Pavel ŠIMEČEK. Verification of COMBO6 VHDL Design. Praha: CESNET, z.s.p.o., 2003. CESNET Technical Report No. 17/2003.
      URL
      RIV/00216224:14330/03:00008325 Audiovizuální tvorba. Informatika. angličtina. Česká republika.
      Kratochvíla, Tomáš (203 Česká republika) -- Řehák, Vojtěch (203 Česká republika, garant) -- Šimeček, Pavel (203 Česká republika)
      Klíčová slova anglicky: Liberouter; Combo6; formal verification; hardware verification; model checking; Cadence SMV; LeonardoSpectrum
      Změnil: doc. RNDr. Vojtěch Řehák, Ph.D., učo 3721. Změněno: 18. 10. 2004 15:55.
      Podrobněji: https://is.muni.cz/publication/490367/cs
    5. Vyhledávání v IPv6 směrovači implementovaném v hradlovém poli
      ANTOŠ, David, Jan KOŘENEK a Vojtěch ŘEHÁK. Vyhledávání v IPv6 směrovači implementovaném v hradlovém poli. In EurOpen, Sborník příspěvků XXIII. konference. Strážnice: EurOpen, 2003, s. 91-102, 11 s. ISBN 80-86583-04-X.
      Název anglicky: Lookups in IPv6 router implemented in an FPGA
      RIV/00216224:14330/03:00008309 Stať ve sborníku. Informatika. čeština. Česká republika.
      Antoš, David (203 Česká republika, garant) -- Kořenek, Jan (203 Česká republika) -- Řehák, Vojtěch (203 Česká republika)
      Klíčová slova anglicky: IPv6 routing; FPGA; nanoprocessor; IP header lookup
      Změnil: doc. RNDr. Vojtěch Řehák, Ph.D., učo 3721. Změněno: 26. 5. 2004 13:27.
      Podrobněji: https://is.muni.cz/publication/490202/cs

    2002

    1. $\xor$-OBDD in Symbolic Model Checking
      ŘEHÁK, Vojtěch. $\xor$-OBDD in Symbolic Model Checking. In SOFSEM 2002: Student Research Forum. Milovy (Czech Republic): Slovak University of Technology, 2002, s. 41-46.
      RIV/00216224:14330/02:00006715 Stať ve sborníku. Počítačový hardware a software. angličtina. Česká republika.
      Řehák, Vojtěch (203 Česká republika, garant)
      Klíčová slova anglicky: Data structures; $\xor$-OBDD; symbolic model checking;
      Recenzováno: ano
      Změnil: doc. RNDr. Vojtěch Řehák, Ph.D., učo 3721. Změněno: 16. 11. 2006 12:47.
      Podrobněji: https://is.muni.cz/publication/406618/cs
Zobrazeno: 25. 4. 2024 19:26