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

2007

• Verifying VHDL Designs with Multiple Clocks in SMV

  SMRČKA Aleš ŘEHÁK Vojtěch VOJNAR Tomáš ŠAFRÁNEK David MATOUŠEK Petr ŘEHÁK Zdeněk

  Článek ve sborníku

  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, rok: 2007

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