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

2004

• Extended Process Rewrite Systems: Expressiveness and Reachability

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

  Article in Proceedings

  CONCUR 2004 - Concurrency Theory, year: 2004

• Hardware Router's Lookup Machine and its Formal Verification

  ANTOŠ David ŘEHÁK Vojtěch KOŘENEK Jan

  Article in Proceedings

  ICN'2004 Conference Proceedings, year: 2004

• How to Formalize FPGA Hardware Design

  HOLEČEK Jan KRATOCHVÍLA Tomáš ŘEHÁK Vojtěch ŠAFRÁNEK David ŠIMEČEK Pavel

  R&D Presentation

  Year: 2004, type: R&D Presentation

• On Extensions of Process Rewrite Systems: Rewrite Systems with Weak Finite-State Unit

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

  Article in Proceedings

  INFINITY'2003: 5th International Workshop on Verification of Infinite-State Systems, year: 2004

• On the Expressive Power of Extended Process Rewrite Systems

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

  Article in Periodical

  BRICS Report Series, year: 2004, volume: 2004, edition: RS-04-7

• Reachability for Extended Process Rewrite Systems

  ŘEHÁK Vojtěch

  Article in Proceedings

  MOVEP'04: 6th school on MOdeling and VErifying parallel Processes, year: 2004

• Verification Process of Hardware Design in Liberouter Project

  HOLEČEK Jan KRATOCHVÍLA Tomáš ŘEHÁK Vojtěch ŠAFRÁNEK David ŠIMEČEK Pavel

  R&D Presentation

  Year: 2004, type: R&D Presentation

• Verification Results in Liberouter Project

  HOLEČEK Jan KRATOCHVÍLA Tomáš ŘEHÁK Vojtěch ŠAFRÁNEK David ŠIMEČEK Pavel

  R&D Presentation

  Year: 2004, type: R&D Presentation

2003

• On Extensions of Process Rewrite Systems: Rewrite Systems with Weak Finite-State Unit

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

  Article in Proceedings

  Prelim.Proc.of the 5th Internat.Workshop on Verification of Infinite-State Systems (INFINITY'2003), year: 2003

• Packet header matching in Combo6 IPv6 router

  ANTOŠ David KOŘENEK Jan MINAŘÍKOVÁ Kateřina ŘEHÁK Vojtěch

  R&D Presentation

  Year: 2003, type: R&D Presentation