doc. RNDr. David Šafránek, Ph.D.

2006

• FlowMon Cache Simulation and Analysis of Inter-Packet Gaps

  KRAMÁREKOVÁ Miroslava JAKUBÍK Daniel ŽÁDNÍK Martin ŠAFRÁNEK David

  R&D Presentation

  Year: 2006, type: R&D Presentation

• 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

• Visual Coordination Networks

  ŠAFRÁNEK David

  Year: 2006, type:

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

• VCD: A Visual Formalism for Specification of Heterogeneous Software Architectures

  ŠAFRÁNEK David ŠIMŠA Jiří

  Article in Proceedings

  SOFSEM 2005: Theory and Practice of Computer Science, year: 2005

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

• 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

• Visual Coordination Diagrams

  ŠAFRÁNEK David

  Article in Proceedings

  Proceedings of the Doctoral Symposium of 7th International Conference on the Unified Modeling Language, year: 2004