Ing. Jan Kaštil

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

Hlavní řešitel:Sekanina Lukáš
Spoluřešitelé:Bartoš Pavel, Češka Milan, Drábek Vladimír, Drahanský Martin, Dudka Kamil, Dvořák Radim, Dvořák Václav, Fiedor Jan, Gach Marek, Grégr Matěj, Holík Lukáš, Hrubý Martin, Hýsek Jiří, Janoušek Vladimír, Kajan Michal, Kaštil Jan, Kaštovský Petr, Kočí Radek, Konečný Filip, Korček Pavol, Kořenek Jan, Kraus Michal, Kreslíková Jitka, Křena Bohuslav, Křivánek Jan, Kunovský Jiří, Letko Zdeněk, Malinka Kamil, Martínek Tomáš, Matoušek Petr, Michlovský Zbyněk, Mikušek Petr, Nagy Jan, Orság Filip, Peterka Ondřej, Polóni Pavol, Pospíchal Petr, Puš Viktor, Ráb Jaroslav, Růžička Richard, Ryšavý Ondřej, Samek Jan, Sedláčková Jana (FIT VUT), Sehnalová Pavla, Schäfer Jiří, Schwarz Josef, Slaný Karel, Slinták Jiří, Straka Martin, Strnadel Josef, Svojanovský Petr, Šátek Václav, Šimáček Jiří, Šimek Václav, Švéda Miroslav, Trchalík Roman, Vašíček Zdeněk, Veselý Vladimír, Vojnar Tomáš, Zadina Martin, Zbořil František, Zbořil František V., Žádník Martin, Žaloudek Luděk
Agentura:VUT v Brně
Kód:FIT-S-10-1
Začátek:2010
Konec:2010
Anotace:
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 HS/SW systémů.

Produkty

2010ContextGraph: Simulační nástroj pro hierarchický model důvěry s kontexty, software, 2010
Autoři: Samek Jan, Zbořil František, Malačka Ondřej
 EvoCCs - Nástroj pro evoluční návrh kolektivních komunikací na červích sítích, software, 2010
Autoři: Jaroš Jiří
 Forester: Nástroj pro verifikaci programů s ukazateli, software, 2010
Autoři: Habermehl Peter, Holík Lukáš, Rogalewicz Adam, Šimáček Jiří, Vojnar Tomáš
 GSegmentator, software, 2010
Autoři: Doležel Michal
 libSFTA: Prototyp knihovny pro efektivní práci se semi-symbolicky reprezentovanými nedeterministickými stromovými automaty, software, 2010
Autoři: Holík Lukáš, Lengál Ondřej, Vojnar Tomáš
 Nástroj pro přehrávání běhu programu (Replay Tracer & BMC), software, 2010
Autoři: Fiedor Jan, Hrubá Vendula, Křena Bohuslav, Letko Zdeněk, Vojnar Tomáš
 Nástroj pro verifikaci systémů popsaných formalismem Modechart, software, 2010
Autoři: Gach Marek, Fiedor Jan, Češka Milan
 Nástroj pro verifikaci systémů specifikovaných jazykem RT-Logiky, software, 2010
Autoři: Fiedor Jan, Gach Marek, Češka Milan
 Predator: Nástroj pro ověřování manipulace s dynamickými datovými strukturami založený na separační logice, software, 2010
Autoři: Dudka Kamil, Peringer Petr, Vojnar Tomáš
 Snadno použitelná infrastruktura pro výstavbu nástrojů na statickou analýzu, software, 2010
Autoři: Dudka Kamil, Peringer Petr, Vojnar Tomáš
 Testovací prostředí využívající techniky prohledávání prostoru (SearchBestie), software, 2010
Autoři: Letko Zdeněk, Vojnar Tomáš, Křena Bohuslav
 T-Mass(X), Nástroj pro provádění multiagentních simulačních modelů, software, 2010
Autoři: Zbořil František, Horáček Jan, Samek Jan
 WSageNt, software, 2010
Autoři: Horáček Jan, Zbořil František

Publikace

2013DE Silva Gayan, RYŠAVÝ Ondřej, MATOUŠEK Petr a ŠVÉDA Miroslav. On Formal Reachability Analysis in Networks with Dynamic Behavior. Telecommunication Systems. New York: Springer US, 2013, roč. 52, č. 2, s. 919-929. ISSN 1018-4864.
2012MALINKA Kamil a HANÁČEK Petr. Computational Social Networks - Security and Privacy. Computational Social Networks - Security and Privacy. London: Springer London, 2012, s. 311-340. ISBN 978-1-4471-4050-4.
 ŠÁTEK Václav. Analýza stiff soustav diferenciálních rovnic. Brno: Ústav inteligentních systémů FIT VUT v Brně, 2012.
2011BARTOŠ Pavel, KOTÁSEK Zdeněk a DOHNAL Jan. Decreasing Test Time by Scan Chain Reorganization. In: IEEE Design and Diagnostics of Electronic Circuits and Systems DDECS'2011. Cottbus: IEEE Computer Society, 2011, s. 371-374. ISBN 978-1-4244-9753-9.
 BARTOŠ Pavel. Test Time Reduction by Scan Chain Reordering. In: Proceedings of the 17th Conference STUDENT EEICT 2011. Brno: Fakulta elektrotechniky a komunikačních technologií VUT v Brně, 2011, s. 564-568. ISBN 978-80-214-4273-3.
 BOUAJJANI Ahmed, BOZGA Marius, HABERMEHL Peter, IOSIF Radu, MORO Pierre a VOJNAR Tomáš. Programs with Lists are Counter Automata. Formal Methods in System Design. Berlin: Springer Verlag, 2011, roč. 38, č. 2, s. 158-192. ISSN 0925-9856.
 DRAHANSKÝ Martin, ORSÁG Filip a DOLEŽEL Michal et al. Biometrie. Brno: Computer Press, s.r.o, 2011. ISBN 978-80-254-8979-6.
 GAJDA Zbyšek a SEKANINA Lukáš. On Evolutionary Synthesis of Compact Polymorphic Combinational Circuits. Journal of Multiple-Valued Logic and Soft Computing. Philadelphia: Old City Publishing, Inc., 2011, roč. 17, č. 6, s. 607-631. ISSN 1542-3980.
 HOLÍK Lukáš. Simulations and Antichains for Efficient Handling of Finite Automata. Brno: Ústav inteligentních systémů FIT VUT v Brně, 2011.
 HORÁČEK Jan a ZBOŘIL František. Secured Agent Platform for Wireless Sensor Networks. Lecture Notes in Computer Science. 2011, roč. 2011, č. 4, s. 476-485. ISBN 978-3-642-20038-0. ISSN 0302-9743.
 JAROŠ Jiří a DVOŘÁK Václav. Optimizing Collective Communications on the K-port Spidergon Network. In: Proceedings of the Sixth International Conference on Systems, ICONS 2011. St. Maarten: Mezinárodní asociace univerzit, výzkumu a průmyslu, 2011, s. 24-29. ISBN 978-1-61208-002-4.
 MALINKA Kamil, HANÁČEK Petr a TRZOS Michal. 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, s. 13-19. ISBN 978-1-4577-0901-2.
 POSPÍCHAL Petr, JAROŠ Jiří a SCHWARZ Josef. Acceleration of Grammatical Evolution Using Graphics Processing Units. In: Proceedings of the 2011 GECCO conference companion on Genetic and evolutionary computation. New York: Association for Computing Machinery, 2011, s. 431-439. ISBN 978-1-4503-0690-4.
 SCHWARZ Josef a POSPÍCHAL Petr. Optimizing Code For Graphics Processing Units. In: Počítačové architektury a diagnostika 2011. Bratislava: Slovenská technická univerzita v Bratislavě, 2011, s. 79-84. ISBN 978-80-227-3552-0.
 SEKANINA Lukáš a KOMENDA Tomáš. Global Control in Polymorphic Cellular Automata. Journal of Cellular Automata. Philadelphia: Old City Publishing, Inc., 2011, roč. 6, č. 4, s. 301-321. ISSN 1557-5969.
 STRAKA Martin, KAŠTIL Jan a KOTÁSEK Zdeněk. 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, s. 223-230. ISBN 978-0-7695-4494-6.
 STRAKA Martin, KAŠTIL Jan, NOVOTNÝ Jaroslav a KOTÁSEK Zdeněk. 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, s. 397-398. ISBN 978-1-4244-9753-9.
 STRNADEL Josef. Návrh časově kritických systémů III: priorita úloh. Automa. 2011, roč. 2011, č. 2, s. 50-52. ISSN 1210-9592.
 STRNADEL Josef. Návrh časově kritických systémů IV: realizace prostředky RTOS. Automa. 2011, roč. 2011, č. 4, s. 58-60. ISSN 1210-9592.
2010ABDULLA Parosh A., CLEMENTE Lorenzo, HOLÍK Lukáš, HONG Chih-Duo, CHEN Yu-Fang, MAYR Richard a VOJNAR Tomáš. Simulation Subsumption in Ramsey-based Büchi Automata Universality and Inclusion Testing. FIT-TR-2010-02, Brno: Fakulta informačních technologií VUT v Brně, 2010.
 ABDULLA Parosh A., CLEMENTE Lorenzo, HOLÍK Lukáš, HONG Chih-Duo, CHEN Yu-Fang, MAYR Richard a VOJNAR Tomáš. Simulation Subsumption in Ramsey-Based Büchi Automata Universality and Inclusion Testing. In: Computer Aided Verification. Berlín: Springer Verlag, 2010, s. 132-147. ISBN 978-3-642-14294-9.
 ABDULLA Parosh A., HOLÍK Lukáš, CHEN Yu-Fang, MAYR Richard a VOJNAR Tomáš. When Simulation Meets Antichains (On Checking Language Inclusion of Nondeterministic Finite (Tree) Automata). In: Tools and Algorithms for the Construction and Analysis of Systems. Berlín: Springer Verlag, 2010, s. 158-174. ISBN 978-3-642-12001-5.
 BARTOŠ Pavel. 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.
 BIDLO Michal a SEKANINA Lukáš. On Impact of Environment on the Complexity Generated by Evolutionary Development. In: MENDEL 2010 - 16th International Conference on Soft Computing. Brno: Fakulta strojního inženýrství VUT, 2010, s. 501-508. ISBN 978-80-214-4120-0.
 BIDLO Michal, SLANÝ Karel a VAŠÍČEK Zdeněk. Sorting Network Development Using Cellular Automata. In: Evolvable Systems: From Biology to Hardware. London: Springer London, 2010, s. 85-96. ISBN 978-3-642-15322-8.
 BOZGA Marius, IOSIF Radu a KONEČNÝ Filip. Fast Acceleration of Ultimately Periodic Relations. In: Computer Aided Verification. Berlin: Springer Verlag, 2010, s. 227-242. ISBN 978-3-642-14294-9.
 BŘEZINOVÁ Eva, DRAHANSKÝ Martin a ORSÁG Filip. Dermatologic Diseases and Fingerprint Recognition. In: Database Theory and Application, Bio-Science and Bio-Technology 2010. Berlín: Springer Verlag, 2010, s. 251-257. ISBN 978-3-642-17621-0.
 DE Silva Gayan, MATOUŠEK Petr, RYŠAVÝ Ondřej a ŠVÉDA Miroslav. 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, s. 545-551. ISBN 978-1-4244-7285-7.
 DOLEŽEL Michal, LODROVÁ Dana, BUSCH Christoph a DRAHANSKÝ Martin. Fingerprint Area Detection in Fingerprint Images Based on Enhanced Gabor Filtering. In: Bio-Science and Bio-Technology 2010. Jeju Island: Springer Verlag, 2010, s. 234-240. ISBN 978-3-642-17622-7.
 DOLEŽEL Michal, LODROVÁ Dana, BUSCH Christoph a DRAHANSKÝ Martin. Segmentation Procedure for Fingerprint Area Detection in Image Based on Enhanced Gabor Filtering. International Journal of Bio-Science and Bio-Technology. Daedoek: Středisko pro podporu vědy a technického výzkumu, 2010, roč. 2010, č. 3, s. 39-50. ISSN 1976-118X.
 DRAHANSKÝ Martin a LODROVÁ Dana. New Experiments with Optical Liveness Testing Methods. Journal of Information Hiding and Multimedia Signal Processing. 2010, roč. 1, č. 4, s. 301-309. ISSN 2073-4212.
 DRAHANSKÝ Martin a SEMERÁK Vojtěch. 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.
 DRAHANSKÝ Martin, BŘEZINOVÁ Eva, LODROVÁ Dana a ORSÁG Filip. Fingerprint Recognition Influenced by Skin Diseases. International Journal of Bio-Science and Bio-Technology. Daedoek: Středisko pro podporu vědy a technického výzkumu, 2010, roč. 3, č. 4, s. 11-22. ISSN 1976-118X.
 DRAHANSKÝ Martin, BŘEZINOVÁ Eva, ORSÁG Filip a LODROVÁ Dana. Dermatologické faktory ovlivňující snímání otisků prstů pro biometrické účely. Kriminalistika. Praha: Ministerstvo vnitra České Republiky, 2010, roč. 43, č. 3, s. 196-206. ISSN 1210-9150.
 DRAHANSKÝ Martin. Biometric Cryptography Based on Fingerprints. Saarbrücken: Lambert Academic Publishing, 2010. ISBN 978-3-8383-6361-5.
 DRAHANSKÝ Martin. Intelligent Houses - Secure Wireless Sensor Networks. Daejeon, 2010.
 DVOŘÁK Radim, KRAJÍČEK Jiří, ZENDULKA Jaroslav a ZBOŘIL František V. The Design of Self-Developmental Model of Atmospheric Pollutant Dispersion. In: Proceedings of the 7th EUROSIM Congress on Modelling and Simulation. Praha: Vydavatelství ČVUT, 2010, s. 6. ISBN 978-80-01-04589-3.
 DVOŘÁK Radim, LODROVÁ Dana, DITTRICH Petr, VÁŇA Jan a DRAHANSKÝ Martin. Research in the area of biometric systems - liveness detection; recognition of 3D hand, finger veins and thermofaces. In: World and homeland security. Brno: Universita Obrany v Brně, 2010, s. 143-152. ISBN 978-80-7231-728-8.
 DVOŘÁK Václav a MIKUŠEK Petr. Design of Arbiters and Allocators Based on Multi-Terminal BDDs. Journal of Universal Computer Science. 2010, roč. 16, č. 14, s. 1826-1852. ISSN 0948-6968.
 FIEDOR Jan, KŘENA Bohuslav, LETKO Zdeněk a VOJNAR Tomáš. A Uniform Classification of Common Concurrency Errors. FIT-TR-2010-03, Brno, 2010.
 GAJDA Zbyšek a SEKANINA Lukáš. An Efficient Selection Strategy for Digital Circuit Evolution. In: Evolvable Systems: From Biology to Hardware. Berlin: Springer Verlag, 2010, s. 13-24. ISBN 978-3-642-15322-8.
 GRÉGR Matěj. Portscan detection using NetFlow data. In: Proceedings of the 16th Conference Student EEICT 2010 Volume 5. Brno: Fakulta informačních technologií VUT v Brně, 2010, s. 229-233. ISBN 978-80-214-4080-7.
 HANÁČEK Petr, DRAHANSKÝ Martin a ORSÁG Filip. Angriffe auf sichere Hardwarelösungen. Die Datenschleuder. Hamburg: Chaos Computer Club, 2010, roč. 2010, č. 94, s. 12-14. ISSN 0930-1054.
 HERMAN David, NAJVÁREK Jan, ONDRÁČEK Tomáš, ORSÁG Filip a DRAHANSKÝ Martin. Robot pro Robotour 2010. In: Proceedings of the 5th Robotour Workshop. Bratislava, 2010, s. 33-37.
 HORÁČEK Jan a ZBOŘIL František. WSageNt: A case study. In: Proceedings of CSE 2010 International Scientific Conference on Computer Science and Engineering. Košice: Technická univerzita v Košiciach, 2010, s. 258-264. ISBN 978-80-8086-164-3.
 JAROŠ Jiří a DVOŘÁK Václav. 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, s. 1171-1178. ISBN 978-1-4503-0072-8.
 JAROŠ Jiří. Evolutionary Design of Collective Communications on Wormhole Networks. Brno: Ústav počítačových systémů FIT VUT v Brně, 2010.
 JAROŠ Jiří. Evolutionary Design of Collective Communications on Wormhole Networks. Brno: Nakladatelství Vysokého učení technického v Brně VUTIUM, 2010. ISBN 978-80-214-4208-5.
 KADÁK Michal, KUNOVSKÝ Jiří a ŠÁTEK Václav. 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, s. 116-118. ISBN 0-7803-8226-9.
 KADÁK Michal, KUNOVSKÝ Jiří a ŠÁTEK Václav. 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, s. 4. ISBN 978-981-08-6846-8.
 KAJAN Michal a KOŘENEK Jan. 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, s. 11-12. ISBN 978-1-4503-0379-8.
 KAŠTIL Jan a KOŘENEK Jan. 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, s. 149-152. ISBN 978-1-4244-6610-8.
 KAŠTIL Jan a KOŘENEK Jan. 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, s. 2. ISBN 978-1-4503-0379-8.
 KAŠTIL Jan. Vysokorychlostní vyhledávání regulárních výrazů v síťových tocích. In: Počítačové architektury a diagnostika 2010. Brno: Fakulta informačních technologií VUT v Brně, 2010, s. 109-114. ISBN 978-80-214-4140-8.
 KOPŘIVA Jan a KRAUS Michal. Application of the Modern Taylor Series Method to a Multi-Torsion Chain. In: Proceedings of the 7th EUROSIM Congress on Modelling and Simulation. Praha: Vydavatelství ČVUT, 2010, s. 100-106. ISBN 978-80-01-04589-3.
 KORČEK Pavol, SEKANINA Lukáš a FUČÍK Otto. 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, s. 27-35. ISBN 978-972-8822-20-0.
 KORČEK Pavol. Simulácie dopravy a ich akcelerácia. In: Počítačové architektury a diagnostika 2010. Brno: Ústav počítačových systémů FIT VUT v Brně, 2010, s. 63-68. ISBN 978-80-214-4140-8.
 KOTÁSEK Zdeněk, ŠKARVADA Jaroslav a STRNADEL Josef. 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, s. 364-369. ISBN 978-1-4244-6610-8.
 KOTÁSEK Zdeněk, ŠKARVADA Jaroslav a STRNADEL Josef. 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, s. 644-651. ISBN 978-0-7695-4171-6.
 KOVÁROVÁ Alena a SZALAYOVÁ Lucia. Semantics in the field of widgets: a case study in public transportation departure notifications. Semantics in Adaptive and Personalized Services. Berlín: Springer Verlag, 2010, s. 93-107. ISBN 978-3-642-11683-4.
 KOČÍ Radek a JANOUŠEK Vladimír. OOPN and DEVS Formalisms for System Specification and Analysis. In: The Fifth International Conference on Software Engineering Advances. Los Alamitos: IEEE Computer Society, 2010, s. 305-310. ISBN 978-0-7695-4144-0.
 KOČÍ Radek, ZBOŘIL František a ŽÁK Jakub. 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, s. 658-663. ISBN 978-1-4244-8135-4.
 KOŘENEK Jan a KOŠAŘ Vlastimil. 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. 2. ISBN 978-1-4503-0379-8.
 KOŘENEK Jan a KOŠAŘ Vlastimil. 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, s. 6. ISBN 978-1-4244-6610-8.
 KOŘENEK Jan. Rychlé vyhledávání regulárních výrazů s využitím technologie FPGA. Brno: Ústav počítačových systémů FIT VUT v Brně, 2010.
 KOŘENEK Jan. Fast Regular Expression Matching Using FPGA. Information Sciences and Technologies Bulletin of the ACM Slovakia. Bratislava: Vydavateľstvo STU, 2010, roč. 2, č. 2, s. 103-111. ISSN 1338-1237.
 KRESLÍKOVÁ Jitka a SEDLÁČKOVÁ Jana. SECURITY FACTORS IN EFFORT ESTIMATION. In: Information Systems Architecture and Technology - IT Models in Management Process. Wroclaw: Politechnika Wrocławska, 2010, s. 11. ISBN 978-83-7493-544-9.
 KUNOVSKÝ Jiří, SEHNALOVÁ Pavla a ŠÁTEK Václav. Explicit and Implicit Taylor Series Based Computations. In: 8th International Conference of Numerical Analysis and Applied Mathematics. Tripolis: American Institute of Physics, 2010, s. 587-590. ISBN 978-0-7354-0831-9.
 KUNOVSKÝ Jiří, SEHNALOVÁ Pavla a ŠÁTEK Václav. Stability and Convergence of the Modern Taylor Series Method. In: Proceedings of the 7th EUROSIM Congress on Modelling and Simulation. Praha: Vydavatelství ČVUT, 2010, s. 6. ISBN 978-80-01-04589-3.
 KUNOVSKÝ Jiří, SZÖLLÖS Alexandr a ŠÁTEK Václav. TKSL and Wave Partial Differential Equation. In: Proceeding of the 11th International Scientific Conference Electric Power Engineering 2010. Brno: Fakulta elektrotechniky a komunikačních technologií VUT v Brně, 2010, s. 201-205. ISBN 978-80-214-4094-4.
 KUNOVSKÝ Jiří, ŠÁTEK Václav a VALENTA Václav. 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, s. 114-116. ISBN 0-7803-8226-9.
 KVĚTOŇOVÁ Šárka a KACINA Michal. Model of Game Industry. In: Proceedings of Th Seventh EUROSIM Congress on Modelling and Simulation. Prague: Vydavatelství ČVUT, 2010, s. 1-6. ISBN 978-80-01-04589-3.
 KVĚTOŇOVÁ Šárka a KACINA Michal. 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, s. 1-12. ISBN 978-961-92917-0-2.
 KVĚTOŇOVÁ Šárka a KOLÁŘ Dušan. 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, s. 1-12. ISBN 978-1-905088-39-3.
 KŘENA Bohuslav, LETKO Zdeněk, UR Shmuel a VOJNAR Tomáš. A Platform for Search-Based Testing of Concurrent Software. In: PADTAD '10. Trento: Association for Computing Machinery, 2010, s. 11. ISBN 978-1-60558-823-0.
 KŘENA Bohuslav, LETKO Zdeněk, VOJNAR Tomáš a UR Shmuel. A Platform for Search-Based Testing of Concurrent Software. 6th Doctoral Workshop on Mathematical and Engineering Methods in Computer Science. Brno: Masarykova universita, 2010. ISBN 978-80-87342-10-7.
 LETKO Zdeněk. Sophisticated Testing of Concurrent Software. In: SSBSE '10. Benevento: Institute of Electrical and Electronics Engineers, 2010, s. 36-40. ISBN 978-0-7695-4195-2.
 LODROVÁ Dana, DVOŘÁK Radim, DRAHANSKÝ Martin a ORSÁG Filip. Method for Finger Veins Detection. In: Analysis of Biomedical Signals and Images. Brno: Vysoké učení technické v Brně, 2010, s. 240-243. ISBN 978-80-214-4105-7.
 MALAČKA Ondřej, SAMEK Jan a ZBOŘIL František. Increasing Profit in Agent Business Model with Trust. In: Proceedings of the 7th EUROSIM Congress on Modelling and Simulation. Praha: Vydavatelství ČVUT, 2010, s. 6. ISBN 978-80-01-04589-3.
 MARVAN Aleš, HÁJEK Josef, VÁŇA Jan, DVOŘÁK Radim a DRAHANSKÝ Martin. Scanning and Measuring Device for Diagnostic of Barrel Bore. In: Signal Processing and Multimedia 2010. Jeju Island: Springer Verlag, 2010, s. 24-29. ISBN 978-3-642-17640-1.
 ORSÁG Filip a DRAHANSKÝ Martin. Image stabilization and object tracking in a video-stream. In: World and homeland security. Brno: Universita Obrany v Brně, 2010, s. 432-439. ISBN 978-80-7231-728-8.
 POSPÍCHAL Petr, JAROŠ Jiří a SCHWARZ Josef. Parallel Genetic Algorithm on the CUDA Architecture. In: Applications of Evolutionary Computation. Berlin Heidelberg: Springer Verlag, 2010, s. 442-451. ISBN 978-3-642-12238-5.
 POSPÍCHAL Petr, SCHWARZ Josef a JAROŠ Jiří. Parallel Genetic Algorithm Solving 0/1 Knapsack Problem Running on the GPU. In: 16th International Conference on Soft Computing MENDEL 2010. Brno: Vysoké učení technické v Brně, 2010, s. 64-70. ISBN 978-80-214-4120-0.
 POSPÍCHAL Petr. GPU-Based Acceleration of the Genetic Algorithm. In: Proceedings of the 16th Conference Student EEICT 2010 Volume 5. Brno: Fakulta informačních technologií VUT v Brně, 2010, s. 234-238. ISBN 978-80-214-4080-7.
 POSPÍCHAL Petr. GPU-Based Acceleration of the Genetic Algorithm. In: Počítačové architektury a diagnostika 2010. Brno: Fakulta informačních technologií VUT v Brně, 2010, s. 75-80. ISBN 978-80-214-4140-8.
 PUŠ Viktor. Optimizations of packet classification algorithms. In: Počítačové architektury & diagnostika 2010. Češkovice: Fakulta informačních technologií VUT v Brně, 2010, s. 153-158. ISBN 978-80-214-4140-8.
 RŮŽIČKA Richard. Gracefully Degrading Circuit Controllers Based on Polytronics. In: Proc. of 13th Euromicro Conference on Digital System Design. Los Alamitos: IEEE Computer Society, 2010, s. 809-812. ISBN 978-0-7695-4171-6.
 RŮŽIČKA Richard. On Practical Aspects of Printable Polymer and Nanometal Logic. In: Proceedings of CSE2010 - International Scientific Conference on Computer Science and Engineering. Košice: Technická univerzita v Košiciach, 2010, s. 202-207. ISBN 978-80-8086-164-3.
 SAMEK Jan a ZBOŘIL František. Algorithmic Evaluation of Trust in Multilevel Model. In: Proceedings of the 7th EUROSIM Congress on Modelling and Simulation. Praha: Vydavatelství ČVUT, 2010, s. 90-95. ISBN 978-80-01-04589-3.
 SAMEK Jan a ZBOŘIL František. ContextGraph: Simulation Tool for Hierarchical Model of Trust in Context. In: Proceedings of CSE 2010 International Scientific Conference on Computer Science and Engineering. Košice: Technická univerzita v Košiciach, 2010, s. 265-270. ISBN 978-80-8086-164-3.
 SAMEK Jan a ZBOŘIL František. Hierarchical Model of Trust in Contexts. In: Networked Digital Technologies. Heidelberg: Springer Verlag, 2010, s. 356-365. ISBN 978-3-642-14305-2. ISSN 1865-0929.
 SAMEK Jan, ZBOŘIL František a MALAČKA Ondřej. Event Driven Multi-context Trust Model. In: Proceedings of the 10th International Conference on Intelligent Systems Design and Applications. Cairo: IEEE Computer Society, 2010, s. 911-917. ISBN 978-1-4244-8135-4.
 SEDLÁČKOVÁ Jana a KRESLÍKOVÁ Jitka. Improvement Estimation of Software by Security Factor. In: Proceedings of the Work in Progress Session SEAA 2010. Linz: Johannes Kepler University Linz, 2010, s. 2. ISBN 978-3-902457-27-1.
 SEDLÁČKOVÁ Jana a KRESLÍKOVÁ Jitka. Improvement of Function Point Analysis by Security Factor. Procesný manažér. 2010, roč. 5, č. 8, s. 5. ISSN 1336-8680.
 SEDLÁČKOVÁ Jana. FUNCTION POINT ANALYSIS AND WORKFLOW PROJECTS. In: Proceedings of the 16th Conference and Competition STUDENT EEICT 2010 Volume 5. Brno: Fakulta informačních technologií VUT v Brně, 2010, s. 5. ISBN 978-80-214-4080-7.
 SMRČKA Aleš a VOJNAR Tomáš. Verification of Asynchronous and Parametrized Hardware Designs. Brno: Fakulta informačních technologií VUT v Brně, 2010. ISBN 978-80-214-4214-6.
 SMRČKA Aleš. Verification of Asynchronous and Parametrized Hardware Designs. Information Sciences and Technologies Bulletin of the ACM Slovakia. Bratislava: Vydavateľstvo STU, 2010, roč. 2, č. 2, s. 60-69. ISSN 1338-1237.
 STRAKA Martin, KAŠTIL Jan a KOTÁSEK Zdeněk. 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, s. 365-372. ISBN 978-0-7695-4171-6.
 STRAKA Martin, KAŠTIL Jan a KOTÁSEK Zdeněk. Generic Partial Dynamic Reconfiguration Controller for Fault Tolerant Designs Based on FPGA. In: NORCHIP 2010. Tampere: IEEE Computer Society, 2010, s. 1-4. ISBN 978-1-4244-8971-8.
 STRAKA Martin, KAŠTIL Jan a KOTÁSEK Zdeněk. Methodology for Design of Highly Dependable Systems in FPGA. In: International Scientific Conference on Computer Science and Engineering. Košice: Technická univerzita v Košiciach, 2010, s. 186-193. ISBN 978-80-8086-164-3.
 STRAKA Martin, KAŠTIL Jan a KOTÁSEK Zdeněk. 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, s. 173-176. ISBN 978-1-4244-6610-8.
 STRAKA Martin. 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.
 STRNADEL Josef. Návrh časově kritických systémů I: specifikace a verifikace. Automa. 2010, roč. 2010, č. 10, s. 42-44. ISSN 1210-9592.
 STRNADEL Josef. Návrh časově kritických systémů II: úlohy reálného času. Automa. 2010, roč. 2010, č. 12, s. 18-19. ISSN 1210-9592.
 STRNADEL Josef. 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: Univerzita Tomáše Bati ve Zlíně, 2010, s. 99-104. ISBN 978-80-7318-940-2.
 SVOJANOVSKÝ Petr. Řízení rizik v bezpečnosti IT služeb. Brno: Ústav informačních systémů FIT VUT v Brně, 2010.
 VAŠÍČEK Zdeněk a SEKANINA Lukáš. Hardware Accelerator of Cartesian Genetic Programming with Multiple Fitness Units. Computing and Informatics. Bratislava: Slovak Academic Press, 2010, roč. 29, č. 6, s. 1359-1371. ISSN 1335-9150.
 VAŠÍČEK Zdeněk. 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.
 VESELÝ Vladimír. Security Issues of Bootstrap Router Mechanism in Protocol Independent Multicast. In: Proceedings of the 16th Conference Student EEICT 2010 Volume 5. Brno: Fakulta informačních technologií VUT v Brně, 2010, s. 239-243. ISBN 978-80-214-4080-7.
 ŠIMEK Václav, DVOŘÁK Radim, ZBOŘIL František V. a DRÁBEK Vladimír. 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: Technická univerzita v Košiciach, 2010, s. 279-286. ISBN 978-80-8086-164-3.
 ŠIMEK Václav, RŮŽIČKA Richard a SEKANINA Lukáš. 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, s. 281-284. ISBN 978-1-4244-6610-8.
 ŠIMÁČEK Jiří, SEKANINA Lukáš a STAREČEK Lukáš. Evolutionary Design of Reconfiguration Strategies to Reduce the Test Application Time. In: Evolvable Systems: From Biology to Hardware. Berlin: Springer Verlag, 2010, s. 214-225. ISBN 978-3-642-15322-8.
 ŠKARVADA Jaroslav, KOTÁSEK Zdeněk a STRNADEL Josef. The Use of Genetic Algorithm to Reduce Power Consumption during Test Application. In: Evolvable Systems: From Biology to Hardware. Berlin: Springer Verlag, 2010, s. 181-192. ISBN 978-3-642-15322-8. ISSN 0302-9743.
 ŠVÉDA Miroslav a TRCHALÍK Roman. Development of Interconnecting SW for Intranets and Fieldbuses. IFAC-PapersOnLine. Laxenburg: IFAC, 2010, roč. 2010, č. 10, s. 119-124. ISSN 1474-6670.
 ŠVÉDA Miroslav a VRBA Radimí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, s. 170-174. ISBN 978-0-7695-3980-5.
 ŠVÉDA Miroslav, RYŠAVÝ Ondřej, MATOUŠEK Petr a RÁB Jaroslav. 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, s. 294-299. ISBN 978-0-7695-3979-9.
 ŠVÉDA Miroslav, RYŠAVÝ Ondřej, MATOUŠEK Petr, RÁB Jaroslav a ČEJKA Rudolf. 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, s. 5-11. ISBN 978-989-8425-25-6.
 ŠVÉDA Miroslav. 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, s. 113-120. ISBN 978-0-7695-4005-4.
 ŠVÉDA Miroslav. 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, s. 173-178. ISBN 978-989-8425-22-5.
 ŽALOUDEK Luděk, SEKANINA Lukáš a ŠIMEK Václav. Accelerating Cellular Automata Evolution on Graphics Processing Units. International Journal on Advances in Software. 2010, roč. 3, č. 1, s. 294-303. ISSN 1942-2628.
 ŽALOUDEK Luděk. 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.
 ŽÁDNÍK Martin a CANINI Marco. 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, s. 1-2. ISBN 978-1-4503-0379-8.
 ŽÁDNÍK Martin. 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.

Vaše IPv4 adresa: 54.81.163.254
Přepnout na IPv6 spojení

DNSSEC [dnssec]