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

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
2012A Framework for Analysing Multi-threaded C/C++ Programs on the Binary Level, software, 2012
Authors: Fiedor Jan, Vojnar Tomáš
 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
 Prototypes-2012, software, 2012
Authors: Janoušek Vladimír
2011A Tool Chain Combining Dynamic Analysis and Bounded Model Checking, software, 2011
Authors: Fiedor Jan, Hrubá Vendula, Křena Bohuslav, Vojnar Tomáš
 SmallDEVS for Squeak 4.3, software, 2011
Authors: Janoušek Vladimír

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
 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
 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
 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, IUCTC, 2013, p. 254-255, ISBN 978-84-695-6971-9
 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
 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
 Kaštil, J., Kořenek, J.: Hardware Architecture for the Fast Pattern Matching, In: DDECS 2013, Karlovy Vary, CZ, IEEE CS, 2013, p. 1-4
 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
 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
 Sekanina, L., Růžička, R., Vašíček, Z., Šimek, V., Hanáček, P.: Implementing a Unique Chip ID on a Reconfigurable Polymorphic Circuits, In: Information Technology And Control, Vol. 42, No. 1, 2013, Kaunas, LT, p. 7-14, ISSN 1392-124X
 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
 Sopuch, Z.: Comparative Attributes of High-frequency Market Making Algorithms, In: Proceedings of the 19th Conference and Competition STUDENT EEICT 2011 Volume 3, Brno, CZ, FIT VUT, 2013, p. 1-5
 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
 Š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
 Š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
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
 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
 Bouajjani, A., Habermehl, P., Rogalewicz, A., Vojnar, T.: Abstract Regular (Tree) Model Checking, In: International Journal on Software Tools for Technology Transfer, Vol. 14, No. 2, 2012, DE, p. 167-191, ISSN 1433-2779
 Češka, M., Fiedor, J., Gach, M.: A Novel Approach to Modechart Verification of Real-Time systems, In: Lecture Notes in Computer Science, Vol. 2012, No. 6927, DE, p. 559-567, ISSN 0302-9743
 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
 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
 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
 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
 Dudka, K., Peringer, P., Vojnar, T.: An Easy to Use Infrastructure for Building Static Analysis Tools, In: Lecture Notes in Computer Science, Vol. 2012, No. 6927, DE, p. 527-534, ISSN 0302-9743
 Dvořák, R., Zbořil, F., V.: On the usage of ELLAM to solve advection-diffusion equation describing the pollutant transport in planetary boundary layer, In: Acta Electrotechnica et Informatica, Vol. 2012, No. 1, SK, p. 44-48, ISSN 1335-8243
 Fiedor, J., Hrubá, V., Křena, B., Vojnar, T.: DA-BMC: A Tool Chain Combining Dynamic Analysis and Bounded Model Checking, In: Lecture Notes in Computer Science, Vol. 2012, No. 7186, DE, p. 5, ISSN 0302-9743
 Fiedor, J., Křena, B., Letko, Z., Vojnar, T.: A Uniform Classification of Common Concurrency Errors, In: Lecture Notes in Computer Science, Vol. 2012, No. 6927, DE, p. 519-526, ISSN 0302-9743
 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.: 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
 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
 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
 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
 Hrubá, V., Křena, B., Letko, Z., Ur, S., Vojnar, T.: Testing of Concurrent Programs with Genetic Algorithms, In: Lecture Notes in Computer Science, Vol. 2012, No. 7515, DE, p. 152-167, ISSN 0302-9743
 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
 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
 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
 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
 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
 Kočí, R., Janoušek, V.: Specification of UML Classes by Object Oriented Petri Nets, In: ICSEA 2012, The Seventh International Conference on Software Engineering Advances, Lisbon, PT, XPS, 2012, p. 361-366, ISBN 978-1-61208-230-1
 Košař, V.: VYUŽITÍ REDUKCE NKA PRO VYHLEDÁVÁNÍ VZORŮ V FPGA, In: Počítačové architektury a diagnostika 2012, Milovy, CZ, FIT ČVUT, 2012, p. 97-102, ISBN 978-80-01-05106-1
 Křena, B., Letko, Z., Vojnar, T.: Analysis and Testing of Concurrent Programs, Brno, CZ, FIT VUT, 2012, p. 136, ISBN 978-80-214-4464-5
 Křena, B., Letko, Z., Vojnar, T.: Coverage Metrics for Saturation-based and Search-based Testing of Concurrent Software, In: Lecture Notes in Computer Science, Vol. 2012, No. 7186, DE, p. 177-192, ISSN 0302-9743
 Křena, B., Letko, Z., Vojnar, T.: Noise Injection Heuristics for Concurrency Testing, In: Lecture Notes in Computer Science, Vol. 2012, No. 7119, DE, p. 123-131, ISSN 0302-9743
 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
 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.: Decision Making and Recommendation Protocol Based on Trust for Multi-Agent Systems, In: Lecture Notes in Computer Science, Vol. 2012, No. 7138, DE, p. 280-291, ISBN 978-3-642-28508-0, ISSN 0302-9743
 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
 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
 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
 Mičulka, L.: 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, CZ, FIT ČVUT, 2012, p. 109-115, ISBN 978-80-01-05106-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
 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.: 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
 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
 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
 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.: Důvěra a reputace v distribuovaných systémech, Brno, CZ, 2012, p. 140
 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
 Straka, M., Kaštil, J., Kotásek, Z., Mičulka, L.: Fault Tolerant System Design and SEU Injection based Testing, In: Microprocessors and Microsystems, Vol. 2013, No. 37, 2012, Amsterdam, NL, p. 155-173, ISSN 0141-9331
 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
 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
 Š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
 Šimková, M., Lengál, O., Kajan, M.: HAVEN: An Open Framework for FPGA-Accelerated Functional Verification of Hardware, In: Lecture Notes in Computer Science, Vol. 2012, No. 7261, DE, p. 247-253, ISSN 0302-9743
 Šimková, M., Lengál, O.: Towards Beneficial Hardware Acceleration in HAVEN: Evaluation of Testbed Architectures, FIT-TR-2012-03, Brno, CZ, FIT VUT, 2012, p. 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
 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
 Tříska, V.: Komprese shlukových dat s využitím geometrického dělení prostoru, In: Počítačové architektury & diagnostika 2012, Praha, CZ, ČVUT, 2012, p. 127-132, ISBN 978-80-01-05106-1
 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
 Zbořil, F., Drahanský, M., Hanáček, P., Horáček, J.: Security in Wireless Sensor Networks with Mobile Codes, Threats, Countermeasures, and Advances in Applied Information Security, Hershey, US, IGI Global, 2012, p. 411-425, ISBN 978-1-4666-0978-5
 Žá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
2011Abdulla, P., A., Chen, Y., Clemente, L., Holík, L., Hong, C., Mayr, R., Vojnar, T.: Advanced Ramsey-based Büchi Automata Inclusion Testing, FIT-TR-2011-03, Brno, CZ, FIT VUT, 2011, p. 45
 Abdulla, P., A., Chen, Y., Clemente, L., Holík, L., Hong, C., Mayr, R., Vojnar, T.: Advanced Ramsey-based Büchi Automata Inclusion Testing, In: Lecture Notes in Computer Science, Vol. 2011, No. 6901, DE, p. 187-202, ISSN 0302-9743
 Bartoš, P.: Metody optimalizace propojení scan řetězce, In: Počítačové architektury a diagnostika 2011, Bratislava, SK, Vyd. STU, 2011, p. 97-102, ISBN 978-80-227-3552-0
 Bartoš, 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
 Čermák, M., Meduna, A.: n-Accepting Restricted Pushdown Automata Systems, 7th Doctoral Workshop on Mathematical and Engineering Methods in Computer Science, Brno, CZ, MUNI, 2011, p. 1, ISBN 978-80-214-4305-1
 Češka, M., Fiedor, J., Gach, M.: 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, ES, IUCTC, 2011, p. 338-339, ISBN 978-84-693-9560-8
 Dittrich, P., Chudý, P.: Application of Kalman Filter to oversampled data from Global Position System, In: ElectroScope, Vol. 2011, No. 2, Plzeň, CZ, p. 6, ISSN 1802-4564
 Drahanský, M.: Fingerprint Recognition Technology - Related Topics, Saarbrücken, DE, LAP, 2011, p. 172, ISBN 978-3-8443-3007-6
 Drahanský, M.: Liveness Detection in Biometrics, Advanced Biometric Technologies, Rijeka, HR, InTech, 2011, p. 179-198, ISBN 978-953-307-487-0
 Dudka, K., Peringer, P., Vojnar, T.: 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, ES, IUCTC, 2011, p. 328-329, ISBN 978-84-693-9560-8
 Dvořák, R., Zbořil, F., 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, SK, FEI TU v Košiciach, 2011, p. 227-230, ISBN 978-80-89284-94-8
 Fiedor, J., Hrubá, V., Křena, B., Vojnar, T.: DA-BMC: A Tool Chain Combining Dynamic Analysis and Bounded Model Checking, FIT-TR-2011-06, Brno, CZ, FIT VUT, 2011, p. 9
 Fiedor, J., Křena, B., Letko, Z., Vojnar, T.: 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, ES, IUCTC, 2011, p. 326-327, ISBN 978-84-693-9560-8
 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
 Grégr, M., Matoušek, P., Podermański, T., Švéda, M.: Practical IPv6 Monitoring - Challenges and Techniques, In: Proceedings of the 12th IFIP/IEEE International Symposium on Integrated Network Management (IM 2011), Dublin, IE, IEEE CS, 2011, p. 660-663, ISBN 978-1-4244-9220-6
 Hanáček, P., Jurnečka, P.: Využitie grafických kariet na útoky silou, In: DSM Data Security Management, Vol. 15, No. 2, 2011, CZ, p. 10-13, ISSN 1211-8737
 Hanáček, P., Nagy, J., Schäfer, J., Zadina, M.: Návrh zabezpečeného monitorovacího systému v oblasti e-Health, In: Proceedings of the Annual Database conference Datakon 2011, Brno, CZ, VUT v Brně, 2011, p. 223-226, ISBN 978-80-214-4329-7
 Henzl, M., Hanáček, P.: NFC z pohledu bezpečnosti, In: DSM Data Security Management, Vol. 15, No. 3, 2011, CZ, p. 4, ISSN 1211-8737
 Holík, L., Lengál, O., Šimáček, J., Vojnar, T.: Efficient Inclusion Checking on Explicit and Semi-Symbolic Tree Automata, In: Lecture Notes in Computer Science, Vol. 2011, No. 6996, DE, p. 243-258, ISSN 0302-9743
 Holík, L., Lengál, O., Šimáček, J., Vojnar, T.: Efficient Inclusion Checking on Explicit and Semi-Symbolic Tree Automata, FIT-TR-2011-04, Brno, CZ, FIT VUT, 2011, p. 22
 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
 Kačic, M., Hanáček, P.: WPA2: Útoky z vnútra siete, In: DSM Data Security Management, Vol. 15, No. 4, 2011, CZ, p. 30-33, ISSN 1211-8737
 Kadlček, F.: Platforma pro akceleraci obrazových klasifikátorů, In: Počítačové architektury & diagnostika 2011, Bratislava, SK, FIIT STU, 2011, p. 32-37, ISBN 978-80-227-3552-0
 Kaštil, J.: Vysokorychlostní vyhledávání regulárních výrazů, In: Počítačové architektury a diagnostika, Bratislava, SK, Vyd. STU, 2011, p. 163-168, ISBN 978-80-227-3552-0
 Kočí, R., Janoušek, V.: Towards Design Method Based on Formalisms of Petri Nets, DEVS, and UML, In: ICSEA 2011, The Sixth International Conference on Software Engineering Advances, Barcelona, ES, XPS, 2011, p. 299-304, ISBN 978-1-61208-165-6
 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
 Korček, P., Sekanina, L., Fučík, O.: A Scalable Cellular Automata Based Microscopic Traffic Simulation, In: Proceedings of the IEEE Intelligent Vehicles Symposium 2011 (IV11), Baden-Baden, DE, IEEE ITSS, 2011, p. 13-18, ISBN 978-1-4577-0889-3
 Korček, P., Sekanina, L., Fučík, O.: A Scalable Cellular Automata Based Microscopic Traffic Simulation, 7th Doctoral Workshop on Mathematical and Engineering Methods in Computer Science, Brno, CZ, MUNI, 2011, p. 1, ISBN 978-80-214-4305-1
 Korček, P., Sekanina, L., Fučík, O.: Cellular automata based traffic simulation accelerated on GPU, In: Proceedings of the 17th International Conference on Soft Computing (MENDEL2011), Brno, CZ, ÚAI FSI VUT, 2011, p. 395-402, ISBN 978-80-214-4302-0
 Korček, P., Sekanina, L., Fučík, O.: Microscopic traffic simulation using CUDA, In: Advanced Computer Architecture and Compilation for High-Performace and Embedded Systems (ACACES 2011) Poster Abstracts, Fiuggi, IT, Academia Press, 2011, p. 207-210, ISBN 978-90-382-1798-7
 Korček, P.: Simulácie dopravy pre dlhodobú predpoveď stavu dopravy, In: Počítačové architektury a diagnostika 2011, Bratislava, SK, FIIT STU, 2011, p. 115-120, ISBN 978-80-227-3552-0
 Kubát, D., Drahanský, M.: Wireless Control of Intelligent Houses, In: International Journal of Control and Automation, Vol. 4, No. 3, 2011, Daejon, KR, p. 123-126, ISSN 2005-4297
 Kunovský, J., Sehnalová, P., Valenta, V.: Convergence of partial differential equations, In: International Conference on Computer Modelling and Simulation, Brno, CZ, 2011, p. 1-8
 Lexa, M., Martínek, T., Burgetová, I., Kopeček, D., Brázdová, M.: A dynamic programming algorithm for identification of triplex-forming sequences, In: Bioinformatics, Vol. 27, No. 18, 2011, Oxford, GB, p. 2510-2517, ISSN 1367-4803
 Malačka, O., Samek, J., Zbořil, F., Zbořil, F., 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, ES, 2011, p. 33-40
 Malčík, D., Drahanský, M.: Microscopic Analysis of Chips, In: Security Technology, Jeju, Jeju Island, KR, Springer, 2011, p. 113-122, ISBN 978-3-642-27188-5
 Martínek, T., Lexa, M.: Architecture Model for Approximate Tandem Repeat Detection, In: 22nd IEEE International Conference on Application-specific Systems, Architectures and Processors, Santa Monica, California, US, IEEE CS, 2011, p. 239-242, ISBN 978-1-4577-1290-6
 Matoušek, J., Korček, P.: Precise IPv4/IPv6 Packet Generator Based on NetCOPE Platform, In: IEEE Design and Diagnostics of Electronic Circuits and Systems DDECS'2011, Cottbus, DE, IEEE CS, 2011, p. 319-324, ISBN 978-1-4244-9753-9
 Matoušek, J.: FPGA-Based Packet Generator, In: Proceedings of the 17th Conference STUDENT EEICT 2011, Brno, CZ, VUT v Brně, 2011, p. 312-314, ISBN 978-80-214-4272-6
 Minařík, M., Sekanina, L.: Evolution of Iterative Formulas Using Cartesian Genetic Programming, In: Lecture Notes in Computer Science, Vol. 2011, No. 6881, DE, p. 11-20, ISSN 0302-9743
 Mráček, Š.: 3D Face Recognition, Saarbrücken, DE, LAP, 2011, p. 81, ISBN 978-3-8465-4450-1
 Očenášek, P., Hranáč, J.: Routing Functionality in the Logic Approach for Authentication Protocol Design, In: Human Interface and the Management of Information. Interacting with Information, Berlin Heidelberg, DE, Springer, 2011, p. 366-373, ISBN 978-3-642-21792-0
 Očenášek, P., Míchal, L.: Automation of Authentication and Key Distribution Schemes Design based on Trace Formulae, In: Proceedings of 2011 International Conference on Mechatronics and Applied Mechanics (ICMAM 2011), Hongkong, HK, Trans Tech, 2011, p. 1-4, ISBN 978-3-03785-380-1
 Očenášek, P., Trchalík, R.: Approaches to the Security and Payment Protocols Design: State of the Art, In: International Conference on INFORMATION TECHNOLOGY INTERFACES, Dubrovnik, HR, IEEE, 2011, p. 1-4, ISBN 978-953-7138-21-9
 Očenášek, P.: An Approach for Security Protocol Design Based on Zero-knowledge Primitives Composition, In: Human Interface and the Management of Information. Interacting with Information, Berlin Heidelberg, DE, Springer, 2011, p. 374-378, ISBN 978-3-642-21792-0
 Očenášek, P.: Analysis of Authentication Protocols with Scyter: Case Study, In: Human Interface and the Management of Information. Interacting with Information, Berlin Heidelberg, DE, Springer, 2011, p. 359-365, ISBN 978-3-642-21792-0
 Očenášek, P.: Specification of Traces in the Security Protocols Analysis, In: Proceedings of 33rd International Conference on INFORMATION TECHNOLOGY INTERFACES, Dubrovnik, HR, IEEE, 2011, p. 115-118, ISBN 978-953-7138-20-2
 Petrlík, J.: Multiobjective Cartesian Genetic Programming, In: Proceedings of the 17th Conference STUDENT EEICT 2011, Brno, CZ, FIT VUT, 2011, p. 318-320, ISBN 978-80-214-4272-6
 Puš, V.: Packet Classification Algorithms, In: Počítačové architektury a diagnostika, Stará Lesná, SK, FEI STUBA, 2011, p. 157-162, ISBN 978-80-227-3552-0
 Rumplík, M., Strnadel, J.: 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, FI, IEEE CS, 2011, p. 367-374, ISBN 978-0-7695-4494-6
 Růžička, R., Šimek, V., Sekanina, L.: 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, DE, IEEE CS, 2011, p. 447-452, ISBN 978-1-4244-9753-9
 Růžička, R., Šimek, V.: Chip Temperature Selfregulation for Digital Circuits Using Polymorphic Electronics Principles, In: Proceedings of 14th Euromicro Conference on Digital System Design, Los Alamitos, US, ICSP, 2011, p. 205-212, ISBN 978-0-7695-4494-6
 Růžička, R., Šimek, V.: 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, CZ, VUT v Brně, 2011, p. 258-263, ISBN 978-80-214-4303-7
 Sekanina, L.: Evolutionary hardware design (Invited Paper), In: VLSI Circuits and Systems V, Bellingham, US, SPIE, 2011, p. 1-11, ISBN 978-0-8194-8656-1
 Strnadel, J.: 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, FI, JKUL, 2011, p. 21-22, ISBN 978-3-902457-30-1
 Strnadel, J.: 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, AT, TUV, 2011, p. 29-32
 Šátek, V., Kunovský, J., Kopřiva, J.: Advanced Stiff Systems Detection, In: Proceedings of the Eleventh International Scientific Conference on Informatics, Rožňava, SK, FEI TU v Košiciach, 2011, p. 208-212, ISBN 978-80-89284-94-8
 Šikulová, M.: Symbolic Regression Using Cartesian Genetic Programming, In: Proceedings of the 17th Conference STUDENT EEICT 2011, Brno, CZ, FIT VUT, 2011, p. 347-349, ISBN 978-80-214-4272-6
 Šimková, M., Lengál, O., Kajan, M.: HAVEN: An Open Framework for FPGA-Accelerated Functional Verification of Hardware, FIT-TR-2011-05, Brno, CZ, FIT VUT, 2011, p. 16
 Šimková, M.: Hardware Accelerated Functional Verification - Framework for FPGA-Accelerated Functional Verification, Saarbrucken, DE, LAP, 2011, p. 60, ISBN 978-3-8465-5913-0
 Šimková, M.: Hardware Accelerated Functional Verification, In: Proceedings of the 17th Conference STUDENT EEICT 2011, Brno, CZ, FIT VUT, 2011, p. 321-323, ISBN 978-80-214-4272-6
 Š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
 Švéda, M., Ryšavý, O., Matoušek, P.: Supporting Safe and Secure Networked System Design, In: Computer Aided Systems Theory (EUROCAST´11), Extended Abstracts, Las Palmas de Gran Canaria, ES, IUCTC, 2011, p. 22-23, ISBN 978-84-693-9560-8
 Švéda, M., Vrba, R.: A Cyber-Physical System Design Approach, In: Proceedings of The Sixth International Conference on Systems - ICONS 2011, St. Maarten, AN, IARIA, 2011, p. 12-18, ISBN 978-1-61208-002-4
 Švéda, M.: Design Experience with Routing SW and Related Applications, In: Proceedings of The Tenth International Conference on Networks - ICN 2011, St. Maarten, AN, IARIA, 2011, p. 133-138, ISBN 978-1-61208-002-4
 Tříska, V.: Aplikačně specifické předzpracování a komprese obrazu, In: Počítačové architektury & diagnostika 2011, Bratislava, SK, FIIT STU, 2011, p. 38-43, ISBN 978-80-227-3552-0
 Vašíček, Z., Bidlo, M., Sekanina, L., Glette, K.: Evolutionary Design of Efficient and Robust Switching Image Filters, In: Proceedings of the 2011 NASA/ESA Conference on Adaptive Hardware and Systems, Los Alamitos, US, IEEE CS, 2011, p. 192-199, ISBN 978-1-4577-0599-1
 Vašíček, Z., Bidlo, M.: Evolutionary Design of Robust Noise-Specific Image Filters, In: 2011 IEEE Congress on Evolutionary Computation, New Orleans, US, IEEE CS, 2011, p. 269-276, ISBN 978-1-4244-7834-7
 Vašíček, Z., Sekanina, L.: Evolutionary Optimization of Complex Digital Circuits, In: 7th Doctoral Workshop on Mathematical and Engineering Methods in Computer Science, Brno, CZ, MUNI, 2011, p. 1, ISBN 978-80-214-4305-1
 Vogel, I., Zedek, F., Očenášek, P.: Constructing Phylogenetic Trees Based on Intra-Group Analysis of Human Mitochondrial DNA, In: Human Interface and the Management of Information. Interacting with Information, Berlin Heidelberg, DE, Springer, 2011, p. 165-169, ISBN 978-3-642-21792-0
 Zadina, M., Nagy, J., Hanáček, P.: Zabezpečení bezdrátových sítí založených na protokolu IEEE 802.11 v aplikaci rozsáhlých distribučních sítí, In: Sborník příspěvků z 39. konference EurOpen.CZ, 2.-5. října 2011, Plzeň, CZ, EurOpen.CZ, 2011, p. 37-48, ISBN 978-80-86583-22-8
 Zbořil, F.: Multiagentní systémy, In: Datakon 2011, Tutorials, Mikulov, CZ, VUT v Brně, 2011, p. 75-100, ISBN 978-80-214-4330-3
 Žádník, M., Canini, M.: Evaluation and Design of Cache Replacement Policies under Flooding Attacks, In: Proceedings of the 7th International Wireless Communications and Mobile Computing Conference, Istanbul, TR, IEEE CS, 2011, p. 1292-1297, ISBN 978-1-4244-9539-9
 Žák, J., Horáček, J., Zbořil, F., Kočí, R., Gábor, M.: Remote controling and monitoring tool for wireless sensor network using WSageNt platform, In: Proceeding of the 2nd International Conference on Computer Modelling and Simulation, Brno, CZ, UITS FIT VUT, 2011, p. 1-8, ISBN 978-80-214-4320-4
 Žaloudek, L., Sekanina, L.: Increasing Fault-Tolerance in Cellular-Based Systems, In: Lecture Notes in Computer Science, Vol. 2011, No. 6714, DE, p. 234-245, ISSN 0302-9743
 Žaloudek, L.: 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, ES, IEEE, 2011, p. 6, ISBN 978-1-4577-1123-7
 Žaloudek, L.: 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, SK, Vyd. STU, 2011, p. 145-150, ISBN 978-80-227-3552-0

Your IPv4 address: 54.234.231.49
Switch to IPv6 connection

DNSSEC [dnssec]