Masarykova univerzita

Výpis publikací

česky | in English

Filtrování publikací

    2017

  1. 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, 17 s. ISBN 978-3-319-66334-0. doi:10.1007/978-3-319-66335-7.
  2. 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, 18 s. ISBN 978-3-319-68166-5. doi:10.1007/978-3-319-68167-2.
  3. 2016

  4. 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, 6 s. ISBN 978-1-5090-3431-4. doi:10.1109/MASCOTS.2016.34.
  5. 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, 9 s. ISBN 978-3-319-33692-3. doi:10.1007/978-3-319-33693-0_9.
  6. 2015

  7. 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, 19 s. ISBN 978-3-319-22263-9. doi:10.1007/978-3-319-22264-6_10.
  8. 2014

  9. 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, 16 s. ISBN 978-3-319-10884-1. doi:10.1007/978-3-319-10885-8_9.
  10. 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, 2 s. ISBN 978-1-4503-2738-1.
  11. 2013

  12. 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, 13 s. ISBN 978-3-642-36044-2. doi:10.1007/978-3-642-36046-6_12.
  13. 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, 2 s. ISBN 978-1-4503-1636-1. doi:10.1145/2479871.2479936.
  14. 2012

  15. 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. doi:10.1017/S0960129511000399.
  16. 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, 15 s. ISBN 978-3-642-28755-8. doi:10.1007/978-3-642-28756-5_8.
  17. 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, 6 s. ISBN 978-1-4673-1687-3. doi:10.1109/ACSD.2012.25.
  18. 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, 12 s. ISBN 978-3-939897-47-7. doi:10.4230/LIPIcs.FSTTCS.2012.474.
  19. 2011

  20. 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, 16 s. ISBN 978-3-642-23216-9.
  21. 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, 10 s. ISBN 978-1-4503-0629-4.
  22. 2010

  23. 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.
  24. Ř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.
  25. 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, 15 s. ISBN 978-3-642-15374-7. doi:10.1007/978-3-642-15375-4_15.
  26. 2009

  27. 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, 10 s. ISSN 2075-2180.
  28. 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.
  29. 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, 13 s. ISSN 1571-0661.
  30. 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.
  31. 2008

  32. 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.
  33. 2007

  34. 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.
  35. 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.
  36. 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.
  37. 2006

  38. 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, 10 s. ISBN 978-80-239-6533-9.
  39. 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.
  40. 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, 12 s. ISBN 978-3-540-49994-7.
  41. 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.
  42. 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, 13 s. ISBN 80-239-6533-6.
  43. 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, 20 s. ISSN 1571-0661.
  44. 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, 4 s. ISBN 972-98368-4-1.
  45. 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, 8 s. ISBN 80-214-3287-X.
  46. ŘEHÁK, Vojtěch. Weakly Extended Process Rewrite Systems. In MOVEP'06: 7th school on MOdeling and VErifying parallel Processes. 2006.
  47. 2005

  48. Š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.
  49. 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, 12 s. ISBN 3-540-30495-9.
  50. 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.
  51. 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.
  52. ANTOŠ, David a Vojtěch ŘEHÁK. Routing and Filtering in a Single Operation. Znojmo: FI MU a FIT VUT Brno, 2005.
  53. 2004

  54. 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, 16 s. ISBN 3-540-22940-X.
  55. 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, 6 s. ISBN 0-86341-325-0.
  56. 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.
  57. 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, 14 s. ISSN 1571-0661.
  58. 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.
  59. Ř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, 6 s.
  60. 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.
  61. 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.
  62. 2003

  63. 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, 14 s.
  64. 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.
  65. 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.
  66. 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.
  67. 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.
  68. 2002

  69. ŘEHÁK, Vojtěch. Randomized symbolic model checking. Brno, 2002. iii, 38 s.
  70. Ř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.
Zobrazit podrobně
Zobrazeno: 13. 12. 2017 10:17