Technical Reports

2013	Dudka, K., Peringer, P., Vojnar, T.: Byte-Precise Verification of Low-Level List Manipulation, FIT-TR-2012-04, Brno, CZ, FIT VUT, 2013, p. 48
	Iosif, R., Rogalewicz, A., Šimáček, J.: The Tree Width of Separation Logic with Recursive Definitions, arXiv:1301.5139, US, 2013, p. 31
2012	Bartoš, V., Žádník, M.: Framework for comparison of network anomaly detection algorithms, FIT-TR-2012-02, Brno, CZ, FIT VUT, 2012, p. 17
	Hrubá, V., Křena, B., Letko, Z., Vojnar, T.: Testing of Concurrent Programs Using Genetic Algorithms, FIT-TR-2012-01, Brno, CZ, 2012, p. 31
	Kajan, M., Koranda, K., Polčák, L.: Spolehlivá a zabezpečená komunikace v rámci systému pro zákonné odposlechy, FIT-TR-2012-007, Brno, CZ, FIT VUT, 2012, p. 28
	Kekely, L., Žádník, M.: Hardwarově akcelerovaná sonda pro legální odposlechy, FIT-TR-2012-005, Brno, CZ, FIT VUT, 2012, p. 18
	Martínek, T., Kramoliš, P., Holkovič, M., Polčák, L.: Dynamická identifikace uživatelů v prostředí sítí IPv4 a IPv6, FIT-TR-2012-006, Brno, CZ, FIT VUT, 2012, p. 31
	Polčák, L., Hranický, R.: Útoky na systémy pro zákonné odposlechy, FIT-TR-2012-008, Brno, CZ, FIT VUT, 2012, p. 36
	Šimková, M., Lengál, O.: Towards Beneficial Hardware Acceleration in HAVEN: Evaluation of Testbed Architectures, FIT-TR-2012-03, Brno, CZ, FIT VUT, 2012, p. 14
2011	Abdulla, P., A., Chen, Y., Clemente, L., Holík, L., Hong, C., Mayr, R., Vojnar, T.: Advanced Ramsey-based Büchi Automata Inclusion Testing, FIT-TR-2011-03, Brno, CZ, FIT VUT, 2011, p. 45
	Dudka, K., Peringer, P., Vojnar, T.: Predator: A Practical Tool for Checking Manipulation of Dynamic Data Structures Using Separation Logic, FIT-TR-2011-02, Brno, CZ, FIT VUT, 2011, p. 23
	Fiedor, J., Hrubá, V., Křena, B., Vojnar, T.: DA-BMC: A Tool Chain Combining Dynamic Analysis and Bounded Model Checking, FIT-TR-2011-06, Brno, CZ, FIT VUT, 2011, p. 9
	Grégr, M., Podermański, T., Šoltés, M., Žádník, M.: Design of Data Retention System in IPv6 network, FIT-TR-2011-07, Brno, CZ, FIT VUT, 2011, p. 20
	Habermehl, P., Holík, L., Rogalewicz, A., Šimáček, J., Vojnar, T.: Forest Automata for Verification of Heap Manipulation, FIT-TR-2011-01, Brno, CZ, FIT VUT, 2011, p. 30
	Holík, L., Lengál, O., Šimáček, J., Vojnar, T.: Efficient Inclusion Checking on Explicit and Semi-Symbolic Tree Automata, FIT-TR-2011-04, Brno, CZ, FIT VUT, 2011, p. 22
	Kořenek, J., Korček, P., Kaštil, J.: Sondy pro monitorování provozu, FIT-TR-2011-09, Brno, CZ, FIT VUT, 2011, p. 26
	Polčák, L., Kramoliš, P., Kajan, M., Martínek, T.: Architektura systému pro zákonné odposlechy, FIT-TR-2011-008, Brno, CZ, FIT VUT, 2011, p. 25
	Šimková, M., Lengál, O., Kajan, M.: HAVEN: An Open Framework for FPGA-Accelerated Functional Verification of Hardware, FIT-TR-2011-05, Brno, CZ, FIT VUT, 2011, p. 16
	Zbořil, F., Hanáček, P., Žák, J., Horáček, J., Drahanský, M., Hájek, J., Marvan, A.: Studie využití autentizačně - bezpečnostních technologií pro automatizaci a zlepšení efektivity vybraných procesů sledování stavu a pohybu majetku a osob ve firmě nebo instituci, Brno, CZ, Siemens CZ, 2011, p. 45

Nacházíte se v sekcích

Main menu

Technical Reports