doc. RNDr. David Šafránek, Ph.D.
docent – Katedra strojového učení a zpracování dat
kancelář: A408
Botanická 554/68a
602 00 Brno
telefon: | 549 49 4476 |
---|---|
e‑mail: |
sociální a akademické sítě: |
---|
Počet publikací: 115
2006
-
Formal Verification of a FIFO Component in Design of Network Monitoring Hardware
10 years of CESNET - CESNET CONFERENCE 2006, rok: 2006
-
Formal Verification of the CRC Algorithm Properties
Proceedings of 2nd Doctoral Workshop on Mathematical and Engineering Methods in Computer Science (MEMICS 2006), rok: 2006
-
Visual Coordination Networks
Rok: 2006, druh: Účelové publikace
2005
-
CRC64 Algorithm Analysis and Verification
Rok: 2005, druh: Prezentace v oblasti VaV (AV tvorba, WEB aplikace apod.)
-
VCD: A Visual Formalism for Specification of Heterogeneous Software Architectures
SOFSEM 2005: Theory and Practice of Computer Science, rok: 2005
2004
-
How to Formalize FPGA Hardware Design
Rok: 2004, druh: Prezentace v oblasti VaV (AV tvorba, WEB aplikace apod.)
-
Verification Process of Hardware Design in Liberouter Project
Rok: 2004, druh: Prezentace v oblasti VaV (AV tvorba, WEB aplikace apod.)
-
Verification Results in Liberouter Project
Rok: 2004, druh: Prezentace v oblasti VaV (AV tvorba, WEB aplikace apod.)
-
Visual Coordination Diagrams
Proceedings of the Doctoral Symposium of 7th International Conference on the Unified Modeling Language, rok: 2004
-
Visual Specification of Systems with Heterogeneous Coordination Models
Proceeding of 3rd International Workshop on Foundations of Coordination Languages and Software Architectures, rok: 2004