Detail projektu

Pokročilé bezpečné, spolehlivé a adaptivní IT

Období řešení: 01.01.2011 — 31.12.2013

Zdroje financování

Vysoké učení technické v Brně - Vnitřní projekty VUT

- plně financující (2012-01-01 - 2014-12-31)

O projektu

Projekt integruje pracovníky a doktorandy tří ústavů Fakulty informačních technologií VUT v Brně, jejichž výzkumná činnost spadá do oblasti bezpečnosti a spolehlivosti HW-SW systémů, včetně návrhu, modelování, simulace, diagnostiky a formální verifikace takovýchto systémů. Podstatou projektu je systematicky rozvíjet koncept "návrhu pro bezpečnost, spolehlivost a adaptaci" HW/SW systémů.

Popis anglicky
TBD

Označení

FIT-S-11-1

Originální jazyk

čeština

Řešitelé

Sekanina Lukáš, prof. Ing., Ph.D. - hlavní řešitel
Barabas Maroš, Ing., Ph.D. - spoluřešitel
Bartoš Pavel, Ing. - spoluřešitel
Bidlo Michal, doc. Ing., Ph.D. - spoluřešitel
Češka Milan, prof. RNDr., CSc. - spoluřešitel
Dittrich Petr, Ing., Ph.D. - spoluřešitel
Dluhoš Ondřej, Ing. - spoluřešitel
Doležel Michal, Ing. - spoluřešitel
Drábek Vladimír, doc. Ing., CSc. - spoluřešitel
Drahanský Martin, prof. Ing., Ph.D. - spoluřešitel
Drozd Michal, Ing. - spoluřešitel
Dudka Kamil, Ing. - spoluřešitel
Dudka Vendula, Ing. - spoluřešitel
Dvořák Radim, Ing., Ph.D. - spoluřešitel
Fajkus Jan, Ing. - spoluřešitel
Fiedor Jan, Ing., Ph.D. - spoluřešitel
Fučík Otto, doc. Dr. Ing. - spoluřešitel
Gach Marek, Ing. - spoluřešitel
Grégr Matěj, Ing., Ph.D. - spoluřešitel
Hájek Josef, Ing., Ph.D. - spoluřešitel
Halfar Patrik, Ing. - spoluřešitel
Henzl Martin, Ing. Mgr., Ph.D. - spoluřešitel
Herman David, Ing. - spoluřešitel
Horáček Jan, Ing. - spoluřešitel
Hrubý Martin, Ing., Ph.D. - spoluřešitel
Janoušek Vladimír, doc. Ing., Ph.D. - spoluřešitel
Jurnečka Peter, Ing., Ph.D. - spoluřešitel
Kačic Matej, Ing., Ph.D. - spoluřešitel
Kadák Michal, Ing. - spoluřešitel
Kadlček Filip, Ing., Ph.D. - spoluřešitel
Kajan Michal, Ing. - spoluřešitel
Kaštil Jan, Ing., Ph.D. - spoluřešitel
Kněžík Jan, Ing. - spoluřešitel
Kočí Radek, Ing., Ph.D. - spoluřešitel
Konečný Filip, Ing., Ph.D. - spoluřešitel
Korček Pavol, Ing., Ph.D. - spoluřešitel
Kořenek Jan, doc. Ing., Ph.D. - spoluřešitel
Košař Vlastimil, Ing., Ph.D. - spoluřešitel
Kreslíková Jitka, doc. RNDr., CSc. - spoluřešitel
Křena Bohuslav, Ing., Ph.D. - spoluřešitel
Kubát David, Ing. - spoluřešitel
Kunovský Jiří, doc. Ing., CSc. - spoluřešitel
Lengál Ondřej, Ing., Ph.D. - spoluřešitel
Letko Zdeněk, Ing., Ph.D. - spoluřešitel
Lodrová Dana, Ing., Ph.D. - spoluřešitel
Malačka Ondřej, Ing. - spoluřešitel
Martínek Tomáš, doc. Ing., Ph.D. - spoluřešitel
Marvan Aleš, Ing. - spoluřešitel
Matoušek Petr, doc. Ing., Ph.D., M.A. - spoluřešitel
Mičulka Lukáš, Ing., Ph.D. - spoluřešitel
Michlovský Zbyněk, Ing. - spoluřešitel
Minárik Michal, Ing. - spoluřešitel
Minařík Miloš, Ing., Ph.D. - spoluřešitel
Müller Petr, Ing. - spoluřešitel
Nagy Jan, Ing. - spoluřešitel
Novotňák Jiří, Ing. - spoluřešitel
Novotný Tomáš, Ing. - spoluřešitel
Očenášek Pavel, Mgr. Ing., Ph.D. - spoluřešitel
Orság Filip, Ing., Ph.D. - spoluřešitel
Peringer Petr, Dr. Ing. - spoluřešitel
Peterka Ondřej, Ing. - spoluřešitel
Polčák Libor, Ing., Ph.D. - spoluřešitel
Pospíchal Petr, Ing. - spoluřešitel
Prívozník Michal, Ing. - spoluřešitel
Puš Viktor, Ing., Ph.D. - spoluřešitel
Ráb Jaroslav, Ing. - spoluřešitel
Rogalewicz Adam, doc. Mgr., Ph.D. - spoluřešitel
Růžička Richard, doc. Ing., Ph.D., MBA - spoluřešitel
Ryšavý Ondřej, doc. Ing., Ph.D. - spoluřešitel
Schwarz Josef, doc. Ing., CSc. - spoluřešitel
Slimařík František, Ing. - spoluřešitel
Smrčka Aleš, Ing., Ph.D. - spoluřešitel
Strnadel Josef, Ing., Ph.D. - spoluřešitel
Stružka Jaroslav, Ing. - spoluřešitel
Szöllös Alexandr, Ing. - spoluřešitel
Šimáček Jiří, Ing., Ph.D. - spoluřešitel
Šimek Václav, Ing. - spoluřešitel
Švéda Miroslav, prof. Ing., CSc. - spoluřešitel
Tomec Martin, Ing. - spoluřešitel
Trchalík Roman, Mgr., Ph.D. - spoluřešitel
Tříska Vít, Ing. - spoluřešitel
Valenta Václav, Ing., Ph.D. - spoluřešitel
Váňa Jan, Ing. - spoluřešitel
Vašíček Zdeněk, doc. Ing., Ph.D. - spoluřešitel
Veselý Vladimír, Ing., Ph.D. - spoluřešitel
Vojnar Tomáš, prof. Ing., Ph.D. - spoluřešitel
Zadina Martin, Ing. - spoluřešitel
Zbořil František, doc. Ing., CSc. - spoluřešitel
Zbořil František, doc. Ing., Ph.D. - spoluřešitel
Zemčík Pavel, prof. Dr. Ing., dr. h. c. - spoluřešitel
Žádník Martin, Ing., Ph.D. - spoluřešitel
Žák Jakub, Ing. - spoluřešitel
Žaloudek Luděk, Ing. - spoluřešitel

Útvary

Ústav počítačových systémů
- interní (01.01.2012 - 31.12.2014)
Ústav informačních systémů
- interní (01.01.2012 - 31.12.2014)
Ústav inteligentních systémů
- interní (01.01.2012 - 31.12.2014)
Fakulta informačních technologií
- příjemce (01.01.2012 - 31.12.2014)

Výsledky

ŠVÉDA, M.; VRBA, R. A Cyber-Physical System Design Approach. Proceedings of The Sixth International Conference on Systems - ICONS 2011. St. Maarten: International Academy, Research, and Industry Association, 2011. p. 12-18. ISBN: 978-1-61208-002-4.
Detail

VOGEL, I.; ZEDEK, F.; OČENÁŠEK, P. Constructing Phylogenetic Trees Based on Intra-Group Analysis of Human Mitochondrial DNA. In Human Interface and the Management of Information. Interacting with Information. Lecture Notes in Computer Science. Lecture Notes in Computer Science. Berlin Heidelberg: Springer Verlag, 2011. p. 165-169. ISBN: 978-3-642-21792-0. ISSN: 0302-9743.
Detail

ŠVÉDA, M. Design Experience with Routing SW and Related Applications. Proceedings of The Tenth International Conference on Networks - ICN 2011. St. Maarten: International Academy, Research, and Industry Association, 2011. p. 133-138. ISBN: 978-1-61208-002-4.
Detail

ŠVÉDA, M.; RYŠAVÝ, O.; MATOUŠEK, P. Supporting Safe and Secure Networked System Design. Computer Aided Systems Theory (EUROCAST´11), Extended Abstracts. Las Palmas de Gran Canaria: The Universidad de Las Palmas de Gran Canaria, 2011. p. 22-23. ISBN: 978-84-693-9560-8.
Detail

KORČEK, P.; SEKANINA, L.; FUČÍK, O. Cellular automata based traffic simulation accelerated on GPU. Proceedings of the 17th International Conference on Soft Computing (MENDEL2011). Brno: Institute of Automation and Computer Science FME BUT, 2011. p. 395-402. ISBN: 978-80-214-4302-0.
Detail

OČENÁŠEK, P. An Approach for Security Protocol Design Based on Zero-knowledge Primitives Composition. Human Interface and the Management of Information. Interacting with Information. Lecture Notes in Computer Science. Berlin Heidelberg: Springer Verlag, 2011. p. 374-378. ISBN: 978-3-642-21792-0.
Detail

OČENÁŠEK, P. Analysis of Authentication Protocols with Scyter: Case Study. Human Interface and the Management of Information. Interacting with Information. Lecture Notes in Computer Science. Berlin Heidelberg: Springer Verlag, 2011. p. 359-365. ISBN: 978-3-642-21792-0.
Detail

OČENÁŠEK, P.; HRANÁČ, J. Routing Functionality in the Logic Approach for Authentication Protocol Design. Human Interface and the Management of Information. Interacting with Information. Lecture Notes in Computer Science. Berlin Heidelberg: Springer Verlag, 2011. p. 366-373. ISBN: 978-3-642-21792-0.
Detail

DVOŘÁK, R.; ZBOŘIL, F. On the usage of ELLAM to solve advection-diffusion equation describing the pollutant transport in planetary boundary layer. Proceedings of the Eleventh International Conference on Informatics. Košice: Faculty of Electrical Engineering and Informatics, University of Technology Košice, 2011. p. 227-230. ISBN: 978-80-89284-94-8.
Detail

MATOUŠEK, J.; KORČEK, P. Precise IPv4/IPv6 Packet Generator Based on NetCOPE Platform. In Proceedings of the 2011 IEEE Symposium on Design and Diagnostics of Electronic Circuits and Systems, DDECS 2011. Cottbus: IEEE Computer Society, 2011. p. 319-324. ISBN: 978-1-4244-9756-0.
Detail

KORČEK, P.; SEKANINA, L.; FUČÍK, O. A Scalable Cellular Automata Based Microscopic Traffic Simulation. Proceedings of the IEEE Intelligent Vehicles Symposium 2011 (IV11). Baden-Baden: IEEE Intelligent Transportation Systems Society, 2011. p. 13-18. ISBN: 978-1-4577-0889-3.
Detail

RŮŽIČKA, R.; ŠIMEK, V.; SEKANINA, L. Behavior of CMOS Polymorphic Circuits in High Temperature Environment. Proceedings of the 2011 IEEE Symposium on Design and Diagnostics of Electronic Circuits and Systems. Cottbus: IEEE Computer Society, 2011. p. 447-452. ISBN: 978-1-4244-9753-9.
Detail

ŠVÉDA, M.; RYŠAVÝ, O.; DE SILVA, G.; MATOUŠEK, P.; RÁB, J. Reachability Analysis in Dynamically Routed Networks. Proceedings of the IEEE ECBS 2011. Piscataway, NJ: IEEE Computer Society, 2011. p. 197-205. ISBN: 978-0-7695-4379-6.
Detail

RUMPLÍK, M.; STRNADEL, J. On RTL Testability and Gate-Level Stuck-At-Fault Coverage Correlation for Scan Circuits. Proceedings of the 14th Euromicro Conference on Digital System Design - Architectures, Methods and Tools 2011. Oulu: IEEE Computer Society, 2011. p. 367-374. ISBN: 978-0-7695-4494-6.
Detail

KORČEK, P.; SEKANINA, L.; FUČÍK, O. Microscopic traffic simulation using CUDA. Advanced Computer Architecture and Compilation for High-Performace and Embedded Systems (ACACES 2011) Poster Abstracts. Fiuggi: Academia Press, 2011. p. 207-210. ISBN: 978-90-382-1798-7.
Detail

OČENÁŠEK, P. Specification of Traces in the Security Protocols Analysis. Proceedings of 33rd International Conference on INFORMATION TECHNOLOGY INTERFACES. Dubrovnik: Institute of Electrical and Electronics Engineers, 2011. p. 115-118. ISBN: 978-953-7138-20-2.
Detail

OČENÁŠEK, P.; TRCHALÍK, R. Approaches to the Security and Payment Protocols Design: State of the Art. International Conference on INFORMATION TECHNOLOGY INTERFACES. Dubrovnik: Institute of Electrical and Electronics Engineers, 2011. p. 1-4. ISBN: 978-953-7138-21-9.
Detail

KORČEK, P. Simulácie dopravy pre dlhodobú predpoveď stavu dopravy. Počítačové architektury a diagnostika 2011. Bratislava: Faculty of Informatics and Information Technology Slovak University of Technology in Bratislava, 2011. s. 115-120. ISBN: 978-80-227-3552-0.
Detail

KADLČEK, F.; JURÁNEK, R.; ZEMČÍK, P. Automatic synthesis of classifiers in FGPA. International Bata Conference for Ph.D. Students and Young Researchers. Zlín: Tomas Bata University in Zlín, 2011. p. 1-12. ISBN: 978-80-7454-013-4.
Detail

MINAŘÍK, M.; SEKANINA, L. Evolution of Iterative Formulas Using Cartesian Genetic Programming. Lecture Notes in Computer Science, 2011, vol. 2011, no. 6881, p. 11-20. ISSN: 0302-9743.
Detail

GRÉGR, M.; MATOUŠEK, P.; PODERMAŃSKI, T.; ŠVÉDA, M. Practical IPv6 Monitoring - Challenges and Techniques. Proceedings of the 12th IFIP/IEEE International Symposium on Integrated Network Management (IM 2011). Dublin: IEEE Computer Society, 2011. p. 660-663. ISBN: 978-1-4244-9220-6.
Detail

PUŠ, V. Packet Classification Algorithms. Počítačové architektury a diagnostika. Stará Lesná: Faculty of Electrical Engineering and Information Technology, Slovak University of Technology in Bratislava, 2011. p. 157-162. ISBN: 978-80-227-3552-0.
Detail

ŽÁK, J.; HORÁČEK, J.; ZBOŘIL, F.; KOČÍ, R.; GÁBOR, M. Remote controling and monitoring tool for wireless sensor network using WSageNt platform. Proceeding of the 2nd International Conference on Computer Modelling and Simulation. Brno: Department of Intelligent Systems FIT BUT, 2011. p. 1-8. ISBN: 978-80-214-4320-4.
Detail

DRAHANSKÝ, M. Fingerprint Recognition Technology - Related Topics. Saarbrücken: Lambert Academic Publishing, 2011. 172 p. ISBN: 978-3-8443-3007-6.
Detail

STRNADEL, J. Concept of Adaptive Embedded HW/SW Architecture for Dynamic Prevention from Interrupt Overloads. Proceedings of the Work in Progress Session held in connection with SEAA 2011, the 37th EUROMICRO Conference on Software Engineering and Advanced Applications and DSD 2011, the 14th EUROMICRO Conference on Digital System Design. Oulu: Johannes Kepler University Linz, 2011. p. 21-22. ISBN: 978-3-902457-30-1.
Detail

KOČÍ, R.; JANOUŠEK, V. Towards Design Method Based on Formalisms of Petri Nets, DEVS, and UML. ICSEA 2011, The Sixth International Conference on Software Engineering Advances. Barcelona: Xpert Publishing Services, 2011. p. 299-304. ISBN: 978-1-61208-165-6.
Detail

BARTOŠ, P. Metody reorganizace řetězce scan. Počítačové architektury a diagnostika 2011. Bratislava: Vydavateľstvo STU, 2011. s. 97-102. ISBN: 978-80-227-3552-0.
Detail

SEKANINA, L. Evolutionary hardware design (Invited Paper). VLSI Circuits and Systems V. Proc. of SPIE Vol. 8067. Bellingham: SPIE - the international society for optics and photonics, 2011. p. 1-11. ISBN: 978-0-8194-8656-1.
Detail

DITTRICH, P.; CHUDÝ, P. Application of Kalman Filter to oversampled data from Global Position System. ElectroScope - http://www.electroscope.zcu.cz, 2011, vol. 2011, no. 2, p. 0-0. ISSN: 1802-4564.
Detail

ŽALOUDEK, L.; SEKANINA, L. Increasing Fault-Tolerance in Cellular-Based Systems. Lecture Notes in Computer Science, 2011, vol. 2011, no. 6714, p. 234-245. ISSN: 0302-9743.
Detail

MARTÍNEK, T.; LEXA, M. Architecture Model for Approximate Tandem Repeat Detection. 22nd IEEE International Conference on Application-specific Systems, Architectures and Processors. Santa Monica, California: IEEE Computer Society, 2011. p. 239-242. ISBN: 978-1-4577-1290-6.
Detail

VAŠÍČEK, Z.; BIDLO, M.; SEKANINA, L.; GLETTE, K. Evolutionary Design of Efficient and Robust Switching Image Filters. In Proceedings of the 2011 NASA/ESA Conference on Adaptive Hardware and Systems. Los Alamitos: IEEE Computer Society, 2011. p. 192-199. ISBN: 978-1-4577-0599-1.
Detail

KUBÁT, D.; DRAHANSKÝ, M. Wireless Control of Intelligent Houses. International Journal of Control and Automation, 2011, vol. 4, no. 3, p. 123-126. ISSN: 2005-4297.
Detail

KORČEK, P.; KOŠAŘ, V.; ŽÁDNÍK, M.; KORANDA, K.; KAŠTOVSKÝ, P. Hacking NetCOPE to run on NetFPGA-10G. Proceedings of the 2011 Seventh ACM/IEEE Symposium on Architectures for Networking and Communications Systems (ANCS 2011). Brooklyn, New York: IEEE Computer Society, 2011. p. 1-2. ISBN: 978-0-7695-4521-9.
Detail

HOLÍK, L.; LENGÁL, O.; ŠIMÁČEK, J.; VOJNAR, T. Efficient Inclusion Checking on Explicit and Semi-Symbolic Tree Automata. Lecture Notes in Computer Science, 2011, vol. 2011, no. 6996, p. 243-258. ISSN: 0302-9743.
Detail

RŮŽIČKA, R.; ŠIMEK, V. On Properties of Basic Building Blocks for Printable Polymer and Nanometal Logic. Proc. of IMAPS CS International Conference on Electronic Devices and Systems. Brno: Brno University of Technology, 2011. p. 258-263. ISBN: 978-80-214-4303-7.
Detail

ABDULLA, P.; CHEN, Y.; CLEMENTE, L.; HOLÍK, L.; HONG, C.; MAYR, R.; VOJNAR, T. Advanced Ramsey-based Büchi Automata Inclusion Testing. Lecture Notes in Computer Science, 2011, vol. 2011, no. 6901, p. 187-202. ISSN: 0302-9743.
Detail

HANÁČEK, P.; JURNEČKA, P. Využitie grafických kariet na útoky silou. DSM Data Security Management, 2011, roč. 15, č. 2, s. 10-13. ISSN: 1211-8737.
Detail

ZACHARIÁŠOVÁ, M. Hardware Accelerated Functional Verification. Proceedings of the 17th Conference STUDENT EEICT 2011. Brno: Faculty of Information Technology BUT, 2011. p. 321-323. ISBN: 978-80-214-4272-6.
Detail

ZACHARIÁŠOVÁ, M.; LENGÁL, O.; KAJAN, M. HAVEN: An Open Framework for FPGA-Accelerated Functional Verification of Hardware. Lecture Notes in Computer Science, 2012, vol. 2012, no. 7261, p. 247-253. ISSN: 0302-9743.
Detail

BARTOŠ, V.; ŽÁDNÍK, M. Hardware precomputation of entropy for anomaly detection. Proceedings of the 7th ACM/IEEE Symposium on Architectures for Networking and Communications Systems. New York: IEEE Computer Society, 2011. p. 219-220. ISBN: 978-0-7695-4521-9.
Detail

DRAHANSKÝ, M. Liveness Detection in Biometrics. In Advanced Biometric Technologies. Rijeka: InTech - Open Access Publisher, 2011. p. 179-198. ISBN: 978-953-307-487-0.
Detail

ŽÁDNÍK, M.; CANINI, M. Evaluation and Design of Cache Replacement Policies under Flooding Attacks. Proceedings of the 7th International Wireless Communications and Mobile Computing Conference. Istanbul: IEEE Computer Society, 2011. p. 1292-1297. ISBN: 978-1-4244-9539-9.
Detail

FIEDOR, J.; GACH, M.; ČEŠKA, M. A Novel Approach to Modechart Verification of Real-Time systems. Proceedings of the 13th International Conference on Computer Aided Systems Theory. Universidad de Las Palmas de Canaria: The Universidad de Las Palmas de Gran Canaria, 2011. p. 338-339. ISBN: 978-84-693-9560-8.
Detail

RŮŽIČKA, R.; ŠIMEK, V. Chip Temperature Selfregulation for Digital Circuits Using Polymorphic Electronics Principles. Proceedings of 14th Euromicro Conference on Digital System Design. Los Alamitos: IEEE Computer Society Press, 2011. p. 205-212. ISBN: 978-0-7695-4494-6.
Detail

ŠÁTEK, V.; KUNOVSKÝ, J.; KOPŘIVA, J. Advanced Stiff Systems Detection. Proceedings of the Eleventh International Scientific Conference on Informatics. Rožňava: Faculty of Electrical Engineering and Informatics, University of Technology Košice, 2011. p. 208-212. ISBN: 978-80-89284-94-8.
Detail

HENZL, M.; HANÁČEK, P. NFC z pohledu bezpečnosti. DSM Data Security Management, 2011, roč. 15, č. 3, s. 0-0. ISSN: 1211-8737.
Detail

KADLČEK, F. Platforma pro akceleraci obrazových klasifikátorů. Počítačové architektury & diagnostika 2011. Bratislava: Fakulta informatiky a informačních technologií Slovenská technická univerzita v Bratislavě, 2011. s. 32-37. ISBN: 978-80-227-3552-0.
Detail

PETRLÍK, J. Multikriteriální kartézské genetické programování. Proceedings of the 17th Conference STUDENT EEICT 2011. Brno: Fakulta informačních technologií VUT v Brně, 2011. s. 318-320. ISBN: 978-80-214-4272-6.
Detail

DRAHOŠOVÁ, M. Symbolická regrese s užitím kartézského genetického programování. Proceedings of the 17th Conference STUDENT EEICT 2011. Brno: Fakulta informačních technologií VUT v Brně, 2011. s. 347-349. ISBN: 978-80-214-4272-6.
Detail

LEXA, M.; MARTÍNEK, T.; BURGETOVÁ, I.; KOPEČEK, D.; BRÁZDOVÁ, M. A dynamic programming algorithm for identification of triplex-forming sequences. BIOINFORMATICS, 2011, vol. 27, no. 18, p. 2510-2517. ISSN: 1367-4803.
Detail

VAŠÍČEK, Z.; BIDLO, M. Evolutionary Design of Robust Noise-Specific Image Filters. In 2011 IEEE Congress on Evolutionary Computation. New Orleans: IEEE Computer Society, 2011. p. 269-276. ISBN: 978-1-4244-7834-7.
Detail

ZBOŘIL, F. Multiagentní systémy. Datakon 2011, Tutorials. Mikulov: Vysoké učení technické v Brně, 2011. s. 75-100. ISBN: 978-80-214-4330-3.
Detail

MATOUŠEK, J. Generátor paketů založený na FPGA. Proceedings of the 17th Conference STUDENT EEICT 2011. Brno: Vysoké učení technické v Brně, 2011. s. 312-314. ISBN: 978-80-214-4272-6.
Detail

ŽALOUDEK, L. Permanent Errors May Contribute to Emergent Behavior in One-Dimensional Cellular Automata. Proceedings of the 2011 Third World Congress on Nature and Biologically Inspired Computing. Salamanca: Institute of Electrical and Electronics Engineers, 2011. p. 58-63. ISBN: 978-1-4577-1123-7.
Detail

ŽALOUDEK, L. Vliv defektů a zvyšování odolnosti proti poruchám v celulárních systémech. Počítačové architektury a diagnostika 2011. Bratislava: Vydavateľstvo STU, 2011. s. 145-150. ISBN: 978-80-227-3552-0.
Detail

FIEDOR, J.; LETKO, Z.; VOJNAR, T.; KŘENA, B. A Uniform Classification of Common Concurrency Errors. Proceedings of the 13th International Conference on Computer Aided Systems Theory. Universidad de Las Palmas de Canaria: The Universidad de Las Palmas de Gran Canaria, 2011. p. 326-327. ISBN: 978-84-693-9560-8.
Detail

NAGY, J.; SCHÄFER, J.; ZADINA, M.; HANÁČEK, P. Návrh zabezpečeného monitorovacího systému v oblasti e-Health. Proceedings of the Annual Database conference Datakon 2011. Brno: Vysoké učení technické v Brně, 2011. s. 223-226. ISBN: 978-80-214-4329-7.
Detail

KAČIC, M.; HANÁČEK, P. WPA2: Útoky z vnútra siete. DSM Data Security Management, 2011, roč. 15, č. 4, s. 30-33. ISSN: 1211-8737.
Detail

DUDKA, K.; PERINGER, P.; VOJNAR, T. An Easy to Use Infrastructure for Building Static Analysis Tools. Proceedings of the 13th International Conference on Computer Aided Systems Theory. Universidad de Las Palmas de Canaria: The Universidad de Las Palmas de Gran Canaria, 2011. p. 328-329. ISBN: 978-84-693-9560-8.
Detail

ZADINA, M.; NAGY, J.; HANÁČEK, P. Zabezpečení bezdrátových sítí založených na protokolu IEEE 802.11 v aplikaci rozsáhlých distribučních sítí. Sborník příspěvků z 39. konference EurOpen.CZ, 2.-5. října 2011. Plzeň: Česká společnost uživatelů otevřených systémů EurOpen.CZ, 2011. s. 37-48. ISBN: 978-80-86583-22-8.
Detail

MALČÍK, D.; DRAHANSKÝ, M. Microscopic Analysis of Chips. In Security Technology. Communications in Computer and Information Science. Jeju, Jeju Island: Springer Verlag, 2011. p. 113-122. ISBN: 978-3-642-27188-5.
Detail

ZACHARIÁŠOVÁ, M. Hardware Accelerated Functional Verification - Framework for FPGA-Accelerated Functional Verification. Saarbrucken: Lambert Academic Publishing, 2011. 60 p. ISBN: 978-3-8465-5913-0.
Detail

OČENÁŠEK, P.; MÍCHAL, L. Automation of Authentication and Key Distribution Schemes Design based on Trace Formulae. In Proceedings of 2011 International Conference on Mechatronics and Applied Mechanics (ICMAM 2011). Applied Mechanics and Materials. Hongkong: Trans Tech Publications Inc., 2012. p. 870-873. ISBN: 978-3-03785-380-1. ISSN: 1660-9336.
Detail

MRÁČEK, Š. 3D Face Recognition. Saarbrücken: Lambert Academic Publishing, 2011. 81 p. ISBN: 978-3-8465-4450-1.
Detail

JANOUŠEK, V. Simulace a návrh vyvíjejících se systémů. Brno: Fakulta informačních technologií VUT v Brně, 2011. 123 s. ISBN: 978-80-214-4414-0.
Detail

GAJDA, Z.; SEKANINA, L. Recent Advances in Evolutionary Synthesis and Optimization of Ordinary and Polymorphic Circuits. Brno: Faculty of Information Technology BUT, 2011. 111 p. ISBN: 978-80-214-4417-1.
Detail

PROCHÁZKA, B.; DRAHANSKÝ, M.; HANÁČEK, P. Únos výpočetního toku v obsluze systémových volání na operačním systému Linux. IMEA 2012 Sborník příspěvků 12.ročníku doktorandské konference. Hradec Králové: Univerzita Hradec Králové, 2012. s. 19-24. ISBN: 978-80-7435-185-3.
Detail

LETKO, Z.; VOJNAR, T.; KŘENA, B. Coverage Metrics for Saturation-based and Search-based Testing of Concurrent Software. Lecture Notes in Computer Science, 2012, roč. 2012, č. 7186, s. 177-192. ISSN: 0302-9743.
Detail

DE SILVA, G.; RYŠAVÝ, O.; MATOUŠEK, P.; ŠVÉDA, M. On formal reachability analysis in networks with dynamic behavior. TELECOMMUNICATION SYSTEMS, 2013, vol. 52, no. 2, p. 919-929. ISSN: 1018-4864.
Detail

DUDKA, K.; PERINGER, P.; VOJNAR, T. An Easy to Use Infrastructure for Building Static Analysis Tools. Lecture Notes in Computer Science, 2012, vol. 2012, no. 6927, p. 527-534. ISSN: 0302-9743.
Detail

FIEDOR, J.; KŘENA, B.; LETKO, Z.; VOJNAR, T. A Uniform Classification of Common Concurrency Errors. Lecture Notes in Computer Science, 2012, vol. 2012, no. 6927, p. 519-526. ISSN: 0302-9743.
Detail

ČEŠKA, M.; FIEDOR, J.; GACH, M. A Novel Approach to Modechart Verification of Real-Time systems. Lecture Notes in Computer Science, 2012, vol. 2012, no. 6927, p. 559-567. ISSN: 0302-9743.
Detail

KŘENA, B.; LETKO, Z.; VOJNAR, T. Noise Injection Heuristics for Concurrency Testing. Lecture Notes in Computer Science, 2012, vol. 2012, no. 7119, p. 123-131. ISSN: 0302-9743.
Detail

DUDKA, V.; FIEDOR, J.; KŘENA, B.; VOJNAR, T. DA-BMC: A Tool Chain Combining Dynamic Analysis and Bounded Model Checking. Lecture Notes in Computer Science, 2012, vol. 2012, no. 7186, p. 1-5. ISSN: 0302-9743.
Detail

DRAHOŠOVÁ, M.; SEKANINA, L. Coevolution in Cartesian Genetic Programming. Proc. of the 15th European Conference on Genetic Programming. Lecture Notes in Computer Science. Heidelberg: Springer Verlag, 2012. p. 182-193. ISBN: 978-3-642-29138-8.
Detail

LENGÁL, O.; ŠIMÁČEK, J.; VOJNAR, T. VATA: A Library for Efficient Manipulation of Non-Deterministic Tree Automata. Lecture Notes in Computer Science, 2012, vol. 2012, no. 7214, p. 79-94. ISSN: 0302-9743.
Detail

DUDKA, K.; MÜLLER, P.; PERINGER, P.; VOJNAR, T. Predator: A Verification Tool for Programs with Dynamic Linked Data Structures. Lecture Notes in Computer Science, 2012, vol. 2012, no. 7214, p. 544-547. ISSN: 0302-9743.
Detail

STRNADEL, J. Monitoring-Driven HW/SW Interrupt Overload Prevention for Embedded Real-Time Systems. In Proceedings of the 15th International IEEE Symposium on Design and Diagnostics of Electronic Circuits and Systems (DDECS). Tallin: IEEE Computer Society, 2012. p. 121-126. ISBN: 978-1-4673-1188-5.
Detail

ŠVÉDA, M.; RYŠAVÝ, O.; DE SILVA, G.; MATOUŠEK, P.; RÁB, J. Static Analysis of Routing and Firewall Policy Configurations. In e-Business and Telecommunications. Communications in Computer and Information Science. LNCS CCIS, Vol.222. Heidelberg: Springer Science+Business Media B.V., 2012. p. 39-53. ISBN: 978-3-642-25205-1. ISSN: 1865-0929.
Detail

OČENÁŠEK, P.; HRANÁČ, J. Design of Authentication and Key Distribution Protocols with Routing Functionality. Journal of Information & Communication Technology, 2012, vol. 5, no. 1, p. 1-11. ISSN: 1816-613X.
Detail

BARTOŠ, V.; ŽÁDNÍK, M. Network Anomaly Detection: Comparison and Real-time Issues. Dependable Networks and Services. Lecture Notes in Computer Science. Heidelberg: Springer Verlag, 2012. p. 118-121. ISBN: 978-3-642-30632-7.
Detail

STRAKA, M.; KAŠTIL, J.; KOTÁSEK, Z.; MIČULKA, L. Fault Tolerant System Design and SEU Injection based Testing. Microprocessors and Microsystems, 2013, vol. 2013, no. 37, p. 155-173. ISSN: 0141-9331.
Detail

MALAČKA, O.; SAMEK, J.; ZBOŘIL, F.; ZBOŘIL, F. Decision Making and Recommendation Protocol Based on Trust for Multi-Agent Systems. Lecture Notes in Computer Science, 2012, vol. 2012, no. 7138, p. 280-291. ISSN: 0302-9743.
Detail

RYŠAVÝ, O.; ŠVÉDA, M.; VRBA, R. A Framework for Cyber-Physical Systems Design - A Concept Study. Proceedings ICONS 2012. Saint Gilles, Reunion Island: International Academy, Research, and Industry Association, 2012. p. 79-82. ISBN: 978-1-61208-184-7.
Detail

ŠVÉDA, M.; SEKLETÁR, M.; FIDLER, T.; RYŠAVÝ, O. A High-level Network-wide Router Configuration Language. Proceedings ICN 2012. Saint Gilles, Reunion Island: International Academy, Research, and Industry Association, 2012. p. 18-21. ISBN: 978-1-61208-183-0.
Detail

GRÉGR, M.; PODERMAŃSKI, T.; ŠVÉDA, M. User identification in IPV6 network. In IP Networking 1 -- Theory and Practice. Žilina: Zilina University Publisher, 2012. p. 5-8. ISBN: 978-80-554-0494-3.
Detail

ROGALEWICZ, A.; VOJNAR, T.; HABERMEHL, P.; BOUAJJANI, A. Abstract Regular (Tree) Model Checking. International Journal on Software Tools for Technology Transfer, 2012, vol. 14, no. 2, p. 167-191. ISSN: 1433-2779.
Detail

VESELÝ, V.; MATOUŠEK, P.; ŠVÉDA, M. Multicast Simulation and Modeling in OMNeT++. Proceedings of the IEEE 5th International ICST Conference on Simulation Tools and Techniques. Desenzano del Garda: International Communication Sciences and Technology Association, 2012. p. 298-301. ISBN: 978-1-936968-47-3.
Detail

TRCHALÍK, R.; ŠVÉDA, M. Unified Sensor Gateway Interconnection of Sensor Networks. Proceedings 11th IFAC/IEEE International Conference on Programmable Devices and Embedded Sy. Programmable devices and systems. Programmable Devices and Embedded Systems, Volume # 11 | Part# 1. Brno: Faculty of Electrical Engineering and Communication BUT, 2012. p. 372-377. ISBN: 978-3-902823-21-2. ISSN: 1474-6670.
Detail

ZBOŘIL, F.; DRAHANSKÝ, M.; HANÁČEK, P.; HORÁČEK, J. Security in Wireless Sensor Networks with Mobile Codes. In Threats, Countermeasures, and Advances in Applied Information Security. Hershey: IGI Global, 2012. p. 411-425. ISBN: 978-1-4666-0978-5.
Detail

HALFAR, P.; RÁB, J.; RYŠAVÝ, O.; ŠVÉDA, M. A Formal Authorization Framework for Networked SCADA Systems. Proceedings IEEE ECBS 2012. Novy Sad: IEEE Computer Society, 2012. p. 298-302. ISBN: 978-0-7695-4664-3.
Detail

RŮŽIČKA, R.; ŠIMEK, V. NAND/NOR Gate Polymorphism in Low Temperature Environment. Proceedings of the 2012 IEEE 15th International Symposium on Design and Diagnostics of Electronic Circuits & Systems. Tallinn: Institute of Electrical and Electronics Engineers, 2012. p. 34-37. ISBN: 978-1-4673-1185-4.
Detail

SEKANINA, L.; SALAJKA, V.; VAŠÍČEK, Z. Two-Step Evolution of Polymorphic Circuits for Image Multi-Filtering. In 2012 IEEE World Congress on Computational Intelligence. CA: Institute of Electrical and Electronics Engineers, 2012. p. 432-439. ISBN: 978-1-4673-1508-1.
Detail

DLUHOŠ, O.; DVOŘÁK, R.; VÁŇA, J.; DRAHANSKÝ, M. Hand Surface as Biometric Identifier. Advanced Science and Technology Letters, Volume 4, 2012, vol. 8, no. 7, p. 351-356. ISSN: 2287-1233.
Detail

VAŠÍČEK, Z.; SEKANINA, L. On Area Minimization of Complex Combinational Circuits Using Cartesian Genetic Programming. In 2012 IEEE World Congress on Computational Intelligence. CA: Institute of Electrical and Electronics Engineers, 2012. p. 2379-2386. ISBN: 978-1-4673-1508-1.
Detail

BIDLO, M.; VAŠÍČEK, Z. Evolution of Cellular Automata Using Instruction-Based Approach. In 2012 IEEE World Congress on Computational Intelligence. CA: Institute of Electrical and Electronics Engineers, 2012. p. 1060-1067. ISBN: 978-1-4673-1508-1.
Detail

DVOŘÁK, R.; ZBOŘIL, F. On the usage of ELLAM to solve advection-diffusion equation describing the pollutant transport in planetary boundary layer. Acta Electrotechnica et Informatica, 2012, vol. 2012, no. 1, p. 44-48. ISSN: 1335-8243.
Detail

DRAHANSKÝ, M.; DOLEŽEL, M.; URBÁNEK, J.; BŘEZINOVÁ, E.; KIM, T. Influence of Skin Diseases on Fingerprint Recognition. JOURNAL OF BIOMEDICINE AND BIOTECHNOLOGY, 2012, vol. 2012, no. 4, p. 1-14. ISSN: 1110-7243.
Detail

MRÁČEK, Š.; VÁŇA, J.; DVOŘÁK, R.; DRAHANSKÝ, M.; YANUSHKEVICH, S. 3D and Thermo-face Recognition. In New Trends and Developments in Biometrics. Rijeka: InTech - Open Access Publisher, 2012. p. 31-58. ISBN: 9789535108597.
Detail

STRNADEL, J.; SLIMAŘÍK, F. On Distribution and Impact of Fault Effects at Real-Time Kernel and Application Levels. Proceedings of the 15th Euromicro Conference on Digital System Design: Architectures, Methods and Tools. Pistacaway: IEEE Computer Society, 2012. p. 272-279. ISBN: 978-0-7695-4798-5.
Detail

HERMAN, D.; ORSÁG, F.; DRAHANSKÝ, M. Object Tracking in Monochromatic Video Sequences Using Particle Filter. In 7th Scientific International Conference - Enviromental Protection of Population. Brno: Karel Englis College Inc., 2012. p. 120-128. ISBN: 978-80-86710-57-0.
Detail

DRAHOŠOVÁ, M.; SEKANINA, L. Acceleration of Evolutionary Image Filter Design Using Coevolution in Cartesian GP. Lecture Notes in Computer Science, 2012, vol. 2012, no. 7491, p. 163-172. ISSN: 0302-9743.
Detail

STRNADEL, J. Plánování úloh v systémech RT - I: závislé úlohy. Automa, 2012, roč. 18, č. 10, s. 42-45. ISSN: 1210-9592.
Detail

STRNADEL, J. Plánování úloh v systémech RT - II: neperiodické úlohy. Automa, 2012, roč. 18, č. 11, s. 44-46. ISSN: 1210-9592.
Detail

STRNADEL, J. Plánování úloh v systémech RT - III: přetížení systému. Automa, 2012, roč. 18, č. 12, s. 44-47. ISSN: 1210-9592.
Detail

MALČÍK, D.; DRAHANSKÝ, M. Anatomy of Biometric Passports. Advanced Science and Technology Letters, Volume 4, 2012, vol. 2012, no. 4, p. 258-263. ISSN: 2287-1233.
Detail

MALAČKA, O.; SAMEK, J.; ZBOŘIL, F.; ZBOŘIL, F. Interval Trust Representation. Proceedings of CSE 2012 International Conference on Computer Science and Engineering. Košice: Faculty of Electrical Engineering and Informatics, University of Technology Košice, 2012. p. 175-182. ISBN: 978-80-8143-049-7.
Detail

DUDKA, V.; KŘENA, B.; LETKO, Z.; UR, S.; VOJNAR, T. Testování vícevláknových aplikací pomocí genetických algoritmů. Lecture Notes in Computer Science, 2012, roč. 2012, č. 7515, s. 152-167. ISSN: 0302-9743.
Detail

OČENÁŠEK, P.; MÍCHAL, L. Automation of Authentication and Key Distribution Schemes Design based on Trace Formulae. Applied Mechanics and Materials, 2012, vol. 2012, no. 157, p. 870-873. ISSN: 1660-9336.
Detail

MRÁČEK, Š.; VÁŇA, J.; YANUSHKEVICH, S.; DRAHANSKÝ, M.; DVOŘÁK, R. Thermal Face Recognition - Fusion of common used methods. In Proceedings of the Emerging Security Technologies (EST 2012). Lisabon: IEEE Computer Society, 2012. p. 1-4. ISBN: 978-0-7695-4791-6.
Detail

ŽÁK, J.; ZBOŘIL, F.; HANÁČEK, P. Jade Agents to Wireless Sensors: Case study. Proceedings of CSE 2012 International Scientific Conference on Computer Science and Engineering. Košice: The University of Technology Košice, 2012. p. 95-102. ISBN: 978-80-8143-049-7.
Detail

HENZL, M.; HANÁČEK, P.; JURNEČKA, P.; KAČIC, M. A Concept of Automated Vulnerability Search in Contactless Communication Applications. Proceedings 46th Annual IEEE International Carnahan Conference on Security Technology. Boston: Institute of Electrical and Electronics Engineers, 2012. p. 180-186. ISBN: 978-1-4673-4807-2.
Detail

HORÁČEK, J.; ZBOŘIL, F.; HANÁČEK, P. Agent Aided Routing in Wireless Sensor Networks. Proceedings of CSE 2012 International Scientific Conference on Computer Science and Engineering. Košice: The University of Technology Košice, 2012. p. 119-126. ISBN: 978-80-8143-049-7.
Detail

BARTOŠ, P.; KOTÁSEK, Z. Reduction of Test Vectors Number based on Parasitic Capacity Extraction of Scan Chain Wires. Proceedings of CSE 2012 International Scientific Conference on Computer Science and Engineering. Košice: Faculty of Electrical Engineering and Informatics, University of Technology Košice, 2012. p. 162-169. ISBN: 978-80-8143-049-7.
Detail

DROZD, R.; HÁJEK, J.; DRAHANSKÝ, M. An algorithm for retina features extraction based on position of the blood vessel bifurcations. In Biometric Recognition. Lecture Notes in Computer Science. Lecture Notes in Computer Science. Guangzhou: Springer London, 2012. p. 308-315. ISBN: 978-3-642-35135-8. ISSN: 0302-9743.
Detail

KAŠTIL, J.; STRAKA, M.; MIČULKA, L.; KOTÁSEK, Z. Dependability Analysis of Fault Tolerant Systems Based on Partial Dynamic Reconfiguration Implemented into FPGA. 15th Euromicro Conference on Digital System Design: Architectures, Methods and Tools. Cesme-Izmir: IEEE Computer Society, 2012. p. 250-257. ISBN: 978-0-7695-4798-5.
Detail

MALČÍK, D.; DRAHANSKÝ, M. Microscopic Analysis of The Chips: Chips deprocessing. Advanced Science and Technology Letters, Volume 4, 2012, vol. 2012, no. 7, p. 80-85. ISSN: 2287-1233.
Detail

MALAČKA, O.; SAMEK, J.; ZBOŘIL, F.; ZBOŘIL, F. Case Study: Different Approaches and Their Aspects for Partner Selection Based on Trust. In Proceedings of the 2012 12th International Conference on Intelligent Systems Design and Applications (ISDA). Kochi, Indie: Institute of Electrical and Electronics Engineers, 2012. p. 285-290. ISBN: 978-1-4673-5118-8.
Detail

STRAKA, M.; KAŠTIL, J.; KOTÁSEK, Z. Methodology for Reliability Analysis of FPGA-based Fault Tolerant Systems. CSE'2012 International Scientific Conference on Computer Science and Engineering. Košice: The University of Technology Košice, 2012. p. 146-153. ISBN: 978-80-8143-049-7.
Detail

KOČÍ, R.; JANOUŠEK, V. Modeling and Simulation-Based Design Using Object-Oriented Petri Nets: A Case Study. CEUR Workshop Proceedings, 2012, vol. 851, no. 06, p. 253-266. ISSN: 1613-0073.
Detail

MALČÍK, D.; DRAHANSKÝ, M. Anatomy of Biometric Passports. JOURNAL OF BIOMEDICINE AND BIOTECHNOLOGY, 2012, vol. 2012, no. 1, p. 1-8. ISSN: 1110-7243.
Detail

FIEDOR, J.; VOJNAR, T. Noise-Based Testing and Analysis of Multi-threaded C/C++ Programs on the Binary Level. PADTAD '12. Proceedings of the 10th Workshop on Parallel and Distributed Systems. New York: Association for Computing Machinery, 2012. p. 36-46. ISBN: 978-1-4503-1456-5.
Detail

SAMEK, J.; MALAČKA, O.; KRÁL, J.; ZBOŘIL, F.; ZBOŘIL, F. HMTCsim: A simulation tool for multi-agent systems with using decision making based on trust. Proceedings of Third International Conference on Computer Modelling and Simulation. Brno: Faculty of Information Technology BUT, 2012. p. 80-85. ISBN: 978-80-214-4576-5.
Detail

VÁŇA, J.; MRÁČEK, Š.; YANUSHKEVICH, S.; DRAHANSKÝ, M. Applying Fusion in Thermal Face Recognition. In BIOSIG 2012. GI-Edition Lecture Notes in Informatics (LNI). Lecture Notes in Informatics (LNI) - Proceedings. Darmstadt: Fraunhofer Institute - Graphic Data Processing Institute, 2012. p. 233-244. ISBN: 978-3-88579-290-1. ISSN: 1617-5468.
Detail

FIEDOR, J.; VOJNAR, T. ANaConDA: A Framework for Analysing Multi-threaded C/C++ Programs on the Binary Level. Lecture Notes in Computer Science, 2012, vol. 2012, no. 7687, p. 35-41. ISSN: 0302-9743.
Detail

BARTOŠ, V. Detekce anomálií v síťovém provozu. Počítačové architektury a diagnostika 2012. Milovy: Fakulta informačních technologií ČVUT, 2012. s. 29-34. ISBN: 978-80-01-05106-1.
Detail

MIČULKA, L.; KOTÁSEK, Z. Design Sychronization after Partial Dynamic Reconfiguration of Fault Tolerant System. 15th Euromicro Conference on Digital System Design: Architectures, Methods and Tools. Cesme-Izmir: IEEE Computer Society, 2012. p. 20-21. ISBN: 978-3-902457-33-2.
Detail

HORÁČEK, J.; ZBOŘIL, F. Mobile code placement in wireless sensor networks. Proceedings of the 2012 12th International Conference on Intelligent Systems Design and Applications (ISDA). Kočín (Cochin): Institute of Electrical and Electronics Engineers, 2012. p. 172-177. ISBN: 978-1-4673-5118-8.
Detail

OČENÁŠEK, P. Effective Design and Implementation of Distributed Business Information Systems. In Proceedings of 2012 International Conference on Mechatronics and Applied Mechanics. Applied Mechanics and Materials. Hong Kong: National Taiwan University, 2013. p. 451-454. ISBN: 978-3-03785-659-8. ISSN: 1660-9336.
Detail

TŘÍSKA, V. Komprese shlukových dat s využitím geometrického dělení prostoru. Počítačové architektury & diagnostika 2012. Praha: České vysoké učení technické, 2012. s. 127-132. ISBN: 978-80-01-05106-1.
Detail

KOČÍ, R.; JANOUŠEK, V. Specification of UML Classes by Object Oriented Petri Nets. ICSEA 2012, The Seventh International Conference on Software Engineering Advances. Lisbon: Xpert Publishing Services, 2012. p. 361-366. ISBN: 978-1-61208-230-1.
Detail

MATOUŠEK, J. Optimalizace vyhledání nejdelšího prefixu síťové adresy s využitím částečné dynamické rekonfigurace FPGA. Počítačové architektury a diagnostika. Milovy: Fakulta informačních technologií ČVUT, 2012. s. 67-72. ISBN: 978-80-01-05106-1.
Detail

MIČULKA, L. Metoda návrh systémů odolných proti poruchám do omezeného implementačního prostoru na bázi FPGA. Počítačové architektury & diagnostika 2012. Praha: Fakulta informačních technologií ČVUT, 2012. s. 109-115. ISBN: 978-80-01-05106-1.
Detail

KADLČEK, F. Návrh a optimalizace obrazových klasifikátorů. Počítačové architektury & diagnostika 2012. Milovy: Vydavatelství ČVUT, 2012. s. 91-96. ISBN: 978-80-01-05106-1.
Detail

TŘÍSKA, V. Aplikačně specifické předzpracování a komprese obrazu. Počítačové architektury & diagnostika 2011. Bratislava: Fakulta informatiky a informačních technologií Slovenská technická univerzita v Bratislavě, 2011. s. 38-43. ISBN: 978-80-227-3552-0.
Detail

PUŠ, V.; KOŘENEK, J. Reducing memory in high-speed packet classification. Proceedings of the 8th International Wireless Communications and Mobile Computing Conference. Limassol: Frederick University, 2012. p. 437-442. ISBN: 978-1-4577-1377-4.
Detail

RŮŽIČKA, R.; ŠIMEK, V. Polymeric Polymorphic Electronics: Towards Multifunctional Logic Elements Based on Organic Semiconductor Materials. Proceedings of CSE 2012 International Scientific Conference on Computer Science and Engineerig. Košice: Faculty of Electrical Engineering and Informatics, University of Technology Košice, 2012. p. 154-161. ISBN: 978-80-8143-049-7.
Detail

KEKELY, L.; PUŠ, V.; KOŘENEK, J. Low-Latency Modular Packet Header Parser for FPGA. ACM/IEEE Symposium on Architectures for Networking and Communications Systems. Austin: Association for Computing Machinery, 2012. p. 77-78. ISBN: 978-1-4503-1685-9.
Detail

ŽALOUDEK, L.; SEKANINA, L. Cellular automata-based systems with fault-tolerance. Natural Computing, 2012, vol. 11, no. 4, p. 673-685. ISSN: 1567-7818.
Detail

OČENÁŠEK, P.; ŠVÉDA, M. Communication in Business Information Systems - New Perspectives. Proceedings of ARC 2012 International Conference on Business and Management. Bangalore: Siemens, Corporate Research and Development, 2012. p. 257-262. ISBN: 978-0-615-73960-1.
Detail

OČENÁŠEK, P.; ŠVÉDA, M. On the Effective Internet Communication Filtering. In Proceedings of the 2012 ICMCM Conference. Applied Mechanics and Materials. Dubaj: Trans Tech Publications Inc., 2013. p. 478-481. ISBN: 978-3-03785-659-8. ISSN: 1660-9336.
Detail

BARTOŠ, V. Detekce anomálií v datech o síťovém provozu. Trilobit, 2012, roč. 2012, č. 2, s. 1-6. ISSN: 1804-1795.
Detail

KŘENA, B.; LETKO, Z.; VOJNAR, T. Analysis and Testing of Concurrent Programs. FIT Monograph. FIT Monograph. Brno: Faculty of Information Technology BUT, 2012. 136 p. ISBN: 978-80-214-4464-5.
Detail

DOLEŽEL, M.; DRAHANSKÝ, M.; URBÁNEK, J.; BŘEZINOVÁ, E.; KIM, T. Influence of Skin Diseases on Fingerprint Quality and Recognition. In New Trends and Developments in Biometrics. Rijeka: InTech - Open Access Publisher, 2012. p. 275-303. ISBN: 9789535108597.
Detail

KOŠAŘ, V. Využití Redukce NKA pro Vyhledávání Vzorů v FPGA. Počítačové architektury a diagnostika 2012. Milovy: Fakulta informačních technologií ČVUT, 2012. s. 97-102. ISBN: 978-80-01-05106-1.
Detail

CHARVÁT, L.; SMRČKA, A.; VOJNAR, T. Automatic Formal Correspondence Checking of ISA and RTL Microprocessor Description. Proceedings of the 13th International Workshop on Microprocessor Test and Verification (MTV 2012). Austin, TX: Institute of Electrical and Electronics Engineers, 2012. p. 6-12. ISBN: 978-1-4673-4441-8.
Detail

STRNADEL, J.; RAJNOHA, P. Reflecting RTOS Model During WCET Timing Analysis: MSP430/FreeRTOS Case Study. Acta Electrotechnica et Informatica, 2012, vol. 12, no. 4, p. 17-29. ISSN: 1335-8243.
Detail

HRBÁČEK, R. Hardware Platform for Coevolutionary Design. In Proceedings of the 19th Conference STUDENT EEICT 2013 Volume 2. Brno: LITERA, 2013. p. 279-281. ISBN: 978-80-214-4694-6.
Detail

STRNADEL, J. Plánování úloh v systémech RT - IV: víceprocesorové prostředí. Automa, 2013, roč. 19, č. 1, s. 44-46. ISSN: 1210-9592.
Detail

STRNADEL, J. Plánování úloh v systémech RT - V: zvyšování provozuschopnosti systémů. Automa, 2013, roč. 19, č. 2, s. 46-49. ISSN: 1210-9592.
Detail

STRNADEL, J. On Design of Priority-Driven Load-Adaptive Monitoring-Based Hardware for Managing Interrupts in Embedded Event-Triggered Real-Time Systems. Proceedings of the IEEE 16th International Symposium on Design and Diagnostics of Electronic Circuits and Systems. Brno: IEEE Computer Society, 2013. p. 24-29. ISBN: 978-1-4673-6133-0.
Detail

BARABAS, M.; HOMOLIAK, I.; DROZD, M.; HANÁČEK, P. Automated Malware Detection Based on Novel Network Behavioral Signatures. International Journal of Engineering and Technology, 2013, vol. 5, no. 2, p. 249-253. ISSN: 1793-8236.
Detail

MATOUŠEK, J.; SKAČAN, M.; KOŘENEK, J. Memory Efficient IP Lookup in 100 Gbps Networks. In 2013 23rd International Conference on Field Programmable Logic and Applications, FPL 2013 - Proceedings. Porto: IEEE Circuits and Systems Society, 2013. p. 1-8. ISBN: 978-1-4799-0004-6.
Detail

STRNADEL, J. Load-Adaptive Monitor-Driven Hardware for Preventing Embedded Real-Time Systems from Overloads Caused by Excessive Interrupt Rates. Architecture of Computing Systems - ARCS 2013. Lecture Notes in Computer Science. Lecture Notes in Computer Science, ISSN 0302-9743, Vol. 7767. Berlin: Springer Verlag, 2013. p. 98-109. ISBN: 978-3-642-36423-5. ISSN: 0302-9743.
Detail

SEKANINA, L.; RŮŽIČKA, R.; VAŠÍČEK, Z.; ŠIMEK, V.; HANÁČEK, P. Implementing a Unique Chip ID on a Reconfigurable Polymorphic Circuit. Information Technology and Control, 2013, vol. 42, no. 1, p. 7-14. ISSN: 1392-124X.
Detail

BIDLO, M.; VAŠÍČEK, Z. Evolution of Cellular Automata with Conditionally Matching Rules. In 2013 IEEE Congress on Evolutionary Computation (CEC 2013). Cancún: IEEE Computer Society, 2013. p. 1178-1185. ISBN: 978-1-4799-0452-5.
Detail

SEKANINA, L.; VAŠÍČEK, Z. Approximate Circuit Design by Means of Evolvable Hardware. In 2013 IEEE International Conference on Evolvable Systems (ICES). Proceedings of the 2013 IEEE Symposium Series on Computational Intelligence (SSCI). Singapur: IEEE Computer Society, 2013. p. 21-28. ISBN: 978-1-4673-5847-7.
Detail

OČENÁŠEK, P.; ŠVÉDA, M. Communication in Business Information Systems - New Perspectives. International Academic Research Journal of Business and Management, 2013, vol. 1, no. 7, p. 87-92. ISSN: 2227-1287.
Detail

OČENÁŠEK, P.; ŠVÉDA, M. On the Effective Internet Communication Filtering. Applied Mechanics and Materials, 2013, vol. 2013, no. 307, p. 478-481. ISSN: 1660-9336.
Detail

OČENÁŠEK, P. Effective Design and Implementation of Distributed Business Information Systems. Applied Mechanics and Materials, 2013, vol. 2013, no. 307, p. 451-454. ISSN: 1660-9336.
Detail

KAŠTIL, J.; KOŠAŘ, V.; KOŘENEK, J. Hardware Architecture for the Fast Pattern Matching. 2013 IEEE 16th International Symposium on Design and Diagnostics of Electronic Circuits & Systems (DDECS). Brno: IEEE Computer Society, 2013. p. 120-123. ISBN: 978-1-4673-6133-0.
Detail

CHARVÁT, L.; SMRČKA, A.; VOJNAR, T. An Abstraction of Multi-Port Memories with Arbitrary Addressable Units. Proceedings of the 14th Computer Aided Systems Theory. Las Palmas de Grand Canaria: The Universidad de Las Palmas de Gran Canaria, 2013. p. 254-255. ISBN: 978-84-695-6971-9.
Detail

HOMOLIAK, I.; BARABAS, M.; CHMELAŘ, P.; DROZD, M.; HANÁČEK, P. ASNM: Advanced Security Network Metrics for Attack Vector Description. Proceedings of the 2013 International Conference on Security & Management. Las Vegas: Computer Science Research, Education, and Applications Press, 2013. p. 350-358. ISBN: 1-60132-259-3.
Detail

DUDKA, K.; MÜLLER, P.; PERINGER, P.; VOJNAR, T. Predator: A Tool for Verification of Low-Level List Manipulation (Competition Contribution). Tools and Algorithms for the Construction and Analysis of Systems. Lecture Notes in Computer Science. Lecture Notes in Computer Science Volume 7795. Berlin: Springer Verlag, 2013. p. 627-629. ISBN: 978-3-642-36742-7. ISSN: 0302-9743.
Detail

KAČIC, M.; HENZL, M.; JURNEČKA, P.; HANÁČEK, P. Malware injection in wireless networks. Proceedings of the 2013 IEEE 7th International Conference on Intelligent Data Acquisition and Advanced Computing Systems (IDAACS). Volume 1. Berlin: Institute of Electrical and Electronics Engineers, 2013. p. 483-487. ISBN: 978-1-4799-1426-5.
Detail

JURNEČKA, P.; HANÁČEK, P.; KAČIC, M. Concept of parallel code generating and refactoring system for safety standards compliance. Proceedings of the 2013 IEEE 7th International Conference on Intelligent Data Acquisition and Advanced Computing Systems (IDAACS). Berlin: Institute of Electrical and Electronics Engineers, 2013. p. 630-635. ISBN: 978-1-4799-1426-5.
Detail

KOVÁČIK, M.; KAJAN, M.; ŽÁDNÍK, M. Detecting IP-spoofing by modelling history of IP address entry points. Emerging Management Mechanisms for the Future Internet. Lecture Notes in Computer Science. Lecture Notes in Computer Science. Barcelona: Springer Verlag, 2013. p. 73-83. ISBN: 978-3-642-38997-9. ISSN: 0302-9743.
Detail

MATOUŠEK, J.; SKAČAN, M.; KOŘENEK, J. Towards Hardware Architecture for Memory Efficient IPv4/IPv6 Lookup in 100 Gbps Networks. In Proceedings of the 2013 IEEE 16th International Symposium on Design and Diagnostics of Electronic Circuits and Systems, DDECS 2013. Brno: IEEE Computer Society, 2013. p. 108-111. ISBN: 978-1-4673-6136-1.
Detail

ZACHARIÁŠOVÁ, M.; BOLCHINI, C.; KOTÁSEK, Z. Analysis and Comparison of Functional Verification and ATPG for Testing Design Reliability. IEEE 16th International Symposium on Design and Diagnostics of Electronic Circuits and Systems. Karlovy Vary: IEEE Computer Society, 2013. p. 275-278. ISBN: 978-1-4673-6133-0.
Detail

SOPUCH, Z. Comparative Attributes of High-frequency Market Making Algorithms. Proceedings of the 19th Conference and Competition STUDENT EEICT 2013 Volume 3. Brno: Faculty of Information Technology BUT, 2013. p. 212-216. ISBN: 978-80-214-4695-3.
Detail

KADLČEK, F.; FUČÍK, O. Automatic synthesis of small AdaBoost Classifier in FPGA. IEEE Design and Diagnostics of Electronic Circuits and Systems DDECS'2013. Brno: IEEE Computer Society, 2013. p. 1-6. ISBN: 978-1-4673-6133-0.
Detail

OČENÁŠEK, P. The Practice of Global Internet Filtering. In Human Aspects of Information Security, Privacy, and Trust. Lecture Notes in Computer Science. Lecture Notes in Computer Science. Berlin Heidelberg: Springer Verlag, 2013. p. 332-337. ISBN: 978-3-642-39344-0. ISSN: 0302-9743.
Detail

OČENÁŠEK, P.; KARMAZÍN, J. On the Secure and Safe Data Synchronization. In Human Aspects of Information Security, Privacy, and Trust. Lecture Notes in Computer Science. Lecture Notes in Computer Science. Berlin Heidelberg: Springer Verlag, 2013. p. 326-331. ISBN: 978-3-642-39344-0. ISSN: 0302-9743.
Detail

KAČIC, M.; HANÁČEK, P.; HENZL, M.; HOMOLIAK, I. A Concept of Behavioral Reputation System in Wireless Networks. The 47th Annual International Carnahan Conference on Security Technology. Medellín: Institute of Electrical and Electronics Engineers, 2013. p. 86-90. ISBN: 978-958-8790-65-7.
Detail

BARABAS, M.; HOMOLIAK, I.; HANÁČEK, P.; KAČIC, M. Detection of Network Buffer Overflow Attacks: A Case Study. The 47th Annual International Carnahan Conference on Security Technology. Mendellin: Institute of Electrical and Electronics Engineers, 2013. p. 128-131. ISBN: 978-958-8790-65-7.
Detail

HRBÁČEK, R.; DRAHOŠOVÁ, M. Coevolutionary Cartesian Genetic Programming in FPGA. Advances in Artificial Life, ECAL 2013, Proceedings of the Twelfth European Conference on the Synthesis and Simulation of Living Systems. Cambridge: MIT Press, 2013. p. 431-438. ISBN: 978-0-262-31709-2.
Detail

ŠVÉDA, M. Time in Cyber-Physical Systems: Specifications, Modeling and Measurements. Proceedings of the SCSI 2013. Recent Advances in Electrical Engineering Series, 16. Rhodes Island: European Society for Environmental Research and Sustainable Development, 2013. p. 413-419. ISBN: 978-1-61804-204-0.
Detail

CHARVÁT, L.; SMRČKA, A.; VOJNAR, T. An Abstraction of Multi-Port Memories with Arbitrary Addressable Units. Computer Aided Systems Theory - EUROCAST 2013. Lecture Notes in Computer Science. Berlin Heidelberg: Springer Verlag, 2013. p. 460-468. ISBN: 978-3-642-53855-1.
Detail

POLČÁK, L.; HOLKOVIČ, M.; MATOUŠEK, P. A New Approach for Detection of Host Identity in IPv6 Networks. In Proceedings of the 4th International Conference on Data Communication Networking, 10th International Conference on e-Business and 4th International Conference on Optical Communication Systems. Reykjavík: SciTePress - Science and Technology Publications, 2013. p. 57-63. ISBN: 978-989-8565-72-3.
Detail

PACNER, J.; RYŠAVÝ, O.; ŠVÉDA, M. On the Evaluation of Clock Synchronization Methods for Networked Control Systems. 3rd Eastern European Regional Conference on the Engineering of Computer-Based Systems. New York: IEEE Computer Society, 2013. p. 10-12. ISBN: 978-0-7695-3759-7.
Detail

MIČULKA, L.; KOTÁSEK, Z. Synchronization Technique for TMR System After Dynamic Reconfiguration on FPGA. The Second Workshop on Manufacturable and Dependable Multicore Architectures at Nanoscale (MEDIAN 2013). Avignon: Politecnico di Milano, 2013. p. 53-56. ISBN: 978-2-11-129175-1.
Detail

MIČULKA, L.; STRAKA, M.; KOTÁSEK, Z. Methodology for Fault Tolerant System Design Based on FPGA Into Limited Redundant Area. 16th Euromicro Conference on Digital System Design: Architectures, Methods and Tools. Santander: IEEE Computer Society, 2013. p. 227-234. ISBN: 978-0-7695-5074-9.
Detail

DRAHOŠOVÁ, M. Koevoluční algoritmus v kartézském genetickém programování. Počítačové architektury a diagnostika PAD 2013. Plzeň: Západočeská univerzita v Plzni, 2013. s. 123-128. ISBN: 978-80-261-0270-0.
Detail

SVOBODA, J.; KLUBAL, O.; DRAHANSKÝ, M. Biometric Recognition of People by 3D Hand Geometry. In Proceedings of 9th International Conference on Digital Technologies 2013. Žilina: IEEE Computer Society, 2013. p. 173-177. ISBN: 978-80-554-0682-4.
Detail

RYŠAVÝ, O.; RÁB, J.; ŠVÉDA, M. Improving security in SCADA systems through firewall policy analysis. Proceedings of the Federated Conference on Computer Science and Information Systems. Krakow: IEEE Computer Society, 2013. p. 1435-1440. ISBN: 978-1-4673-4471-5.
Detail

MATOUŠEK, J. Paměťově efektivní vyhledání nejdelšího shodného prefixu pro směrování ve 100 Gb/s sítích. Počítačové architektury a diagnostika PAD 2013. Plzeň: Západočeská univerzita v Plzni, 2013. s. 105-110. ISBN: 978-80-261-0270-0.
Detail

ZACHARIÁŠOVÁ, M.; BOLCHINI, C.; KOTÁSEK, Z. Analysis and Comparison of Functional Verification and ATPG for Testing Design Reliability. Proceedings of The Second Workshop on Manufacturable and Dependable Multicore Architectures at Nanoscale. Avignon: COST, European Cooperation in Science and Technology, 2013. p. 35-38. ISBN: 978-2-11-129175-1.
Detail

HOMOLIAK, I.; BARABAS, M.; CHMELAŘ, P.; DROZD, M.; HANÁČEK, P. Advanced Security Network Metrics. In Emerging Trends in ICT Security. Waltham: Elsevier Science, 2013. p. 187-202. ISBN: 978-0-12-411474-6.
Detail

JURNEČKA, P.; HANÁČEK, P.; BARABAS, M.; HENZL, M.; KAČIC, M. A method for parallel software refactoring for safety standards compliance. System Safety 2013 collection of papers. INT. CONF. ON SIMULATORS, (BRIGHTON, U.K.: SEP. 26-30, 1983), LONDON, U.K., INST. ELECTR. ENGRS., 1983, P.267-273. (CONF. Cardiff: The Institution of Engineering and Technology, 2013. p. 1-6. ISBN: 978-1-84919-777-9. ISSN: 0537-9989.
Detail

HON, J.; MARTÍNEK, T.; RAJDL, K.; LEXA, M. Triplex: an R/Bioconductor package for identification and visualization of potential intramolecular triplex patterns in DNA sequences. BIOINFORMATICS, 2013, vol. 29, no. 15, p. 1900-1901. ISSN: 1367-4803.
Detail

MIČULKA, L. Metoda návrh systémů odolných proti poruchám do omezeného implementačního prostoru na bázi FPGA. Počítačové architektury & diagnostika 2013. Plzeň: Západočeská univerzita v Plzni, 2013. s. 63-68. ISBN: 978-80-261-0270-0.
Detail

SZURMAN, K. Fault Tolerant CAN Bus Control System Implemented into FPGA and its synchronization after failure and recovery. Počítačové architektury & diagnostika 2013. Plzeň: University of West Bohemia in Pilsen, 2013. p. 21-26. ISBN: 978-1-4673-6136-1.
Detail

BRÁZDOVÁ, M.; MARTÍNEK, T.; LEXA, M. In silico search for secondary structures in p53 target genes using R/Bioconductor. ITAT 2013: Information Technologies - Applications and Theory. Donovaly: CreativeSpace Independent Publishing Platform, 2013. p. 42-46. ISBN: 978-1-4909-5208-6.
Detail

KORANDA, K. Hardwarová akcelerace AES-GCM pro protokol SSH. Sborník příspěvků MKB 2013. Praha: TNS, a.s., 2013. s. 81-82. ISBN: 978-80-904257-5-0.
Detail

ŠVÉDA, M. Time Specification, Modeling and Measurement in frame of Cyber-Physical System Applications Design. International Journal of Systems Applications, Engineering & Development, 2013, vol. 7, no. 5, p. 263-270. ISSN: 2074-1308.
Detail

LETKO, Z. Analysis and Testing of Concurrent Programs. Information Sciences and Technologies Bulletin of the ACM Slovakia, 2013, vol. 5, no. 3, p. 1-8. ISSN: 1338-1237.
Detail

ZACHARIÁŠOVÁ, M. New Methods for Increasing Efficiency and Speed of Functional Verification. Počítačové architektury a diagnostika PAD 2013. Plzeň: University of West Bohemia in Pilsen, 2013. p. 111-116. ISBN: 978-80-261-0270-0.
Detail

HOFSTEDE, R.; BARTOŠ, V.; SPEROTTO, A.; PRAS, A. Towards Real-Time Intrusion Detection for NetFlow and IPFIX. In Proceedings of the 9th International Conference on Network and Service Management. Zürich: International Federation for Information Processing, 2013. p. 1-6. ISBN: 978-3-901882-53-1.
Detail

HENZL, M.; HANÁČEK, P. Modeling of Contactless Smart Card Protocols and Automated Vulnerability Finding. 2013 International Symposium on Biometrics and Security Technologies (ISBAST). Chengdu: IEEE Computer Society, 2013. p. 141-148. ISBN: 978-0-7695-5010-7.
Detail

KOŠAŘ, V.; ŽÁDNÍK, M.; KOŘENEK, J. NFA Reduction for Regular Expressions Matching Using FPGA. Proceedings of the 2013 International Conference on Field Programmable Technology. Kyoto: IEEE Computer Society, 2013. p. 338-341. ISBN: 978-1-4799-2199-7.
Detail

KOŠAŘ, V. Optimalizace architektury NFA-Split. Počítačové architektury a diagnostika PAD 2013. Plzeň: Západočeská univerzita v Plzni, 2013. s. 81-86. ISBN: 978-80-261-0270-0.
Detail

HÁJEK, J.; DRAHANSKÝ, M.; DROZD, R. Extraction of Retina Features Based on Position of the Blood Vessel Bifurcation. Journal of Medical Research and Development, 2013, vol. 2, no. 3, p. 55-59. ISSN: 2303-9345.
Detail

JURNEČKA, P.; HANÁČEK, P.; BARABAS, M.; HENZL, M.; KAČIC, M. A method for parallel software refactoring for safety standards compliance. In Resilience, Security & Risk in Transport. London: The Institution of Engineering and Technology, 2013. p. 42-48. ISBN: 978-1-84919-787-8.
Detail

POLČÁK, L.; HOLKOVIČ, M.; MATOUŠEK, P. Host Identity Detection in IPv6 Networks. In E-Business and Telecommunications. Communications in Computer and Information Science. Berlin: Springer Verlag, 2014. p. 74-89. ISBN: 978-3-662-44787-1. ISSN: 1865-0929.
Detail

LEXA, M.; MARTÍNEK, T.; BRÁZDOVÁ, M. Uneven distribution of potential triplex sequences in the human genome: In silico study using the R/Bioconductor package triplex. In Proceedings of the International Conference on Bioinformatics Models, Methods and Algorithms. Angers: SciTePress - Science and Technology Publications, 2014. p. 80-88. ISBN: 978-989-758-012-3.
Detail

PODIVÍNSKÝ, J.; ZACHARIÁŠOVÁ, M.; KOTÁSEK, Z. Complex Control System for Testing Fault-Tolerance Methodologies. Proceedings of The Third Workshop on Manufacturable and Dependable Multicore Architectures at Nanoscale. Dresden: COST, European Cooperation in Science and Technology, 2014. p. 24-27. ISBN: 978-2-11-129175-1.
Detail

POURSABERI, A.; VÁŇA, J.; MRÁČEK, Š.; DVOŘÁK, R.; YANUSHKEVICH, S.; DRAHANSKÝ, M.; SHMERKO, V.; GAVRILOVA, M. Facial biometrics for situational awareness systems. IET Biometrics, 2013, vol. 2, no. 2, p. 35-47. ISSN: 2047-4938.
Detail

VESELÝ, V. Map-keš synchronizace pro LISP. Proceedings of the 19th Conference Student EEICT 2013 Volume 3. Brno: Fakulta informačních technologií VUT v Brně, 2013. s. 234-239. ISBN: 978-80-214-4695-3.
Detail

MATOUŠEK, J. Addressing Issues in Research on Packet Classification in Core Networks. Brno: Faculty of Information Technology BUT, 2019. p. 0-0.
Detail

DUDKA, V.; FIEDOR, J.; VOJNAR, T.; KŘENA, B.: DA-BMC; A Tool Chain Combining Dynamic Analysis and Bounded Model Checking. http://www.fit.vutbr.cz/research/groups/verifit/tools/da-bmc. URL: http://www.fit.vutbr.cz/research/groups/verifit/tools/da-bmc. (software)
Detail

ZACHARIÁŠOVÁ, M.; LENGÁL, O.; KAJAN, M.: haven; HAVEN: An Open Framework for FPGA-Accelerated Functional Verification of Hardware. Nástroj i dokumentaci lze získat na URL http://www.fit.vutbr.cz/~isimkova/haven/ (http://www.fit.vutbr.cz/%7Eisimkova/haven/). URL: https://www.fit.vut.cz/research/product/234/. (software)
Detail

JANOUŠEK, V.: Prototypes-2012; Prototypes-2012. http://perchta.fit.vutbr.cz/projekty/32. URL: http://perchta.fit.vutbr.cz/projekty/32. (software)
Detail

MÜLLER, P.; VOJNAR, T.: cpalien; CPAlien: Configurable Program Analysis over Symbolic Memory Graphs. http://www.fit.vutbr.cz/research/groups/verifit/tools/cpalien. URL: http://www.fit.vutbr.cz/research/groups/verifit/tools/cpalien. (software)
Detail

FIEDOR, J.; VOJNAR, T.: ANaConDA; ANaConDA: A Framework for Analysing Multi-threaded C/C++ Programs on the Binary Level. http://www.fit.vutbr.cz/research/groups/verifit/tools/anaconda/. URL: http://www.fit.vutbr.cz/research/groups/verifit/tools/anaconda/. (software)
Detail

HORÁČEK, J.; ZBOŘIL, F.; ŽÁK, J.: GDEfALLL; GDEfALLL: Graphical development environment for ALLL language. http://www.fit.vutbr.cz/~ihoracek/gdefalll. URL: http://www.fit.vutbr.cz/~ihoracek/gdefalll. (software)
Detail

STRNADEL, J.; ŠIMEK, V.: INTMAN; intMAN: Priority-Driven Load-Adaptive Monitoring-Based Hardware for Managing Interrupts in Embedded Event-Triggered Real-Time Systems. Ústav počítačových systémů, Fakulta informačních technologií Vysokého učení technického v Brně, Božetěchova 2, 612 66 Brno. URL: https://www.fit.vut.cz/research/product/303/. (prototyp)
Detail

JANOUŠEK, V.: SmallDEVSforSqueak4.3; SmallDEVS for Squeak 4.3. http://perchta.fit.vutbr.cz/projekty/31. URL: http://perchta.fit.vutbr.cz/projekty/31. (software)
Detail