Detail projektu
Pokročilé bezpečné, spolehlivé a adaptivní IT
Období řešení: 1. 1. 2011 - 31. 12. 2013
Typ projektu: grant
Kód: FIT-S-11-1
Agentura: Vysoké učení technické v Brně
Program:
Název anglicky
Advanced secured, reliable and adaptive IT
Typ
grant
Abstrakt
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ů.
Řešitelé
Sekanina Lukáš, prof. Ing., Ph.D.
(UPSY FIT VUT)
, hlavní řešitel
Barabas Maroš, Ing., Ph.D. (UITS FIT VUT) , spoluřešitel
Bartoš Pavel, Ing. (UPSY FIT VUT) , spoluřešitel
Bidlo Michal, doc. Ing., Ph.D. (UPSY FIT VUT) , spoluřešitel
Češka Milan, prof. RNDr., CSc. (UITS FIT VUT) , spoluřešitel
Dittrich Petr, Ing., Ph.D. (UPGM FIT VUT) , spoluřešitel
Dluhoš Ondřej, Ing. (UITS FIT VUT) , spoluřešitel
Doležel Michal, Ing. (UITS FIT VUT) , spoluřešitel
Drábek Vladimír, doc. Ing., CSc. (UPSY FIT VUT) , spoluřešitel
Drahanský Martin, prof. Ing., Dipl.-Ing., Ph.D. (UITS FIT VUT) , spoluřešitel
Drozd Michal, Ing. (UITS FIT VUT) , spoluřešitel
Dudka Kamil, Ing. (UITS FIT VUT) , spoluřešitel
Dudka Vendula, Ing. (UITS FIT VUT) , spoluřešitel
Dvořák Radim, Ing. (UITS FIT VUT) , spoluřešitel
Fajkus Jan, Ing. (UITS FIT VUT) , spoluřešitel
Fiedor Jan, Ing., Ph.D. (UITS FIT VUT) , spoluřešitel
Fučík Otto, doc. Dr. Ing. (UPSY FIT VUT) , spoluřešitel
Gach Marek, Ing. (UITS FIT VUT) , spoluřešitel
Grégr Matěj, Ing., Ph.D. (UIFS FIT VUT) , spoluřešitel
Hájek Josef, Ing., Ph.D. (UITS FIT VUT) , spoluřešitel
Halfar Patrik, Ing. (UIFS FIT VUT) , spoluřešitel
Henzl Martin, Ing. Mgr. (UITS FIT VUT) , spoluřešitel
Herman David, Ing. (UITS FIT VUT) , spoluřešitel
Horáček Jan, Ing. (UITS FIT VUT) , spoluřešitel
Hrubý Martin, Ing., Ph.D. (UITS FIT VUT) , spoluřešitel
Janoušek Vladimír, doc. Ing., Ph.D. (UITS FIT VUT) , spoluřešitel
Jurnečka Peter, Ing. (UITS FIT VUT) , spoluřešitel
Kačic Matej, Ing., Ph.D. (UITS FIT VUT) , spoluřešitel
Kadák Michal, Ing. (UITS FIT VUT) , spoluřešitel
Kadlček Filip, Ing. (UPSY FIT VUT) , spoluřešitel
Kajan Michal, Ing. (UPSY FIT VUT) , spoluřešitel
Kaštil Jan, Ing. (UPSY FIT VUT) , spoluřešitel
Kněžík Jan, Ing. (UITS FIT VUT) , spoluřešitel
Kočí Radek, Ing., Ph.D. (UITS FIT VUT) , spoluřešitel
Konečný Filip, Ing. (UITS FIT VUT) , spoluřešitel
Korček Pavol, Ing., Ph.D. (UPSY FIT VUT) , spoluřešitel
Kořenek Jan, doc. Ing., Ph.D. (UPSY FIT VUT) , spoluřešitel
Košař Vlastimil, Ing., Ph.D. (UPSY FIT VUT) , spoluřešitel
Kreslíková Jitka, doc. RNDr., CSc. (UIFS FIT VUT) , spoluřešitel
Křena Bohuslav, Ing., Ph.D. (UITS FIT VUT) , spoluřešitel
Kubát David, Ing. (UITS FIT VUT) , spoluřešitel
Kunovský Jiří, doc. Ing., CSc. (UITS FIT VUT) , spoluřešitel
Lengál Ondřej, Ing., Ph.D. (UITS FIT VUT) , spoluřešitel
Letko Zdeněk, Ing., Ph.D. (UITS FIT VUT) , spoluřešitel
Lodrová Dana, Ing. (UITS FIT VUT) , spoluřešitel
Malačka Ondřej, Ing. (UITS FIT VUT) , spoluřešitel
Martínek Tomáš, doc. Ing., Ph.D. (UPSY FIT VUT) , spoluřešitel
Marvan Aleš, Ing. (UITS FIT VUT) , spoluřešitel
Matoušek Petr, doc. Ing., Ph.D., M.A. (UIFS FIT VUT) , spoluřešitel
Mičulka Lukáš, Ing. (UPSY FIT VUT) , spoluřešitel
Michlovský Zbyněk, Ing. (UITS FIT VUT) , spoluřešitel
Minárik Michal, Ing. (UITS FIT VUT) , spoluřešitel
Minařík Miloš, Ing. (UPSY FIT VUT) , spoluřešitel
Müller Petr, Ing. (UITS FIT VUT) , spoluřešitel
Nagy Jan, Ing. (UITS FIT VUT) , spoluřešitel
Novotňák Jiří, Ing. (UPSY FIT VUT) , spoluřešitel
Novotný Tomáš, Ing. (UITS FIT VUT) , spoluřešitel
Očenášek Pavel, Mgr. Ing., Ph.D. (UIFS FIT VUT) , spoluřešitel
Orság Filip, Ing., Ph.D. (UITS FIT VUT) , spoluřešitel
Peringer Petr, Dr. Ing. (UITS FIT VUT) , spoluřešitel
Peterka Ondřej, Ing. (UIFS FIT VUT) , spoluřešitel
Polčák Libor, Ing., Ph.D. (UIFS FIT VUT) , spoluřešitel
Pospíchal Petr, Ing. (UPSY FIT VUT) , spoluřešitel
Prívozník Michal, Ing. (UITS FIT VUT) , spoluřešitel
Puš Viktor, Ing. (UPSY FIT VUT) , spoluřešitel
Ráb Jaroslav, Ing. (UIFS FIT VUT) , spoluřešitel
Rogalewicz Adam, doc. Mgr., Ph.D. (UITS FIT VUT) , spoluřešitel
Růžička Richard, doc. Ing., Ph.D., MBA (UPSY FIT VUT) , spoluřešitel
Ryšavý Ondřej, doc. Ing., Ph.D. (UIFS FIT VUT) , spoluřešitel
Schwarz Josef, doc. Ing., CSc. (UPSY FIT VUT) , spoluřešitel
Smrčka Aleš, Ing., Ph.D. (UITS FIT VUT) , spoluřešitel
Strnadel Josef, Ing., Ph.D. (UPSY FIT VUT) , spoluřešitel
Stružka Jaroslav, Ing. (UITS FIT VUT) , spoluřešitel
Szöllös Alexandr, Ing. (UITS FIT VUT) , spoluřešitel
Šimáček Jiří, Ing., Ph.D. (UITS FIT VUT) , spoluřešitel
Šimek Václav, Ing. (UPSY FIT VUT) , spoluřešitel
Švéda Miroslav, prof. Ing., CSc. (UIFS FIT VUT) , spoluřešitel
Tomec Martin, Ing. (UITS FIT VUT) , spoluřešitel
Trchalík Roman, Mgr., Ph.D. (UIFS FIT VUT) , spoluřešitel
Tříska Vít, Ing. (UPSY FIT VUT) , spoluřešitel
Valenta Václav, Ing. (UITS FIT VUT) , spoluřešitel
Váňa Jan, Ing. (UITS FIT VUT) , spoluřešitel
Vašíček Zdeněk, doc. Ing., Ph.D. (UPSY FIT VUT) , spoluřešitel
Veselý Vladimír, Ing., Ph.D. (UIFS FIT VUT) , spoluřešitel
Vojnar Tomáš, prof. Ing., Ph.D. (UITS FIT VUT) , spoluřešitel
Zadina Martin, Ing. (UITS FIT VUT) , spoluřešitel
Zbořil František V., doc. Ing., CSc. (UITS FIT VUT) , spoluřešitel
Zbořil František, doc. Ing., Ph.D. (UITS FIT VUT) , spoluřešitel
Žádník Martin, Ing., Ph.D. (UPSY FIT VUT) , spoluřešitel
Žák Jakub, Ing. (UITS FIT VUT) , spoluřešitel
Žaloudek Luděk, Ing. (UPSY FIT VUT) , spoluřešitel
Barabas Maroš, Ing., Ph.D. (UITS FIT VUT) , spoluřešitel
Bartoš Pavel, Ing. (UPSY FIT VUT) , spoluřešitel
Bidlo Michal, doc. Ing., Ph.D. (UPSY FIT VUT) , spoluřešitel
Češka Milan, prof. RNDr., CSc. (UITS FIT VUT) , spoluřešitel
Dittrich Petr, Ing., Ph.D. (UPGM FIT VUT) , spoluřešitel
Dluhoš Ondřej, Ing. (UITS FIT VUT) , spoluřešitel
Doležel Michal, Ing. (UITS FIT VUT) , spoluřešitel
Drábek Vladimír, doc. Ing., CSc. (UPSY FIT VUT) , spoluřešitel
Drahanský Martin, prof. Ing., Dipl.-Ing., Ph.D. (UITS FIT VUT) , spoluřešitel
Drozd Michal, Ing. (UITS FIT VUT) , spoluřešitel
Dudka Kamil, Ing. (UITS FIT VUT) , spoluřešitel
Dudka Vendula, Ing. (UITS FIT VUT) , spoluřešitel
Dvořák Radim, Ing. (UITS FIT VUT) , spoluřešitel
Fajkus Jan, Ing. (UITS FIT VUT) , spoluřešitel
Fiedor Jan, Ing., Ph.D. (UITS FIT VUT) , spoluřešitel
Fučík Otto, doc. Dr. Ing. (UPSY FIT VUT) , spoluřešitel
Gach Marek, Ing. (UITS FIT VUT) , spoluřešitel
Grégr Matěj, Ing., Ph.D. (UIFS FIT VUT) , spoluřešitel
Hájek Josef, Ing., Ph.D. (UITS FIT VUT) , spoluřešitel
Halfar Patrik, Ing. (UIFS FIT VUT) , spoluřešitel
Henzl Martin, Ing. Mgr. (UITS FIT VUT) , spoluřešitel
Herman David, Ing. (UITS FIT VUT) , spoluřešitel
Horáček Jan, Ing. (UITS FIT VUT) , spoluřešitel
Hrubý Martin, Ing., Ph.D. (UITS FIT VUT) , spoluřešitel
Janoušek Vladimír, doc. Ing., Ph.D. (UITS FIT VUT) , spoluřešitel
Jurnečka Peter, Ing. (UITS FIT VUT) , spoluřešitel
Kačic Matej, Ing., Ph.D. (UITS FIT VUT) , spoluřešitel
Kadák Michal, Ing. (UITS FIT VUT) , spoluřešitel
Kadlček Filip, Ing. (UPSY FIT VUT) , spoluřešitel
Kajan Michal, Ing. (UPSY FIT VUT) , spoluřešitel
Kaštil Jan, Ing. (UPSY FIT VUT) , spoluřešitel
Kněžík Jan, Ing. (UITS FIT VUT) , spoluřešitel
Kočí Radek, Ing., Ph.D. (UITS FIT VUT) , spoluřešitel
Konečný Filip, Ing. (UITS FIT VUT) , spoluřešitel
Korček Pavol, Ing., Ph.D. (UPSY FIT VUT) , spoluřešitel
Kořenek Jan, doc. Ing., Ph.D. (UPSY FIT VUT) , spoluřešitel
Košař Vlastimil, Ing., Ph.D. (UPSY FIT VUT) , spoluřešitel
Kreslíková Jitka, doc. RNDr., CSc. (UIFS FIT VUT) , spoluřešitel
Křena Bohuslav, Ing., Ph.D. (UITS FIT VUT) , spoluřešitel
Kubát David, Ing. (UITS FIT VUT) , spoluřešitel
Kunovský Jiří, doc. Ing., CSc. (UITS FIT VUT) , spoluřešitel
Lengál Ondřej, Ing., Ph.D. (UITS FIT VUT) , spoluřešitel
Letko Zdeněk, Ing., Ph.D. (UITS FIT VUT) , spoluřešitel
Lodrová Dana, Ing. (UITS FIT VUT) , spoluřešitel
Malačka Ondřej, Ing. (UITS FIT VUT) , spoluřešitel
Martínek Tomáš, doc. Ing., Ph.D. (UPSY FIT VUT) , spoluřešitel
Marvan Aleš, Ing. (UITS FIT VUT) , spoluřešitel
Matoušek Petr, doc. Ing., Ph.D., M.A. (UIFS FIT VUT) , spoluřešitel
Mičulka Lukáš, Ing. (UPSY FIT VUT) , spoluřešitel
Michlovský Zbyněk, Ing. (UITS FIT VUT) , spoluřešitel
Minárik Michal, Ing. (UITS FIT VUT) , spoluřešitel
Minařík Miloš, Ing. (UPSY FIT VUT) , spoluřešitel
Müller Petr, Ing. (UITS FIT VUT) , spoluřešitel
Nagy Jan, Ing. (UITS FIT VUT) , spoluřešitel
Novotňák Jiří, Ing. (UPSY FIT VUT) , spoluřešitel
Novotný Tomáš, Ing. (UITS FIT VUT) , spoluřešitel
Očenášek Pavel, Mgr. Ing., Ph.D. (UIFS FIT VUT) , spoluřešitel
Orság Filip, Ing., Ph.D. (UITS FIT VUT) , spoluřešitel
Peringer Petr, Dr. Ing. (UITS FIT VUT) , spoluřešitel
Peterka Ondřej, Ing. (UIFS FIT VUT) , spoluřešitel
Polčák Libor, Ing., Ph.D. (UIFS FIT VUT) , spoluřešitel
Pospíchal Petr, Ing. (UPSY FIT VUT) , spoluřešitel
Prívozník Michal, Ing. (UITS FIT VUT) , spoluřešitel
Puš Viktor, Ing. (UPSY FIT VUT) , spoluřešitel
Ráb Jaroslav, Ing. (UIFS FIT VUT) , spoluřešitel
Rogalewicz Adam, doc. Mgr., Ph.D. (UITS FIT VUT) , spoluřešitel
Růžička Richard, doc. Ing., Ph.D., MBA (UPSY FIT VUT) , spoluřešitel
Ryšavý Ondřej, doc. Ing., Ph.D. (UIFS FIT VUT) , spoluřešitel
Schwarz Josef, doc. Ing., CSc. (UPSY FIT VUT) , spoluřešitel
Smrčka Aleš, Ing., Ph.D. (UITS FIT VUT) , spoluřešitel
Strnadel Josef, Ing., Ph.D. (UPSY FIT VUT) , spoluřešitel
Stružka Jaroslav, Ing. (UITS FIT VUT) , spoluřešitel
Szöllös Alexandr, Ing. (UITS FIT VUT) , spoluřešitel
Šimáček Jiří, Ing., Ph.D. (UITS FIT VUT) , spoluřešitel
Šimek Václav, Ing. (UPSY FIT VUT) , spoluřešitel
Švéda Miroslav, prof. Ing., CSc. (UIFS FIT VUT) , spoluřešitel
Tomec Martin, Ing. (UITS FIT VUT) , spoluřešitel
Trchalík Roman, Mgr., Ph.D. (UIFS FIT VUT) , spoluřešitel
Tříska Vít, Ing. (UPSY FIT VUT) , spoluřešitel
Valenta Václav, Ing. (UITS FIT VUT) , spoluřešitel
Váňa Jan, Ing. (UITS FIT VUT) , spoluřešitel
Vašíček Zdeněk, doc. Ing., Ph.D. (UPSY FIT VUT) , spoluřešitel
Veselý Vladimír, Ing., Ph.D. (UIFS FIT VUT) , spoluřešitel
Vojnar Tomáš, prof. Ing., Ph.D. (UITS FIT VUT) , spoluřešitel
Zadina Martin, Ing. (UITS FIT VUT) , spoluřešitel
Zbořil František V., doc. Ing., CSc. (UITS FIT VUT) , spoluřešitel
Zbořil František, doc. Ing., Ph.D. (UITS FIT VUT) , spoluřešitel
Žádník Martin, Ing., Ph.D. (UPSY FIT VUT) , spoluřešitel
Žák Jakub, Ing. (UITS FIT VUT) , spoluřešitel
Žaloudek Luděk, Ing. (UPSY FIT VUT) , spoluřešitel
Publikace
2014
- PODIVÍNSKÝ Jakub, ZACHARIÁŠOVÁ Marcela a KOTÁSEK Zdeněk. Complex Control System for Testing Fault-Tolerance Methodologies. In: Proceedings of The Third Workshop on Manufacturable and Dependable Multicore Architectures at Nanoscale. Dresden: COST, European Cooperation in Science and Technology, 2014, s. 24-27. ISBN 978-2-11-129175-1. Detail
- POLČÁK Libor, HOLKOVIČ Martin a MATOUŠEK Petr. Host Identity Detection in IPv6 Networks. In: E-Business and Telecommunications. Berlin: Springer Verlag, 2014, s. 74-89. ISBN 978-3-662-44787-1. ISSN 1865-0929. Detail
- POLČÁK Libor. Challenges in Identification in Future Computer Networks. In: ICETE 2014 Doctoral Consortium. Wien: SciTePress - Science and Technology Publications, 2014, s. 15-24. Detail
- LEXA Matej, MARTÍNEK Tomáš a BRÁZDOVÁ Marie. 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, s. 80-88. ISBN 978-989-758-012-3. Detail
2013
- KAČIC Matej, HANÁČEK Petr, HENZL Martin a HOMOLIAK Ivan. A Concept of Behavioral Reputation System in Wireless Networks. In: The 47th Annual International Carnahan Conference on Security Technology. Medellín: Institute of Electrical and Electronics Engineers, 2013, s. 86-90. ISBN 978-958-8790-65-7. Detail
- JURNEČKA Peter, HANÁČEK Petr, BARABAS Maroš, HENZL Martin a KAČIC Matej. A method for parallel software refactoring for safety standards compliance. In: System Safety 2013 collection of papers. Cardiff: The Institution of Engineering and Technology, 2013, s. 1-6. ISBN 978-1-84919-777-9. ISSN 0537-9989. Detail
- JURNEČKA Peter, HANÁČEK Petr, BARABAS Maroš, HENZL Martin a KAČIC Matej. A method for parallel software refactoring for safety standards compliance. Resilience, Security & Risk in Transport. London: The Institution of Engineering and Technology, 2013, s. 42-48. ISBN 978-1-84919-787-8. Detail
- POLČÁK Libor, HOLKOVIČ Martin a MATOUŠEK Petr. 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, s. 57-63. ISBN 978-989-8565-72-3. Detail
- HOMOLIAK Ivan, BARABAS Maroš, CHMELAŘ Petr, DROZD Michal a HANÁČEK Petr. Advanced Security Network Metrics. Emerging Trends in ICT Security. Waltham: Elsevier Science, 2013, s. 187-202. ISBN 978-0-12-411474-6. Detail
- CHARVÁT Lukáš, SMRČKA Aleš a VOJNAR Tomáš. An Abstraction of Multi-Port Memories with Arbitrary Addressable Units. In: Proceedings of the 14th Computer Aided Systems Theory. Las Palmas de Grand Canaria: Universidad de Las Palmas de Gran Canaria, 2013, s. 254-255. ISBN 978-84-695-6971-9. Detail
- CHARVÁT Lukáš, SMRČKA Aleš a VOJNAR Tomáš. An Abstraction of Multi-Port Memories with Arbitrary Addressable Units. In: Computer Aided Systems Theory - EUROCAST 2013. Lecture Notes in Computer Science, roč. 8111. Berlin Heidelberg: Springer Verlag, 2013, s. 460-468. ISBN 978-3-642-53855-1. Detail
- ZACHARIÁŠOVÁ Marcela, BOLCHINI Cristiana a KOTÁSEK Zdeněk. Analysis and Comparison of Functional Verification and ATPG for Testing Design Reliability. In: IEEE 16th International Symposium on Design and Diagnostics of Electronic Circuits and Systems. Karlovy Vary: IEEE Computer Society, 2013, s. 275-278. ISBN 978-1-4673-6133-0. Detail
- ZACHARIÁŠOVÁ Marcela, BOLCHINI Cristiana a KOTÁSEK Zdeněk. Analysis and Comparison of Functional Verification and ATPG for Testing Design Reliability. In: Proceedings of The Second Workshop on Manufacturable and Dependable Multicore Architectures at Nanoscale. Avignon: COST, European Cooperation in Science and Technology, 2013, s. 35-38. ISBN 978-2-11-129175-1. Detail
- LETKO Zdeněk. Analysis and Testing of Concurrent Programs. Information Sciences and Technologies Bulletin of the ACM Slovakia, roč. 5, č. 3, 2013, s. 1-8. ISSN 1338-1237. Detail
- SEKANINA Lukáš a VAŠÍČEK Zdeněk. 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, s. 21-28. ISBN 978-1-4673-5847-7. Detail
- HOMOLIAK Ivan, BARABAS Maroš, CHMELAŘ Petr, DROZD Michal a HANÁČEK Petr. ASNM: Advanced Security Network Metrics for Attack Vector Description. In: Proceedings of the 2013 International Conference on Security & Management. Las Vegas: Computer Science Research, Education, and Applications Press, 2013, s. 350-358. ISBN 1-60132-259-3. Detail
- BARABAS Maroš, HOMOLIAK Ivan, DROZD Michal a HANÁČEK Petr. Automated Malware Detection Based on Novel Network Behavioral Signatures. International Journal of Engineering and Technology, roč. 5, č. 2, 2013, s. 249-253. ISSN 1793-8236. Detail
- KADLČEK Filip a FUČÍK Otto. Automatic synthesis of small AdaBoost Classifier in FPGA. In: IEEE Design and Diagnostics of Electronic Circuits and Systems DDECS'2013. Brno: IEEE Computer Society, 2013, s. 1-6. ISBN 978-1-4673-6133-0. Detail
- SVOBODA Jan, KLUBAL Ondřej a DRAHANSKÝ Martin. Biometric Recognition of People by 3D Hand Geometry. In: Proceedings of 9th International Conference on Digital Technologies 2013. Žilina: IEEE Computer Society, 2013, s. 173-177. ISBN 978-80-554-0682-4. Detail
- HRBÁČEK Radek a DRAHOŠOVÁ Michaela. Coevolutionary Cartesian Genetic Programming in FPGA. In: Advances in Artificial Life, ECAL 2013, Proceedings of the Twelfth European Conference on the Synthesis and Simulation of Living Systems. Cambridge: MIT Press, 2013, s. 431-438. ISBN 978-0-262-31709-2. Detail
- OČENÁŠEK Pavel a ŠVÉDA Miroslav. Communication in Business Information Systems - New Perspectives. International Academic Research Journal of Business and Management, roč. 1, č. 7, 2013, s. 87-92. ISSN 2227-1287. Detail
- SOPUCH Zbyněk. Comparative Attributes of High-frequency Market Making Algorithms. In: Proceedings of the 19th Conference and Competition STUDENT EEICT 2013 Volume 3. Brno: Fakulta informačních technologií VUT v Brně, 2013, s. 212-216. ISBN 978-80-214-4695-3. Detail
- HANÁČEK Petr, JURNEČKA Peter a KAČIC Matej. Concept of parallel code generating and refactoring system for safety standards compliance. In: 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, s. 630-635. ISBN 978-1-4799-1426-5. Detail
- KOVÁČIK Michal, KAJAN Michal a ŽÁDNÍK Martin. Detecting IP-spoofing by modelling history of IP address entry points. In: Emerging Management Mechanisms for the Future Internet. Lecture Notes in Computer Science, roč. 7943. Barcelona: Springer Verlag, 2013, s. 73-83. ISBN 978-3-642-38997-9. ISSN 0302-9743. Detail
- BARABAS Maroš, HANÁČEK Petr, HOMOLIAK Ivan a KAČIC Matej. Detection of Network Buffer Overflow Attacks: A Case Study. In: The 47th Annual International Carnahan Conference on Security Technology. Mendellin: Institute of Electrical and Electronics Engineers, 2013, s. 128-131. ISBN 978-958-8790-65-7. Detail
- OČENÁŠEK Pavel. Effective Design and Implementation of Distributed Business Information Systems. In: Proceedings of 2012 International Conference on Mechatronics and Applied Mechanics. Hong Kong: National Taiwan University, 2013, s. 451-454. ISBN 978-3-03785-659-8. ISSN 1660-9336. Detail
- OČENÁŠEK Pavel. Effective Design and Implementation of Distributed Business Information Systems. Applied Mechanics and Materials, roč. 2013, č. 307, s. 451-454. ISSN 1660-9336. Detail
- BIDLO Michal a VAŠÍČEK Zdeněk. Evolution of Cellular Automata with Conditionally Matching Rules. In: 2013 IEEE Congress on Evolutionary Computation (CEC 2013). Cancún: IEEE Computer Society, 2013, s. 1178-1185. ISBN 978-1-4799-0452-5. Detail
- HÁJEK Josef, DRAHANSKÝ Martin a DROZD Radek. Extraction of Retina Features Based on Position of the Blood Vessel Bifurcation. Journal of Medical Research and Development, roč. 2, č. 3, 2013, s. 55-59. ISSN 2303-9345. Detail
- POURSABERI Ahmad, VÁŇA Jan, MRÁČEK Štěpán, DVOŘÁK Radim, YANUSHKEVICH Svetlana, DRAHANSKÝ Martin, SHMERKO Vlad. P. a GAVRILOVA Marina L. Facial biometrics for situational awareness systems. IET Biometrics, roč. 2, č. 2, 2013, s. 35-47. ISSN 2047-4938. Detail
- SZURMAN Karel, KAŠTIL Jan, STRAKA Martin a KOTÁSEK Zdeněk. Fault Tolerant CAN Bus Control System Implemented into FPGA. In: IEEE International Symposium on Design and Diagnostics of Electronic Circuits and Systems 2013. Karlovy Vary: IEEE Computer Society, 2013, s. 289-292. ISBN 978-1-4673-6136-1. Detail
- SZURMAN Karel. Fault Tolerant CAN Bus Control System Implemented into FPGA and its synchronization after failure and recovery. In: Počítačové architektury & diagnostika 2013. Plzeň: Západočeská univerzita v Plzni, 2013, s. 21-26. ISBN 978-1-4673-6136-1. Detail
- STRAKA Martin, KAŠTIL Jan, KOTÁSEK Zdeněk a MIČULKA Lukáš. Fault Tolerant System Design and SEU Injection Based Testing. Microprocessors and Microsystems, roč. 2013, č. 37, s. 155-173. ISSN 0141-9331. Detail
- KOŘENEK Jan. Hardware Acceleration of Algorithms in Computer Networks using FPGA. In: 2013 IEEE 16th International Symposium on Design and Diagnostics of Electronic Circuits & Systems (DDECS). Brno: IEEE Computer Society, 2013, s. 11-11. ISBN 978-1-4673-6133-0. Detail
- KAŠTIL Jan, KOŠAŘ Vlastimil a KOŘENEK Jan. Hardware Architecture for the Fast Pattern Matching. In: 2013 IEEE 16th International Symposium on Design and Diagnostics of Electronic Circuits & Systems (DDECS). Brno: IEEE Computer Society, 2013, s. 120-123. ISBN 978-1-4673-6133-0. Detail
- HRBÁČEK Radek. Hardware Platform for Coevolutionary Design. In: Proceedings of the 19th Conference STUDENT EEICT 2013 Volume 2. Brno: Ing. Vladislav Pokorný - Litera, 2013, s. 279-281. ISBN 978-80-214-4694-6. Detail
- KORANDA Karel. Hardwarová akcelerace AES-GCM pro protokol SSH. In: Sborník příspěvků MKB 2013. Praha: TNS, a.s., 2013, s. 81-82. ISBN 978-80-904257-5-0. Detail
- SEKANINA Lukáš, RŮŽIČKA Richard, VAŠÍČEK Zdeněk, ŠIMEK Václav a HANÁČEK Petr. Implementing a Unique Chip ID on a Reconfigurable Polymorphic Circuit. Information Technology And Control, roč. 42, č. 1, 2013, s. 7-14. ISSN 1392-124X. Detail
- RYŠAVÝ Ondřej, RÁB Jaroslav a ŠVÉDA Miroslav. Improving security in SCADA systems through firewall policy analysis. In: Proceedings of the Federated Conference on Computer Science and Information Systems. Krakow: IEEE Computer Society, 2013, s. 1435-1440. ISBN 978-1-4673-4471-5. Detail
- BRÁZDOVÁ Marie, MARTÍNEK Tomáš a LEXA Matej. In silico search for secondary structures in p53 target genes using R/Bioconductor. In: ITAT 2013: Information Technologies - Applications and Theory. Donovaly: CreativeSpace Independent Publishing Platform, 2013, s. 42-46. ISBN 978-1-4909-5208-6. Detail
- DRAHOŠOVÁ Michaela. Koevoluční algoritmus v kartézském genetickém programování. In: 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
- STRNADEL Josef. Load-Adaptive Monitor-Driven Hardware for Preventing Embedded Real-Time Systems from Overloads Caused by Excessive Interrupt Rates. In: Architecture of Computing Systems - ARCS 2013. Lecture Notes in Computer Science, ISSN 0302-9743, Vol. 7767, roč. 2013. Berlin: Springer Verlag, 2013, s. 98-109. ISBN 978-3-642-36423-5. ISSN 0302-9743. Detail
- KAČIC Matej, HENZL Martin, JURNEČKA Peter a HANÁČEK Petr. Malware injection in wireless networks. In: 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, s. 483-487. ISBN 978-1-4799-1426-5. Detail
- VESELÝ Vladimír. Map-keš synchronizace pro LISP. In: 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 Jiří, SKAČAN Martin a KOŘENEK Jan. 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, s. 1-8. ISBN 978-1-4799-0004-6. Detail
- MIČULKA Lukáš, STRAKA Martin a KOTÁSEK Zdeněk. Methodology for Fault Tolerant System Design Based on FPGA Into Limited Redundant Area. In: 16th Euromicro Conference on Digital System Design: Architectures, Methods and Tools. Santander: IEEE Computer Society, 2013, s. 227-234. ISBN 978-0-7695-5074-9. Detail
- MIČULKA Lukáš. Metoda návrh systémů odolných proti poruchám do omezeného implementačního prostoru na bázi FPGA. In: Počítačové architektury & diagnostika 2013. Plzeň: Západočeská univerzita v Plzni, 2013, s. 63-68. ISBN 978-80-261-0270-0. Detail
- HENZL Martin a HANÁČEK Petr. Modeling of Contactless Smart Card Protocols and Automated Vulnerability Finding. In: 2013 International Symposium on Biometrics and Security Technologies (ISBAST). Chengdu: IEEE Computer Society, 2013, s. 141-148. ISBN 978-0-7695-5010-7. Detail
- ZACHARIÁŠOVÁ Marcela. New Methods for Increasing Efficiency and Speed of Functional Verification Processes. In: Počítačové architektury a diagnostika PAD 2013. Plzeň: Západočeská univerzita v Plzni, 2013, s. 111-116. ISBN 978-80-261-0270-0. Detail
- KOŠAŘ Vlastimil, ŽÁDNÍK Martin a KOŘENEK Jan. NFA Reduction for Regular Expressions Matching Using FPGA. In: Proceedings of the 2013 International Conference on Field Programmable Technology. Kyoto: IEEE Computer Society, 2013, s. 338-341. ISBN 978-1-4799-2199-7. Detail
- STRNADEL Josef. On Design of Priority-Driven Load-Adaptive Monitoring-Based Hardware for Managing Interrupts in Embedded Event-Triggered Real-Time Systems. In: Proceedings of the IEEE 16th International Symposium on Design and Diagnostics of Electronic Circuits and Systems. Brno: IEEE Computer Society, 2013, s. 24-29. ISBN 978-1-4673-6133-0. Detail
- DE Silva Gayan, RYŠAVÝ Ondřej, MATOUŠEK Petr a ŠVÉDA Miroslav. On Formal Reachability Analysis in Networks with Dynamic Behavior. Telecommunication Systems, roč. 52, č. 2, 2013, s. 919-929. ISSN 1018-4864. Detail
- OČENÁŠEK Pavel a ŠVÉDA Miroslav. On the Effective Internet Communication Filtering. In: Proceedings of the 2012 ICMCM Conference. Dubaj: Trans Tech Publications Inc., 2013, s. 478-481. ISBN 978-3-03785-659-8. ISSN 1660-9336. Detail
- OČENÁŠEK Pavel a ŠVÉDA Miroslav. On the Effective Internet Communication Filtering. Applied Mechanics and Materials, roč. 2013, č. 307, s. 478-481. ISSN 1660-9336. Detail
- PACNER Jan, RYŠAVÝ Ondřej a ŠVÉDA Miroslav. On the Evaluation of Clock Synchronization Methods for Networked Control Systems. In: 3rd Eastern European Regional Conference on the Engineering of Computer-Based Systems. New York: IEEE Computer Society, 2013, s. 10-12. ISBN 978-0-7695-3759-7. Detail
- OČENÁŠEK Pavel a KARMAZÍN Jaromír. On the Secure and Safe Data Synchronization. In: Human Aspects of Information Security, Privacy, and Trust. Lecture Notes in Computer Science, roč. 8030. Berlin Heidelberg: Springer Verlag, 2013, s. 326-331. ISBN 978-3-642-39344-0. ISSN 0302-9743. Detail
- KOŠAŘ Vlastimil. Optimalizace architektury NFA-Split. In: 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
- MATOUŠEK Jiří. Paměťově efektivní vyhledání nejdelšího shodného prefixu pro směrování ve 100 Gb/s sítích. In: 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
- STRNADEL Josef. Plánování úloh v systémech RT - IV: víceprocesorové prostředí. Automa, roč. 19, č. 1, 2013, s. 44-46. ISSN 1210-9592. Detail
- STRNADEL Josef. Plánování úloh v systémech RT - V: zvyšování provozuschopnosti systémů. Automa, roč. 19, č. 2, 2013, s. 46-49. ISSN 1210-9592. Detail
- DUDKA Kamil, MÜLLER Petr, PERINGER Petr a VOJNAR Tomáš. Predator: A Tool for Verification of Low-Level List Manipulation (Competition Contribution). In: Tools and Algorithms for the Construction and Analysis of Systems. Lecture Notes in Computer Science Volume 7795, roč. 2013. Berlin: Springer Verlag, 2013, s. 627-629. ISBN 978-3-642-36742-7. ISSN 0302-9743. Detail
- MIČULKA Lukáš a KOTÁSEK Zdeněk. Synchronization Technique for TMR System After Dynamic Reconfiguration on FPGA. In: The Second Workshop on Manufacturable and Dependable Multicore Architectures at Nanoscale (MEDIAN 2013). Avignon: Politecnico di Milano, 2013, s. 53-56. ISBN 978-2-11-129175-1. Detail
- OČENÁŠEK Pavel. The Practice of Global Internet Filtering. In: Human Aspects of Information Security, Privacy, and Trust. Lecture Notes in Computer Science, roč. 8030. Berlin Heidelberg: Springer Verlag, 2013, s. 332-337. ISBN 978-3-642-39344-0. ISSN 0302-9743. Detail
- ŠVÉDA Miroslav. Time in Cyber-Physical Systems: Specifications, Modeling and Measurements. In: Proceedings of the SCSI 2013. Recent Advances in Electrical Engineering Series, 16. Rhodes Island: Evropská společnost pro výzkum prostředí a udržitelný vývoj, 2013, s. 413-419. ISBN 978-1-61804-204-0. Detail
- ŠVÉDA Miroslav. Time Specification, Modeling and Measurement in frame of Cyber-Physical System Applications Design. International Journal of Systems Applications, Engineering & Development, roč. 7, č. 5, 2013, s. 263-270. ISSN 2074-1308. Detail
- MATOUŠEK Jiří, SKAČAN Martin a KOŘENEK Jan. 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, s. 108-111. ISBN 978-1-4673-6136-1. Detail
- HOFSTEDE Rick, BARTOŠ Václav, SPEROTTO Anna a PRAS Aiko. 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, s. 1-6. ISBN 978-3-901882-53-1. Detail
- HON Jiří, MARTÍNEK Tomáš, RAJDL Kamil a LEXA Matej. Triplex: an R/Bioconductor package for identification and visualization of potential intramolecular triplex patterns in DNA sequences. Bioinformatics, roč. 29, č. 15, 2013, s. 1900-1901. ISSN 1367-4803. Detail
2012
- MRÁČEK Štěpán, VÁŇA Jan, DVOŘÁK Radim, DRAHANSKÝ Martin a YANUSHKEVICH Svetlana. 3D and Thermo-face Recognition. New Trends and Developments in Biometrics. Rijeka: InTech - Open Access Publisher, 2012, s. 31-58. ISBN 9789535108597. Detail
- HENZL Martin, HANÁČEK Petr, JURNEČKA Peter a KAČIC Matej. A Concept of Automated Vulnerability Search in Contactless Communication Applications. In: Proceedings 46th Annual IEEE International Carnahan Conference on Security Technology. Boston: Institute of Electrical and Electronics Engineers, 2012, s. 180-186. ISBN 978-1-4673-4807-2. Detail
- HALFAR Patrik, RÁB Jaroslav, RYŠAVÝ Ondřej a ŠVÉDA Miroslav. A Formal Authorization Framework for Networked SCADA Systems. In: Proceedings IEEE ECBS 2012. Novy Sad: IEEE Computer Society, 2012, s. 298-302. ISBN 978-0-7695-4664-3. Detail
- RYŠAVÝ Ondřej, ŠVÉDA Miroslav a VRBA Radimír. A Framework for Cyber-Physical Systems Design - A Concept Study. In: Proceedings ICONS 2012. Saint Gilles, Reunion Island: Mezinárodní asociace univerzit, výzkumu a průmyslu, 2012, s. 79-82. ISBN 978-1-61208-184-7. Detail
- ŠVÉDA Miroslav, SEKLETÁR Michal, FIDLER Tomáš a RYŠAVÝ Ondřej. A High-level Network-wide Router Configuration Language. In: Proceedings ICN 2012. Saint Gilles, Reunion Island: Mezinárodní asociace univerzit, výzkumu a průmyslu, 2012, s. 18-21. ISBN 978-1-61208-183-0. Detail
- ČEŠKA Milan, FIEDOR Jan a GACH Marek. A Novel Approach to Modechart Verification of Real-Time systems. Lecture Notes in Computer Science, roč. 2012, č. 6927, s. 559-567. ISSN 0302-9743. Detail
- FIEDOR Jan, KŘENA Bohuslav, LETKO Zdeněk a VOJNAR Tomáš. A Uniform Classification of Common Concurrency Errors. Lecture Notes in Computer Science, roč. 2012, č. 6927, s. 519-526. ISSN 0302-9743. Detail
- BOUAJJANI Ahmed, HABERMEHL Peter, ROGALEWICZ Adam a VOJNAR Tomáš. Abstract Regular (Tree) Model Checking. International Journal on Software Tools for Technology Transfer, roč. 14, č. 2, 2012, s. 167-191. ISSN 1433-2779. Detail
- DRAHOŠOVÁ Michaela a SEKANINA Lukáš. Acceleration of Evolutionary Image Filter Design Using Coevolution in Cartesian GP. Lecture Notes in Computer Science, roč. 2012, č. 7491, s. 163-172. ISBN 978-3-642-32936-4. ISSN 0302-9743. Detail
- DRAHOŠOVÁ Michaela a SEKANINA Lukáš. Acceleration of Evolutionary Image Filter Design Using Coevolution in Cartesian GP. 8th Doctoral Workshop on Mathematical and Engineering Methods in Computer Science. Brno: Masarykova universita, 2012. ISBN 978-80-87342-15-2. Detail
- HORÁČEK Jan, ZBOŘIL František a HANÁČEK Petr. Agent Aided Routing in Wireless Sensor Networks. In: Proceedings of CSE 2012 International Scientific Conference on Computer Science and Engineering. Košice: Technická univerzita v Košiciach, 2012, s. 119-126. ISBN 978-80-8143-049-7. Detail
- DROZD Radek, HÁJEK Josef a DRAHANSKÝ Martin. An algorithm for retina features extraction based on position of the blood vessel bifurcations. In: Biometric Recognition. Lecture Notes in Computer Science. Guangzhou: Springer London, 2012, s. 308-315. ISBN 978-3-642-35135-8. ISSN 0302-9743. Detail
- DUDKA Kamil, PERINGER Petr a VOJNAR Tomáš. An Easy to Use Infrastructure for Building Static Analysis Tools. Lecture Notes in Computer Science, roč. 2012, č. 6927, s. 527-534. ISSN 0302-9743. Detail
- FIEDOR Jan a VOJNAR Tomáš. ANaConDA: A Framework for Analysing Multi-threaded C/C++ Programs on the Binary Level. Lecture Notes in Computer Science, roč. 2012, č. 7687, s. 35-41. ISSN 0302-9743. Detail
- KŘENA Bohuslav, LETKO Zdeněk a VOJNAR Tomáš. Analysis and Testing of Concurrent Programs. FIT Monograph. Brno: Fakulta informačních technologií VUT v Brně, 2012. ISBN 978-80-214-4464-5. Detail
- MALČÍK Dominik a DRAHANSKÝ Martin. Anatomy of Biometric Passports. Advanced Science and Technology Letters, roč. 2012, č. 4, s. 258-263. ISSN 2287-1233. Detail
- MALČÍK Dominik a DRAHANSKÝ Martin. Anatomy of Biometric Passports. Journal of Biomedicine and Biotechnology, roč. 2012, č. 1, s. 1-8. ISSN 1110-7243. Detail
- VÁŇA Jan, MRÁČEK Štěpán, YANUSHKEVICH Svetlana a DRAHANSKÝ Martin. Applying Fusion in Thermal Face Recognition. In: BIOSIG 2012. Lecture Notes in Informatics (LNI) - Proceedings, roč. 11. Darmstadt: Fraunhofer Gesellschaft - Institut für Graphische Datenverarbeitung, 2012, s. 233-244. ISBN 978-3-88579-290-1. ISSN 1617-5468. Detail
- CHARVÁT Lukáš, SMRČKA Aleš a VOJNAR Tomáš. Automatic Formal Correspondence Checking of ISA and RTL Microprocessor Description. In: Proceedings of the 13th International Workshop on Microprocessor Test and Verification (MTV 2012). Austin, TX: Institute of Electrical and Electronics Engineers, 2012, s. 6-12. ISBN 978-1-4673-4441-8. Detail
- OČENÁŠEK Pavel a MÍCHAL Luboš. 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). Hongkong: Trans Tech Publications Inc., 2012, s. 870-873. ISBN 978-3-03785-380-1. ISSN 1660-9336. Detail
- OČENÁŠEK Pavel a MÍCHAL Luboš. Automation of Authentication and Key Distribution Schemes Design based on Trace Formulae. Applied Mechanics and Materials, roč. 2012, č. 157, s. 870-873. ISSN 1660-9336. Detail
- MALAČKA Ondřej, SAMEK Jan, ZBOŘIL František a ZBOŘIL František V. 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, s. 285-290. ISBN 978-1-4673-5118-8. Detail
- ŽALOUDEK Luděk a SEKANINA Lukáš. Cellular automata-based systems with fault-tolerance. Natural Computing, roč. 11, č. 4, 2012, s. 673-685. ISSN 1567-7818. Detail
- DRAHOŠOVÁ Michaela a SEKANINA Lukáš. Coevolution in Cartesian Genetic Programming. In: Proc. of the 15th European Conference on Genetic Programming. Lecture Notes in Computer Science, roč. 7244. Heidelberg: Springer Verlag, 2012, s. 182-193. ISBN 978-3-642-29138-8. Detail
- OČENÁŠEK Pavel a ŠVÉDA Miroslav. Communication in Business Information Systems - New Perspectives. In: Proceedings of ARC 2012 International Conference on Business and Management. Bangalore: Siemens, Corporate Research and Development, 2012, s. 257-262. ISBN 978-0-615-73960-1. Detail
- KŘENA Bohuslav, LETKO Zdeněk a VOJNAR Tomáš. Coverage Metrics for Saturation-based and Search-based Testing of Concurrent Software. Lecture Notes in Computer Science, roč. 2012, č. 7186, s. 177-192. ISSN 0302-9743. Detail
- DUDKA Vendula, FIEDOR Jan, KŘENA Bohuslav a VOJNAR Tomáš. DA-BMC: A Tool Chain Combining Dynamic Analysis and Bounded Model Checking. Lecture Notes in Computer Science, roč. 2012, č. 7186, s. 5. ISSN 0302-9743. Detail
- MALAČKA Ondřej, SAMEK Jan, ZBOŘIL František a ZBOŘIL František V. Decision Making and Recommendation Protocol Based on Trust for Multi-agent Systems. Lecture Notes in Computer Science, roč. 2012, č. 7138, s. 280-291. ISBN 978-3-642-28508-0. ISSN 0302-9743. Detail
- KAŠTIL Jan, STRAKA Martin, MIČULKA Lukáš a KOTÁSEK Zdeněk. Dependability Analysis of Fault Tolerant Systems Based on Partial Dynamic Reconfiguration Implemented into FPGA. In: 15th Euromicro Conference on Digital System Design: Architectures, Methods and Tools. Cesme-Izmir: IEEE Computer Society, 2012, s. 250-257. ISBN 978-0-7695-4798-5. Detail
- OČENÁŠEK Pavel a HRANÁČ Jakub. Design of Authentication and Key Distribution Protocols with Routing Functionality. Journal of Information & Communication Technology, roč. 5, č. 1, 2012, s. 1-11. ISSN 1816-613X. Detail
- MIČULKA Lukáš a KOTÁSEK Zdeněk. Design Sychronization after Partial Dynamic Reconfiguration of Fault Tolerant System. In: 15th Euromicro Conference on Digital System Design: Architectures, Methods and Tools. Cesme-Izmir: IEEE Computer Society, 2012, s. 20-21. ISBN 978-3-902457-33-2. Detail
- BARTOŠ Václav. Detekce anomálií v datech o síťovém provozu. Trilobit, roč. 2012, č. 2, s. 1-6. ISSN 1804-1795. Detail
- BARTOŠ Václav. Detekce anomálií v síťovém provozu. In: 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
- BIDLO Michal a VAŠÍČEK Zdeněk. Evolution of Cellular Automata Using Instruction-Based Approach. In: 2012 IEEE World Congress on Computational Intelligence. CA: Institute of Electrical and Electronics Engineers, 2012, s. 1060-1067. ISBN 978-1-4673-1508-1. Detail
- DLUHOŠ Ondřej, DVOŘÁK Radim, VÁŇA Jan a DRAHANSKÝ Martin. Hand Surface as Biometric Identifier. Advanced Science and Technology Letters, roč. 8, č. 7, 2012, s. 351-356. ISSN 2287-1233. Detail
- ZACHARIÁŠOVÁ Marcela, LENGÁL Ondřej a KAJAN Michal. HAVEN: An Open Framework for FPGA-Accelerated Functional Verification of Hardware. Lecture Notes in Computer Science, roč. 2012, č. 7261, s. 247-253. ISSN 0302-9743. Detail
- SAMEK Jan, MALAČKA Ondřej, KRÁL Jiří, ZBOŘIL František a ZBOŘIL František V. HMTCsim: A simulation tool for multi-agent systems with using decision making based on trust. In: Proceedings of Third International Conference on Computer Modelling and Simulation. Brno: Fakulta informačních technologií VUT v Brně, 2012, s. 80-85. ISBN 978-80-214-4576-5. Detail
- DOLEŽEL Michal, DRAHANSKÝ Martin, URBÁNEK Jaroslav, BŘEZINOVÁ Eva a KIM Tae hoon. Influence of Skin Diseases on Fingerprint Quality and Recognition. New Trends and Developments in Biometrics. Rijeka: InTech - Open Access Publisher, 2012, s. 275-303. ISBN 9789535108597. Detail
- DRAHANSKÝ Martin, DOLEŽEL Michal, URBÁNEK Jaroslav, BŘEZINOVÁ Eva a KIM Tae hoon. Influence of Skin Diseases on Fingerprint Recognition. Journal of Biomedicine and Biotechnology, roč. 2012, č. 4, s. 1-14. ISSN 1110-7243. Detail
- MALAČKA Ondřej, SAMEK Jan, ZBOŘIL František a ZBOŘIL František V. Interval Trust Representation. In: Proceedings of CSE 2012 International Conference on Computer Science and Engineering. Košice: Fakulta elektrotechniky a informatiky, Technická univerzita v Košiciach, 2012, s. 175-182. ISBN 978-80-8143-049-7. Detail
- ŽÁK Jakub, ZBOŘIL František a HANÁČEK Petr. Jade Agents to Wireless Sensors: Case study. In: Proceedings of CSE 2012 International Scientific Conference on Computer Science and Engineering. Košice: Technická univerzita v Košiciach, 2012, s. 95-102. ISBN 978-80-8143-049-7. Detail
- TŘÍSKA Vít. Komprese shlukových dat s využitím geometrického dělení prostoru. In: Počítačové architektury & diagnostika 2012. Praha: České vysoké učení technické, 2012, s. 127-132. ISBN 978-80-01-05106-1. Detail
- KEKELY Lukáš, PUŠ Viktor a KOŘENEK Jan. Low-Latency Modular Packet Header Parser for FPGA. In: ACM/IEEE Symposium on Architectures for Networking and Communications Systems. Austin: Association for Computing Machinery, 2012, s. 77-78. ISBN 978-1-4503-1685-9. Detail
- STRAKA Martin, KAŠTIL Jan a KOTÁSEK Zdeněk. Methodology for Reliability Analysis of FPGA-based Fault Tolerant Systems. In: CSE'2012 International Scientific Conference on Computer Science and Engineering. Košice: Technická univerzita v Košiciach, 2012, s. 146-153. ISBN 978-80-8143-049-7. Detail
- MIČULKA Lukáš. Metoda návrh systémů odolných proti poruchám do omezeného implementačního prostoru na bázi FPGA. In: Počítačové architektury & diagnostika 2012. Praha: Fakulta informačních technologií ČVUT, 2012, s. 109-115. ISBN 978-80-01-05106-1. Detail
- MALČÍK Dominik a DRAHANSKÝ Martin. Microscopic Analysis of Chips: Chips deprocessing. Advanced Science and Technology Letters, roč. 2012, č. 7, s. 80-85. ISSN 2287-1233. Detail
- HORÁČEK Jan a ZBOŘIL František. Mobile code placement in wireless sensor networks. In: Proceedings of the 2012 12th International Conference on Intelligent Systems Design and Applications (ISDA). Kočín (Cochin): Institute of Electrical and Electronics Engineers, 2012, s. 172-177. ISBN 978-1-4673-5118-8. Detail
- KOČÍ Radek a JANOUŠEK Vladimír. Modeling and Simulation-Based Design Using Object-Oriented Petri Nets: A Case Study. CEUR Workshop Proceedings, roč. 851, č. 06, 2012, s. 253-266. ISSN 1613-0073. Detail
- STRNADEL Josef. 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, s. 121-126. ISBN 978-1-4673-1188-5. Detail
- VESELÝ Vladimír, MATOUŠEK Petr a ŠVÉDA Miroslav. Multicast Simulation and Modeling in OMNeT++. In: Proceedings of the IEEE 5th International ICST Conference on Simulation Tools and Techniques. Desenzano del Garda: International Communication Sciences and Technology Association, 2012, s. 298-301. ISBN 978-1-936968-47-3. Detail
- RŮŽIČKA Richard a ŠIMEK Václav. NAND/NOR Gate Polymorphism in Low Temperature Environment. In: Proceedings of the 2012 IEEE 15th International Symposium on Design and Diagnostics of Electronic Circuits & Systems. Tallinn: Institute of Electrical and Electronics Engineers, 2012, s. 34-37. ISBN 978-1-4673-1185-4. Detail
- KADLČEK Filip. Návrh a optimalizace obrazových klasifikátorů. In: Počítačové architektury & diagnostika 2012. Milovy: Vydavatelství ČVUT, 2012, s. 91-96. ISBN 978-80-01-05106-1. Detail
- BARTOŠ Václav a ŽÁDNÍK Martin. Network Anomaly Detection: Comparison and Real-time Issues. In: Dependable Networks and Services. Lecture Notes in Computer Science, roč. 7279. Heidelberg: Springer Verlag, 2012, s. 118-121. ISBN 978-3-642-30632-7. Detail
- KŘENA Bohuslav, LETKO Zdeněk a VOJNAR Tomáš. Noise Injection Heuristics for Concurrency Testing. Lecture Notes in Computer Science, roč. 2012, č. 7119, s. 123-131. ISSN 0302-9743. Detail
- FIEDOR Jan a VOJNAR Tomáš. Noise-Based Testing and Analysis of Multi-threaded C/C++ Programs on the Binary Level. In: PADTAD '12. Proceedings of the 10th Workshop on Parallel and Distributed Systems. New York: Association for Computing Machinery, 2012, s. 36-46. ISBN 978-1-4503-1456-5. Detail
- HERMAN David, ORSÁG Filip a DRAHANSKÝ Martin. Object Tracking in Monochromatic Video Sequences Using Particle Filter. In: 7th Scientific International Conference - Enviromental Protection of Population. Brno: Vysoká škola Karla Engliše, a.s., 2012, s. 120-128. ISBN 978-80-86710-57-0. Detail
- VAŠÍČEK Zdeněk a SEKANINA Lukáš. 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, s. 2379-2386. ISBN 978-1-4673-1508-1. Detail
- STRNADEL Josef a SLIMAŘÍK František. On Distribution and Impact of Fault Effects at Real-Time Kernel and Application Levels. In: Proceedings of the 15th Euromicro Conference on Digital System Design: Architectures, Methods and Tools. Pistacaway: IEEE Computer Society, 2012, s. 272-279. ISBN 978-0-7695-4798-5. Detail
- DVOŘÁK Radim a ZBOŘIL František V. On the usage of ELLAM to solve advection-diffusion equation describing the pollutant transport in planetary boundary layer. Acta Electrotechnica et Informatica, roč. 2012, č. 1, s. 44-48. ISSN 1335-8243. Detail
- MATOUŠEK Jiří. Optimalizace vyhledání nejdelšího prefixu síťové adresy s využitím částečné dynamické rekonfigurace FPGA. In: Počítačové architektury a diagnostika. Milovy: Fakulta informačních technologií ČVUT, 2012, s. 67-72. ISBN 978-80-01-05106-1. Detail
- STRNADEL Josef. Plánování úloh v systémech RT - I: závislé úlohy. Automa, roč. 18, č. 10, 2012, s. 42-45. ISSN 1210-9592. Detail
- STRNADEL Josef. Plánování úloh v systémech RT - II: neperiodické úlohy. Automa, roč. 18, č. 11, 2012, s. 44-46. ISSN 1210-9592. Detail
- STRNADEL Josef. Plánování úloh v systémech RT - III: přetížení systému. Automa, roč. 18, č. 12, 2012, s. 44-47. ISSN 1210-9592. Detail
- RŮŽIČKA Richard a ŠIMEK Václav. Polymeric Polymorphic Electronics: Towards Multifunctional Logic Elements Based on Organic Semiconductor Materials. In: Proceedings of CSE 2012 International Scientific Conference on Computer Science and Engineerig. Košice: Fakulta elektrotechniky a informatiky, Technická univerzita v Košiciach, 2012, s. 154-161. ISBN 978-80-8143-049-7. Detail
- DUDKA Kamil, MÜLLER Petr, PERINGER Petr a VOJNAR Tomáš. Predator: A Verification Tool for Programs with Dynamic Linked Data Structures (Competition Contribution). Lecture Notes in Computer Science, roč. 2012, č. 7214, s. 544-547. ISSN 0302-9743. Detail
- PUŠ Viktor a KOŘENEK Jan. Reducing memory in high-speed packet classification. In: Proceedings of the 8th International Wireless Communications and Mobile Computing Conference. Limassol: Frederick University, 2012, s. 437-442. ISBN 978-1-4577-1377-4. Detail
- BARTOŠ Pavel a KOTÁSEK Zdeněk. Reduction of Test Vectors Number based on Parasitic Capacity Extraction of Scan Chain Wires. In: Proceedings of CSE 2012 International Scientific Conference on Computer Science and Engineering. Košice: Fakulta elektrotechniky a informatiky, Technická univerzita v Košiciach, 2012, s. 162-169. ISBN 978-80-8143-049-7. Detail
- STRNADEL Josef a RAJNOHA Peter. Reflecting RTOS Model During WCET Timing Analysis: MSP430/FreeRTOS Case Study. Acta Electrotechnica et Informatica, roč. 12, č. 4, 2012, s. 17-29. ISSN 1335-8243. Detail
- ZBOŘIL František, DRAHANSKÝ Martin, HANÁČEK Petr a HORÁČEK Jan. Security in Wireless Sensor Networks with Mobile Codes. Threats, Countermeasures, and Advances in Applied Information Security. Hershey: IGI Global, 2012, s. 411-425. ISBN 978-1-4666-0978-5. Detail
- KOČÍ Radek a JANOUŠEK Vladimír. Specification of UML Classes by Object Oriented Petri Nets. In: ICSEA 2012, The Seventh International Conference on Software Engineering Advances. Lisbon: Xpert Publishing Services, 2012, s. 361-366. ISBN 978-1-61208-230-1. Detail
- ŠVÉDA Miroslav, RYŠAVÝ Ondřej, DE Silva Gayan, MATOUŠEK Petr a RÁB Jaroslav. Static Analysis of Routing and Firewall Policy Configurations. In: e-Business and Telecommunications. LNCS CCIS, Vol.222, roč. 2012. Heidelberg: Springer Science+Business Media B.V.,, 2012, s. 39-53. ISBN 978-3-642-25205-1. ISSN 1865-0929. Detail
- DUDKA Vendula, KŘENA Bohuslav, LETKO Zdeněk a VOJNAR Tomáš. Testing of Concurrent Programs Using Genetic Algorithms. FIT-TR-2012-01, Brno, 2012. Detail
- DUDKA Vendula, KŘENA Bohuslav, LETKO Zdeněk, UR Shmuel a VOJNAR Tomáš. Testování vícevláknových aplikací pomocí genetických algoritmů. Lecture Notes in Computer Science, roč. 2012, č. 7515, s. 152-167. ISSN 0302-9743. Detail
- MRÁČEK Štěpán, VÁŇA Jan, YANUSHKEVICH Svetlana, DRAHANSKÝ Martin a DVOŘÁK Radim. Thermal face recognition: A fusion approach. In: Proceedings of the Emerging Security Technologies (EST 2012). Lisabon: IEEE Computer Society, 2012, s. 1-4. ISBN 978-0-7695-4791-6. Detail
- ZACHARIÁŠOVÁ Marcela a LENGÁL Ondřej. Towards Beneficial Hardware Acceleration in HAVEN: Evaluation of Testbed Architectures. FIT-TR-2012-03, Brno: Fakulta informačních technologií VUT v Brně, 2012. Detail
- ZACHARIÁŠOVÁ Marcela a LENGÁL Ondřej. Towards Beneficial Hardware Acceleration in HAVEN: Evaluation of Testbed Architectures. Lecture Notes in Computer Science, roč. 2013, č. 7857, 2012, s. 266-273. ISSN 0302-9743. Detail
- SEKANINA Lukáš, SALAJKA Vojtěch a VAŠÍČEK Zdeněk. 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, s. 432-439. ISBN 978-1-4673-1508-1. Detail
- TRCHALÍK Roman a ŠVÉDA Miroslav. Unified Sensor Gateway Interconnection of Sensor Networks. In: Proceedings 11th IFAC/IEEE International Conference on Programmable Devices and Embedded Sy. Programmable Devices and Embedded Systems, Volume # 11 | Part# 1, roč. 2012. Brno: Fakulta elektrotechniky a komunikačních technologií VUT v Brně, 2012, s. 372-377. ISBN 978-3-902823-21-2. ISSN 1474-6670. Detail
- PROCHÁZKA Boris, DRAHANSKÝ Martin a HANÁČEK Petr. Únos výpočetního toku v obsluze systémových volání na operačním systému Linux. In: IMEA 2012 Sborník příspěvků 12.ročníku doktorandské konference. Hradec Králové: Univerzita Hradec Králové, 2012, s. 6. ISBN 978-80-7435-185-3. Detail
- GRÉGR Matěj, PODERMAŃSKI Tomáš a ŠVÉDA Miroslav. User identification in IPV6 network. IP Networking 1 -- Theory and Practice. Žilina: Vydavatelství Žilinské univerzity, 2012, s. 5-8. ISBN 978-80-554-0494-3. Detail
- LENGÁL Ondřej, ŠIMÁČEK Jiří a VOJNAR Tomáš. VATA: A Library for Efficient Manipulation of Non-Deterministic Tree Automata. Lecture Notes in Computer Science, roč. 2012, č. 7214, s. 79-94. ISSN 0302-9743. Detail
- ZACHARIÁŠOVÁ Marcela, KAŠTIL Jan a KOTÁSEK Zdeněk. Verification of Fault-tolerant Methodologies for FPGA Systems. In: The First Workshop on Manufacturable and Dependable Multicore Architectures at Nanoscale (MEDIAN'12). Annecy: Politecnico di Milano, 2012, s. 55-58. Detail
- KOŠAŘ Vlastimil. Využití Redukce NKA pro Vyhledávání Vzorů v FPGA. In: 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
2011
- MRÁČEK Štěpán. 3D Face Recognition. Saarbrücken: Lambert Academic Publishing, 2011. ISBN 978-3-8465-4450-1. Detail
- ŠVÉDA Miroslav a VRBA Radimír. A Cyber-Physical System Design Approach. In: Proceedings of The Sixth International Conference on Systems - ICONS 2011. St. Maarten: Mezinárodní asociace univerzit, výzkumu a průmyslu, 2011, s. 12-18. ISBN 978-1-61208-002-4. Detail
- LEXA Matej, MARTÍNEK Tomáš, BURGETOVÁ Ivana, KOPEČEK Daniel a BRÁZDOVÁ Marie. A dynamic programming algorithm for identification of triplex-forming sequences. Bioinformatics, roč. 27, č. 18, 2011, s. 2510-2517. ISSN 1367-4803. Detail
- ČEŠKA Milan, FIEDOR Jan a GACH Marek. A Novel Approach to Modechart Verification of Real-Time Systems. In: Proceedings of the 13th International Conference on Computer Aided Systems Theory. Universidad de Las Palmas de Canaria: Universidad de Las Palmas de Gran Canaria, 2011, s. 338-339. ISBN 978-84-693-9560-8. Detail
- KORČEK Pavol, SEKANINA Lukáš a FUČÍK Otto. A Scalable Cellular Automata Based Microscopic Traffic Simulation. In: Proceedings of the IEEE Intelligent Vehicles Symposium 2011 (IV11). Baden-Baden: IEEE Intelligent Transportation Systems Society, 2011, s. 13-18. ISBN 978-1-4577-0889-3. Detail
- KORČEK Pavol, SEKANINA Lukáš a FUČÍK Otto. A Scalable Cellular Automata Based Microscopic Traffic Simulation. 7th Doctoral Workshop on Mathematical and Engineering Methods in Computer Science. Brno: Masarykova universita, 2011. ISBN 978-80-214-4305-1. Detail
- FIEDOR Jan, KŘENA Bohuslav, LETKO Zdeněk a VOJNAR Tomáš. A Uniform Classification of Common Concurrency Errors. In: Proceedings of the 13th International Conference on Computer Aided Systems Theory. Universidad de Las Palmas de Canaria: Universidad de Las Palmas de Gran Canaria, 2011, s. 326-327. ISBN 978-84-693-9560-8. Detail
- ABDULLA Parosh A., CHEN Yu-Fang, CLEMENTE Lorenzo, HOLÍK Lukáš, HONG Chih-Duo, MAYR Richard a VOJNAR Tomáš. Advanced Ramsey-based Büchi Automata Inclusion Testing. FIT-TR-2011-03, Brno: Fakulta informačních technologií VUT v Brně, 2011. Detail
- ABDULLA Parosh A., CHEN Yu-Fang, CLEMENTE Lorenzo, HOLÍK Lukáš, HONG Chih-Duo, MAYR Richard a VOJNAR Tomáš. Advanced Ramsey-based Büchi Automata Inclusion Testing. Lecture Notes in Computer Science, roč. 2011, č. 6901, s. 187-202. ISSN 0302-9743. Detail
- ŠÁTEK Václav, KUNOVSKÝ Jiří a KOPŘIVA Jan. Advanced Stiff Systems Detection. In: Proceedings of the Eleventh International Scientific Conference on Informatics. Rožňava: Fakulta elektrotechniky a informatiky, Technická univerzita v Košiciach, 2011, s. 208-212. ISBN 978-80-89284-94-8. Detail
- OČENÁŠEK Pavel. An Approach for Security Protocol Design Based on Zero-knowledge Primitives Composition. In: Human Interface and the Management of Information. Interacting with Information. Lecture Notes in Computer Science, roč. 6771. Berlin Heidelberg: Springer Verlag, 2011, s. 374-378. ISBN 978-3-642-21792-0. Detail
- DUDKA Kamil, PERINGER Petr a VOJNAR Tomáš. An Easy to Use Infrastructure for Building Static Analysis Tools. In: Proceedings of the 13th International Conference on Computer Aided Systems Theory. Universidad de Las Palmas de Canaria: Universidad de Las Palmas de Gran Canaria, 2011, s. 328-329. ISBN 978-84-693-9560-8. Detail
- OČENÁŠEK Pavel. Analysis of Authentication Protocols with Scyter: Case Study. In: Human Interface and the Management of Information. Interacting with Information. Lecture Notes in Computer Science, roč. 6771. Berlin Heidelberg: Springer Verlag, 2011, s. 359-365. ISBN 978-3-642-21792-0. Detail
- TŘÍSKA Vít. Aplikačně specifické předzpracování a komprese obrazu. In: 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
- DITTRICH Petr a CHUDÝ Peter. Application of Kalman Filter to oversampled data from Global Position System. ElectroScope, roč. 2011, č. 2, s. 6. ISSN 1802-4564. Detail
- OČENÁŠEK Pavel a TRCHALÍK Roman. Approaches to the Security and Payment Protocols Design: State of the Art. In: International Conference on INFORMATION TECHNOLOGY INTERFACES. Dubrovnik: Institute of Electrical and Electronics Engineers, 2011, s. 1-4. ISBN 978-953-7138-21-9. Detail
- MARTÍNEK Tomáš a LEXA Matej. Architecture Model for Approximate Tandem Repeat Detection. In: 22nd IEEE International Conference on Application-specific Systems, Architectures and Processors. Santa Monica, California: IEEE Computer Society, 2011, s. 239-242. ISBN 978-1-4577-1290-6. Detail
- KADLČEK Filip, JURÁNEK Roman a ZEMČÍK Pavel. Automatic synthesis of classifiers in FGPA. In: International Bata Conference for Ph.D. Students and Young Researchers. Zlín: Univerzita Tomáše Bati ve Zlíně, 2011, s. 1-12. ISBN 978-80-7454-013-4. Detail
- RŮŽIČKA Richard, ŠIMEK Václav a SEKANINA Lukáš. Behavior of CMOS Polymorphic Circuits in High Temperature Environment. In: Proceedings of the 2011 IEEE Symposium on Design and Diagnostics of Electronic Circuits and Systems. Cottbus: IEEE Computer Society, 2011, s. 447-452. ISBN 978-1-4244-9753-9. Detail
- KORČEK Pavol, SEKANINA Lukáš a FUČÍK Otto. Cellular automata based traffic simulation accelerated on GPU. In: Proceedings of the 17th International Conference on Soft Computing (MENDEL2011). Brno: Ústav automatizace a informatiky FSI VUT, 2011, s. 395-402. ISBN 978-80-214-4302-0. Detail
- STRNADEL Josef. Concept of Adaptive Embedded HW/SW Architecture for Dynamic Prevention from Interrupt Overloads. In: 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, s. 21-22. ISBN 978-3-902457-30-1. Detail
- VOGEL Ivan, ZEDEK František a OČENÁŠEK Pavel. 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, roč. 6771. Berlin Heidelberg: Springer Verlag, 2011, s. 165-169. ISBN 978-3-642-21792-0. ISSN 0302-9743. Detail
- KUNOVSKÝ Jiří, SEHNALOVÁ Pavla a VALENTA Václav. Convergence of partial differential equations. In: International Conference on Computer Modelling and Simulation. Brno, 2011, s. 1-8. Detail
- DUDKA Vendula, FIEDOR Jan, KŘENA Bohuslav a VOJNAR Tomáš. DA-BMC: A Tool Chain Combining Dynamic Analysis and Bounded Model Checking. FIT-TR-2011-06, Brno: Fakulta informačních technologií VUT v Brně, 2011. Detail
- MALAČKA Ondřej, SAMEK Jan, ZBOŘIL František a ZBOŘIL František V. Decision Making and Recommendation Protocol Based on Trust for Multi-Agent Systems. In: Proceedings of Trust, Reputation and User Modeling Workshop (TRUM 2011). Girona, 2011, s. 33-40. Detail
- BARTOŠ Pavel, KOTÁSEK Zdeněk a DOHNAL Jan. Decreasing Test Time by Scan Chain Reorganization. 7th Doctoral Workshop on Mathematical and Engineering Methods in Computer Science. Brno: Vysoké učení technické v Brně, 2011. ISBN 978-80-214-4305-1. Detail
- ŠVÉDA Miroslav. Design Experience with Routing SW and Related Applications. In: Proceedings of The Tenth International Conference on Networks - ICN 2011. St. Maarten: Mezinárodní asociace univerzit, výzkumu a průmyslu, 2011, s. 133-138. ISBN 978-1-61208-002-4. Detail
- HOLÍK Lukáš, LENGÁL Ondřej, ŠIMÁČEK Jiří a VOJNAR Tomáš. Efficient Inclusion Checking on Explicit and Semi-Symbolic Tree Automata. Lecture Notes in Computer Science, roč. 2011, č. 6996, s. 243-258. ISSN 0302-9743. Detail
- HOLÍK Lukáš, LENGÁL Ondřej, ŠIMÁČEK Jiří a VOJNAR Tomáš. Efficient Inclusion Checking on Explicit and Semi-Symbolic Tree Automata. FIT-TR-2011-04, Brno: Fakulta informačních technologií VUT v Brně, 2011. Detail
- ŽÁDNÍK Martin a CANINI Marco. Evaluation and Design of Cache Replacement Policies under Flooding Attacks. In: Proceedings of the 7th International Wireless Communications and Mobile Computing Conference. Istanbul: IEEE Computer Society, 2011, s. 1292-1297. ISBN 978-1-4244-9539-9. Detail
- MINAŘÍK Miloš a SEKANINA Lukáš. Evolution of Iterative Formulas Using Cartesian Genetic Programming. Lecture Notes in Computer Science, roč. 2011, č. 6881, s. 11-20. ISSN 0302-9743. Detail
- VAŠÍČEK Zdeněk, BIDLO Michal, SEKANINA Lukáš a GLETTE Kyrre. 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, s. 192-199. ISBN 978-1-4577-0599-1. Detail
- VAŠÍČEK Zdeněk a BIDLO Michal. Evolutionary Design of Robust Noise-Specific Image Filters. In: 2011 IEEE Congress on Evolutionary Computation. New Orleans: IEEE Computer Society, 2011, s. 269-276. ISBN 978-1-4244-7834-7. Detail
- SEKANINA Lukáš. Evolutionary hardware design (Invited Paper). In: VLSI Circuits and Systems V. Proc. of SPIE Vol. 8067. Bellingham: SPIE - the international society for optics and photonics, 2011, s. 1-11. ISBN 978-0-8194-8656-1. Detail
- VAŠÍČEK Zdeněk a SEKANINA Lukáš. Evolutionary Optimization of Complex Digital Circuits. In: 7th Doctoral Workshop on Mathematical and Engineering Methods in Computer Science. Brno: Masarykova universita, 2011, s. 1. ISBN 978-80-214-4305-1. Detail
- DRAHANSKÝ Martin. Fingerprint Recognition Technology - Related Topics. Saarbrücken: Lambert Academic Publishing, 2011. ISBN 978-3-8443-3007-6. Detail
- MATOUŠEK Jiří. Generátor paketů založený na FPGA. In: 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
- KORČEK Pavol, KOŠAŘ Vlastimil, ŽÁDNÍK Martin, KORANDA Karel a KAŠTOVSKÝ Petr. Hacking NetCOPE to run on NetFPGA-10G. In: Proceedings of the 2011 Seventh ACM/IEEE Symposium on Architectures for Networking and Communications Systems (ANCS 2011). Brooklyn, New York: IEEE Computer Society, 2011, s. 1-2. ISBN 978-0-7695-4521-9. Detail
- ZACHARIÁŠOVÁ Marcela. Hardware Accelerated Functional Verification. In: Proceedings of the 17th Conference STUDENT EEICT 2011. Brno: Fakulta informačních technologií VUT v Brně, 2011, s. 321-323. ISBN 978-80-214-4272-6. Detail
- ZACHARIÁŠOVÁ Marcela. Hardware Accelerated Functional Verification. Saarbrucken: Lambert Academic Publishing, 2011. ISBN 978-3-8465-5913-0. Detail
- BARTOŠ Václav a ŽÁDNÍK Martin. Hardware precomputation of entropy for anomaly detection. In: Proceedings of the 7th ACM/IEEE Symposium on Architectures for Networking and Communications Systems. New York: IEEE Computer Society, 2011, s. 219-220. ISBN 978-0-7695-4521-9. Detail
- ZACHARIÁŠOVÁ Marcela, LENGÁL Ondřej a KAJAN Michal. HAVEN: An Open Framework for FPGA-Accelerated Functional Verification of Hardware. FIT-TR-2011-05, Brno: Fakulta informačních technologií VUT v Brně, 2011. Detail
- RŮŽIČKA Richard a ŠIMEK Václav. Chip Temperature Selfregulation for Digital Circuits Using Polymorphic Electronics Principles. In: Proceedings of 14th Euromicro Conference on Digital System Design. Los Alamitos: IEEE Computer Society Press, 2011, s. 205-212. ISBN 978-0-7695-4494-6. Detail
- ŽALOUDEK Luděk a SEKANINA Lukáš. Increasing Fault-Tolerance in Cellular-Based Systems. Lecture Notes in Computer Science, roč. 2011, č. 6714, s. 234-245. ISSN 0302-9743. Detail
- DRAHANSKÝ Martin. Liveness Detection in Biometrics. Advanced Biometric Technologies. Rijeka: InTech - Open Access Publisher, 2011, s. 179-198. ISBN 978-953-307-487-0. Detail
- BARTOŠ Pavel. Metody reorganizace řetězce scan. In: Počítačové architektury a diagnostika 2011. Bratislava: Vydavateľstvo STU, 2011, s. 97-102. ISBN 978-80-227-3552-0. Detail
- MALČÍK Dominik a DRAHANSKÝ Martin. Microscopic Analysis of Chips. In: Security Technology. Communications in Computer and Information Science. Jeju, Jeju Island: Springer Verlag, 2011, s. 113-122. ISBN 978-3-642-27188-5. Detail
- KORČEK Pavol, SEKANINA Lukáš a FUČÍK Otto. Microscopic traffic simulation using CUDA. In: Advanced Computer Architecture and Compilation for High-Performace and Embedded Systems (ACACES 2011) Poster Abstracts. Fiuggi: Academia Press, 2011, s. 207-210. ISBN 978-90-382-1798-7. Detail
- ZBOŘIL František. Multiagentní systémy. In: Datakon 2011, Tutorials. Mikulov: Vysoké učení technické v Brně, 2011, s. 75-100. ISBN 978-80-214-4330-3. Detail
- PETRLÍK Jiří. Multikriteriální kartézské genetické programování. In: 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
- ČERMÁK Martin a MEDUNA Alexander. n-Accepting Restricted Pushdown Automata Systems. 7th Doctoral Workshop on Mathematical and Engineering Methods in Computer Science. Brno: Masarykova universita, 2011. ISBN 978-80-214-4305-1. Detail
- HANÁČEK Petr, NAGY Jan, SCHÄFER Jiří a ZADINA Martin. Návrh zabezpečeného monitorovacího systému v oblasti e-Health. In: 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
- HENZL Martin a HANÁČEK Petr. NFC z pohledu bezpečnosti. DSM Data Security Management, roč. 15, č. 3, 2011, s. 4. ISSN 1211-8737. Detail
- RŮŽIČKA Richard a ŠIMEK Václav. On Properties of Basic Building Blocks for Printable Polymer and Nanometal Logic. In: Proc. of IMAPS CS International Conference on Electronic Devices and Systems. Brno: Vysoké učení technické v Brně, 2011, s. 258-263. ISBN 978-80-214-4303-7. Detail
- RUMPLÍK Michal a STRNADEL Josef. On RTL Testability and Gate-Level Stuck-At-Fault Coverage Correlation for Scan Circuits. In: Proceedings of the 14th Euromicro Conference on Digital System Design - Architectures, Methods and Tools 2011. Oulu: IEEE Computer Society, 2011, s. 367-374. ISBN 978-0-7695-4494-6. Detail
- DVOŘÁK Radim a ZBOŘIL František V. On the usage of ELLAM to solve advection-diffusion equation describing the pollutant transport in planetary boundary layer. In: Proceedings of the Eleventh International Conference on Informatics. Košice: Fakulta elektrotechniky a informatiky, Technická univerzita v Košiciach, 2011, s. 227-230. ISBN 978-80-89284-94-8. Detail
- PUŠ Viktor. Packet Classification Algorithms. In: Počítačové architektury a diagnostika. Stará Lesná: Fakulta elektrotechniky a informatiky Slovenskej technickej univerzity v Bratislave, 2011, s. 157-162. ISBN 978-80-227-3552-0. Detail
- ŽALOUDEK Luděk. Permanent Errors May Contribute to Emergent Behavior in One-Dimensional Cellular Automata. In: Proceedings of the 2011 Third World Congress on Nature and Biologically Inspired Computing. Salamanca: Institute of Electrical and Electronics Engineers, 2011, s. 6. ISBN 978-1-4577-1123-7. Detail
- KADLČEK Filip. Platforma pro akceleraci obrazových klasifikátorů. In: 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
- GRÉGR Matěj, MATOUŠEK Petr, PODERMAŃSKI Tomáš a ŠVÉDA Miroslav. Practical IPv6 Monitoring - Challenges and Techniques. In: Proceedings of the 12th IFIP/IEEE International Symposium on Integrated Network Management (IM 2011). Dublin: IEEE Computer Society, 2011, s. 660-663. ISBN 978-1-4244-9220-6. Detail
- MATOUŠEK Jiří a KORČEK Pavol. 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, s. 319-324. ISBN 978-1-4244-9756-0. Detail
- STRNADEL Josef. Proposal of Flexible Monitoring-Driven HW/SW Interrupt Management for Embedded COTS-Based Event-Triggered Real-Time Systems. In: Proceedings of the Work-in-Progress Session of the 32nd IEEE Real-Time Systems Symposium. Vienna: Technische Universität Wien, 2011, s. 29-32. Detail
- ŠVÉDA Miroslav, RYŠAVÝ Ondřej, DE Silva Gayan, MATOUŠEK Petr a RÁB Jaroslav. Reachability Analysis in Dynamically Routed Networks. In: Proceedings of the IEEE ECBS 2011. Piscataway, NJ: IEEE Computer Society, 2011, s. 197-205. ISBN 978-0-7695-4379-6. Detail
- GAJDA Zbyšek a SEKANINA Lukáš. Recent Advances in Evolutionary Synthesis and Optimization of Ordinary and Polymorphic Circuits. Brno: Fakulta informačních technologií VUT v Brně, 2011. ISBN 978-80-214-4417-1. Detail
- ŽÁK Jakub, HORÁČEK Jan, ZBOŘIL František, KOČÍ Radek a GÁBOR Martin. Remote controlling and monitoring tool for wireless sensor network using WSageNt platform. In: Proceeding of the 2nd International Conference on Computer Modelling and Simulation. Brno: Ústav inteligentních systémů FIT VUT v Brně, 2011, s. 1-8. ISBN 978-80-214-4320-4. Detail
- OČENÁŠEK Pavel a HRANÁČ Jakub. Routing Functionality in the Logic Approach for Authentication Protocol Design. In: Human Interface and the Management of Information. Interacting with Information. Lecture Notes in Computer Science, roč. 6771. Berlin Heidelberg: Springer Verlag, 2011, s. 366-373. ISBN 978-3-642-21792-0. Detail
- JANOUŠEK Vladimír. Simulace a návrh vyvíjejících se systémů. Brno: Fakulta informačních technologií VUT v Brně, 2011. ISBN 978-80-214-4414-0. Detail
- KORČEK Pavol. Simulácie dopravy pre dlhodobú predpoveď stavu dopravy. In: Počítačové architektury a diagnostika 2011. Bratislava: Fakulta informatiky a informačních technologií Slovenská technická univerzita v Bratislavě, 2011, s. 115-120. ISBN 978-80-227-3552-0. Detail
- OČENÁŠEK Pavel. Specification of Traces in the Security Protocols Analysis. In: Proceedings of 33rd International Conference on INFORMATION TECHNOLOGY INTERFACES. Dubrovnik: Institute of Electrical and Electronics Engineers, 2011, s. 115-118. ISBN 978-953-7138-20-2. Detail
- ŠVÉDA Miroslav, RYŠAVÝ Ondřej a MATOUŠEK Petr. Supporting Safe and Secure Networked System Design. In: Computer Aided Systems Theory (EUROCAST´11), Extended Abstracts. Las Palmas de Gran Canaria: Universidad de Las Palmas de Gran Canaria, 2011, s. 22-23. ISBN 978-84-693-9560-8. Detail
- DRAHOŠOVÁ Michaela. Symbolická regrese s užitím kartézského genetického programování. In: 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
- KOČÍ Radek a JANOUŠEK Vladimír. Towards Design Method Based on Formalisms of Petri Nets, DEVS, and UML. In: ICSEA 2011, The Sixth International Conference on Software Engineering Advances. Barcelona: Xpert Publishing Services, 2011, s. 299-304. ISBN 978-1-61208-165-6. Detail
- ŽALOUDEK Luděk. Vliv defektů a zvyšování odolnosti proti poruchám v celulárních systémech. In: Počítačové architektury a diagnostika 2011. Bratislava: Vydavateľstvo STU, 2011, s. 145-150. ISBN 978-80-227-3552-0. Detail
- KAŠTIL Jan. Vysokorychlostní vyhledávání regulárních výrazů. In: Počítačové architektury a diagnostika. Bratislava: Vydavateľstvo STU, 2011, s. 163-168. ISBN 978-80-227-3552-0. Detail
- HANÁČEK Petr a JURNEČKA Peter. Využitie grafických kariet na útoky silou. DSM Data Security Management, roč. 15, č. 2, 2011, s. 10-13. ISSN 1211-8737. Detail
- KUBÁT David a DRAHANSKÝ Martin. Wireless Control of Intelligent Houses. International Journal of Control and Automation, roč. 4, č. 3, 2011, s. 123-126. ISSN 2005-4297. Detail
- KAČIC Matej a HANÁČEK Petr. WPA2: Útoky z vnútra siete. DSM Data Security Management, roč. 15, č. 4, 2011, s. 30-33. ISSN 1211-8737. Detail
- ZADINA Martin, NAGY Jan a HANÁČEK Petr. 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í. In: 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
Produkty
2013
- CPAlien: Konfigurovatelná analýza programů nad symbolickými paměťovými grafy, software, 2013
Autoři: Müller Petr, Vojnar Tomáš Detail - intMAN: Prioritně řízený a na monitorování a adaptaci na zatížení založený hardware pro správu přerušení ve vestavných událostmi řízených systémech reálného času, prototyp, 2013
Autoři: Strnadel Josef, Šimek Václav Detail
2012
- ANaConDA: Prostředí pro analýzu vícevláknových C/C++ programů na binární úrovni, software, 2012
Autoři: Fiedor Jan, Vojnar Tomáš Detail - GDEfALLL: Grafické vývojové prostředí jazyka ALLL, software, 2012
Autoři: Horáček Jan, Zbořil František, Žák Jakub Detail - HAVEN: Otevřený rámec pro akceleraci funkční verifikace hardwaru pomocí FPGA, software, 2012
Autoři: Zachariášová Marcela, Lengál Ondřej, Kajan Michal Detail - Prototypes 2012, software, 2012
Autoři: Janoušek Vladimír Detail