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

  Článek ve sborníku

  10 years of CESNET - CESNET CONFERENCE 2006, rok: 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áš

  Článek ve sborníku

  Proceedings of 2nd Doctoral Workshop on Mathematical and Engineering Methods in Computer Science (MEMICS 2006), rok: 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

  Článek ve sborníku

  FSTTCS 2006: 26th International Conference on Foundations of Software Technology and Theoretical Computer Science, 26th International Conference, Kolkata, India, December 13-15, 2006, Proceedings, rok: 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

  Prezentace v oblasti VaV (AV tvorba, WEB aplikace apod.)

  Rok: 2006, druh: Prezentace v oblasti VaV (AV tvorba, WEB aplikace apod.)

• Packet Filtering for FPGA-Based Routing Accelerator

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

  Článek ve sborníku

  CESNET Conference 2006 Proceedings, rok: 2006

• Refining Undecidability Border of Weak Bisimilarity.

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

  Článek ve sborníku

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

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

  ANTOŠ David ŘEHÁK Vojtěch

  Článek ve sborníku

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

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

  ANTOŠ David ŘEHÁK Vojtěch

  Článek ve sborníku

  Proceedings of MEMICS 2006, rok: 2006

• Weakly Extended Process Rewrite Systems

  ŘEHÁK Vojtěch

  Další prezentace na konferencích

  Rok: 2006, druh: Další prezentace na konferencích

2005

• CRC64 Algorithm Analysis and Verification

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

  Prezentace v oblasti VaV (AV tvorba, WEB aplikace apod.)

  Rok: 2005, druh: Prezentace v oblasti VaV (AV tvorba, WEB aplikace apod.)