Filter

    2025

    1. Multiple Mean-Payoff Optimization Under Local Stability Constraints
      KLAŠKA, David; Antonín KUČERA; Vojtěch KŮR; Vít MUSIL and Vojtěch ŘEHÁK. Multiple Mean-Payoff Optimization Under Local Stability Constraints. Online. In Proceedings of the AAAI Conference on Artificial Intelligence, Vol. 39 No. 25: AAAI-25 Technical Tracks 25. Palo Alto: AAAI, 2025, p. 26551-26558. ISBN 978-1-57735-897-8. Available from: https://dx.doi.org/10.1609/aaai.v39i25.34856.
      More: https://is.muni.cz/publication/2510597/en
    2. Who Let the Guards Out: Visual Support for Patrolling Games
      LANG, Matěj; Adam ŠTĚPÁNEK; Róbert ZVARA; Vojtěch ŘEHÁK and Barbora KOZLÍKOVÁ. Who Let the Guards Out: Visual Support for Patrolling Games. IEEE Transactions on Visualization and Computer Graphics. United States: IEEE Computer Society, 2025, vol. 31, No 1, p. 34-43. ISSN 1077-2626. Available from: https://dx.doi.org/10.1109/TVCG.2024.3456306.
      More: https://is.muni.cz/publication/2419857/en

    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 and 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, p. 20143-20150. ISBN 978-1-57735-887-9. Available from: https://dx.doi.org/10.1609/aaai.v38i18.29993.
      More: https://is.muni.cz/publication/2396817/en

    2023

    1. Mean Payoff Optimization for Systems of Periodic Service and Maintenance
      KLAŠKA, David; Antonín KUČERA; Vít MUSIL and 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, p. 5386-5393. ISBN 978-1-956792-03-4. Available from: https://dx.doi.org/10.24963/ijcai.2023/598.
      More: https://is.muni.cz/publication/2304579/en
    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Ý and 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, p. 171-179. ISBN 978-1-956792-03-4. Available from: https://dx.doi.org/10.24963/ijcai.2023/20.
      More: https://is.muni.cz/publication/2304578/en

    2022

    1. General Optimization Framework for Recurrent Reachability Objectives
      KLAŠKA, David; Antonín KUČERA; Vít MUSIL and 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, p. 4642-4648. ISBN 978-1-956792-00-3. Available from: https://dx.doi.org/10.24963/ijcai.2022/644.
      More: https://is.muni.cz/publication/2214541/en
    2. Minimizing Expected Intrusion Detection Time in Adversarial Patrolling
      KLAŠKA, David; Antonín KUČERA; Vít MUSIL and 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, p. 1660-1662. ISBN 978-1-4503-9213-6. Available from: https://dx.doi.org/10.5555/3535850.3536068.
      More: https://is.muni.cz/publication/2214539/en
    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Ý and 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, p. 244-254. ISBN 978-1-7138-6329-8.
      More: https://is.muni.cz/publication/2227363/en

    2021

    1. Regstar: Efficient Strategy Synthesis for Adversarial Patrolling Games
      KLAŠKA, David; Antonín KUČERA; Vojtěch ŘEHÁK and 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, p. 471-481. ISSN 2640-3498.
      More: https://is.muni.cz/publication/1797259/en

    2020

    1. Adversarial Patrolling with Drones
      KLAŠKA, David; Antonín KUČERA and 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, p. 629-637. ISBN 978-1-4503-7518-4. Available from: https://dx.doi.org/10.5555/3398761.3398837.
      More: https://is.muni.cz/publication/1618996/en

    2019

    1. Mean-Payoff Optimization in Continuous-Time Markov Chains with Parametric Alarms
      BAIER, Christel; Clemens DUBSLAFF; Ľuboš KORENČIAK; Antonín KUČERA and 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, vol. 29, No 4, p. "28:1"-"28:26", 26 pp. ISSN 1049-3301. Available from: https://dx.doi.org/10.1145/3310225.
      More: https://is.muni.cz/publication/1598416/en
    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ÁŠ and 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, vol. 5, No 2, p. 400-412. ISSN 2332-7731. Available from: https://dx.doi.org/10.1109/TCCN.2019.2913397.
      More: https://is.muni.cz/publication/1537756/en

    2018

    1. Automatic Synthesis of Efficient Regular Strategies in Adversarial Patrolling Games
      KLAŠKA, David; Antonín KUČERA; Tomáš LAMSER and 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, p. 659-666. ISBN 978-1-5108-6808-3. Available from: https://dx.doi.org/10.5555/3237383.3237481.
      More: https://is.muni.cz/publication/1408461/en
    2. Solving Patrolling Problems in the Internet Environment
      BRÁZDIL, Tomáš; Antonín KUČERA and 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, p. 121-127. ISBN 978-0-9992411-2-7. Available from: https://dx.doi.org/10.24963/ijcai.2018/17.
      More: https://is.muni.cz/publication/1423781/en

    2017

    1. Mean-Payoff Optimization in Continuous-Time Markov Chains with Parametric Alarms
      BAIER, Christel; Clemens DUBSLAFF; Ľuboš KORENČIAK; Antonín KUČERA and 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, p. 190-206. ISBN 978-3-319-66334-0. Available from: https://dx.doi.org/10.1007/978-3-319-66335-7_12.
      More: https://is.muni.cz/publication/1392972/en
    2. Synthesis of Optimal Resilient Control Strategies
      BAIER, Christel; Clemens DUBSLAFF; Ľuboš KORENČIAK; Antonín KUČERA and 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, p. 417-434. ISBN 978-3-319-68166-5. Available from: https://dx.doi.org/10.1007/978-3-319-68167-2_27.
      More: https://is.muni.cz/publication/1392977/en

    2016

    1. Efficient Timeout Synthesis in Fixed-Delay CTMC Using Policy Iteration
      KORENČIAK, Ľuboš; Antonín KUČERA and 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, p. 367-372. ISBN 978-1-5090-3431-4. Available from: https://dx.doi.org/10.1109/MASCOTS.2016.34.
      More: https://is.muni.cz/publication/1365671/en
    2. Extension of PRISM by Synthesis of Optimal Timeouts in Fixed-Delay CTMC
      KORENČIAK, Ľuboš; Vojtěch ŘEHÁK and 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, p. 130-138. ISBN 978-3-319-33692-3. Available from: https://dx.doi.org/10.1007/978-3-319-33693-0_9.
      More: https://is.muni.cz/publication/1351805/en

    2015

    1. Optimizing Performance of Continuous-Time Stochastic Systems Using Timeout Synthesis
      BRÁZDIL, Tomáš; Ľuboš KORENČIAK; Jan KRČÁL; Petr NOVOTNÝ and 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, p. 141-159. ISBN 978-3-319-22263-9. Available from: https://dx.doi.org/10.1007/978-3-319-22264-6_10.
      More: https://is.muni.cz/publication/1317666/en

    2014

    1. Dealing with Zero Density Using Piecewise Phase-Type Approximation
      KORENČIAK, Ľuboš; Jan KRČÁL and 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, p. 119-134. ISBN 978-3-319-10884-1. Available from: https://dx.doi.org/10.1007/978-3-319-10885-8_9.
      More: https://is.muni.cz/publication/1206017/en
    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 and 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, p. 1617-1618. ISBN 978-1-4503-2738-1.
      More: https://is.muni.cz/publication/1185661/en

    2013

    1. Controllable-choice Message Sequence Graphs
      CHMELÍK, Martin and 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, p. 118-130. ISBN 978-3-642-36044-2. Available from: https://dx.doi.org/10.1007/978-3-642-36046-6_12.
      More: https://is.muni.cz/publication/1066786/en
    2. On time-average limits in deterministic and stochastic Petri nets
      BRÁZDIL, Tomáš; Ľuboš KORENČIAK; Jan KRČÁL; Jan KŘETÍNSKÝ and 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, p. 421-422. ISBN 978-1-4503-1636-1. Available from: https://dx.doi.org/10.1145/2479871.2479936.
      More: https://is.muni.cz/publication/1110174/en

    2012

    1. Almost linear Büchi automata
      BABIAK, Tomáš; Jan STREJČEK and Vojtěch ŘEHÁK. Almost linear Büchi automata. Mathematical Structures in Computer Science. Cambridge: Cambridge University Press, 2012, vol. 22, No 2, p. 203-235. ISSN 0960-1295. Available from: https://dx.doi.org/10.1017/S0960129511000399.
      More: https://is.muni.cz/publication/913326/en
    2. LTL to Büchi Automata Translation: Fast and More Deterministic
      BABIAK, Tomáš; Mojmír KŘETÍNSKÝ; Vojtěch ŘEHÁK and 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, p. 95-109. ISBN 978-3-642-28755-8. Available from: https://dx.doi.org/10.1007/978-3-642-28756-5_8.
      More: https://is.muni.cz/publication/963563/en
    3. Sequence Chart Studio
      BEZDĚKA, Martin; Ondřej BOUDA; Ľuboš KORENČIAK; Matúš MADZIN and 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, p. 148-153. ISBN 978-1-4673-1687-3. Available from: https://dx.doi.org/10.1109/ACSD.2012.25.
      More: https://is.muni.cz/publication/986577/en
    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 and Zuzana PEKARČÍKOVÁ. Sequence Chart Studio: user-friendly drawing and verification tool for MSC. 2012.
      More: https://is.muni.cz/publication/1076330/en
    5. Verification of Open Interactive Markov Chains
      BRÁZDIL, Tomáš; Holger HERMANNS; Jan KRČÁL; Jan KŘETÍNSKÝ and 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, p. 474-485. ISBN 978-3-939897-47-7. Available from: https://dx.doi.org/10.4230/LIPIcs.FSTTCS.2012.474.
      More: https://is.muni.cz/publication/991746/en

    2011

    1. Fixed-delay Events in Generalized Semi-Markov Processes Revisited
      BRÁZDIL, Tomáš; Jan KRČÁL; Jan KŘETÍNSKÝ and 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, p. 140-155. ISBN 978-3-642-23216-9.
      More: https://is.muni.cz/publication/948678/en
    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 and 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, p. 33-42. ISBN 978-1-4503-0629-4.
      More: https://is.muni.cz/publication/937653/en

    2010

    1. Almost Linear Büchi Automata
      BABIAK, Tomáš; Jan STREJČEK and Vojtěch ŘEHÁK. Almost Linear Büchi Automata. In MEMICS 2010. 2010. ISBN 978-80-87342-10-7.
      More: https://is.muni.cz/publication/904350/en
    2. Decidable Race Condition and Open Coregions in HMSC
      ŘEHÁK, Vojtěch; Petr SLOVÁK; Jan STREJČEK and 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 pp. ISSN 1863-2122.
      More: https://is.muni.cz/publication/878519/en
    3. Stochastic Real-Time Games with Qualitative Timed Automata Objectives
      BRÁZDIL, Tomáš; Jan KRČÁL; Jan KŘETÍNSKÝ; Antonín KUČERA and Vojtěch ŘEHÁK. Stochastic Real-Time Games with Qualitative Timed Automata Objectives. In CONCUR 2010 - Concurrency Theory. Berlin Heidelberg New York: Springer, 2010, p. 207-221. ISBN 978-3-642-15374-7. Available from: https://dx.doi.org/10.1007/978-3-642-15375-4_15.
      More: https://is.muni.cz/publication/896101/en

    2009

    1. Almost Linear Büchi Automata
      BABIAK, Tomáš; Vojtěch ŘEHÁK and 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, p. 16-25. ISSN 2075-2180.
      More: https://is.muni.cz/publication/856270/en
    2. On Decidability of LTL Model Checking for Process Rewrite Systems
      BOZZELLI, Laura; Mojmír KŘETÍNSKÝ; Vojtěch ŘEHÁK and Jan STREJČEK. On Decidability of LTL Model Checking for Process Rewrite Systems. Acta informatica. Berlin: Springer-Verlag, 2009, vol. 46, No 1, p. 1-28. ISSN 0001-5903.
      More: https://is.muni.cz/publication/769242/en
    3. On Decidability of LTL+Past Model Checking for Process Rewrite Systems
      KŘETÍNSKÝ, Mojmír; Vojtěch ŘEHÁK and 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). 2009th ed. Amsterdam, The Netherlands: Elsevier Science Publishers, 2009, p. 105-117. ISSN 1571-0661.
      More: https://is.muni.cz/publication/800536/en
    4. Reachability is decidable for weakly extended process rewrite systems
      KŘETÍNSKÝ, Mojmír; Vojtěch ŘEHÁK and Jan STREJČEK. Reachability is decidable for weakly extended process rewrite systems. Information and Computation. Elsevier, 2009, vol. 207, No 6, p. 671-680. ISSN 0890-5401.
      More: https://is.muni.cz/publication/830834/en

    2008

    1. Petri Nets Are Less Expressive Than State-Extended PA
      KŘETÍNSKÝ, Mojmír; Vojtěch ŘEHÁK and Jan STREJČEK. Petri Nets Are Less Expressive Than State-Extended PA. Theoretical Computer Science. Amsterdam, North Holland: Elsevier Science Publishers, 2008, vol. 394, 1-2, p. 134-140. ISSN 0304-3975.
      More: https://is.muni.cz/publication/760714/en

    2007

    1. Formalisms and Tools for Design and Specification of Network Protocols
      BABICA, Jindřich; Vojtěch ŘEHÁK; Petr SLOVÁK; Pavel TROUBIL and Martin ZAVADIL. Formalisms and Tools for Design and Specification of Network Protocols. Brno: FI MU, 2007. FIMU-RS-2007-02.
      More: https://is.muni.cz/publication/759822/en
    2. On Decidability of LTL+Past Model Checking for Process Rewrite Systems
      KŘETÍNSKÝ, Mojmír; Vojtěch ŘEHÁK and 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.
      More: https://is.muni.cz/publication/723973/en
    3. Verifying VHDL Designs with Multiple Clocks in SMV
      SMRČKA, Aleš; Vojtěch ŘEHÁK; Tomáš VOJNAR; David ŠAFRÁNEK; Petr MATOUŠEK and 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, p. 148-164, 16 pp. ISBN 978-3-540-70951-0.
      More: https://is.muni.cz/publication/639264/en

    2006

    1. Formal Verification of a FIFO Component in Design of Network Monitoring Hardware
      KRATOCHVÍLA, Tomáš; Vojtěch ŘEHÁK and 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, p. 151-160. ISBN 978-80-239-6533-9.
      More: https://is.muni.cz/publication/630815/en
    2. Formal Verification of the CRC Algorithm Properties
      SMRČKA, Aleš; Petr HLÁVKA; David ŠAFRÁNEK; Vojtěch ŘEHÁK; Pavel ŠIMEČEK and 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, p. 55-62. ISBN 80-214-3287-X.
      More: https://is.muni.cz/publication/701731/en
    3. On Decidability of LTL Model Checking for Process Rewrite Systems
      BOZZELLI, Laura; Mojmír KŘETÍNSKÝ; Vojtěch ŘEHÁK and 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, p. 248-259. ISBN 978-3-540-49994-7.
      More: https://is.muni.cz/publication/698768/en
    4. On Decidability of LTL Model Checking for Weakly Extended Process Rewrite Systems
      BOZZELLI, Laura; Mojmír KŘETÍNSKÝ; Vojtěch ŘEHÁK and Jan STREJČEK. On Decidability of LTL Model Checking for Weakly Extended Process Rewrite Systems. Brno: FI MU, 2006. FIMU-RS-2006-05.
      More: https://is.muni.cz/publication/701734/en
    5. Packet Filtering for FPGA-Based Routing Accelerator
      ANTOŠ, David; Vojtěch ŘEHÁK and Petr HOLUB. Packet Filtering for FPGA-Based Routing Accelerator. In CESNET Conference 2006 Proceedings. Prague: CESNET, z. s. p. o., 2006, p. 161--173. ISBN 80-239-6533-6.
      More: https://is.muni.cz/publication/630886/en
    6. Refining Undecidability Border of Weak Bisimilarity. (Refining Undecidability Border of Weak Bisimilarity)
      KŘETÍNSKÝ, Mojmír; Vojtěch ŘEHÁK and Jan STREJČEK. Refining Undecidability Border of Weak Bisimilarity. (Refining Undecidability Border of Weak Bisimilarity). In Proceedings of the 7th International Workshop on Verification of Infinite-State Systems (INFINITY'05). 2006th ed. Amsterdam, The Netherlands: Elsevier Science, 2006, p. 17-36. ISSN 1571-0661.
      More: https://is.muni.cz/publication/616549/en
    7. Routing and Level 2 Addressing in a Hardware Accelerator for Network Applications
      ANTOŠ, David and 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, p. 1-4. ISBN 972-98368-4-1.
      More: https://is.muni.cz/publication/635304/en
    8. Routing, L2 Addressing, and Packet Filtering in a Hardware Engine
      ANTOŠ, David and Vojtěch ŘEHÁK. Routing, L2 Addressing, and Packet Filtering in a Hardware Engine. In Proceedings of MEMICS 2006. Mikulov: FIT BUT, 2006, p. 1-8. ISBN 80-214-3287-X.
      More: https://is.muni.cz/publication/701705/en
    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.
      More: https://is.muni.cz/publication/704989/en

    2005

    1. CRC64 Algorithm Analysis and Verification
      ŠAFRÁNEK, David; Vojtěch ŘEHÁK; Tomáš KRATOCHVÍLA; Pavel ŠIMEČEK; Petr HLÁVKA and Tomáš VOJNAR. CRC64 Algorithm Analysis and Verification. Brno: CESNET, z. s. p. o., 2005. Technical Report 27/2005.
      More: https://is.muni.cz/publication/597384/en
    2. Reachability of Hennessy - Milner properties for weakly extended PRS
      KŘETÍNSKÝ, Mojmír; Vojtěch ŘEHÁK and 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, p. 213-224. ISBN 3-540-30495-9.
      More: https://is.muni.cz/publication/574584/en
    3. Refining Undecidability Border of Weak Bisimilarity.
      KŘETÍNSKÝ, Mojmír; Vojtěch ŘEHÁK and Jan STREJČEK. Refining Undecidability Border of Weak Bisimilarity. BRICS Notes Series. San Francisco, USA, 2005, vol. 2005, NS-05-4, p. 3-14. ISSN 0909-3206.
      More: https://is.muni.cz/publication/574582/en
    4. Refining Undecidability Border of Weak Bisimilarity. (full version of INFINITY 2005 paper)
      KŘETÍNSKÝ, Mojmír; Vojtěch ŘEHÁK and Jan STREJČEK. Refining Undecidability Border of Weak Bisimilarity. (full version of INFINITY 2005 paper). Brno: FI MU, 2005. FIMU-RS-2005-06.
      More: https://is.muni.cz/publication/574583/en
    5. Routing and Filtering in a Single Operation
      ANTOŠ, David and Vojtěch ŘEHÁK. Routing and Filtering in a Single Operation. Znojmo: FI MU a FIT VUT Brno, 2005.
      More: https://is.muni.cz/publication/583081/en

    2004

    1. Extended Process Rewrite Systems: Expressiveness and Reachability
      KŘETÍNSKÝ, Mojmír; Vojtěch ŘEHÁK and Jan STREJČEK. Extended Process Rewrite Systems: Expressiveness and Reachability. In CONCUR 2004 - Concurrency Theory. LNCS 3170. Berlin, Heidelberg, New York: Springer, 2004, p. 355-370. ISBN 3-540-22940-X.
      More: https://is.muni.cz/publication/557472/en
    2. Hardware Router's Lookup Machine and its Formal Verification
      ANTOŠ, David; Vojtěch ŘEHÁK and 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, p. 1002-1007. ISBN 0-86341-325-0.
      More: https://is.muni.cz/publication/493216/en
    3. How to Formalize FPGA Hardware Design
      HOLEČEK, Jan; Tomáš KRATOCHVÍLA; Vojtěch ŘEHÁK; David ŠAFRÁNEK and Pavel ŠIMEČEK. How to Formalize FPGA Hardware Design. Praha: CESNET, z.s.p.o., 2004. CESNET Technical Report No. 04/2004.
      More: https://is.muni.cz/publication/559201/en
    4. On Extensions of Process Rewrite Systems: Rewrite Systems with Weak Finite-State Unit
      KŘETÍNSKÝ, Mojmír; Vojtěch ŘEHÁK and 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. 2004th ed. Amsterdam, The Netherlands: Elsevier Science, 2004, p. 75-88. ISSN 1571-0661.
      More: https://is.muni.cz/publication/559231/en
    5. On the Expressive Power of Extended Process Rewrite Systems
      KŘETÍNSKÝ, Mojmír; Vojtěch ŘEHÁK and Jan STREJČEK. On the Expressive Power of Extended Process Rewrite Systems. BRICS Report Series. Aarhus: Basic Research in Computer Science, 2004, vol. 2004, RS-04-7, p. 1-18. ISSN 0909-0878.
      More: https://is.muni.cz/publication/554469/en
    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, p. 77-82.
      More: https://is.muni.cz/publication/562895/en
    7. Verification Process of Hardware Design in Liberouter Project
      HOLEČEK, Jan; Tomáš KRATOCHVÍLA; Vojtěch ŘEHÁK; David ŠAFRÁNEK and Pavel ŠIMEČEK. Verification Process of Hardware Design in Liberouter Project. Praha: CESNET z.s.p.o., 2004. CESNET Technical Report No. 05/2004.
      More: https://is.muni.cz/publication/561408/en
    8. Verification Results in Liberouter Project
      HOLEČEK, Jan; Tomáš KRATOCHVÍLA; Vojtěch ŘEHÁK; David ŠAFRÁNEK and Pavel ŠIMEČEK. Verification Results in Liberouter Project. Praha: CESNET, z.s.p.o., 2004. CESNET Technical Report No. 03/2004.
      More: https://is.muni.cz/publication/558042/en

    2003

    1. On Extensions of Process Rewrite Systems: Rewrite Systems with Weak Finite-State Unit
      KŘETÍNSKÝ, Mojmír; Vojtěch ŘEHÁK and 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, p. 73-86.
      More: https://is.muni.cz/publication/488339/en
    2. Packet header matching in Combo6 IPv6 router
      ANTOŠ, David; Jan KOŘENEK; Kateřina MINAŘÍKOVÁ and Vojtěch ŘEHÁK. Packet header matching in Combo6 IPv6 router. CESNET, z.s.p.o., 2003.
      More: https://is.muni.cz/publication/485854/en
    3. Process Rewrite Systems with Weak Finite-State Unit (full version of INFINITY'2003 paper)
      KŘETÍNSKÝ, Mojmír; Vojtěch ŘEHÁK and Jan STREJČEK. Process Rewrite Systems with Weak Finite-State Unit (full version of INFINITY'2003 paper). Brno: FI MU, 2003, 23 pp. FIMU-RS-2003-05.
      More: https://is.muni.cz/publication/488340/en
    4. Verification of COMBO6 VHDL Design
      KRATOCHVÍLA, Tomáš; Vojtěch ŘEHÁK and Pavel ŠIMEČEK. Verification of COMBO6 VHDL Design. Praha: CESNET, z.s.p.o., 2003. CESNET Technical Report No. 17/2003.
      More: https://is.muni.cz/publication/490367/en
    5. Vyhledávání v IPv6 směrovači implementovaném v hradlovém poli (Lookups in IPv6 router implemented in an FPGA)
      ANTOŠ, David; Jan KOŘENEK and Vojtěch ŘEHÁK. Vyhledávání v IPv6 směrovači implementovaném v hradlovém poli (Lookups in IPv6 router implemented in an FPGA). In EurOpen, Sborník příspěvků XXIII. konference. Strážnice: EurOpen, 2003, p. 91-102, 11 pp. ISBN 80-86583-04-X.
      More: https://is.muni.cz/publication/490202/en

    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, p. 41-46.
      More: https://is.muni.cz/publication/406618/en
Display details