Technické zprávy
| 2013 | Dudka, K., Peringer, P., Vojnar, T.: Byte-Precise Verification of Low-Level List Manipulation, FIT-TR-2012-04, Brno, CZ, FIT VUT, 2013, s. 48 |
| | Iosif, R., Rogalewicz, A., Šimáček, J.: The Tree Width of Separation Logic with Recursive Definitions, arXiv:1301.5139, US, 2013, s. 31 |
| 2012 | Bartoš, V., Žádník, M.: Framework for comparison of network anomaly detection algorithms, FIT-TR-2012-02, Brno, CZ, FIT VUT, 2012, s. 17 |
| | Hrubá, V., Křena, B., Letko, Z., Vojnar, T.: Testing of Concurrent Programs Using Genetic Algorithms, FIT-TR-2012-01, Brno, CZ, 2012, s. 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, s. 28 |
| | Kekely, L., Žádník, M.: Hardwarově akcelerovaná sonda pro legální odposlechy, FIT-TR-2012-005, Brno, CZ, FIT VUT, 2012, s. 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, s. 31 |
| | Polčák, L., Hranický, R.: Útoky na systémy pro zákonné odposlechy, FIT-TR-2012-008, Brno, CZ, FIT VUT, 2012, s. 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, s. 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, s. 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, s. 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, s. 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, s. 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, s. 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, s. 22 |
| | Kořenek, J., Korček, P., Kaštil, J.: Sondy pro monitorování provozu, FIT-TR-2011-09, Brno, CZ, FIT VUT, 2011, s. 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, s. 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, s. 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, s. 45 |
|
Fakulta informačních technologií
![[dnssec]](/common/img/dnssec.png)