Publication Records

NOVOTNÝ, Jiří, Pavel ČELEDA, Tomáš DEDEK and Radek KREJČÍ. Hardware Acceleration for Cyber Security. Online. In IST-091 - Information Assurance and Cyber Defence. Tallinn, Estonia: NATO Research and Technology Organization, 2010, p. 86-101, 15 pp. ISBN 978-92-837-0115-6.

MARTÍNEK, Tomáš, Matej LEXA and Jan VOŽENÍLEK. Architecture model for approximate palindrome detection. In 2009 IEEE Symposium on Design and Diagnostics of Electronic Circuits and Systems. Liberec: IEEE Computer Society, 2009, p. 90-95. ISBN 978-1-4244-3339-1.

ČELEDA, Pavel, Martin ŽÁDNÍK and Lukáš SOLANKA. Hardware-Accelerated Flexible Flow Measurement. 2009.

MARTÍNEK, Tomáš and Matej LEXA. Hardware Acceleration of Approximate Palindromes Searching. In The International Conference on Field-Programmable Technology. Taipei: IEEE Computer Society, 2008, p. 65-72. ISBN 978-1-4244-2796-3.

ČELEDA, Pavel. Projekt Liberouter - hardwarová akcelerace pro sledování a analyzování provozu ve vysokorychlostních sítích (Liberouter Project - Hardware Acceleration For Monitoring and Traffic Analysis In High-Speed Networks). Workshop pracovní skupiny CSIRT.CZ, 2008.

MARTÍNEK, Tomáš, Matej LEXA, Patrik BECK and Otto FUČÍK. Automatic generation of circuits for approximate string matching. In Proceedings of 2007 IEEE Design and Diagnostics of Electronic Circuits and Systems. Krakow: IEEE Computer Society, 2007, p. 203-208. ISBN 1-4244-1161-0.

KUZNÍK, Ondřej and Daniel JAKUBÍK. Design Specification as a Basis to Hardware Simulation. CESNET, z.s.p.o. Praha: CESNET, z.s.p.o., 2007. CESNET Technical Report Series 34/2007.

ČELEDA, Pavel, Milan KOVÁČIK, Tomáš KONÍŘ, Vojtěch KRMÍČEK, Petr ŠPRINGL and Martin ŽÁDNÍK. FlowMon Probe. Příbram: PB tisk, s.r.o., 2007. Network Studies: Selected Technical Reports. ISBN 978-80-239-9285-4.

LEXA, Matej, Tomáš MARTÍNEK, Patrik BECK, Otto FUČÍK, Giorgio VALLE and Ivano ZARA. Genomic PCR simulation with hardware-accelerated approximate sequence matching. In Proceedings 21st European Conference on Modelling and Simulation. Praha: ECMS, 2007, p. 333-338. ISBN 978-0-9553018-2-7.

MARTÍNEK, Tomáš, Matej LEXA, Jan KOŘENEK and Otto FUČÍK. A flexible technique for the automatic design for approximate string matching architectures. In Proceedings of 2006 IEEE Design and Diagnostics of Electronic Circuits and Systems Workshop. Praha: IEEE Computer Society, 2006, p. 83-84. ISBN 1424401844.

KRATOCHVÍLA, Tomáš, Vojtěch ŘEHÁK and David ŠAFRÁNEK. Formal Verification of a FIFO Component in Design of Network Monitoring Hardware. In 10 years of CESNET - CESNET CONFERENCE 2006. Praha: CESNET, z.s.p.o., 2006, p. 151-160. ISBN 978-80-239-6533-9.

ANTOŠ, David, Vojtěch ŘEHÁK and Jan KOŘENEK. Hardware Router's Lookup Machine and its Formal Verification. In ICN'2004 Conference Proceedings. Gosier, Guadeloupe, French Caribbean: University of Haute Alsace, Colmar, France, 2004, p. 1002-1007. ISBN 0-86341-325-0.

HOLEČEK, Jan, Tomáš KRATOCHVÍLA, Vojtěch ŘEHÁK, David ŠAFRÁNEK and Pavel ŠIMEČEK. How to Formalize FPGA Hardware Design. Praha: CESNET, z.s.p.o., 2004. CESNET Technical Report No. 04/2004.

ANTOŠ, David and Jan KOŘENEK. String Matching for IPv6 Routers. In SOFSEM 2004. Měřín: MATFYZPRESS, Prague, 2004, p. 205-210. ISBN 80-86732-19-3.

HOLEČEK, Jan, Tomáš KRATOCHVÍLA, Vojtěch ŘEHÁK, David ŠAFRÁNEK and Pavel ŠIMEČEK. Verification Results in Liberouter Project. Praha: CESNET, z.s.p.o., 2004. CESNET Technical Report No. 03/2004.

NOVOTNÝ, Jiří, Otto FUČÍK and David ANTOŠ. Project of IPv6 Router with FPGA Hardware Accelerator. In Field-Programmable Logic and Applications, 13th International Conference FPL 2003, Proceedings. Lisbon, Portugal: Springer Verlag, 2003, p. 964-967. ISBN 3-540-40822-3.

ANTOŠ, David, Jan KOŘENEK and Vojtěch ŘEHÁK. Vyhledávání v IPv6 směrovači implementovaném v hradlovém poli (Lookups in IPv6 router implemented in an FPGA). In EurOpen, Sborník příspěvků XXIII. konference. Strážnice: EurOpen, 2003, p. 91-102, 11 pp. ISBN 80-86583-04-X.