Projects

 

The IT4Innovations Centre of Excellence
Reseach leader:Vondrák Ivo
Team leaders:Černocký Jan, Češka Milan, Drahanský Martin, Fučík Otto, Hanáček Petr, Herout Adam, Hruška Tomáš, Kotásek Zdeněk, Meduna Alexander, Sekanina Lukáš, Smrž Pavel, Švéda Miroslav, Vojnar Tomáš, Zemčík Pavel, Zendulka Jaroslav
Team members:Kaštil Jan, Kubíček Radek
Agency:MŠMT
Code:ED1.1.00/02.0070
Start:2011
End:2015
Keywords:information technology, security, safety
Annotation:
Information technologies play a key role in industry in the Moravian-Silesian Region and in the development of the Czech Republic as a whole. The requirements of the application sphere and foreign investors are connected with the rapid growth of IT technologies, yet science and research have not responded adequately to this newly emerging situation.
Project description:
The IT4Innovations Centre of Excellence will solve this problem and respond to these needs, representing a tool for the integration and development of IT research. The infrastructure, created by IT4Innovations, will thus not only function as a high-quality partner for the application sphere, but will also motivate industry to develop new and innovative products and solutions based on the effective use of these modern technologies.

The overall aim is to create a mutually interlinked, closely cooperating workplace focusing on the following 4 key areas of activity:

  1. IT4People (Information for People) - focusing on improving quality of life in society via the development and provision of new services based on modern information technologies.
  2. SC4Simulations (Supercomputing for Simulations) - focusing on supercomputing and research into the development of new methods and algorithms of computational mathematics with subsequent application in multidisciplinary simulation tasks (stress and deformation analysis of complex systems, shape optimization, fluid flow problems, materials design, biomechanical simulations, etc.).
  3. EC4Innovations (Embedded Computing for Innovations) - focusing on the research and development of sophisticated embedded systems applied in mechatronics and innovative medicine.
  4. Theory4IT (Theory for Information Technology) - focusing on basic research into the development of new and non-traditional computing methods, based on disciplines such as soft computing, formal methods, knowledge-oriented and biologically motivated algorithms.

Products

2013intMAN: Priority-Driven Load-Adaptive Monitoring-Based Hardware for Managing Interrupts in Embedded Event-Triggered Real-Time Systems, prototype, 2013
Authors: Strnadel Josef, Šimek Václav
 OMToolkit - The polygonal mesh processing toolkit, software, 2013
Authors: Hulík Rostislav, Španěl Michal, Smrž Pavel
 Random Forest Toolbox, software, 2013
Authors: Juránek Roman, Zemčík Pavel
2012A Framework for Analysing Multi-threaded C/C++ Programs on the Binary Level, software, 2012
Authors: Fiedor Jan, Vojnar Tomáš
 AclCheck - a tool for static analysis of ACL inter-rule conflicts, software, 2012
Authors: Hozza Tomáš, Ryšavý Ondřej
 Annotation editor, software, 2012
Authors: Cudrák Miloš, Dytrych Jaroslav, Kleban Martin, Loukota Petr, Pěnkava Pavel, Smrž Pavel
 Classification Framework for Texts on Visual Arts, software, 2012
Authors: Kouřil Jan
 Cloud Information Extractor from Scientific Papers, software, 2012
Authors: Šperka Svatopluk, Škoda Petr, Smrž Pavel
 Content collector and document analysis for the M-Eco project, software, 2012
Authors: Jeřábek Jan, Marek Tomáš, Otrusina Lubomír, Rylko Vojtěch, Smrž Pavel, Sznapka Jakub, Šafář Martin, Uherčík Maroš
 Decipher focused crawler, software, 2012
Authors: Mrnuštík Michal
 Decipher NER a Decipher IE, software, 2012
Authors: Otrusina Lubomír, Smrž Pavel, Sznapka Jakub, Šafář Martin
 Embedded development platform for gigabit network applications based on FPGA, prototype, 2012
Authors: Korček Pavol, Kořenek Jan, Šimek Václav
 GDEfALLL: Graphical development environment for ALLL language, software, 2012
Authors: Horáček Jan, Zbořil František, Žák Jakub
 HAVEN: An Open Framework for FPGA-Accelerated Functional Verification of Hardware, software, 2012
Authors: Šimková Marcela, Lengál Ondřej, Kajan Michal
 Lexolights, software, 2012
Authors: Pečiva Jan, Starka Tomáš
 Prototypes-2012, software, 2012
Authors: Janoušek Vladimír
 R3-COP Knowledge Base, software, 2012
Authors: Chmelař Petr, Dalgaard Lars, Smrž Pavel, Zemčík Pavel
 SPARQL Queries Motifs Miner, software, 2012
Authors: Šperka Svatopluk
 SwingBox Rendering Component, software, 2012
Authors: Burget Radek, Bielik Peter
 Text Summarization Tool, software, 2012
Authors: Pokorný Lubomír, Bartík Vladimír
 VATA: A Library for Efficient Manipulation of Non-Deterministic Tree Automata, software, 2012
Authors: Lengál Ondřej, Šimáček Jiří, Vojnar Tomáš
2011A Tool Chain Combining Dynamic Analysis and Bounded Model Checking, software, 2011
Authors: Fiedor Jan, Hrubá Vendula, Křena Bohuslav, Vojnar Tomáš
 Microprocessor ADOP, specimen, 2011
Authors: Hruška Tomáš, Masařík Karel, Přikryl Zdeněk, Husár Adam, Fujcik Lukáš, Pristach Marián

Publications

2013Barabas, M., Homoliak, I., Drozd, M., Hanáček, P.: Automated Malware Detection Based on Novel Network Behavioral Signatures, In: International Journal of Engineering and Technology, Vol. 5, No. 2, 2013, Singapore, SG, p. 249-253, ISSN 1793-8236
 Bartoš, V.: Towards Real-Time Intrusion Detection for NetFlow/IPFIX, In: Proceedingf of the 9th International Conference on Network and Service Management, Zürich, CH, 2013, p. 1-6
 Dobai, R., Sekanina, L.: Towards Evolvable Systems Based on the Xilinx Zynq Platform, In: 2013 IEEE International Conference on Evolvable Systems (ICES), Singapur, SG, IEEE CIS, 2013, p. 89-95, ISBN 978-1-4673-5869-9
 Drahanský, M.: Biometrics - Liveness Detection on Fingers, Finger Veins Recognition, 3D Hand Recognition and Thermo-Faces, Brno, CZ, 2013, p. 50
 Dubská, M., Herout, A., Havel, J.: Real-Time Precise Detection of Regular Grids and Matrix Codes, In: Journal of Real-Time Image Processing , Vol. 2013, No. 1, DE, p. 15, ISSN 1861-8200
 Dudka, K., Müller, P., Peringer, P., Vojnar, T.: Predator: A Tool for Verification of Low-Level List Manipulation (Competition Contribution), In: Tools and Algorithms for the Construction and Analysis of Systems, Berlin, DE, Springer, 2013, p. 627-629, ISBN 978-3-642-36742-7, ISSN 0302-9743
 Dudka, K., Peringer, P., Vojnar, T.: Byte-Precise Verification of Low-Level List Manipulation, In: 20th Static Analysis Symposium, Berlin, DE, Springer, 2013, p. 215-237, ISBN 978-3-642-33124-4, ISSN 0302-9743
 Dudka, K., Peringer, P., Vojnar, T.: Byte-Precise Verification of Low-Level List Manipulation, FIT-TR-2012-04, Brno, CZ, FIT VUT, 2013, p. 48
 Hájek, J., Drahanský, M., Drozd, R.: Extraction of Retina Features Based on Position of the Blood Vessel Bifurcation, In: Journal of Medical Research and Development, Vol. 2, No. 3, 2013, Hong Kong, CN, p. 1-4, ISSN 2303-9345
 Herman, D., Orság, F.: Exploring k-PSO Algorithm for Clustering, In: Proceedings of the IASTED International Conference Artificial Intelligence and Applications (AIA 2013), Innsbruck, AT, ACTA Press, 2013, p. 161-168, ISBN 978-0-88986-943-1
 Herout, A., Szentandrási, I., Zachariáš, M., Dubská, M., Kajan, R.: Five Shades of Grey for Fast and Reliable Camera Pose Estimation, In: Proceedings of, Portland, Oregon, US, 2013, p. 1-8
 Holík, L., Lengál, O., Rogalewicz, A., Šimáček, J., Vojnar, T.: Fully Automated Shape Analysis Based on Forest Automata, In: Proceedings of CAV'13, Heidelberg, DE, Springer, 2013, p. 1-16
 Hulík, R., Španěl, M., Smrž, P.: Continuous Plane Detection in Point-cloud Data Based on 3D Hough Transform, In: Journal of Visual Communication and Image Representation, Vol. 2013, No. 24, Amsterdam, NL, p. 1-10, ISSN 1047-3203
 Charvát, L., Smrčka, A., Vojnar, T.: An Abstraction of Multi-Port Memories with Arbitrary Addressable Units, In: Proceedings of the 14th Computer Aided Systems Theory??, Las Palmas de Grand Canaria, ES, 2013, p. 1-9
 Ila, V., S., Polok, L., Smrž, P., Šolony, M., Zemčík, P.: Incremental Block Cholesky Factorization for Nonlinear Least Squares in Robotics, In: In proceedings of The Robotics: Science and Systems 2013 Conference, Berlín, DE, MIT, 2013, p. 1-8, ISBN 978-0-00-000000-2
 Ila, V., S., Polok, L., Smrž, P., Šolony, M., Zemčík, P.: Incremental Cholesky Factorization for Least Squares Problems in Robotics, In: Proceedings of The 2013 IFAC Intelligent Autonomous Vehicles Symposium, Gold Coast, AU, IEEE CS, 2013, p. 1-8, ISBN 978-1-00-000000-9
 Janda, M.: Automatic Generation Of Pronunciation Dictionaries Based On Diarization, In: Proceedings of the 19th Conference Student EEICT 2013, Brno, CZ, VUT v Brně, 2013, p. 228-232, ISBN 978-80-214-4695-3
 Kadlček, F., Fučík, O.: Automatic synthesis of small AdaBoost Classifier in FPGA, In: IEEE Design and Diagnostics of Electronic Circuits and Systems DDECS'2013, Brno, CZ, IEEE CS, 2013, p. 1-6
 Kajan, R., Szentandrási, I., Herout, A., Zachariáš, M.: On-Screen Marker Fields for Reliable Screen-To-Screen Task Migration, In: Proceedings of the 2013 International Conference on Human Factors in Computing & Informatics, Maribor, SI, 2013, p. 1-19
 Křena, B., Vojnar, T.: Automated formal analysis and verification: an overview, In: International Journal of General Systems, Vol. 2013, No. 42, Abingdon, GB, p. 335-365, ISSN 0308-1079
 Křoustek, J., Kolář, D.: Approaching Retargetable Static, Dynamic, and Hybrid Executable-Code Analysis, In: Acta Informatica Pragensia, Vol. 2013, No. 2, Praha, CZ, p. 1-12, ISSN 1805-4951
 Křoustek, J., Kolář, D.: Preprocessing of Binary Executable Files Towards Retargetable Decompilation, In: 8th International Multi-Conference on Computing in the Global Information Technology (ICCGI'13), Nice, FR, IARIA, 2013, p. 1-6, ISBN 978-1-61208-283-7
 Matoušek, J., Skačan, M., Kořenek, J.: Memory Efficient IP Lookup in 100 Gbps Networks, In: 23rd International Conference on Field Programmable Logic and Applications (FPL 2013), Porto, PT, 2013, p. 1-7
 Matoušek, J., Skačan, M., Kořenek, J.: Towards Hardware Architecture for Memory Efficient IPv4/IPv6 Lookup in 100 Gbps Networks, In: 2013 IEEE 16th International Symposium on Design and Diagnostics of Electronic Circuits & Systems (DDECS), Brno, CZ, IEEE CS, 2013, p. 108-111, ISBN 978-1-4673-6133-0
 Meduna, A., Zemek, P.: Generalized One-Sided Forbidding Grammars, In: International Journal of Computer Mathematics, Vol. 90, No. 2, 2013, GB, p. 172-182, ISSN 0020-7160
 Meduna, A., Zemek, P.: Left Random Context ET0L Grammars, In: Fundamenta Informaticae, Vol. 123, No. 3, 2013, Amsterdam, NL, p. 289-304, ISSN 0169-2968
 Meduna, A., Zemek, P.: On the Generation of Sentences with Their Parses by Propagating Regular-Controlled Grammars, In: Theoretical Computer Science, Vol. 477, No. 1, 2013, Paris, FR, p. 67-75, ISSN 0304-3975
 Novosad, P., Češka, M.: Algorithm for Computing Unfoldings of Unbounded Hybrid Petri Nets, In: Proc. of Computer Aided System Theory 2013, Universidad de Las Palmas de Gran Canaria, ES, IUCTC, 2013, p. 244-245, ISBN 84-695-6971-6
 Očenášek, P., Švéda, M.: Communication in Business Information Systems - New Perspectives, In: International Academic Research Journal of Business and Management, Vol. 1, No. 7, 2013, AE, p. 87-92, ISSN 2227-1287
 Očenášek, P., Švéda, M.: Effective Design and Implementation of Distributed Business Information Systems, In: Applied Mechanics and Materials, Vol. 2013, No. 307, Zurich, CH, p. 451-454, ISSN 1660-9336
 Očenášek, P., Švéda, M.: On the Effective Internet Communication Filtering, In: Applied Mechanics and Materials, Vol. 2013, No. 307, Zurich, CH, p. 478-481, ISSN 1660-9336
 Petrlík, J., Sekanina, L.: Multiobjective evolution of approximate multiple constant multipliers, In: IEEE International Symposium on Design and Diagnostics of Electronic Circuits and Systems 2013, Brno, CZ, IEEE CS, 2013, p. 116-119, ISBN 978-1-4673-6133-0
 Polok, L., Ila, V., S., Smrž, P.: Cache Efficient Implementation for Block Matrix Operations, In: Proceedings of the 21st High Performance Computing Symposia (HPC'13), San Diego, US, ACM, 2013, p. 698-706, ISBN 1-56555-350-0
 Polok, L., Ila, V., S., Šolony, M., Zemčík, P., Smrž, P.: Efficient Implementation for Block Matrix Operations Nonlinear Least Squares Problems for Robotic Applications, In: Proceedings of 2013 IEEE International Conference on Robotics and Automation, Karlsruhe, DE, IEEE CS, 2013, p. 123-131, ISBN 0-7645-2641-3
 Pospíšil, M., Mates, V., Hruška, T.: Analysing Resource Performance and its Application in Company, In: The Fifth International Conference on Information, Process, and Knowledge Management, Nice, FR, IARIA, 2013, p. 149-154, ISBN 978-1-61208-254-7
 Pospíšil, M., Mates, V., Hruška, T.: Process Mining in Manufacturing Company, In: The Fifth International Conference on Information, Process, and Knowledge Managemen, Nice, FR, IARIA, 2013, p. 143-148, ISBN 978-1-61208-254-7
 Sekanina, L., Vašíček, Z.: Approximate Circuit Design by Means of Evolvable Hardware, In: 2013 IEEE International Conference on Evolvable Systems (ICES), Singapur, SG, IEEE CS, 2013, p. 21-28, ISBN 978-1-4673-5847-7
 Sekanina, L.: Ubiquity symposium: Evolutionary computation and the processes of life: evolutionary computation in physical world, In: Ubiquity, Vol. 2013, No. 2, US, p. 1-7, ISSN 1530-2180
 Strnadel, J.: 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, Berlin, DE, Springer, 2013, p. 98-109, ISBN 978-3-642-36423-5
 Strnadel, J.: 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 Electrical Circuits and Systems, Brno, CZ, IEEE CS, 2013, p. 24-29, ISBN 978-1-4673-6136-1
 Strnadel, J.: Plánování úloh v systémech RT - IV: víceprocesorové prostředí, In: Automa, Vol. 19, No. 1, 2013, CZ, p. 44-46, ISSN 1210-9592
 Strnadel, J.: Plánování úloh v systémech RT - V: zvyšování provozuschopnosti systémů, In: Automa, Vol. 19, No. 2, 2013, CZ, p. 46-49, ISSN 1210-9592
 Szurman, K., Kaštil, J., Straka, M., Kotásek, Z.: 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, CZ, IEEE CS, 2013, p. 289-292, ISBN 978-1-4673-1185-4
 Šátek, V., Vopěnka, V., Kunovský, J.: Application of the Modern Taylor Series Method to a multi-torsion chain, In: Simulation Modelling Practice and Theory, Vol. 2013, No. 33, CZ, p. 89-101, ISSN 1569-190X
 Šimek, V., Růžička, R.: More Complex Polymorphic Circuits and Their Physical Implementation, In: Proceedings of the 20th Electronic Devices and Systems IMAPS CS International Conference, Brno, CZ, 2013, p. 1-6
 Šimková, M., Bolchini, C., Kotásek, Z.: 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, CZ, IEEE CS, 2013, p. 275-278, ISBN 978-1-4673-6133-0
 Šimková, M., Přikryl, Z., Hruška, T., Kotásek, Z.: Automated Functional Verification of Application Specific Instruction-set Processors, In: The IESS 2013 Proceedings, Heidelberg, DE, Springer, 2013, p. 1-10
 Švéda, M.: Time in Cyber-Physical Systems: Specifications, Modeling and Measurements, In: Proceedings of the SCSI 2013, Rodos, GR, EUROPMENT, 2013, p. 10-17
 Vrábel, L.: On Stateless Pushdown Automata And Limited Pushdown Alphabets, VUT v Brně, 2013, p. 5
 Zelený, J., Burget, R.: Cluster-based Page Segmentation - a fast and precise method for web page pre-processing, In: The Third International Conference on Web Intelligence, Mining and Semantics, Madrid, ES, 2013, p. 11
 Zelený, J., Burget, R.: Isomorphic mapping of DOM trees for re-using results of web page segmentation, In: The Twelfth Workshop on Web Semantics and Web Intelligence, Praha, CZ, 2013, p. 1-5
 Zemek, P.: One-Sided Random Context Grammars: Established Results and Open Problems, In: Proceedings of the 19th Conference STUDENT EEICT 2013 Volume 3, Brno, CZ, VUT v Brně, 2013, p. 222-226, ISBN 978-80-214-4695-3
 Žádník, M.: Optimization of network flow monitoring, In: Information Sciences and Technologies Bulletin of the ACM Slovakia, Vol. 5, No. 1, 2013, Bratislava, SK, p. 6, ISSN 1338-1237
2012Bartoš, P., Kotásek, Z.: 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, SK, FEI TU v Košiciach, 2012, p. 162-169, ISBN 978-80-8143-049-7
 Bartoš, V.: Detekce anomálií v datech o síťovém provozu, In: Trilobit, Vol. 2012, No. 2, CZ, p. 1-6, ISSN 1804-1795
 Bartoš, V.: Detekce anomálií v síťovém provozu, In: Počítačové architektury a diagnostika 2012, Milovy, CZ, FIT ČVUT, 2012, p. 29-34, ISBN 978-80-01-05106-1
 Bednařík, R., Herout, A.: What Students Want: A Study on the Role of Supervisor of Final Works in Computing Education, In: Proceedings of the 12th Koli Calling International Conference on Computing Education Research, New York, US, ACM, 2012, p. 118-125, ISBN 978-1-4503-1795-5
 Bendl, J., Zendulka, J.: Integration System for Functional Annotation of Single Nucleotide Polymorphism, In: ElectroScope, Vol. 2012, No. 5, Plzeň, CZ, p. 5, ISSN 1802-4564
 Bendl, J.: Integration System for Functional Annotation of Single Nucleotide Polymorphism, In: Proceedings of the 18th Conference STUDENT EEICT 2012 Volume 3, Brno, CZ, FIT VUT, 2012, p. 340-344, ISBN 978-80-214-4462-1
 Bidlo, M., Vašíček, Z.: Evolution of Cellular Automata Using Instruction-Based Approach, In: 2012 IEEE World Congress on Computational Intelligence, CA, US, IEEE, 2012, p. 1060-1067, ISBN 978-1-4673-1508-1
 Brummer, N., Cumani, S., Glembek, O., Karafiát, M., Matějka, P., Pešán, J., Plchot, O., Soufifar, M., de, V., E., Černocký, J.: Description and analysis of the Brno276 system for LRE2011, In: Proceedings of Odyssey 2012: The Speaker and Language Recognition Workshop, Singapur, SG, ISCA, 2012, p. 216-223, ISBN 978-981-07-3093-2
 Čermák, M.: Restrictions on Derivations in n-Generating Grammar Systems, In: Proceedings of the 18th Conference and Competition STUDENT EEICT 2012 Volume 5, Brno, CZ, FIT VUT, 2012, p. 371-375, ISBN 978-80-214-4462-1
 Dittrich, P.: Identification of Flight Parameters of Light Sport Aircraft, In: Proceedings of the 18th Conference STUDENT EEICT 2012, Brno, CZ, VUT v Brně, 2012, p. 464-468, ISBN 978-80-214-4462-1
 Dluhoš, O., Dvořák, R., Váňa, J., Drahanský, M.: Hand Surface as Biometric Identifier, In: Advanced Science and Technology Letters, Vol. 8, No. 7, 2012, Sandy Bay, AU, p. 351-356, ISSN 2287-1233
 Doležel, M., Drahanský, M., Urbánek, J., Březinová, E., Kim, T., h.: Influence of Skin Diseases on Fingerprint Quality and Recognition, New Trends and Developments in Biometrics, Rijeka, HR, InTech, 2012, p. 275-303, ISBN 9789535108597
 Dolíhal, L., Hruška, T., Masařík, K.: Testing of an automatically generated compiler, Review of retargetable testing system, In: International Journal on Advances in Software, Vol. 2012, No. 1, US, p. 15-26, ISSN 1942-2628
 Dolíhal, L., Hruška, T., Masařík, K.: Usage of simulators in testing system, In: Industrial Simulation Conference, Brno, CZ, EUROSIS, 2012, p. 74-78, ISBN 978-90-77381-71-7
 Drahanský, M., Doležel, M., Urbánek, J., Březinová, E., Kim, T., h.: Influence of Skin Diseases on Fingerprint Recognition, In: Journal of Biomedicine and Biotechnology, Vol. 2012, No. 4, New York, US, p. 1-14, ISSN 1110-7243
 Drahanský, M.: Latest Developments in Fingerprint Recognition Technologies, Firenze, IT, 2012, p. 1-42
 Drozd, R., Hájek, J., Drahanský, M.: An algorithm for retina features extraction based on position of the blood vessel bifurcations, In: Biometric Recognition, Guangzhou, CN, Springer, 2012, p. 308-315, ISBN 978-3-642-35135-8, ISSN 0302-9743
 Dubská, M., Havel, J., Herout, A., Jošth, R.: Real-Time Detection of Lines using Parallel Coordinates and CUDA, In: Journal of Real-Time Image Processing , Vol. 2012, No. 12, DE, p. 1-12, ISSN 1861-8200
 Dudka, K., Müller, P., Peringer, P., Vojnar, T.: Predator: A Verification Tool for Programs with Dynamic Linked Data Structures, In: Lecture Notes in Computer Science, Vol. 2012, No. 7214, DE, p. 544-547, ISSN 0302-9743
 Ďurfina, L., Křoustek, J., Zemek, P., Kábele, B., Kolář, D.: On Complex Reconstruction of Functions from Binary Executable Files, In: 8th Doctoral Workshop on Mathematical and Engineering Methods in Computer Science, Brno, CZ, MUNI, 2012, p. 100-101, ISBN 978-80-87342-15-2
 Ďurfina, L., Křoustek, J., Zemek, P., Kábele, B.: Accurate Recovery of Functions in a Retargetable Decompiler, In: The 15th International Symposium on Research in Attacks, Intrusions and Defenses (RAID 2012), Amsterdam, NL, Springer, 2012, p. 390-392, ISBN 978-3-642-33337-8
 Ďurfina, L., Křoustek, J., Zemek, P., Kábele, B.: Detection and Recovery of Functions and their Arguments in a Retargetable Decompiler, In: 19th Working Conference on Reverse Engineering (WCRE 2012), Kingston, Ontario, CA, IEEE CS, 2012, p. 51-60, ISBN 978-0-7695-4891-3
 Ďurfina, L., Křoustek, J., Zemek, P.: Generic Source Code Migration Using Decompilation, In: 10th Annual Industrial Simulation Conference (ISC'2012), Brno, CZ, EUROSIS, 2012, p. 38-42, ISBN 978-90-77381-71-7
 D'Haro, L., F., Glembek, O., Plchot, O., Matějka, P., Soufifar, M., Cordoba, R., Černocký, J.: Phonotactic Language Recognition using i-vectors and Phoneme Posteriogram Counts, In: Proceedings of Interspeech 2012, Portland, Oregon, US, ISCA, 2012, p. 1-4, ISBN 978-1-62276-759-5, ISSN 1990-9772
 Fiedor, J., Vojnar, T.: ANaConDA: A Framework for Analysing Multi-threaded C/C++ Programs on the Binary Level, In: Lecture Notes in Computer Science, Vol. 2012, No. 7687, DE, p. 35-41, ISSN 0302-9743
 Fiedor, J., Vojnar, T.: Noise-Based Testing and Analysis of Multi-threaded C/C++ Programs on the Binary Level, In: PADTAD '12, New York, US, ACM, 2012, p. 36-46, ISBN 978-1-4503-1456-5
 Grégr, M., Podermański, T., Švéda, M.: Deploying IPv6 - practical problems from the campus perspective, Reykjavik, IS, 2012, p. 8
 Grégr, M., Podermański, T., Švéda, M.: User identification in IPV6 network, IP Networking 1 -- Theory and Practice, Žilina, SK, EDIS ŽU, 2012, p. 5-8, ISBN 978-80-554-0494-3
 Habermehl, P., Holík, L., Rogalewicz, A., Šimáček, J., Vojnar, T.: Forest Automata for Verification of Heap Manipulation, In: Formal Methods in System Design, Vol. 2012, No. 41, Berlin, DE, p. 83-106, ISSN 0925-9856
 Halfar, P., Ráb, J., Ryšavý, O., Švéda, M.: A Formal Authorization Framework for Networked SCADA Systems, In: Proceedings IEEE ECBS 2012, Novy Sad, RS, IEEE CS, 2012, p. 298-302, ISBN 978-0-7695-4664-3
 Halfar, P., Švéda, M.: Networking in Cyber Physical Systems - A Concept Study, In: Proceedings of the International Workshop of Cyber Physical Systems, Bucharest, RO, Romanian Academy, 2012, p. 50-53
 Henzl, M., Hanáček, P., Jurnečka, P., Kačic, M.: A Concept of Automated Vulnerability Search in Contactless Communication Applications, In: Proceedings 46th Annual IEEE International Carnahan Conference on Security Technology, Boston, US, IEEE, 2012, p. 180-186, ISBN 978-1-4673-4807-2
 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, CZ, 2012, p. 120-128, ISBN 978-80-86710-57-0
 Herout, A., Dubská, M., Havel, J.: Real-Time Detection of Lines and Grids: By PClines and Other Approaches, London, GB, Springer, 2012, p. 88, ISBN 978-1-4471-4413-7
 Herout, A., Zachariáš, M., Dubská, M., Havel, J.: Fractal Marker Fields: No More Scale Limitations for Fiduciary Markers, In: Proceedings of the 2012 11th IEEE International Symposium on Mixed and Augmented Reality, Atlatnta, Georgia, US, IEEE, 2012, p. 1-2, ISBN 978-1-4673-4660-3
 Horáček, J., Zbořil, F., Hanáček, P.: Agent Aided Routing in Wireless Sensor Networks, In: Proceedings of CSE 2012 International Scientific Conference on Computer Science and Engineering, Košice, SK, TU v Košiciach, 2012, p. 119-126, ISBN 978-80-8143-049-7
 Horáček, J., Zbořil, F.: 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), IN, IEEE, 2012, p. 172-177, ISBN 978-1-4673-5118-8
 Horáček, P., Meduna, A.: Synchronous Versions of Regulated Grammars: Generative Power and Linguistic Applications, In: Theoretical and Applied Informatics, Vol. 24, No. 3, 2012, Varšava, PL, p. 175-190, ISSN 1896-5334
 Horáček, P.: On Generative Power of Synchronous Grammars with Linked Rules, In: Proceedings of the 18th Conference STUDENT EEICT 2012 Volume 3, Brno, CZ, VUT v Brně, 2012, p. 376-380, ISBN 978-80-214-4462-1
 Hrubá, V., Křena, B., Letko, Z., Vojnar, T.: Testing of Concurrent Programs Using Genetic Algorithms, FIT-TR-2012-01, Brno, CZ, 2012, p. 31
 Hulík, R., Beran, V., Španěl, M., Kršek, P., Smrž, P.: Fast and Accurate Plane Segmentation in Depth Maps for Indoor Scenes, In: IEEE/RSJ International Conference on Intelligent Robots and Systems, Vilamoura, Algarve, PT, UPGM FIT VUT, 2012, p. 1-6, ISBN 978-1-4673-1737-5
 Hulík, R.: 3D Polygonal Model Curvature Approximation Based on Local Projections Method, In: Sborník prací konference a soutěže Student EEICT 2012, Brno, CZ, UPGM FIT VUT, 2012, p. 436-440, ISBN 978-80-214-4462-1
 Charvát, L., Smrčka, A., Vojnar, T.: 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, US, 2012, p. 42-47
 Chmelař, P., Mlích, J., Pešek, M., Volf, T., Zemčík, P., Zendulka, J.: Brno University of Technology at TRECVid 2012: Interactive Surveillance Event Detection Pilot, In: 2012 TREC Video Retrieval Evaluation Notebook Papers and Slides, Gaithersburg, US, NIST, 2012, p. 1-9
 Iosif, R., Hojjat, H., Konečný, F., Kuncak, V., Rummer, P.: Accelerating Interpolants, In: Lecture Notes in Computer Science, Vol. 2012, No. 7561, DE, p. 187-202, ISSN 0302-9743
 Janda, M., Karafiát, M., Černocký, J.: Dealing with Numbers in Grapheme-Based Speech Recognition, In: Proceedings of 15th International Conference on Text, Speech and Dialogue, Springer-Verlag Berlin Heidelberg 2012, DE, Springer, 2012, p. 438-445, ISBN 978-3-642-32789-6, ISSN 0302-9743
 Janda, M.: Grapheme Based Speech Recognition, In: Proceedings of the 18th Conference STUDENT EEICT 2012, Brno, CZ, VUT v Brně, 2012, p. 441-445, ISBN 978-80-214-4460-7
 Jirák, O.: Memory Consumption of Classical and Lazy Scattered Context Grammar Parser, In: Proceedings of the 18th Conference STUDENT EEICT 2012 Volume 3, Brno, CZ, VUT v Brně, 2012, p. 381-385, ISBN 978-80-214-4462-1
 Juránek, R., Hradiš, M., Zemčík, P.: Real-time Algorithms of Object Detection with Classifiers, Real-Time System, Rijeka, HR, InTech, 2012, p. 1-22, ISBN 9789535105107
 Juránek, R.: Acceleration of Object Detection Using Classifiers, Brno, CZ, FIT VUT, 2012, p. 1-77
 Kadlček, F., Fučík, O.: Evolutionary Design of Local Binary Pattern Feature Shapes for Object Detection, In: 2012 NASA/ESA Adaptive Hardware and Systems (AHS-2012) Conference, Nuremberg, DE, IEEE CS, 2012, p. 1-8, ISBN 978-1-4673-1914-0
 Kadlček, F.: Návrh a optimalizace obrazových klasifikátorů, In: Počítačové architektury & diagnostika 2012, Milovy, CZ, VCVUT, 2012, p. 91-96, ISBN 978-80-01-05106-1
 Karas, P., Svoboda, D., Zemčík, P.: GPU Optimization of Convolution for Large 3-D Real Images, In: Proceedings of ACVIS 2012, Heidelberg, DE, Springer, 2012, p. 59-71, ISBN 978-3-642-33139-8
 Kaštil, J., Straka, M., Kotásek, Z.: Methodology for Increasing Reliability of FPGA Design via Partial Reconfiguration, In: The First Workshop on Manufacturable and Dependable Multicore Architectures at Nanoscale (MEDIAN'12), Annecy, FR, Polimi, 2012, p. 1-4
 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, In: 15th Euromicro Conference on Digital System Design: Architectures, Methods and Tools, Cesme-Izmir, TR, IEEE CS, 2012, p. 250-257, ISBN 978-0-7695-4798-5
 Kazzaz, M., M.: SEMANTIC SERVICES MIGRATION, In: Proceedings of the 18th Conference STUDENT EEICT 2012 Volume 3, Brno, CZ, VUT v Brně, 2012, p. 386-390, ISBN 978-80-214-4462-1
 Kekely, L., Puš, V., Kořenek, J.: Low-Latency Modular Packet Header Parser for FPGA, In: ACM/IEEE Symposium on Architectures for Networking and Communications Systems, Austin, US, ACM, 2012, p. 77-78, ISBN 978-1-4503-1685-9
 Kočí, R., Janoušek, V.: Modeling and Simulation-Based Design Using Object-Oriented Petri Nets: A Case Study, In: CEUR Workshop Proceedings, Vol. 851, No. 06, 2012, DE, p. 253-266, ISSN 1613-0073
 Konečný, F., Hojjat, H., Iosif, R., Kuncak, V., Rummer, P., Garnier, F.: A Verification Toolkit for Numerical Transition Systems, In: Lecture Notes in Computer Science, Vol. 2012, No. 7436, DE, p. 247-251, ISSN 0302-9743
 Konečný, F., Iosif, R., Bozga, M.: Deciding Conditional Termination, In: Lecture Notes in Computer Science, Vol. 2012, No. 7214, DE, p. 252-266, ISSN 0302-9743
 Korček, P., Sekanina, L., Fučík, O.: Calibrating Traffic Simulation Model using Vehicle Travel Times, In: Lecture Notes in Computer Science, Vol. 2012, No. 7495, DE, p. 807-816, ISSN 0302-9743
 Korček, P., Sekanina, L., Fučík, O.: Evolutionary approach to calibration of cellular automaton based traffic simulation model, In: Proceedings of the 15th International IEEE Conference on Intelligent Transportation Systems, Anchorage, US, IEEE ITSS, 2012, p. 122-129, ISBN 978-1-4673-3062-6
 Korček, P., Žádník, M.: Lightweight benchmarking of platforms for network traffic processing, In: Proceedings of the 2012 IEEE 15th International Symposium on Design and Diagnostics of Electronic Circuits and Systems (DDECS), Tallin, EE, IEEE CS, 2012, p. 278-283, ISBN 978-1-4673-1185-4
 Kořenek, J., Korček, P., Košař, V., Žádník, M., Viktorin, J.: A New Embedded Platform for Rapid Development of Networking Applications, In: Proceedings of the 2012 Seventh ACM/IEEE Symposium on Architectures for Networking and Communications Systems (ANCS 2012), Austin, US, IEEE CS, 2012, p. 81-82, ISBN 978-1-4503-1684-2
 Koutný, J.: On Path-Controlled Grammars and Pseudoknots, In: Proceedings of the 18th Conference STUDENT EEICT 2012 Volume 3, Brno, CZ, VUT v Brně, 2012, p. 391-395, ISBN 978-80-214-4462-1
 Křoustek, J., Kolář, D.: Object-File-Format Description Language and Its Usage in Retargetable Decompilation, In: AIP Conference Proceedings, Kos, GR, AIP, 2012, p. 466-469, ISBN 978-0-7354-1091-6, ISSN 1551-7616
 Křoustek, J., Matula, P., Končický, J., Kolář, D.: Accurate Retargetable Decompilation Using Debug Information, In: Proceedings of the Sixth International Conference on Emerging Security Information, Systems and Technologies (SECURWARE'12), Rome, IT, IARIA, 2012, p. 79-84, ISBN 978-1-61208-209-7
 Kunovský, J., Kraus, M., Šátek, V., Szöllös, A.: Parallel Computations Based on Numerical Integration Methods, In: Proceedings of the 10th International Conference of Numerical Analysis and Applied Mathematics, Kos, GR, AIP, 2012, p. 4, ISBN 978-0-7354-1091-6, ISSN 1551-7616
 Kunovský, J., Šátek, V., Topolánek, D., Vopěnka, V.: Telegraph Equation and its Application in Medium Voltage Line, In: Proceeding of the 13th International Scientific Conference Electric Power Engineering 2012, Brno, CZ, FEKT VUT, 2012, p. 175-180, ISBN 978-80-214-4514-7
 Kunovský, J., Šátek, V., Vopěnka, V.: Stiffness in Technical Initial Problems, In: Proceedings of the 10th International Conference of Numerical Analysis and Applied Mathematics, Kos, GR, AIP, 2012, p. 4, ISBN 978-0-7354-1091-6, ISSN 1551-7616
 Kupčík, J., Hruška, T.: Towards Online Data Mining System for Enterprises, In: Proceedings of the 7th International Conference on Evaluation of Novel Approaches to Software Engineering (ENASE 2012), Wrocław, PL, SciTePress, 2012, p. 187-192, ISBN 978-989-8565-13-6
 Lengál, O., Šimáček, J., Vojnar, T.: VATA: A Library for Efficient Manipulation of Non-Deterministic Tree Automata, In: Lecture Notes in Computer Science, Vol. 2012, No. 7214, DE, p. 79-94, ISSN 0302-9743
 Machalík, S., Juránek, R., Zemčík, P.: Research of Imgae Features for Classification of Wear Debris, In: Machine Graphics and Vision, Vol. 21, No. 1, 2012, CZ, p. 1-15, ISSN 1230-0535
 Malačka, O., Samek, J., Zbořil, F., Zbořil, F., 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, IN, IEEE, 2012, p. 285-290, ISBN 978-1-4673-5118-8
 Malačka, O., Samek, J., Zbořil, F., Zbořil, F., V.: Interval Trust Representation, In: Proceedings of CSE 2012 International Conference on Computer Science and Engineering, Košice, SK, FEI TU v Košiciach, 2012, p. 175-182, ISBN 978-80-8143-049-7
 Malčík, D., Drahanský, M.: Anatomy of Biometric Passports, In: Advanced Science and Technology Letters, Vol. 2012, No. 4, Sandy Bay, AU, p. 258-263, ISSN 2287-1233
 Malčík, D., Drahanský, M.: Anatomy of Biometric Passports, In: Journal of Biomedicine and Biotechnology, Vol. 2012, No. 1, New York, US, p. 1-8, ISSN 1110-7243
 Malčík, D., Drahanský, M.: Microscopic Analysis of The Chips: Chips deprocessing, In: Advanced Science and Technology Letters, Vol. 2012, No. 7, Sandy Bay, AU, p. 80-85, ISSN 2287-1233
 Matějka, P., Plchot, O., Soufifar, M., Glembek, O., D'Haro, L., F., Veselý, K., Grézl, F., Ma, J., Matsoukas, S., Dehak, N.: Patrol Team Language Identification System for DARPA RATS P1 Evaluation, In: Proceedings of Interspeech 2012, Portland, Oregon, US, ISCA, 2012, p. 1-4, ISBN 978-1-62276-759-5, ISSN 1990-9772
 Mates, V., Hruška, T.: Context-Based Adaptation of Process Definition, In: BUSTECH 2012 : The Second International Conference on Business Intelligence and Technology, Nice, FR, IARIA, 2012, p. 25-31, ISBN 978-1-61208-223-3
 Matoušek, J.: 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, CZ, FIT ČVUT, 2012, p. 67-72, ISBN 978-80-01-05106-1
 Meduna, A., Vrábel, L., Zemek, P.: An Infinite Hierarchy of Language Families Resulting from Stateless Pushdown Automata with Limited Pushdown Alphabets, In: DCFS'12: 14th International Workshop on Descriptional Complexity of Formal Systems, Braga, PT, Springer, 2012, p. 236-243, ISBN 978-3-642-31622-7, ISSN 0302-9743
 Meduna, A., Zemek, P.: Controlled Pure Grammar Systems, In: Journal of Universal Computer Science, Vol. 18, No. 14, 2012, AT, p. 2024-2040, ISSN 0948-6968
 Meduna, A., Zemek, P.: Jumping Finite Automata, In: International Journal of Foundations of Computer Science, Vol. 23, No. 7, 2012, SG, p. 1555-1578, ISSN 0129-0541
 Meduna, A., Zemek, P.: Nonterminal Complexity of One-Sided Random Context Grammars, In: Acta Informatica, Vol. 49, No. 2, 2012, DE, p. 55-68, ISSN 0001-5903
 Meduna, A., Zemek, P.: One-Sided Forbidding Grammars and Selective Substitution Grammars, In: International Journal of Computer Mathematics, Vol. 89, No. 5, 2012, GB, p. 586-596, ISSN 0020-7160
 Meduna, A., Zemek, P.: One-Sided Random Context Grammars with Leftmost Derivations, LNCS Festschrift Series: Languages Alive - Essays Dedicated to Jürgen Dassow on the Occasion of His 65th Birthday, Berlin-Heidelberg, DE, Springer, 2012, p. 160-173, ISBN 978-3-642-31643-2
 Mičulka, L., Kotásek, Z.: Design Sychronization after Partial Dynamic Reconfiguration of Fault Tolerant System, In: 15th Euromicro Conference on Digital System Design: Architectures, Methods and Tools, Cesme-Izmir, TR, IEEE CS, 2012, p. 20-21, ISBN 978-3-902457-33-2
 Milička, M., Burget, R.: Využití ontologií k popisu vizuálních rysů dokumentu, In: Proceedings of 7th Workshop on Intelligent and Knowledge Oriented Technologies (WIKT 2012), Smolenice, SK, Vyd. STU, 2012, p. 85-88, ISBN 978-80-227-3812-5
 Milička, M.: Document Comparison Based on the Page Layout, In: Proceedings of the 18th Conference STUDENT EEICT 2012, Brno, CZ, VUT v Brně, 2012, p. 405-409, ISBN 978-80-214-4462-1
 Mráček, Š., Váňa, J., Dvořák, R., Drahanský, M., Yanushkevich, S.: 3D and Thermo-face Recognition, New Trends and Developments in Biometrics, Rijeka, HR, InTech, 2012, p. 31-58, ISBN 9789535108597
 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, PT, IEEE CS, 2012, p. 1-4, ISBN 978-0-7695-4791-6
 Nahhas, I., Drahanský, M.: Comparison of Fast Block Matching Algorithms for Motion Estimation, In: Proceedings of IMC2012, Hradec Králové, CZ, MPO ČR, 2012, p. 3139-3145, ISBN 978-80-905243-3-0
 Navrátil, J., Kobrtek, J., Zemčík, P.: A Survey on Methods for Omnidirectional Shadow Rendering, In: Journal of WSCG, Vol. 20, No. 2, 2012, Plzeň, CZ, p. 89-96, ISSN 1213-6972
 Navrátil, J., Zemčík, P., Juránek, R., Pečiva, J.: A Skewed Paraboloid Cut for Better Shadow Rendering, In: Proceedings of Computer Graphics International 2012, Berlin, DE, Springer, 2012, p. 4, ISBN 978-1-85899-283-9
 Očenášek, P., Hranáč, J.: Design of Authentication and Key Distribution Protocols with Routing Functionality, In: Journal of Information & Communication Technology, Vol. 5, No. 1, 2012, Karachi, PK, p. 1-11, ISSN 1816-613X
 Očenášek, P., Míchal, L.: Automation of Authentication and Key Distribution Schemes Design based on Trace Formulae, In: Applied Mechanics and Materials, Vol. 2012, No. 157, Zurich, CH, p. 870-873, ISSN 1660-9336
 Očenášek, P., Švéda, M.: Analysis and Filtering of Network Communication in ISP Firewalls, In: Proceedings of the Third International Conference on Theoretical and Mathematical Foundations of Computer Science, Denpasar, ID, IERI, 2012, p. 1-4
 Očenášek, P., Švéda, M.: Communication in Business Information Systems - New Perspectives, In: Proceedings of ARC 2012 International Conference on Business and Management, Bangalore, IN, Siemens-R&D, 2012, p. 257-262, ISBN 978-0-615-73960-1
 Očenášek, P., Švéda, M.: On the Effective Internet Communication Filtering, In: Proceedings of the 2012 ICMCM Conference, Dubaj, AE, Trans Tech, 2012, p. 478-481, ISBN 978-3-03785-659-8
 Očenášek, P.: Effective Design and Implementation of Distributed Business Information Systems, In: Proceedings of 2012 International Conference on Mechatronics and Applied Mechanics, Hong Kong, HK, NTO, 2012, p. 1-5, ISBN 978-3-03785-659-8
 Pešek, M.: Methods for Trajectory Outlier Detection in Surveillance Video, In: Proceedings of the 18th Conference STUDENT EEICT 2012, Brno, CZ, VUT v Brně, 2012, p. 474-478, ISBN 978-80-214-4462-1
 Petrlík, J., Korček, P., Fučík, O., Beszédeš, M., Sekanina, L.: Estimation of traffic density map using evolutionary algorithm, In: Proceedings of the 15th International IEEE Conference on Intelligent Transportation Systems, Anchorage, US, IEEE ITSS, 2012, p. 632-637, ISBN 978-1-4673-3062-6
 Petrlík, J., Sekanina, L.: Multiobjective Evolution of Multiple-Constant Multipliers, In: Proceedings of the 18th International Conference on Soft Computing (MENDEL2012), Brno, CZ, FSI VUT, 2012, p. 64-69, ISBN 978-80-214-4540-6
 Plchot, O., Karafiát, M., Brummer, N., Glembek, O., Matějka, P., de, V., E., Černocký, J.: Speaker vectors from Subspace Gaussian Mixture Model as complementary features for Language Identification, In: Proceedings of Odyssey 2012, The Speaker and Language Recognition Workshop, Singapur, SG, ISCA, 2012, p. 330-333, ISBN 978-981-07-3093-2
 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, In: IMEA 2012 Sborník příspěvků 12.ročníku doktorandské konference, Hradec Králové, CZ, UHK, 2012, p. 6, ISBN 978-80-7435-185-3
 Puš, V., Kořenek, J.: Reducing memory in high-speed packet classification, In: Proceedings of the 8th International Wireless Communications and Mobile Computing Conference, Limassol, CY, FU, 2012, p. 437-442, ISBN 978-1-4577-1377-4
 Rath, S., P., Karafiát, M., Glembek, O., Černocký, J.: A factorized representation of FMLLR transform based on QR-decomposition, In: Proceedings of Interspeech 2012, Portland, Oregon, US, ISCA, 2012, p. 1-4, ISBN 978-1-62276-759-5, ISSN 1990-9772
 Růžička, R., Šimek, V.: 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, EE, IEEE, 2012, p. 34-37, ISBN 978-1-4673-1185-4
 Růžička, R., Šimek, V.: 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, SK, FEI TU v Košiciach, 2012, p. 154-161, ISBN 978-80-8143-049-7
 Ryšavý, O., Švéda, M., Vrba, R.: A Framework for Cyber-Physical Systems Design - A Concept Study, In: Proceedings ICONS 2012, Saint Gilles, Reunion Island, US, IARIA, 2012, p. 79-82, ISBN 978-1-61208-184-7
 Salvador, R., Otero, A., Mora, J., De, l., T., E., Riesgo, T., Sekanina, L.: Implementation Techniques for Evolvable HW Systems: Virtual vs. Dynamic Reconfiguration, In: Proc. of the 22nd International Conference on Field Programmable Logic and Applications (FPL), Oslo, NO, IEEE CS, 2012, p. 547-550, ISBN 978-1-4673-2257-7
 Salvador, R., Vidal, A., Moreno, F., Riesgo, T., Sekanina, L.: Accelerating FPGA-based evolution of wavelet transform filters by optimized task scheduling, In: Microprocessors and Microsystems, Vol. 36, No. 5, 2012, Amsterdam, NL, p. 427-438, ISSN 0141-9331
 Samek, J., Malačka, O., Král, J., Zbořil, F., Zbořil, F., 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, CZ, FIT VUT, 2012, p. 80-85, ISBN 978-80-214-4576-5
 Samek, J.: Multi-contextual Trust Model for Multi-Agent Systems, In: Information Sciences and Technologies Bulletin of the ACM Slovakia, Vol. 4, No. 1, 2012, Bratislava, SK, p. 44-54, ISSN 1338-1237
 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, US, IEEE, 2012, p. 432-439, ISBN 978-1-4673-1508-1
 Sekanina, L., Salajka, V.: Towards New Applications of Multi-Function Logic: Image Multi-Filtering, In: Proc. of the 2012 Design, Automation and Test in Europe, Dresden, DE, EDAA, 2012, p. 824-827, ISBN 978-1-4577-2145-8
 Sekanina, L., Vašíček, Z.: A SAT-based Fitness Function for Evolutionary Optimization of Polymorphic Circuits, In: Proc. of the 2012 Design, Automation and Test in Europe, Dresden, DE, EDAA, 2012, p. 715-720, ISBN 978-1-4577-2145-8
 Smolka, T., Švenda, P., Sekanina, L., Matyáš, V.: Evolutionary Design of Message Efficient Secrecy Amplification Protocols, In: Proc. of the 15th European Conference on Genetic Programming, Heidelberg, DE, Springer, 2012, p. 194-205, ISBN 978-3-642-29138-8
 Straka, M., Kaštil, J., Kotásek, Z.: FPGA-based Fault Tolerant Architectures and Their Dependability Analysis, In: MEMICS'12 -- 8th Doctoral Workshop on Mathematical and Engineering Methods in Computer Science, Brno, CZ, FI MUNI, 2012, p. 1-1
 Straka, M., Kaštil, J., Kotásek, Z.: Methodology for Reliability Analysis of FPGA-based Fault Tolerant Systems, In: CSE'2012 International Scientific Conference on Computer Science and Engineering, Košice, SK, TU v Košiciach, 2012, p. 146-153, ISBN 978-80-8143-049-7
 Straka, M., Mičulka, L., Kaštil, J., Kotásek, Z.: Test Platform for Fault Tolerant Systems Design Qualities Verification, In: 15th IEEE International Symposium on Design and Diagnostics of Electronic Circuits and Systems, Tallin, EE, IEEE CS, 2012, p. 336-341, ISBN 978-1-4673-1185-4
 Strnadel, J., Rajnoha, P.: Reflecting RTOS Model During WCET Timing Analysis: MSP430/FreeRTOS Case Study, In: Acta Electrotechnica et Informatica, Vol. 12, No. 4, 2012, SK, p. 17-29, ISSN 1335-8243
 Strnadel, J., Slimařík, F.: 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, US, IEEE CS, 2012, p. 272-279, ISBN 978-0-7695-4798-5
 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, EE, IEEE CS, 2012, p. 121-126, ISBN 978-1-4673-1188-5
 Strnadel, J.: Plánování úloh v systémech RT - III: přetížení systému, In: Automa, Vol. 18, No. 12, 2012, CZ, p. 44-47, ISSN 1210-9592
 Strnadel, J.: Plánování úloh v systémech RT - II: neperiodické úlohy, In: Automa, Vol. 18, No. 11, 2012, CZ, p. 44-46, ISSN 1210-9592
 Strnadel, J.: Plánování úloh v systémech RT - I: závislé úlohy, In: Automa, Vol. 18, No. 10, 2012, CZ, p. 42-45, ISSN 1210-9592
 Szentandrási, I., Herout, A., Dubská, M.: Fast Detection and Recognition of QR codes in High-Resolution Images, In: Proceedings of 28th Spring conference on Computer Graphics, Bratislava, SK, UNIBA, 2012, p. 1-8, ISBN 978-1-4503-1977-5
 Szentandrási, I., Zachariáš, M., Havel, J., Herout, A., Dubská, M., Kajan, R.: Uniform Marker Fields: Camera Localization By Orientable De Bruijn Tori, In: Proceedings of the 2012 11th IEEE International Symposium on Mixed and Augmented Reality, Atlatnta, Georgia, US, IEEE, 2012, p. 2
 Szőke, I., Fapšo, M., Veselý, K.: BUT2012 Approaches for Spoken Web Search - MediaEval 2012, In: CEUR Workshop Proceedings, Vol. 2012, No. 927, DE, p. 1-2, ISSN 1613-0073
 Szőke, I., Fapšo, M., Žižka, J., Beran, V., Černocký, J.: Efektivní přístup ke znalostem v audio-vizuálních záznamech, In: Proceedings of the Annual Database Conference, Praha, CZ, TU v Košiciach, 2012, p. 57-74, ISBN 978-80-553-1049-7
 Šátek, V., Kunovský, J., Kopřiva, J.: Advanced Stiff Systems Detection, In: Acta Electrotechnica et Informatica, Vol. 11, No. 4, 2012, SK, p. 66-71, ISSN 1335-8243
 Šátek, V.: Stiff Systems Analysis, In: Information Sciences and Technologies Bulletin of the ACM Slovakia, Vol. 4, No. 3, 2012, Bratislava, SK, p. 1-11, ISSN 1338-1237
 Šikulová, M., Sekanina, L.: Acceleration of Evolutionary Image Filter Design Using Coevolution in Cartesian GP, 8th Doctoral Workshop on Mathematical and Engineering Methods in Computer Science, Brno, CZ, MUNI, 2012, p. 1, ISBN 978-80-87342-15-2
 Šikulová, M., Sekanina, L.: Acceleration of Evolutionary Image Filter Design Using Coevolution in Cartesian GP, In: Lecture Notes in Computer Science, Vol. 2012, No. 7491, DE, p. 163-172, ISBN 978-3-642-32936-4, ISSN 0302-9743
 Šikulová, M., Sekanina, L.: Coevolution in Cartesian Genetic Programming, In: Proc. of the 15th European Conference on Genetic Programming, Heidelberg, DE, Springer, 2012, p. 182-193, ISBN 978-3-642-29138-8
 Šimková, M., Kaštil, J., Kotásek, Z.: Verification of Fault-tolerant methodologies for FPGA Systems, In: The First Workshop on Manufacturable and Dependable Multicore Architectures at Nanoscale (MEDIAN'12), Annecy, FR, Polimi, 2012, p. 55-58
 Škoda, P., Šperka, S., Smrž, P.: Extracting Information from Scientific Papers in the Cloud, In: Proceedings of Sixth International Conference on Complex, Intelligent and Software Intensive Systems (CISIS 2012), Palermo, IT, IEEE CS, 2012, p. 775-780, ISBN 978-0-7695-4687-2
 Šperka, S., Smrž, P.: Towards Adaptive and Semantic Database Model for RDF Data Stores, In: Proceedings of Sixth International Conference on Complex, Intelligent and Software Intensive Systems (CISIS 2012), Palermo, IT, IEEE CS, 2012, p. 810-815, ISBN 978-0-7695-4687-2
 Šperka, S., Škoda, P., Smrž, P.: Cloudification of Legacy Information Extraction System, In: Proceedings of the 4th Workshop on Software Services, Bled, SI, UNI-LJ, 2012, p. 9-14
 Švéda, M., Ryšavý, O., De, S., G., Matoušek, P., Ráb, J.: Static Analysis of Routing and Firewall Policy Configurations, e-Business and Telecommunications, Heidelberg, DE, Springer Science+Business Media, 2012, p. 39-53, ISBN 978-3-642-25205-1
 Švéda, M., Sekletár, M., Fidler, T., Ryšavý, O.: A High-level Network-wide Router Configuration Language, In: Proceedings ICN 2012, Saint Gilles, Reunion Island, US, IARIA, 2012, p. 18-21, ISBN 978-1-61208-183-0
 Tejedor, J., Fapšo, M., Szőke, I., Černocký, J., Grézl, F.: Comparison of methods for language-dependent and language-independent query-by-example spoken term detection, In: ACM Transactions on Information Systems (TOIS), Vol. 2012, No. 30, New York, US, p. 1-34, ISSN 1046-8188
 Trchalík, R., Švéda, M.: Unified Sensor Gateway Interconnection of Sensor Networks, In: Proceedings 11th IFAC/IEEE International Conference on Programmable Devices and Embedded Sy, Brno, CZ, FEKT VUT, 2012, p. 348-353, ISBN 978-3-902823-21-2, ISSN 1474-6670
 Váňa, J., Mráček, Š., Yanushkevich, S., Drahanský, M.: Applying Fusion in Thermal Face Recognition, In: BIOSIG 2012, Darmstadt, DE, FhG-IGD, 2012, p. 233-244, ISBN 978-3-88579-290-1, ISSN 1617-5468
 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, US, IEEE, 2012, p. 2379-2386, ISBN 978-1-4673-1508-1
 Vašíček, Z., Slaný, K.: Efficient Phenotype Evaluation in Cartesian Genetic Programming, In: Proc. of the 15th European Conference on Genetic Programming, Heidelberg, DE, Springer, 2012, p. 266-278, ISBN 978-3-642-29138-8
 Veselý, K., Karafiát, M., Grézl, F., Janda, M., Egorova, E.: The Language-Independent Bottleneck Features, In: Proceedings of IEEE 2012 Workshop on Spoken Language Technology, Miami, US, IEEESP, 2012, p. 336-341, ISBN 978-1-4673-5124-9
 Veselý, V., Švéda, M.: L2 protocols in OMNeT++, IP Networking 1 -- Theory and Practice, Žilina, SK, EDIS ŽU, 2012, p. 37-40, ISBN 978-80-554-0494-3
 Volf, T.: Porovnání výkonnosti databází pohybujících se objektů, In: Proceedings of the Student Research Conference, Ostrava, CZ, PřF OU, 2012, p. 4, ISBN 978-80-7368-966-7
 Volf, T.: The Application Interface for Video Databases, In: Proceedings of the 18th Conference STUDENT EEICT 2012, Brno, CZ, VUT v Brně, 2012, p. 415-419, ISBN 978-80-214-4462-1
 Vrábel, L.: A New Normal Form for Programmed Grammars with Appearance Checking, In: Proceedings of the 18th Conference STUDENT EEICT 2012 Volume 3, Brno, CZ, VUT v Brně, 2012, p. 420-425, ISBN 978-80-214-4462-1
 Zemek, P.: Normal Forms of One-Sided Random Context Grammars, In: Proceedings of the 18th Conference STUDENT EEICT 2012 Volume 3, Brno, CZ, VUT v Brně, 2012, p. 430-434, ISBN 978-80-214-4462-1
 Zendulka, J., Pešek, M.: Mining Moving Object Data, In: Central European Journal of Computer Science, Vol. 2, No. 3, 2012, DE, p. 183-193, ISSN 1896-1533
 Zuzaňák, J., Zemčík, P.: Script Language for Image Processing, In: Computing and Informatics, Vol. 2012, No. 31, Bratislava, SK, p. 1279-1293, ISSN 1335-9150
 Žák, J., Horáček, J., Zbořil, F., Kočí, R., Král, J.: JADE Agents Used for Wireless Sensors Control: System Based on Services, In: Proceedings of the 2012 12th International Conference on Intelligent Systems Design and Applications (ISDA), Kochi (Cochin), IN, 2012, p. 252-257, ISBN 978-1-4673-5118-8
 Žák, J., Zbořil, F., Hanáček, P.: Jade Agents to Wireless Sensors: Case study, In: Proceedings of CSE 2012 International Scientific Conference on Computer Science and Engineering, Košice, SK, TU v Košiciach, 2012, p. 95-102, ISBN 978-80-8143-049-7
 Žaloudek, L., Sekanina, L.: Cellular automata-based systems with fault-tolerance, In: Natural Computing, Vol. 11, No. 4, 2012, Berlin, DE, p. 673-685, ISSN 1567-7818
2011Bartoš, V., Žádník, M.: Hardware precomputation of entropy for anomaly detection, In: Proceedings of the 7th ACM/IEEE Symposium on Architectures for Networking and Communications Systems, New York, US, IEEE CS, 2011, p. 219-220, ISBN 978-0-7695-4521-9
 Denecke, K., Dreesman, J., Krieck, M., Otrusina, L.: A New Age of Public Health: Identifying Disease Outbreaks by Analyzing Tweets, In: Proceedings of Health WebScience Workshop, ACM Web Science Conference, Koblenz, DE, ACM, 2011, p. 10-15
 Dreesman, J., Eckmanns, T., Krieck, M., Linge, J., Otrusina, L., Velasco, E.: Norovirus outbreak at an university in Lower Saxony, In: Proceedings of the International Meeting on Emerging Diseases and Surveillance (IMED 2011), Brookline, US, International Society for Infect, 2011, p. 1-9
 Dreesman, J., Eckmanns, T., Krieck, M., Linge, J., Otrusina, L., Velasco, E.: Norovirus outbreak at an university in Lower Saxony, In: Proceedings of the European Congress of Clinical Microbiology and Infectious Diseases (ECCMID 2011), Milan, IT, ESCMID, 2011, p. 1-9
 Ďurfina, L., Křoustek, J., Zemek, P., Kolář, D., Hruška, T., Masařík, K., Meduna, A.: Advanced Static Analysis for Decompilation Using Scattered Context Grammars, In: Proceedings of the Applied Computing Conference 2011 (ACC'11), Angers, FR, WSEAS, 2011, p. 164-169, ISBN 978-1-61804-051-0
 Ďurfina, L., Křoustek, J., Zemek, P., Kolář, D., Hruška, T., Masařík, K., Meduna, A.: Design of an Automatically Generated Retargetable Decompiler, In: 2nd European Conference of COMPUTER SCIENCE (ECCS'11), Puerto De La Cruz, Tenerife, ES, NAUN, 2011, p. 199-204, ISBN 978-1-61804-056-5
 Gajda, Z., Sekanina, L.: Recent Advances in Evolutionary Synthesis and Optimization of Ordinary and Polymorphic Circuits, Brno, CZ, FIT VUT, 2011, p. 111, ISBN 978-80-214-4417-1
 Hrubý, M.: Designing a New Raster Sub-System for GRASS-7, In: Geoinformatics FCE CTU, Vol. 6, No. 1, 2011, CZ, p. 11-30, ISSN 1802-2669
 Janoušek, V.: Simulace a návrh vyvíjejících se systémů, Brno, CZ, FIT VUT, 2011, p. 123, ISBN 978-80-214-4414-0
 Korček, P., Košař, V., Žádník, M., Koranda, K., Kaštovský, P.: 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, US, IEEE CS, 2011, p. 1-2, ISBN 978-0-7695-4521-9
 Mráček, Š.: 3D Face Recognition, Saarbrücken, DE, LAP, 2011, p. 81, ISBN 978-3-8465-4450-1
 Pečiva, J., Přibyl, J., Navrátil, J.: Close-to-photorealistic Lighting for Simulations and CAD, In: 2011 International Simulation Multiconference - SCS (SCSC, SPECTS, GCMS) - SCSC Proceedings (Hard-Copy) 11, Hague, NL, SCS, 2011, p. 1-2, ISBN 1-56555-345-4
 Švéda, M., Ryšavý, O., De, S., G., Matoušek, P., Ráb, J.: Reachability Analysis in Dynamically Routed Networks, In: Proceedings of the IEEE ECBS 2011, Piscataway, NJ, US, IEEE CS, 2011, p. 197-205, ISBN 978-0-7695-4379-6