Technical Reports

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
2010	Abdulla, P., A., Clemente, L., Holík, L., Hong, C., Chen, Y., Mayr, R., Vojnar, T.: Simulation Subsumption in Ramsey-based Büchi Automata Universality and Inclusion Testing, FIT-TR-2010-02, Brno, CZ, FIT VUT, 2010, p. 30
	Abdulla, P., A., Holík, L., Chen, Y., Mayr, R., Vojnar, T.: When Simulation Meets Antichains (On Checking Language Inclusion of Nondeterministic Finite (Tree) Automata), FIT-TR-2010-01, Brno, CZ, FIT VUT, 2010, p. 22
	Bozga, M., Iosif, R., Konečný, F.: Fast Acceleration of Ultimately Periodic Relations, TR-2010-3, Grenoble, FR, VERIMAG, 2010, p. 24
	Fiedor, J., Křena, B., Letko, Z., Vojnar, T.: A Uniform Classification of Common Concurrency Errors, FIT-TR-2010-03, Brno, CZ, 2010, p. 24
	Hanáček, P., Pecho, P.: Interní dokumentace projektu FITKit-Blocker, Brno, CZ, 2010, p. 15

Nacházíte se v sekcích

Main menu

Technical Reports