doc. RNDr. David Šafránek, Ph.D.
Associate professor, Department of Machine Learning and Data Processing
Office: A408
Botanická 554/68a
602 00 Brno
Phone: | +420 549 49 4476 |
---|---|
E‑mail: |
social and academic networks: |
---|
Total number of publications: 114
2006
-
Formal Verification of the CRC Algorithm Properties
Proceedings of 2nd Doctoral Workshop on Mathematical and Engineering Methods in Computer Science (MEMICS 2006), year: 2006
-
Visual Coordination Networks
Year: 2006, type:
2005
-
CRC64 Algorithm Analysis and Verification
Year: 2005, type: R&D Presentation
-
VCD: A Visual Formalism for Specification of Heterogeneous Software Architectures
SOFSEM 2005: Theory and Practice of Computer Science, year: 2005
2004
-
How to Formalize FPGA Hardware Design
Year: 2004, type: R&D Presentation
-
Verification Process of Hardware Design in Liberouter Project
Year: 2004, type: R&D Presentation
-
Verification Results in Liberouter Project
Year: 2004, type: R&D Presentation
-
Visual Coordination Diagrams
Proceedings of the Doctoral Symposium of 7th International Conference on the Unified Modeling Language, year: 2004
-
Visual Specification of Systems with Heterogeneous Coordination Models
Proceeding of 3rd International Workshop on Foundations of Coordination Languages and Software Architectures, year: 2004
2003
-
Visual Specification of Concurrent Systems
18th IEEE International Conference on Automated Software Engineering, year: 2003