doc. RNDr. David Šafránek, 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

• Architectural Interoperability Checking in Visual Coordination Networks

  ŠAFRÁNEK David

  Článek ve sborníku

  Combined Proceedings of the Second International Workshop on Coordination and Organization (CoOrg 2006) and the Second International Workshop on Methods and Tools for Coordinating Concurrent, Distributed and Mobile Systems (MTCoord 2006), rok: 2006

• FlowMon Cache Simulation and Analysis of Inter-Packet Gaps

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

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

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

• 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

• Visual Coordination Networks

  ŠAFRÁNEK David

  Účelové publikace

  Rok: 2006, druh: Účelové publikace

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.)

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

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

  Článek ve sborníku

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

2004

• How to Formalize FPGA Hardware Design

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

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

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

• Verification Process of Hardware Design in Liberouter Project

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

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

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