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., Simácek, J.: The Tree Width of Separation Logic with Recursive Definitions, arXiv:1301.5139, US, 2013, s. 31 |
| 2012 | Bartos, V., Zádník, M.: Framework for comparison of network anomaly detection algorithms, FIT-TR-2012-02, Brno, CZ, FIT VUT, 2012, s. 17 |
| | Hrubá, V., Krena, 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., Polcák, L.: Spolehlivá a zabezpecená komunikace v rámci systému pro zákonné odposlechy, FIT-TR-2012-007, Brno, CZ, FIT VUT, 2012, s. 28 |
| | Kekely, L., Zádník, M.: Hardwarove akcelerovaná sonda pro legální odposlechy, FIT-TR-2012-005, Brno, CZ, FIT VUT, 2012, s. 18 |
| | Martínek, T., Kramolis, P., Holkovic, M., Polcák, L.: Dynamická identifikace uzivatelu v prostredí sítí IPv4 a IPv6, FIT-TR-2012-006, Brno, CZ, FIT VUT, 2012, s. 31 |
| | Polcák, L., Hranický, R.: Útoky na systémy pro zákonné odposlechy, FIT-TR-2012-008, Brno, CZ, FIT VUT, 2012, s. 36 |
| | Simková, 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., Krena, 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., Podermanski, T., Soltés, M., Zá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., Simácek, 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., Simácek, J., Vojnar, T.: Efficient Inclusion Checking on Explicit and Semi-Symbolic Tree Automata, FIT-TR-2011-04, Brno, CZ, FIT VUT, 2011, s. 22 |
| | Korenek, J., Korcek, P., Kastil, J.: Sondy pro monitorování provozu, FIT-TR-2011-09, Brno, CZ, FIT VUT, 2011, s. 26 |
| | Polcák, L., Kramolis, P., Kajan, M., Martínek, T.: Architektura systému pro zákonné odposlechy, FIT-TR-2011-008, Brno, CZ, FIT VUT, 2011, s. 25 |
| | Simková, 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 |
| | Zboril, F., Hanácek, P., Zák, J., Horácek, J., Drahanský, M., Hájek, J., Marvan, A.: Studie vyuzití autentizacne - bezpecnostních technologií pro automatizaci a zlepsení efektivity vybraných procesu sledování stavu a pohybu majetku a osob ve firme nebo instituci, Brno, CZ, Siemens CZ, 2011, s. 45 |
|
Fakulta informacních technologií
![[dnssec]](/common/img/dnssec.png)