Project detail

Bezpečné, spolehlivé a adaptivní počítačové systémy

Duration: 01.03.2010 — 31.12.2010

On the project

Hlavním cílem projektu je systematicky rozvíjet koncept "návrhu pro bezpečnost, spolehlivost a adaptaci" HW/SW systémů. Projekt zahrnuje oblasti bezpečnosti IT, vestavěných systémů, jejich návrhu, modelování, simulace a diagnostiky. Zabývá se metodami automatizovaného návrhu a formální verifikace HW/SW systémů.

Description in English
TBD

Mark

FIT-S-10-1

Default language

Czech

People responsible

Sekanina Lukáš, prof. Ing., Ph.D.
- principal person responsible (2010-01-01 - 2010-12-31)
Bartoš Pavel, Ing.
- fellow researcher (2010-01-01 - 2010-12-31)
Češka Milan, prof. RNDr., CSc.
- fellow researcher (2010-01-01 - 2010-12-31)
Drábek Vladimír, doc. Ing., CSc.
- fellow researcher (2010-01-01 - 2010-12-31)
Drahanský Martin, prof. Ing., Ph.D.
- fellow researcher (2010-01-01 - 2010-12-31)
Dudka Kamil, Ing.
- fellow researcher (2010-01-01 - 2010-12-31)
Dvořák Radim, Ing., Ph.D.
- fellow researcher (2010-01-01 - 2010-12-31)
Dvořák Václav, prof. Ing., DrSc.
- fellow researcher (2010-01-01 - 2010-12-31)
Fiedor Jan, Ing.
- fellow researcher (2010-01-01 - 2010-12-31)
Gach Marek, Ing.
- fellow researcher (2010-01-01 - 2010-12-31)
Grégr Matěj, Ing., Ph.D.
- fellow researcher (2010-01-01 - 2010-12-31)
Holík Lukáš, Mgr., Ph.D.
- fellow researcher (2010-01-01 - 2010-12-31)
Hrubý Martin, Ing., Ph.D.
- fellow researcher (2010-01-01 - 2010-12-31)
Hýsek Jiří, Ing.
- fellow researcher (2010-01-01 - 2010-12-31)
Janoušek Vladimír, doc. Ing., Ph.D.
- fellow researcher (2010-01-01 - 2010-12-31)
Kajan Michal, Ing.
- fellow researcher (2010-01-01 - 2010-12-31)
Kaštil Jan, Ing., Ph.D.
- fellow researcher (2010-01-01 - 2010-12-31)
Kaštovský Petr, Ing.
- fellow researcher (2010-01-01 - 2010-12-31)
Kočí Radek, Ing., Ph.D.
- fellow researcher (2010-01-01 - 2010-12-31)
Konečný Filip, Ing., Ph.D.
- fellow researcher (2010-01-01 - 2010-12-31)
Korček Pavol, Ing., Ph.D.
- fellow researcher (2010-01-01 - 2010-12-31)
Kořenek Jan, doc. Ing., Ph.D.
- fellow researcher (2010-01-01 - 2010-12-31)
Kraus Michal, Ing., Ph.D.
- fellow researcher (2010-01-01 - 2010-12-31)
Kreslíková Jitka, doc. RNDr., CSc.
- fellow researcher (2010-01-01 - 2010-12-31)
Křena Bohuslav, Ing., Ph.D.
- fellow researcher (2010-01-01 - 2010-12-31)
Kunovský Jiří, doc. Ing., CSc.
- fellow researcher (2010-01-01 - 2010-12-31)
Letko Zdeněk, Ing., Ph.D.
- fellow researcher (2010-01-01 - 2010-12-31)
Malinka Kamil, Mgr., Ph.D.
- fellow researcher (2010-01-01 - 2010-12-31)
Martínek Tomáš, Ing., Ph.D.
- fellow researcher (2010-01-01 - 2010-12-31)
Matoušek Petr, Ing., Ph.D., M.A.
- fellow researcher (2010-01-01 - 2010-12-31)
Michlovský Zbyněk, Ing.
- fellow researcher (2010-01-01 - 2010-12-31)
Mikušek Petr, Ing.
- fellow researcher (2010-01-01 - 2010-12-31)
Nagy Jan, Ing.
- fellow researcher (2010-01-01 - 2010-12-31)
Orság Filip, Ing., Ph.D.
- fellow researcher (2010-01-01 - 2010-12-31)
Peterka Ondřej, Ing.
- fellow researcher (2010-01-01 - 2010-12-31)
Polóni Pavol, Ing.
- fellow researcher (2010-01-01 - 2010-12-31)
Pospíchal Petr, Ing.
- fellow researcher (2010-01-01 - 2010-12-31)
Puš Viktor, Ing., Ph.D.
- fellow researcher (2010-01-01 - 2010-12-31)
Ráb Jaroslav, Ing.
- fellow researcher (2010-01-01 - 2010-12-31)
Růžička Richard, doc. Ing., Ph.D., MBA
- fellow researcher (2010-01-01 - 2010-12-31)
Ryšavý Ondřej, doc. Ing., Ph.D.
- fellow researcher (2010-01-01 - 2010-12-31)
Samek Jan, Ing., Ph.D.
- fellow researcher (2010-01-01 - 2010-12-31)
Sehnalová Pavla, Ing., Ph.D.
- fellow researcher (2010-01-01 - 2010-12-31)
Schäfer Jiří, Ing.
- fellow researcher (2010-01-01 - 2010-12-31)
Schwarz Josef, doc. Ing., CSc.
- fellow researcher (2010-01-01 - 2010-12-31)
Slaný Karel, Ing.
- fellow researcher (2010-01-01 - 2010-12-31)
Slinták Jiří, Ing.
- fellow researcher (2010-01-01 - 2010-12-31)
Straka Martin, Ing., Ph.D.
- fellow researcher (2010-01-01 - 2010-12-31)
Strnadel Josef, Ing., Ph.D.
- fellow researcher (2010-01-01 - 2010-12-31)
Svojanovský Petr, Ing., Ph.D.
- fellow researcher (2010-01-01 - 2010-12-31)
Šátek Václav, Ing., Ph.D.
- fellow researcher (2010-01-01 - 2010-12-31)
Šimáček Jiří, Ing., Ph.D.
- fellow researcher (2010-01-01 - 2010-12-31)
Šimek Václav, Ing.
- fellow researcher (2010-01-01 - 2010-12-31)
Švéda Miroslav, prof. Ing., CSc.
- fellow researcher (2010-01-01 - 2010-12-31)
Trchalík Roman, Mgr., Ph.D.
- fellow researcher (2010-01-01 - 2010-12-31)
Vašíček Zdeněk, doc. Ing., Ph.D.
- fellow researcher (2010-01-01 - 2010-12-31)
Veselý Vladimír, Ing., Ph.D.
- fellow researcher (2010-01-01 - 2010-12-31)
Vojnar Tomáš, prof. Ing., Ph.D.
- fellow researcher (2010-01-01 - 2010-12-31)
Zadina Martin, Ing.
- fellow researcher (2010-01-01 - 2010-12-31)
Zbořil František, doc. Ing., CSc.
- fellow researcher (2010-01-01 - 2010-12-31)
Zbořil František, doc. Ing., Ph.D.
- fellow researcher (2010-01-01 - 2010-12-31)
Žádník Martin, Ing., Ph.D.
- fellow researcher (2010-01-01 - 2010-12-31)
Žaloudek Luděk, Ing.
- fellow researcher (2010-01-01 - 2010-12-31)

Units

Department of Computer Systems
- (2010-01-01 - 2010-12-31)
Department of Information Systems
- (2010-01-01 - 2010-12-31)
Department of Intelligent Systems
- (2010-01-01 - 2010-12-31)
Faculty of Information Technology
- (2010-01-01 - 2010-12-31)

Funding resources

Brno University of Technology - Vnitřní projekty VUT
- whole funder (2010-01-01 - 2010-12-31)

Results

KOŘENEK, J.; PUŠ, V. Memory Optimization for Packet Classification Algorithms. In Proceedings of the 5th ACM/IEEE Symposium on Architectures for Networking and Communications Systems. Association for Computing Machinery. New York: Association for Computing Machinery, 2009. p. 165-166. ISBN: 978-1-60558-630-4.
Detail

HORÁČEK, J.; ZBOŘIL, F. WSageNt: A case study. In Proceedings of CSE 2010 International Scientific Conference on Computer Science and Engineering. Volume 1. Košice: The University of Technology Košice, 2010. p. 258-264. ISBN: 978-80-8086-164-3.
Detail

DE SILVA, G.; MATOUŠEK, P.; RYŠAVÝ, O.; ŠVÉDA, M. Formal Analysis Approach on Networks with Dynamic Behaviours. In 2010 International Congress on Ultra Modern Telecommunications and Control Systems and Workshops (ICUMT). Moscow: IEEE Computer Society, 2010. p. 545-551. ISBN: 978-1-4244-7285-7.
Detail

ŽÁDNÍK, M.; CANINI, M. Evolution of Cache Replacement Policies to Track Heavy-hitter Flows. In Proceedings of the 6th ACM/IEEE Symposium on Architectures for Networking and Communications Systems. La Jolla: Association for Computing Machinery, 2010. p. 1-2. ISBN: 978-1-4503-0379-8.
Detail

KOČÍ, R.; ZBOŘIL, F.; ŽÁK, J. Integrating Multiple Modeling and Development Tools for Realization of Distributed Intelligent System. In Proceedings of the 10th International Conference on Intelligent Systems Design and Applications. Cairo: IEEE Computer Society, 2010. p. 658-663. ISBN: 978-1-4244-8135-4.
Detail

STRAKA, M.; KAŠTIL, J.; KOTÁSEK, Z. Modern Fault Tolerant Architectures Based on Partial Dynamic Reconfiguration in FPGAs. In Proceedings of the 2010 IEEE Symposium on Design and Diagnostics of Electronic Circuits and Systems DDECS 2010. Wien: IEEE Computer Society, 2010. p. 173-176. ISBN: 978-1-4244-6610-8.
Detail

POSPÍCHAL, P.; JAROŠ, J.; SCHWARZ, J. Parallel Genetic Algorithm on the CUDA Architecture. In Applications of Evolutionary Computation. Lecture Notes in Computer Science. Berlin Heidelberg: Springer Verlag, 2010. p. 442-451. ISBN: 978-3-642-12238-5.
Detail

ŠIMEK, V.; RŮŽIČKA, R.; SEKANINA, L. On Analysis of Fabricated Polymorphic Circuits. In Proc. of the 13th Int. IEEE Symposium on Design and Diagnostics of Electronic Circuits and Systems. Vienna: IEEE Computer Society, 2010. p. 281-284. ISBN: 978-1-4244-6610-8.
Detail

STRAKA, M.; KAŠTIL, J.; KOTÁSEK, Z. Fault Tolerant Structure for SRAM-based FPGA via Partial Dynamic Reconfiguration. In 13th EUROMICRO Conference on Digital System Design, DSD'2010. Lille: IEEE Computer Society, 2010. p. 365-372. ISBN: 978-0-7695-4171-6.
Detail

KVĚTOŇOVÁ, Š.; KOLÁŘ, D. Process Modeling & Optimization of Complex Systems by Scattered Context Grammars. In Proceedings of the International Conference on Engineering Computational Technology. Kippen: Civil-Comp Press, 2010. p. 1-12. ISBN: 978-1-905088-39-3.
Detail

POSPÍCHAL, P.; SCHWARZ, J.; JAROŠ, J. Parallel Genetic Algorithm Solving 0/1 Knapsack Problem Running on the GPU. In 16th International Conference on Soft Computing MENDEL 2010. Brno: Brno University of Technology, 2010. p. 64-70. ISBN: 978-80-214-4120-0.
Detail

KUNOVSKÝ, J.; SZÖLLÖS, A.; ŠÁTEK, V. TKSL and Wave Partial Differential Equation. In Proceeding of the 11th International Scientific Conference Electric Power Engineering 2010. Brno: Faculty of Electrical Engineering and Communication BUT, 2010. p. 201-205. ISBN: 978-80-214-4094-4.
Detail

ŠVÉDA, M. Fault Management Driven Design with Safety and Security Requirements. In Proceedings 17th IEEE International Conference and Workshops on Engineering of Computer-Based Systems ECBS 2010. Oxford: IEEE Computer Society, 2010. p. 113-120. ISBN: 978-0-7695-4005-4.
Detail

HOLÍK, L.; VOJNAR, T.; ABDULLA, P.; CHEN, Y.; MAYR, R. When Simulation Meets Antichains (On Checking Language Inclusion of Nondeterministic Finite (Tree) Automata). In Tools and Algorithms for the Construction and Analysis of Systems. Lecture Notes in Computer Science. Berlín: Springer Verlag, 2010. p. 158-174. ISBN: 978-3-642-12001-5.
Detail

HOLÍK, L.; VOJNAR, T.; CHEN, Y.; MAYR, R.; HONG, C.; ABDULLA, P.; CLEMENTE, L. Simulation Subsumption in Ramsey-Based Büchi Automata Universality and Inclusion Testing. In Computer Aided Verification. Lecture Notes in Computer Science. Berlín: Springer Verlag, 2010. p. 132-147. ISBN: 978-3-642-14294-9.
Detail

ŠVÉDA, M.; RYŠAVÝ, O.; MATOUŠEK, P.; RÁB, J. An Approach for Automated Network-Wide Security Analysis. In Proceedings of the Ninth International Conference on Networks ICN 2010. Les Menuires: IEEE Computer Society, 2010. p. 294-299. ISBN: 978-0-7695-3979-9.
Detail

STRNADEL, J. Task-Level Modeling and Design of Components for Construction of Dependable Time-Critical Systems Implemented by Means of RT Kernel. In Sborník přednášek z 33. mezinárodní konference TD 2010 - DIAGON 2010. Zlín: Tomas Bata University in Zlín, 2010. p. 99-104. ISBN: 978-80-7318-940-2.
Detail

KVĚTOŇOVÁ, Š.; KACINA, M. Model of Game Industry. In Proceedings of Th Seventh EUROSIM Congress on Modelling and Simulation. Prague: Czech Technical University Publishing House, 2010. p. 1-6. ISBN: 978-80-01-04589-3.
Detail

KVĚTOŇOVÁ, Š.; KACINA, M. Pricing Of Information Products Based on Network Economics Principles. In Proceedings of the Advances in Business-Related Scientific Research Conference 2010 (ABSRC 2010). Koper: Edukator, 2010. p. 1-12. ISBN: 978-961-92917-0-2.
Detail

DVOŘÁK, R.; LODROVÁ, D.; DITTRICH, P.; VÁŇA, J.; DRAHANSKÝ, M. Research in the area of biometric systems - liveness detection; recognition of 3D hand, finger veins and thermofaces. In World and homeland security. Brno: University of Defence in Brno, 2010. p. 143-152. ISBN: 978-80-7231-728-8.
Detail

JAROŠ, J.; DVOŘÁK, V. Evolutionary-Based Conflict-Free Scheduling of Collective Communications on Spidergon NoCs. In Proceedings of 2010 Genetic and Evolutionary Computation Conference. New York: Association for Computing Machinery, 2010. p. 1171-1178. ISBN: 978-1-4503-0072-8.
Detail

ŠVÉDA, M. NETWORK CONVERGENCY AND MODELING -- Design Experience with Routing SW for Intranets and Fieldbusses. In Proceedings of the Fifth International Conference on Software and Data Technologies, ICSOFT 2010. Athens: Institute for Systems and Technologies of Information, Control and Communication, 2010. p. 173-178. ISBN: 978-989-8425-22-5.
Detail

KUNOVSKÝ, J.; KADÁK, M.; ŠÁTEK, V. Semianalytic Computation in TKSL. In Proceedings of the 16th International Scientific and Practical Conference of Students, Post-graduates and Young Scientists, MODERN TECHNIQUE AND TECHNOLOGIES MTT 2010. Tomsk: Institute of Electrical and Electronics Engineers, 2010. p. 116-118. ISBN: 0-7803-8226-9.
Detail

KŘENA, B.; LETKO, Z.; UR, S.; VOJNAR, T. A Platform for Search-Based Testing of Concurrent Software. In PADTAD '10. Proceedings of the 8th Workshop on Parallel and Distributed Systems. Trento: Association for Computing Machinery, 2010. p. 48-58. ISBN: 978-1-60558-823-0.
Detail

BOZGA, M.; IOSIF, R.; KONEČNÝ, F. Fast Acceleration of Ultimately Periodic Relations. In Computer Aided Verification. Lecture Notes in Computer Science. Berlin: Springer Verlag, 2010. p. 227-242. ISBN: 978-3-642-14294-9.
Detail

BIDLO, M.; VAŠÍČEK, Z.; SLANÝ, K. Sorting Network Development Using Cellular Automata. In Evolvable Systems: From Biology to Hardware. 9th International Conference, ICES 2010, York, UK, September 6-8, 2010, Proceedings, LNCS 6274. London: Springer London, 2010. p. 85-96. ISBN: 978-3-642-15322-8.
Detail

RŮŽIČKA, R. Gracefully Degrading Circuit Controllers Based on Polytronics. In Proc. of 13th Euromicro Conference on Digital System Design. Los Alamitos: IEEE Computer Society, 2010. p. 809-812. ISBN: 978-0-7695-4171-6.
Detail

STRAKA, M. Metodika pro návrh číslicových systémů se zvýšenou spolehlivostí v obvodech FPGA. In Počítačové architektury a diagnostika 2010. Brno: Fakulta informačních technologií VUT v Brně, 2010. s. 159-164. ISBN: 978-80-214-4140-8.
Detail

LODROVÁ, D.; DVOŘÁK, R.; DRAHANSKÝ, M.; ORSÁG, F. Method for Finger Veins Detection. In Analysis of Biomedical Signals and Images. Brno: Brno University of Technology, 2010. p. 240-243. ISBN: 978-80-214-4105-7.
Detail

ŠVÉDA, M.; RYŠAVÝ, O.; MATOUŠEK, P.; RÁB, J.; ČEJKA, R. SECURITY ANALYSIS OF TCP/IP NETWORKS -- An Approach to Automatic Analysis of Network Security Properties. In Proceedings of the International Conference on Data Communication Networking ICETE-DCNET 2010. Athens: Institute for Systems and Technologies of Information, Control and Communication, 2010. p. 5-11. ISBN: 978-989-8425-25-6.
Detail

ŠIMÁČEK, J.; SEKANINA, L.; STAREČEK, L. Evolutionary Design of Reconfiguration Strategies to Reduce the Test Application Time. In Evolvable Systems: From Biology to Hardware. Lecture Notes in Computer Science. Berlin: Springer Verlag, 2010. p. 214-225. ISBN: 978-3-642-15322-8.
Detail

DVOŘÁK, R.; FIALA, J.; ZENDULKA, J.; ZBOŘIL, F. The Design of Self-Developmental Model of Atmospheric Pollutant Dispersion. In Proceedings of the 7th EUROSIM Congress on Modelling and Simulation. Praha: Czech Technical University Publishing House, 2010. p. 1-6. ISBN: 978-80-01-04589-3.
Detail

SEDLÁČKOVÁ, J.; KRESLÍKOVÁ, J. Improvement Estimation of Software by Security Factor. In Proceedings of the Work in Progress Session SEAA 2010. Linz: Johannes Kepler University Linz, 2010. p. 48-49. ISBN: 978-3-902457-27-1.
Detail

KUNOVSKÝ, J.; SEHNALOVÁ, P.; ŠÁTEK, V. Explicit and Implicit Taylor Series Based Computations. In 8th International Conference of Numerical Analysis and Applied Mathematics. Tripolis: American Institute of Physics, 2010. p. 587-590. ISBN: 978-0-7354-0831-9.
Detail

STRAKA, M.; KAŠTIL, J.; KOTÁSEK, Z. Generic Partial Dynamic Reconfiguration Controller for Fault Tolerant Designs Based on FPGA. In NORCHIP 2010. Tampere: IEEE Computer Society, 2010. p. 1-4. ISBN: 978-1-4244-8971-8.
Detail

DOLEŽEL, M.; LODROVÁ, D.; BUSCH, C.; DRAHANSKÝ, M. Fingerprint Area Detection in Fingerprint Images Based on Enhanced Gabor Filtering. In Bio-Science and Bio-Technology 2010. Jeju Island: Springer Verlag, 2010. p. 234-240. ISBN: 978-3-642-17622-7.
Detail

BARTOŠ, P. Optimalizace propojení řetězce scan po ukončení fyzického návrhu. In Počítačové architektury a diagnostika 2010. Brno: Fakulta informačních technologií VUT v Brně, 2010. s. 21-26. ISBN: 978-80-214-4140-8.
Detail

KUNOVSKÝ, J.; SEHNALOVÁ, P.; ŠÁTEK, V. Stability and Convergence of the Modern Taylor Series Method. In Proceedings of the 7th EUROSIM Congress on Modelling and Simulation. Vol. 2. Praha: Czech Technical University Publishing House, 2010. p. 56-61. ISBN: 978-80-01-04589-3.
Detail

POSPÍCHAL, P. GPU-Based Acceleration of the Genetic Algorithm. In Počítačové architektury a diagnostika 2010. Brno: Faculty of Information Technology BUT, 2010. p. 75-80. ISBN: 978-80-214-4140-8.
Detail

PUŠ, V. Optimizations of packet classification algorithms. In Počítačové architektury & diagnostika 2010. Češkovice: Faculty of Information Technology BUT, 2010. p. 153-158. ISBN: 978-80-214-4140-8.
Detail

ŽALOUDEK, L. Výpočetní systémy založené na celulárních automatech. In Počítačové architektury a diagnostika 2010. Brno: Fakulta informačních technologií VUT v Brně, 2010. s. 177-182. ISBN: 978-80-214-4140-8.
Detail

KAŠTIL, J.; KOŘENEK, J. High Speed Pattern Matching Algorithm Based on Deterministic Finite Automata with Faulty Transition Table. In Proceedings of the 6th ACM/IEEE Symposium on Architectures for Networking and Communications Systems. La Jolla: Association for Computing Machinery, 2010. p. 1-2. ISBN: 978-1-4503-0379-8.
Detail

ŠVÉDA, M.; TRCHALÍK, R. Development of Interconnecting SW for Intranets and Fieldbuses. Programmable devices and systems, 2010, vol. 2010, no. 10, p. 119-124. ISSN: 1474-6670.
Detail

KAJAN, M.; KOŘENEK, J. Efficient packet classification algorithm based on entropy. In Proceedings of the 6th ACM/IEEE Symposium on Architectures for Networking and Communications Systems. La Jolla: Association for Computing Machinery, 2010. p. 11-12. ISBN: 978-1-4503-0379-8.
Detail

KOŘENEK, J.; KOŠAŘ, V. Architektura NFA Split pro rychlé hledání regulárních výrazů. In Proceedings of the 6th ACM/IEEE Symposium on Architectures for Networking and Communications Systems. La Jolla: Association for Computing Machinery, 2010. s. 1-2. ISBN: 978-1-4503-0379-8.
Detail

VAŠÍČEK, Z. Využití a akcelerace evolučních technik pro návrh číslicových obvodů. In Počítačové architektury a diagnostika 2010. Brno: Fakulta informačních technologií VUT v Brně, 2010. s. 165-170. ISBN: 978-80-214-4140-8.
Detail

SAMEK, J.; ZBOŘIL, F.; MALAČKA, O. Event Driven Multi-context Trust Model. In Proceedings of the 10th International Conference on Intelligent Systems Design and Applications. Cairo: IEEE Computer Society, 2010. p. 911-917. ISBN: 978-1-4244-8135-4.
Detail

KUNOVSKÝ, J.; KADÁK, M.; ŠÁTEK, V. Stiffness and Algebraic Manipulations in Electronic Circuits Simulations. In Proceedings of The 2010 International Congress on Computer Applications and Computational Science. Singapore: International Research Alliance for Science and Technology, 2010. p. 529-532. ISBN: 978-981-08-6846-8.
Detail

BŘEZINOVÁ, E.; DRAHANSKÝ, M.; ORSÁG, F. Dermatologic Diseases and Fingerprint Recognition. In Database Theory and Application, Bio-Science and Bio-Technology 2010. Communications in Computer and Information Science. Berlín: Springer Verlag, 2010. p. 251-257. ISBN: 978-3-642-17621-0.
Detail

KOPŘIVA, J.; KRAUS, M. Application of the Modern Taylor Series Method to a Multi-Torsion Chain. In Proceedings of the 7th EUROSIM Congress on Modelling and Simulation. Vol. 2. Praha: Czech Technical University Publishing House, 2010. p. 100-106. ISBN: 978-80-01-04589-3.
Detail

MARVAN, A.; HÁJEK, J.; VÁŇA, J.; DVOŘÁK, R.; DRAHANSKÝ, M. Scanning and Measuring Device for Diagnostic of Barrel Bore. In Signal Processing and Multimedia 2010. Jeju Island: Springer Verlag, 2010. p. 24-29. ISBN: 978-3-642-17640-1.
Detail

ŠVÉDA, M.; VRBA, R. An Embedded Application Regarded as Cyber-Physical System. In Proceedings of the Fifth International Conference on Systems ICONS 2010. Les Menuires: IEEE Computer Society, 2010. p. 170-174. ISBN: 978-0-7695-3980-5.
Detail

KAŠTIL, J.; KOŘENEK, J. Hardware Accelerated Pattern Matching Based on Deterministic Finite Automata with Perfect Hashing. In Proceedings of the 13th IEEE International Symposium on Design and Diagnostics of Electronic Circuits and Systems DDECS 2010. Vienna: IEEE Computer Society, 2010. p. 149-152. ISBN: 978-1-4244-6610-8.
Detail

KOŘENEK, J.; KOŠAŘ, V. Efficient Mapping of Nondeterministic Automata to FPGA for Fast Regular Expression Matching. In Proceedings of the 13th IEEE International Symposium on Design and Diagnostics of Electronic Circuits and Systems DDECS 2010. Vienna: IEEE Computer Society, 2010. p. 54-59. ISBN: 978-1-4244-6610-8.
Detail

ORSÁG, F.; DRAHANSKÝ, M. Image stabilization and object tracking in a video-stream. In World and homeland security. Brno: University of Defence in Brno, 2010. p. 432-439. ISBN: 978-80-7231-728-8.
Detail

STRAKA, M.; KAŠTIL, J.; KOTÁSEK, Z. Methodology for Design of Highly Dependable Systems in FPGA. In International Scientific Conference on Computer Science and Engineering. Košice: The University of Technology Košice, 2010. p. 186-193. ISBN: 978-80-8086-164-3.
Detail

BIDLO, M.; SEKANINA, L. On Impact of Environment on the Complexity Generated by Evolutionary Development. In MENDEL 2010 - 16th International Conference on Soft Computing. Brno: Faculty of Mechanical Engineering BUT, 2010. p. 501-508. ISBN: 978-80-214-4120-0.
Detail

SAMEK, J.; ZBOŘIL, F. Hierarchical Model of Trust in Contexts. In Networked Digital Technologies. Communications in Computer and Information Science. Communications in Computer and Information Science (CCIS). Heidelberg: Springer Verlag, 2010. p. 356-365. ISBN: 978-3-642-14305-2. ISSN: 1865-0929.
Detail

POSPÍCHAL, P. GPU-Based Acceleration of the Genetic Algorithm. In Proceedings of the 16th Conference Student EEICT 2010 Volume 5. Brno: Faculty of Information Technology BUT, 2010. p. 234-238. ISBN: 978-80-214-4080-7.
Detail

KUNOVSKÝ, J.; ŠÁTEK, V.; VALENTA, V. Advanced Partial Differential Equations Solutions. In Proceedings of the 16th International Scientific and Practical Conference of Students, Post-graduates and Young Scientists, MODERN TECHNIQUE AND TECHNOLOGIES MTT 2010. Tomsk: Institute of Electrical and Electronics Engineers, 2010. p. 114-116. ISBN: 0-7803-8226-9.
Detail

KOČÍ, R.; JANOUŠEK, V. OOPN and DEVS Formalisms for System Specification and Analysis. In The Fifth International Conference on Software Engineering Advances. Los Alamitos: IEEE Computer Society, 2010. p. 305-310. ISBN: 978-0-7695-4144-0.
Detail

SAMEK, J.; ZBOŘIL, F. Algorithmic Evaluation of Trust in Multilevel Model. In Proceedings of the 7th EUROSIM Congress on Modelling and Simulation. Vol. 2. Praha: Czech Technical University Publishing House, 2010. p. 90-95. ISBN: 978-80-01-04589-3.
Detail

MALAČKA, O.; ZBOŘIL, F.; SAMEK, J. Increasing Profit in Agent Business Model with Trust. In Proceedings of the 7th EUROSIM Congress on Modelling and Simulation. Vol. 2. Praha: Czech Technical University Publishing House, 2010. p. 109-114. ISBN: 978-80-01-04589-3.
Detail

LETKO, Z. Sophisticated Testing of Concurrent Programs. In SSBSE '10. Proceedings of 2nd International Symposium on Search Based Software Engineering. Benevento: Institute of Electrical and Electronics Engineers, 2010. p. 36-40. ISBN: 978-0-7695-4195-2.
Detail

GAJDA, Z.; SEKANINA, L. An Efficient Selection Strategy for Digital Circuit Evolution. In Evolvable Systems: From Biology to Hardware. Lecture Notes in Computer Science. Berlin: Springer Verlag, 2010. p. 13-24. ISBN: 978-3-642-15322-8.
Detail

KORČEK, P. Simulácie dopravy a ich akcelerácia. In Počítačové architektury a diagnostika 2010. Brno: Department of Computer Systems FIT BUT, 2010. s. 63-68. ISBN: 978-80-214-4140-8.
Detail

KORČEK, P.; SEKANINA, L.; FUČÍK, O. Towards Scalable and Accurate Microscopic Traffic Simulation Using Advanced Cellular Automata Based Models. In Proceedings of the 13th International IEEE Conference on Intelligent Transportation Systems Workshops. Madeira Island: IEEE Intelligent Transportation Systems Society, 2010. p. 27-35. ISBN: 978-972-8822-20-0.
Detail

SAMEK, J.; ZBOŘIL, F. ContextGraph: Simulation Tool for Hierarchical Model of Trust in Context. In Proceedings of CSE 2010 International Scientific Conference on Computer Science and Engineering. Vol. 1. Košice: The University of Technology Košice, 2010. p. 265-270. ISBN: 978-80-8086-164-3.
Detail

ŠKARVADA, J.; KOTÁSEK, Z.; STRNADEL, J. The Use of Genetic Algorithm to Reduce Power Consumption during Test Application. In Evolvable Systems: From Biology to Hardware. Lecture Notes in Computer Science. Lecture Notes in Computer Science, ISSN 0302-9743, Vol. 6274. Berlin: Springer Verlag, 2010. p. 181-192. ISBN: 978-3-642-15322-8. ISSN: 0302-9743.
Detail

KOTÁSEK, Z.; ŠKARVADA, J.; STRNADEL, J. The Use of Genetic Algorithm to Derive Correlation Between Test Vector and Scan Register Sequences and Reduce Power Consumption. In Proceedings of 13th Euromicro Conference on Digital System Design Architectures, Methods and Tools. Los Alamitos: IEEE Computer Society, 2010. p. 644-651. ISBN: 978-0-7695-4171-6.
Detail

RŮŽIČKA, R. On Practical Aspects of Printable Polymer and Nanometal Logic. In Proceedings of CSE2010 - International Scientific Conference on Computer Science and Engineering. Košice: The University of Technology Košice, 2010. p. 202-207. ISBN: 978-80-8086-164-3.
Detail

ŠIMEK, V.; DVOŘÁK, R.; ZBOŘIL, F.; DRÁBEK, V. Performance Evaluation of OpenCL Framework for Numerical Solver of Advection Diffusion Equation. In Proceedings of CSE 2010 International Scientific Conference on Computer Science and Engineering. Košice: The University of Technology Košice, 2010. p. 279-286. ISBN: 978-80-8086-164-3.
Detail

KOTÁSEK, Z.; ŠKARVADA, J.; STRNADEL, J. Reduction of Power Dissipation Through Parallel Optimization of Test Vector and Scan Register Sequences. In Proceedings of the 13th IEEE International Symposium on Design and Diagnostics of Electronic Circuits and Systems. Vienna: IEEE Computer Society, 2010. p. 364-369. ISBN: 978-1-4244-6610-8.
Detail

GRÉGR, M. Portscan detection using NetFlow data. In Proceedings of the 16th Conference Student EEICT 2010 Volume 5. Brno: Faculty of Information Technology BUT, 2010. p. 229-233. ISBN: 978-80-214-4080-7.
Detail

VESELÝ, V. Security Issues of Bootstrap Router Mechanism in Protocol Independent Multicast. In Proceedings of the 16th Conference Student EEICT 2010 Volume 5. Brno: Faculty of Information Technology BUT, 2010. p. 239-243. ISBN: 978-80-214-4080-7.
Detail

ŽÁDNÍK, M. Optimalizace sledování síťových toků. In Počítačové architektury & diagnostika 2010. Brno: Fakulta informačních technologií VUT v Brně, 2010. s. 171-176. ISBN: 978-80-214-4140-8.
Detail

SEDLÁČKOVÁ, J.; KRESLÍKOVÁ, J. SAFETY FACTORS IN EFFORT ESTIMATION. In Information Systems Architecture and Technology - IT Models in Management Process. Wroclaw: Wroclaw University of Technology, 2010. p. 475-485. ISBN: 978-83-7493-544-9.
Detail

SMRČKA, A. Verification of Asynchronous and Parametrized Hardware Designs. Information Sciences and Technologies Bulletin of the ACM Slovakia, 2010, vol. 2, no. 2, p. 60-69. ISSN: 1338-1237.
Detail

KOŘENEK, J. Fast Regular Expression Matching Using FPGA. Information Sciences and Technologies Bulletin of the ACM Slovakia, 2010, vol. 2, no. 2, p. 103-111. ISSN: 1338-1237.
Detail

HANÁČEK, P.; DRAHANSKÝ, M.; ORSÁG, F. Angriffe auf sichere Hardwarelösungen. Die Datenschleuder, 2010, roč. 2010, č. 94, s. 12-14. ISSN: 0930-1054.
Detail

SEDLÁČKOVÁ, J.; KRESLÍKOVÁ, J. Improvement of Function Point Analysis by Security Factor. Procesný manažér, 2010, vol. 5, no. 8, p. 4-8. ISSN: 1336-8680.
Detail

ŽALOUDEK, L.; SEKANINA, L.; ŠIMEK, V. Accelerating Cellular Automata Evolution on Graphics Processing Units. International Journal on Advances in Software, 2010, vol. 3, no. 1, p. 294-303. ISSN: 1942-2628.
Detail

DVOŘÁK, V.; MIKUŠEK, P. Design of Arbiters and Allocators Based on Multi-Terminal BDDs. Journal of Universal Computer Science, 2010, vol. 16, no. 14, p. 1826-1852. ISSN: 0948-6968.
Detail

STRNADEL, J. Návrh časově kritických systémů I: specifikace a verifikace. Automa, 2010, roč. 2010, č. 10, s. 42-44. ISSN: 1210-9592.
Detail

DRAHANSKÝ, M.; BŘEZINOVÁ, E.; ORSÁG, F.; LODROVÁ, D. Dermatologické faktory ovlivňující snímání otisků prstů pro biometrické účely. Kriminalistika, 2010, roč. 43, č. 3, s. 196-206. ISSN: 1210-9150.
Detail

DRAHANSKÝ, M.; LODROVÁ, D. New Experiments with Optical Liveness Testing Methods. Journal of Information Hiding and Multimedia Signal Processing, 2010, vol. 1, no. 4, p. 301-309. ISSN: 2073-4212.
Detail

VAŠÍČEK, Z.; SEKANINA, L. Hardware Accelerator of Cartesian Genetic Programming with Multiple Fitness Units. Computing and Informatics, 2010, vol. 29, no. 6, p. 1359-1371. ISSN: 1335-9150.
Detail

STRNADEL, J. Návrh časově kritických systémů II: úlohy reálného času. Automa, 2010, roč. 2010, č. 12, s. 18-19. ISSN: 1210-9592.
Detail

DOLEŽEL, M.; LODROVÁ, D.; BUSCH, C.; DRAHANSKÝ, M. Segmentation Procedure for Fingerprint Area Detection in Image Based on Enhanced Gabor Filtering. International Journal of Bio-Science and Bio-Technology, 2010, vol. 2010, no. 3, p. 39-50. ISSN: 1976-118X.
Detail

DRAHANSKÝ, M.; BŘEZINOVÁ, E.; LODROVÁ, D.; ORSÁG, F. Fingerprint Recognition Influenced by Skin Diseases. International Journal of Bio-Science and Bio-Technology, 2010, vol. 3, no. 4, p. 11-22. ISSN: 1976-118X.
Detail

KOVÁROVÁ, A.; SZALAYOVÁ, L. Semantics in the field of widgets: a case study in public transportation departure notifications. In Semantics in Adaptive and Personalized Services. Studies in Computational Intelligence. Berlín: Springer Verlag, 2010. p. 93-107. ISBN: 978-3-642-11683-4.
Detail

JAROŠ, J. Evolutionary Design of Collective Communications on Wormhole Networks. Brno: Publishing house of Brno University of Technology VUTIUM, 2010. 183 p. ISBN: 978-80-214-4208-5.
Detail

SMRČKA, A.; VOJNAR, T. Verification of Asynchronous and Parametrized Hardware Designs. FIT Monograph. FIT Monograph. Brno: Faculty of Information Technology BUT, 2010. 115 p. ISBN: 978-80-214-4214-6.
Detail

DRAHANSKÝ, M. Biometric Cryptography Based on Fingerprints. Saarbrücken: Lambert Academic Publishing, 2010. 152 p. ISBN: 978-3-8383-6361-5.
Detail

DRAHANSKÝ, M.; ORSÁG, F.; DVOŘÁK, R.; HÁJEK, J.; VÁŇA, J.; HERMAN, D.; KNĚŽÍK, J.; MARVAN, A.; LODROVÁ, D.; DOLEŽEL, M.; HANÁČEK, P.; MRÁČEK, Š.; STRUŽKA, J. Biometrie. Brno: Computer Press, s.r.o, 2011. 294 s. ISBN: 978-80-254-8979-6.
Detail

DRAHANSKÝ, M.; SEMERÁK, V. Rozpoznávání cílů v terči. In Signal Processing and Multimedia 2010. Jeju Island: Springer Verlag, 2010. s. 30-34. ISBN: 978-3-642-17640-1.
Detail

JAROŠ, J.; DVOŘÁK, V. Optimizing Collective Communications on the K-port Spidergon Network. In Proceedings of the Sixth International Conference on Systems, ICONS 2011. St. Maarten: International Academy, Research, and Industry Association, 2011. p. 24-29. ISBN: 978-1-61208-002-4.
Detail

STRAKA, M.; KAŠTIL, J.; NOVOTNÝ, J.; KOTÁSEK, Z. Advanced Fault Tolerant Bus for Multicore System Implemented in FPGA. In IEEE Design and Diagnostics of Electronic Circuits and Systems DDECS'2011. Cottbus: IEEE Computer Society, 2011. p. 397-398. ISBN: 978-1-4244-9753-9.
Detail

STRNADEL, J. Návrh časově kritických systémů III: priorita úloh. Automa, 2011, roč. 2011, č. 2, s. 50-52. ISSN: 1210-9592.
Detail

VOJNAR, T.; IOSIF, R.; HABERMEHL, P.; BOUAJJANI, A.; BOZGA, M.; MORO, P. Programs with Lists are Counter Automata. FORMAL METHODS IN SYSTEM DESIGN, 2011, vol. 38, no. 2, p. 158-192. ISSN: 0925-9856.
Detail

BARTOŠ, P.; KOTÁSEK, Z.; DOHNAL, J. Decreasing Test Time by Scan Chain Reorganization. In IEEE Design and Diagnostics of Electronic Circuits and Systems DDECS'2011. Cottbus: IEEE Computer Society, 2011. p. 371-374. ISBN: 978-1-4244-9753-9.
Detail

STRAKA, M.; KAŠTIL, J.; KOTÁSEK, Z. SEU Simulation Framework for Xilinx FPGA: First Step Towards Testing Fault Tolerant Systems. In 14th EUROMICRO Conference on Digital System Design. Oulu: IEEE Computer Society, 2011. p. 223-230. ISBN: 978-0-7695-4494-6.
Detail

GAJDA, Z.; SEKANINA, L. On Evolutionary Synthesis of Compact Polymorphic Combinational Circuits. JOURNAL OF MULTIPLE-VALUED LOGIC AND SOFT COMPUTING, 2011, vol. 17, no. 6, p. 607-631. ISSN: 1542-3980.
Detail

HORÁČEK, J.; ZBOŘIL, F. Secured Agent Platform for Wireless Sensor Networks. Lecture Notes in Computer Science, 2011, vol. 2011, no. 4, p. 476-485. ISSN: 0302-9743.
Detail

STRNADEL, J. Návrh časově kritických systémů IV: realizace prostředky RTOS. Automa, 2011, roč. 2011, č. 4, s. 58-60. ISSN: 1210-9592.
Detail

MALINKA, K.; HANÁČEK, P.; TRZOS, M. Evaluation of Biometric Authentication Based on Visual Evoked Potentials. In Proceedings 45th International Carnahan Conference on Security Technology. Piscataway: Institute of Electrical and Electronics Engineers, 2011. p. 13-19. ISBN: 978-1-4577-0901-2.
Detail

SCHWARZ, J.; POSPÍCHAL, P. Optimizing Code for Graphics Processing Units. In Počítačové architektury a diagnostika 2011. Bratislava: Slovak University of Technology in Bratislava, 2011. p. 79-84. ISBN: 978-80-227-3552-0.
Detail

POSPÍCHAL, P.; SCHWARZ, J.; JAROŠ, J. Acceleration of grammatical evolution using graphics processing units: computational intelligence on consumer games and graphics hardware. In Proceedings of the 2011 GECCO conference companion on Genetic and evolutionary computation. New York: Association for Computing Machinery, 2011. p. 431-439. ISBN: 978-1-4503-0690-4.
Detail

SEKANINA, L.; KOMENDA, T. Global Control in Polymorphic Cellular Automata. Journal of Cellular Automata, 2011, vol. 6, no. 4, p. 301-321. ISSN: 1557-5969.
Detail

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

MALINKA, K.; HANÁČEK, P. Computational Social Networks - Security and Privacy. In Computational Social Networks - Security and Privacy. London: Springer London, 2012. p. 311-340. ISBN: 978-1-4471-4050-4.
Detail

MARVAN, A.; DRAHANSKÝ, M.; ORSÁG, F.; Vysoké učení technické v Brně: Robot pro soutěž MiniSumo. 34931, průmyslový vzor. Česká republika (2010)
Detail

DUDKA, V.; FIEDOR, J.; KŘENA, B.; LETKO, Z.; VOJNAR, T.: RecRev; Replay Tracer & BMC. http://www.fit.vutbr.cz/research/groups/verifit/tools/RecRev. URL: http://www.fit.vutbr.cz/research/groups/verifit/tools/RecRev. (software)
Detail

HORÁČEK, J.; ZBOŘIL, F.: WSageNt; WSageNt. http://www.fit.vutbr.cz/~ihoracek/WSageNt. URL: http://www.fit.vutbr.cz/~ihoracek/WSageNt. (software)
Detail

ZBOŘIL, F.; HORÁČEK, J.; SAMEK, J.: T-Mass; T-Mass(X), A Tool for Multi-agent System Simulation. http://www.fit.vutbr.cz/~zborilf/tmass. URL: http://www.fit.vutbr.cz/~zborilf/tmass. (software)
Detail

LETKO, Z.; VOJNAR, T.; KŘENA, B.: SearchBestie; Search-based Testing Environment (SearchBestie). http://www.fit.vutbr.cz/research/groups/verifit/tools/SearchBestie. URL: http://www.fit.vutbr.cz/research/groups/verifit/tools/SearchBestie. (software)
Detail

DUDKA, K.; PERINGER, P.; VOJNAR, T.: code-listener; An Easy to Use Infrastructure for Building Static Analysis Tools.    - http://www.fit.vutbr.cz/research/groups/verifit/tools/code-listener. URL: https://www.fit.vut.cz/research/product/150/. (software)
Detail

FIEDOR, J.; GACH, M.; ČEŠKA, M.: zetav; Tool for verification of systems specified in RT-Logic language. http://www.fit.vutbr.cz/research/groups/verifit/tools/zetav. URL: http://www.fit.vutbr.cz/research/groups/verifit/tools/zetav. (software)
Detail

GACH, M.; FIEDOR, J.; ČEŠKA, M.: verif; Tool for verification of systems described using the Modechart formalism. http://www.fit.vutbr.cz/research/groups/verifit/tools/verif. URL: http://www.fit.vutbr.cz/research/groups/verifit/tools/verif. (software)
Detail

ŠIMÁČEK, J.; HOLÍK, L.; ROGALEWICZ, A.; VOJNAR, T.; HABERMEHL, P.: fapointers; Forester: A Tool for Verification of Programs with Pointers. Nástroj i dokumentaci lze získat na URL: http://www.fit.vutbr.cz/research/groups/verifit/tools/forester/. URL: https://www.fit.vut.cz/research/product/142/. (software)
Detail

DUDKA, K.; PERINGER, P.; VOJNAR, T.: predator; Predator: A Tool for Checking Manipulation of Dynamic Data Structures Using Separation Logic.    - http://www.fit.vutbr.cz/research/groups/verifit/tools/predator. URL: https://www.fit.vut.cz/research/product/149/. (software)
Detail

DOLEŽEL, M.: GSEGMENTATOR; GSegmentator. Projekt: http://www.gsegmentator.wz.cz. URL: https://www.fit.vut.cz/research/product/156/. (software)
Detail

SAMEK, J.; ZBOŘIL, F.; MALAČKA, O.: ContextGraph; ContextGraph: Simulation tool for Hierarchical Model of Trust In Contexts. http://www.fit.vutbr.cz/~samejan/ContextGraph/. URL: http://www.fit.vutbr.cz/~samejan/ContextGraph/. (software)
Detail

JAROŠ, J.: EvoCCs; EvoCCs - Tool for evolutionary design of broadcast and scatter based collective communications on wormhole networks. viz. níže. URL: https://www.fit.vut.cz/research/product/173/. (software)
Detail

LENGÁL, O.; HOLÍK, L.; VOJNAR, T.: libSFTA; libSFTA: A Semi-symbolic Nondeterministic Finite Tree Automata Library Prototype. https://github.com/ondrik/libsfta. URL: https://github.com/ondrik/libsfta. (software)
Detail