doc. RNDr. Vojtěch Řehák, Ph.D.

2006

• Formal Verification of a FIFO Component in Design of Network Monitoring Hardware

  KRATOCHVÍLA Tomáš ŘEHÁK Vojtěch ŠAFRÁNEK David

  Article in Proceedings

  10 years of CESNET - CESNET CONFERENCE 2006, year: 2006

• Formal Verification of the CRC Algorithm Properties

  SMRČKA Aleš HLÁVKA Petr ŠAFRÁNEK David ŘEHÁK Vojtěch ŠIMEČEK Pavel VOJNAR Tomáš

  Article in Proceedings

  Proceedings of 2nd Doctoral Workshop on Mathematical and Engineering Methods in Computer Science (MEMICS 2006), year: 2006

• On Decidability of LTL Model Checking for Process Rewrite Systems

  BOZZELLI Laura KŘETÍNSKÝ Mojmír ŘEHÁK Vojtěch STREJČEK Jan

  Article in Proceedings

  FSTTCS 2006: 26th International Conference on Foundations of Software Technology and Theoretical Computer Science, 26th International Conference, Kolkata, India, December 13-15, 2006, Proceedings, year: 2006

• On Decidability of LTL Model Checking for Weakly Extended Process Rewrite Systems

  BOZZELLI Laura KŘETÍNSKÝ Mojmír ŘEHÁK Vojtěch STREJČEK Jan

  R&D Presentation

  Year: 2006, type: R&D Presentation

• Packet Filtering for FPGA-Based Routing Accelerator

  ANTOŠ David ŘEHÁK Vojtěch HOLUB Petr

  Article in Proceedings

  CESNET Conference 2006 Proceedings, year: 2006

• Refining Undecidability Border of Weak Bisimilarity.

  KŘETÍNSKÝ Mojmír ŘEHÁK Vojtěch STREJČEK Jan

  Article in Proceedings

  Proceedings of the 7th International Workshop on Verification of Infinite-State Systems (INFINITY'05), year: 2006

• Routing and Level 2 Addressing in a Hardware Accelerator for Network Applications

  ANTOŠ David ŘEHÁK Vojtěch

  Article in Proceedings

  ICT 2006, 13th International Conference on Telecommunications, year: 2006

• Routing, L2 Addressing, and Packet Filtering in a Hardware Engine

  ANTOŠ David ŘEHÁK Vojtěch

  Article in Proceedings

  Proceedings of MEMICS 2006, year: 2006

• Weakly Extended Process Rewrite Systems

  ŘEHÁK Vojtěch

  Appeared in Conference without Proceedings

  Year: 2006, type: Appeared in Conference without Proceedings

2005

• CRC64 Algorithm Analysis and Verification

  ŠAFRÁNEK David ŘEHÁK Vojtěch KRATOCHVÍLA Tomáš ŠIMEČEK Pavel HLÁVKA Petr VOJNAR Tomáš

  R&D Presentation

  Year: 2005, type: R&D Presentation