Detail projektu
Bezpečné, spolehlivé a adaptivní počítačové systémy
Období řešení: 1. 3. 2010 - 31. 12. 2010
Typ projektu: grant
Kód: FIT-S-10-1
Agentura: Vysoké učení technické v Brně
Program:
Název anglicky
Secured, reliable and adaptive computer systems
Typ
grant
Abstrakt
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ů.
Řešitelé
Sekanina Lukáš, prof. Ing., Ph.D.
(UPSY FIT VUT)
, hlavní řešitel
Bartoš Pavel, Ing. (UPSY FIT VUT) , spoluřešitel
Češka Milan, prof. RNDr., CSc. (UITS FIT VUT) , spoluřešitel
Drábek Vladimír, doc. Ing., CSc. (UPSY FIT VUT) , spoluřešitel
Drahanský Martin, prof. Ing., Dipl.-Ing., Ph.D. (UITS FIT VUT) , spoluřešitel
Dudka Kamil, Ing. (UITS FIT VUT) , spoluřešitel
Dvořák Radim, Ing. (UITS FIT VUT) , spoluřešitel
Dvořák Václav, prof. Ing., DrSc. (UPSY FIT VUT) , spoluřešitel
Fiedor Jan, Ing., Ph.D. (UITS FIT VUT) , spoluřešitel
Gach Marek, Ing. (UITS FIT VUT) , spoluřešitel
Grégr Matěj, Ing., Ph.D. (UIFS FIT VUT) , spoluřešitel
Holík Lukáš, doc. Mgr., Ph.D. (UITS FIT VUT) , spoluřešitel
Hrubý Martin, Ing., Ph.D. (UITS FIT VUT) , spoluřešitel
Hýsek Jiří, Ing. (UITS FIT VUT) , spoluřešitel
Janoušek Vladimír, doc. Ing., Ph.D. (UITS FIT VUT) , spoluřešitel
Kajan Michal, Ing. (UPSY FIT VUT) , spoluřešitel
Kaštil Jan, Ing. (UPSY FIT VUT) , spoluřešitel
Kaštovský Petr, Ing. (UPSY FIT VUT) , spoluřešitel
Kočí Radek, Ing., Ph.D. (UITS FIT VUT) , spoluřešitel
Konečný Filip, Ing. (UITS FIT VUT) , spoluřešitel
Korček Pavol, Ing., Ph.D. (UPSY FIT VUT) , spoluřešitel
Kořenek Jan, doc. Ing., Ph.D. (UPSY FIT VUT) , spoluřešitel
Kraus Michal, Ing. (UITS FIT VUT) , spoluřešitel
Kreslíková Jitka, doc. RNDr., CSc. (UIFS FIT VUT) , spoluřešitel
Křena Bohuslav, Ing., Ph.D. (UITS FIT VUT) , spoluřešitel
Křivánek Jan, Ing. (UPSY FIT VUT) , spoluřešitel
Kunovský Jiří, doc. Ing., CSc. (UITS FIT VUT) , spoluřešitel
Letko Zdeněk, Ing., Ph.D. (UITS FIT VUT) , spoluřešitel
Malinka Kamil, Mgr., Ph.D. (UITS FIT VUT) , spoluřešitel
Martínek Tomáš, doc. Ing., Ph.D. (UPSY FIT VUT) , spoluřešitel
Matoušek Petr, doc. Ing., Ph.D., M.A. (UIFS FIT VUT) , spoluřešitel
Michlovský Zbyněk, Ing. (UITS FIT VUT) , spoluřešitel
Mikušek Petr, Ing. (UPSY FIT VUT) , spoluřešitel
Nagy Jan, Ing. (UITS FIT VUT) , spoluřešitel
Orság Filip, Ing., Ph.D. (UITS FIT VUT) , spoluřešitel
Peterka Ondřej, Ing. (UIFS FIT VUT) , spoluřešitel
Polóni Pavol, Ing. (UPSY FIT VUT) , spoluřešitel
Pospíchal Petr, Ing. (UPSY FIT VUT) , spoluřešitel
Puš Viktor, Ing. (UPSY FIT VUT) , spoluřešitel
Ráb Jaroslav, Ing. (UIFS FIT VUT) , spoluřešitel
Růžička Richard, doc. Ing., Ph.D., MBA (UPSY FIT VUT) , spoluřešitel
Ryšavý Ondřej, doc. Ing., Ph.D. (UIFS FIT VUT) , spoluřešitel
Samek Jan, Ing., Ph.D. (UITS FIT VUT) , spoluřešitel
Sedláčková Jana, RNDr., Ph.D. (FIT VUT) , spoluřešitel
Sehnalová Pavla, Ing. (UITS FIT VUT) , spoluřešitel
Schäfer Jiří, Ing. (UITS FIT VUT) , spoluřešitel
Schwarz Josef, doc. Ing., CSc. (UPSY FIT VUT) , spoluřešitel
Slaný Karel, Ing. (UPSY FIT VUT) , spoluřešitel
Slinták Jiří, Ing. (UIFS FIT VUT) , spoluřešitel
Straka Martin, Ing., Ph.D. (UPSY FIT VUT) , spoluřešitel
Strnadel Josef, Ing., Ph.D. (UPSY FIT VUT) , spoluřešitel
Svojanovský Petr, Ing. (UIFS FIT VUT) , spoluřešitel
Šátek Václav, Ing., Ph.D. (UITS FIT VUT) , spoluřešitel
Šimáček Jiří, Ing., Ph.D. (UITS FIT VUT) , spoluřešitel
Šimek Václav, Ing. (UPSY FIT VUT) , spoluřešitel
Švéda Miroslav, prof. Ing., CSc. (UIFS FIT VUT) , spoluřešitel
Trchalík Roman, Mgr., Ph.D. (UIFS FIT VUT) , spoluřešitel
Vašíček Zdeněk, doc. Ing., Ph.D. (UPSY FIT VUT) , spoluřešitel
Veselý Vladimír, Ing., Ph.D. (UIFS FIT VUT) , spoluřešitel
Vojnar Tomáš, prof. Ing., Ph.D. (UITS FIT VUT) , spoluřešitel
Zadina Martin, Ing. (UITS FIT VUT) , spoluřešitel
Zbořil František V., doc. Ing., CSc. (UITS FIT VUT) , spoluřešitel
Zbořil František, doc. Ing., Ph.D. (UITS FIT VUT) , spoluřešitel
Žádník Martin, Ing., Ph.D. (UPSY FIT VUT) , spoluřešitel
Žaloudek Luděk, Ing. (UPSY FIT VUT) , spoluřešitel
Bartoš Pavel, Ing. (UPSY FIT VUT) , spoluřešitel
Češka Milan, prof. RNDr., CSc. (UITS FIT VUT) , spoluřešitel
Drábek Vladimír, doc. Ing., CSc. (UPSY FIT VUT) , spoluřešitel
Drahanský Martin, prof. Ing., Dipl.-Ing., Ph.D. (UITS FIT VUT) , spoluřešitel
Dudka Kamil, Ing. (UITS FIT VUT) , spoluřešitel
Dvořák Radim, Ing. (UITS FIT VUT) , spoluřešitel
Dvořák Václav, prof. Ing., DrSc. (UPSY FIT VUT) , spoluřešitel
Fiedor Jan, Ing., Ph.D. (UITS FIT VUT) , spoluřešitel
Gach Marek, Ing. (UITS FIT VUT) , spoluřešitel
Grégr Matěj, Ing., Ph.D. (UIFS FIT VUT) , spoluřešitel
Holík Lukáš, doc. Mgr., Ph.D. (UITS FIT VUT) , spoluřešitel
Hrubý Martin, Ing., Ph.D. (UITS FIT VUT) , spoluřešitel
Hýsek Jiří, Ing. (UITS FIT VUT) , spoluřešitel
Janoušek Vladimír, doc. Ing., Ph.D. (UITS FIT VUT) , spoluřešitel
Kajan Michal, Ing. (UPSY FIT VUT) , spoluřešitel
Kaštil Jan, Ing. (UPSY FIT VUT) , spoluřešitel
Kaštovský Petr, Ing. (UPSY FIT VUT) , spoluřešitel
Kočí Radek, Ing., Ph.D. (UITS FIT VUT) , spoluřešitel
Konečný Filip, Ing. (UITS FIT VUT) , spoluřešitel
Korček Pavol, Ing., Ph.D. (UPSY FIT VUT) , spoluřešitel
Kořenek Jan, doc. Ing., Ph.D. (UPSY FIT VUT) , spoluřešitel
Kraus Michal, Ing. (UITS FIT VUT) , spoluřešitel
Kreslíková Jitka, doc. RNDr., CSc. (UIFS FIT VUT) , spoluřešitel
Křena Bohuslav, Ing., Ph.D. (UITS FIT VUT) , spoluřešitel
Křivánek Jan, Ing. (UPSY FIT VUT) , spoluřešitel
Kunovský Jiří, doc. Ing., CSc. (UITS FIT VUT) , spoluřešitel
Letko Zdeněk, Ing., Ph.D. (UITS FIT VUT) , spoluřešitel
Malinka Kamil, Mgr., Ph.D. (UITS FIT VUT) , spoluřešitel
Martínek Tomáš, doc. Ing., Ph.D. (UPSY FIT VUT) , spoluřešitel
Matoušek Petr, doc. Ing., Ph.D., M.A. (UIFS FIT VUT) , spoluřešitel
Michlovský Zbyněk, Ing. (UITS FIT VUT) , spoluřešitel
Mikušek Petr, Ing. (UPSY FIT VUT) , spoluřešitel
Nagy Jan, Ing. (UITS FIT VUT) , spoluřešitel
Orság Filip, Ing., Ph.D. (UITS FIT VUT) , spoluřešitel
Peterka Ondřej, Ing. (UIFS FIT VUT) , spoluřešitel
Polóni Pavol, Ing. (UPSY FIT VUT) , spoluřešitel
Pospíchal Petr, Ing. (UPSY FIT VUT) , spoluřešitel
Puš Viktor, Ing. (UPSY FIT VUT) , spoluřešitel
Ráb Jaroslav, Ing. (UIFS FIT VUT) , spoluřešitel
Růžička Richard, doc. Ing., Ph.D., MBA (UPSY FIT VUT) , spoluřešitel
Ryšavý Ondřej, doc. Ing., Ph.D. (UIFS FIT VUT) , spoluřešitel
Samek Jan, Ing., Ph.D. (UITS FIT VUT) , spoluřešitel
Sedláčková Jana, RNDr., Ph.D. (FIT VUT) , spoluřešitel
Sehnalová Pavla, Ing. (UITS FIT VUT) , spoluřešitel
Schäfer Jiří, Ing. (UITS FIT VUT) , spoluřešitel
Schwarz Josef, doc. Ing., CSc. (UPSY FIT VUT) , spoluřešitel
Slaný Karel, Ing. (UPSY FIT VUT) , spoluřešitel
Slinták Jiří, Ing. (UIFS FIT VUT) , spoluřešitel
Straka Martin, Ing., Ph.D. (UPSY FIT VUT) , spoluřešitel
Strnadel Josef, Ing., Ph.D. (UPSY FIT VUT) , spoluřešitel
Svojanovský Petr, Ing. (UIFS FIT VUT) , spoluřešitel
Šátek Václav, Ing., Ph.D. (UITS FIT VUT) , spoluřešitel
Šimáček Jiří, Ing., Ph.D. (UITS FIT VUT) , spoluřešitel
Šimek Václav, Ing. (UPSY FIT VUT) , spoluřešitel
Švéda Miroslav, prof. Ing., CSc. (UIFS FIT VUT) , spoluřešitel
Trchalík Roman, Mgr., Ph.D. (UIFS FIT VUT) , spoluřešitel
Vašíček Zdeněk, doc. Ing., Ph.D. (UPSY FIT VUT) , spoluřešitel
Veselý Vladimír, Ing., Ph.D. (UIFS FIT VUT) , spoluřešitel
Vojnar Tomáš, prof. Ing., Ph.D. (UITS FIT VUT) , spoluřešitel
Zadina Martin, Ing. (UITS FIT VUT) , spoluřešitel
Zbořil František V., doc. Ing., CSc. (UITS FIT VUT) , spoluřešitel
Zbořil František, doc. Ing., Ph.D. (UITS FIT VUT) , spoluřešitel
Žádník Martin, Ing., Ph.D. (UPSY FIT VUT) , spoluřešitel
Žaloudek Luděk, Ing. (UPSY FIT VUT) , spoluřešitel
Publikace
2013
- DE Silva Gayan, RYŠAVÝ Ondřej, MATOUŠEK Petr a ŠVÉDA Miroslav. On Formal Reachability Analysis in Networks with Dynamic Behavior. Telecommunication Systems, roč. 52, č. 2, 2013, s. 919-929. ISSN 1018-4864. Detail
2012
- MALINKA 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. Detail
2011
- POSPÍCHAL Petr, SCHWARZ Josef a JAROŠ Jiří. Acceleration of grammatical evolution using graphics processing units: computational intelligence on consumer games and graphics hardware. In: Genetic and Evolutionary Computation Conference, GECCO'11 - Companion Publication. New York: Association for Computing Machinery, 2011, s. 431-438. ISBN 978-1-4503-0690-4. Detail
- 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. Detail
- DRAHANSKÝ Martin, ORSÁG Filip a DOLEŽEL Michal a kol. Biometrie. Brno: Computer Press, s.r.o, 2011. ISBN 978-80-254-8979-6. Detail
- BARTOŠ 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. Detail
- 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. Detail
- SEKANINA Lukáš a KOMENDA Tomáš. Global Control in Polymorphic Cellular Automata. Journal of Cellular Automata, roč. 6, č. 4, 2011, s. 301-321. ISSN 1557-5969. Detail
- STRNADEL Josef. Návrh časově kritických systémů III: priorita úloh. Automa, roč. 2011, č. 2, s. 50-52. ISSN 1210-9592. Detail
- STRNADEL Josef. Návrh časově kritických systémů IV: realizace prostředky RTOS. Automa, roč. 2011, č. 4, s. 58-60. ISSN 1210-9592. Detail
- GAJDA Zbyšek a SEKANINA Lukáš. On Evolutionary Synthesis of Compact Polymorphic Combinational Circuits. Journal of Multiple-Valued Logic and Soft Computing, roč. 17, č. 6, 2011, s. 607-631. ISSN 1542-3980. Detail
- 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. Detail
- 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. Detail
- BOUAJJANI Ahmed, BOZGA Marius, HABERMEHL Peter, IOSIF Radu, MORO Pierre a VOJNAR Tomáš. Programs with Lists are Counter Automata. Formal Methods in System Design, roč. 38, č. 2, 2011, s. 158-192. ISSN 0925-9856. Detail
- HORÁČEK Jan a ZBOŘIL František. Secured Agent Platform for Wireless Sensor Networks. Lecture Notes in Computer Science, roč. 2011, č. 4, s. 476-485. ISBN 978-3-642-20038-0. ISSN 0302-9743. Detail
- 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. Detail
- BARTOŠ Pavel. Test Time Reduction by Scan Chain Reordering. In: Proceedings of the 17th Conference STUDENT EEICT 2011. Volume 3. Brno: Fakulta elektrotechniky a komunikačních technologií VUT v Brně, 2011, s. 564-568. ISBN 978-80-214-4273-3. Detail
2010
- KŘENA Bohuslav, LETKO Zdeněk, UR Shmuel a VOJNAR Tomáš. 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, s. 11. ISBN 978-1-60558-823-0. Detail
- 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. Detail
- FIEDOR Jan, KŘENA Bohuslav, LETKO Zdeněk a VOJNAR Tomáš. A Uniform Classification of Common Concurrency Errors. FIT-TR-2010-03, Brno, 2010. Detail
- ŽALOUDEK Luděk, SEKANINA Lukáš a ŠIMEK Václav. Accelerating Cellular Automata Evolution on Graphics Processing Units. International Journal on Advances in Software, roč. 3, č. 1, 2010, s. 294-303. ISSN 1942-2628. Detail
- 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. Detail
- 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. Vol. 2. Praha: Vydavatelství ČVUT, 2010, s. 90-95. ISBN 978-80-01-04589-3. Detail
- Š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. Detail
- GAJDA Zbyšek a SEKANINA Lukáš. An Efficient Selection Strategy for Digital Circuit Evolution. In: Evolvable Systems: From Biology to Hardware. Lecture Notes in Computer Science, roč. 6274. Berlin: Springer Verlag, 2010, s. 13-24. ISBN 978-3-642-15322-8. Detail
- ŠVÉDA Miroslav a VRBA Radimír. An Embedded Application Regarded as a 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. Detail
- HANÁČEK Petr, DRAHANSKÝ Martin a ORSÁG Filip. Angriffe auf sichere Hardwarelösungen. Die Datenschleuder, roč. 2010, č. 94, s. 12-14. ISSN 0930-1054. Detail
- 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. Vol. 2. Praha: Vydavatelství ČVUT, 2010, s. 100-106. ISBN 978-80-01-04589-3. Detail
- DRAHANSKÝ Martin. Biometric Cryptography Based on Fingerprints. Saarbrücken: Lambert Academic Publishing, 2010. ISBN 978-3-8383-6361-5. Detail
- 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. Vol. 1. Košice: Technická univerzita v Košiciach, 2010, s. 265-270. ISBN 978-80-8086-164-3. Detail
- 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. Communications in Computer and Information Science. Berlín: Springer Verlag, 2010, s. 251-257. ISBN 978-3-642-17621-0. Detail
- 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, roč. 43, č. 3, 2010, s. 196-206. ISSN 1210-9150. Detail
- DVOŘÁK Václav a MIKUŠEK Petr. Design of Arbiters and Allocators Based on Multi-Terminal BDDs. Journal of Universal Computer Science, roč. 16, č. 14, 2010, s. 1826-1852. ISSN 0948-6968. Detail
- ŠVÉDA Miroslav a TRCHALÍK Roman. Development of Interconnecting SW for Intranets and Fieldbuses. IFAC-PapersOnLine, roč. 2010, č. 10, s. 119-124. ISSN 1474-6670. Detail
- 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. Detail
- 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. Detail
- 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. Detail
- ŽÁ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. Detail
- 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. Detail
- Š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. Lecture Notes in Computer Science, roč. 6274. Berlin: Springer Verlag, 2010, s. 214-225. ISBN 978-3-642-15322-8. Detail
- JAROŠ Jiří a DVOŘÁK Václav. Evolutionary-Based Conflict-Free Scheduling of Collective Communications on Spidergon NoCs. In: Proceedings of the 12th Annual Genetic and Evolutionary Computation Conference, GECCO '10. New York: Association for Computing Machinery, 2010, s. 1171-1178. ISBN 978-1-4503-0072-8. Detail
- 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. Detail
- BOZGA Marius, IOSIF Radu a KONEČNÝ Filip. Fast Acceleration of Ultimately Periodic Relations. In: Computer Aided Verification. Lecture Notes in Computer Science, roč. 6174. Berlin: Springer Verlag, 2010, s. 227-242. ISBN 978-3-642-14294-9. Detail
- KOŘENEK Jan. Fast Regular Expression Matching Using FPGA. Information Sciences and Technologies Bulletin of the ACM Slovakia, roč. 2, č. 2, 2010, s. 103-111. ISSN 1338-1237. Detail
- Š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. Detail
- 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. Detail
- 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. Detail
- 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, roč. 3, č. 4, 2010, s. 11-22. ISSN 1976-118X. Detail
- 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. Detail
- 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. Detail
- 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. Detail
- 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. Detail
- 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. Detail
- 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. Detail
- 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. Detail
- VAŠÍČEK Zdeněk a SEKANINA Lukáš. Hardware Accelerator of Cartesian Genetic Programming with Multiple Fitness Units. Computing and Informatics, roč. 29, č. 6, 2010, s. 1359-1371. ISSN 1335-9150. Detail
- SAMEK Jan a ZBOŘIL František. Hierarchical Model of Trust in Contexts. In: Networked Digital Technologies. Communications in Computer and Information Science (CCIS), roč. 2010. Heidelberg: Springer Verlag, 2010, s. 356-365. ISBN 978-3-642-14305-2. ISSN 1865-0929. Detail
- 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. Detail
- ORSÁG Filip a DRAHANSKÝ Martin. Image stabilization and object tracking in a video-stream. In: World and homeland security. Brno: Univerzita Obrany, 2010, s. 432-439. ISBN 978-80-7231-728-8. Detail
- 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. Detail
- SEDLÁČKOVÁ Jana a KRESLÍKOVÁ Jitka. Improvement of Function Point Analysis by Security Factor. Procesný manažér, roč. 5, č. 8, 2010, s. 5. ISSN 1336-8680. Detail
- 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. Vol. 2. Praha: Vydavatelství ČVUT, 2010, s. 6. ISBN 978-80-01-04589-3. Detail
- 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. Detail
- DRAHANSKÝ Martin. Intelligent Houses - Secure Wireless Sensor Networks. Daejeon, 2010. Detail
- 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. Detail
- 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. Detail
- 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. Detail
- 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. Detail
- 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. Detail
- STRNADEL Josef. Návrh časově kritických systémů I: specifikace a verifikace. Automa, roč. 2010, č. 10, s. 42-44. ISSN 1210-9592. Detail
- STRNADEL Josef. Návrh časově kritických systémů II: úlohy reálného času. Automa, roč. 2010, č. 12, s. 18-19. ISSN 1210-9592. Detail
- Š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. Detail
- DRAHANSKÝ Martin a LODROVÁ Dana. New Experiments with Optical Liveness Testing Methods. Journal of Information Hiding and Multimedia Signal Processing, roč. 1, č. 4, 2010, s. 301-309. ISSN 2073-4212. Detail
- 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. Detail
- Š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. Detail
- 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. Detail
- 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. Detail
- 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. Detail
- 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. Detail
- ŽÁ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. Detail
- 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. Detail
- POSPÍCHAL Petr, JAROŠ Jiří a SCHWARZ Josef. Parallel Genetic Algorithm on the CUDA Architecture. In: Applications of Evolutionary Computation. Lecture Notes in Computer Science, roč. 6024. Berlin Heidelberg: Springer Verlag, 2010, s. 442-451. ISBN 978-3-642-12238-5. Detail
- 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. Detail
- Š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. Detail
- 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. Detail
- 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. Detail
- 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. Detail
- 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. Detail
- 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. Detail
- 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: Univerzita Obrany, 2010, s. 143-152. ISBN 978-80-7231-728-8. Detail
- 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. Detail
- 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. Detail
- Š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. Detail
- 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. Detail
- 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. Detail
- 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, roč. 2010, č. 3, s. 39-50. ISSN 1976-118X. Detail
- 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. Studies in Computational Intelligence. Berlín: Springer Verlag, 2010, s. 93-107. ISBN 978-3-642-11683-4. Detail
- 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. Detail
- 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. Detail
- 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. FIT-TR-2010-02, Brno: Fakulta informačních technologií VUT v Brně, 2010. Detail
- 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. Lecture Notes in Computer Science, roč. 6174. Berlín: Springer Verlag, 2010, s. 132-147. ISBN 978-3-642-14294-9. Detail
- LETKO Zdeněk. Sophisticated Testing of Concurrent Software. In: SSBSE '10. Proceedings of 2nd International Symposium on Search Based Software Engineering. Benevento: Institute of Electrical and Electronics Engineers, 2010, s. 36-40. ISBN 978-0-7695-4195-2. Detail
- BIDLO Michal, SLANÝ Karel a VAŠÍČEK Zdeně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, s. 85-96. ISBN 978-3-642-15322-8. Detail
- 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. Vol. 2. Praha: Vydavatelství ČVUT, 2010, s. 6. ISBN 978-80-01-04589-3. Detail
- 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. Detail
- 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. Detail
- DVOŘÁK Radim, FIALA 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. Detail
- 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. Detail
- Š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. Lecture Notes in Computer Science, ISSN 0302-9743, Vol. 6274, roč. 2010. Berlin: Springer Verlag, 2010, s. 181-192. ISBN 978-3-642-15322-8. ISSN 0302-9743. Detail
- 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. Detail
- 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. Detail
- SMRČKA Aleš a VOJNAR Tomáš. Verification of Asynchronous and Parametrized Hardware Designs. FIT Monograph. Brno: Fakulta informačních technologií VUT v Brně, 2010. ISBN 978-80-214-4214-6. Detail
- SMRČKA Aleš. Verification of Asynchronous and Parametrized Hardware Designs. Information Sciences and Technologies Bulletin of the ACM Slovakia, roč. 2, č. 2, 2010, s. 60-69. ISSN 1338-1237. Detail
- Ž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. Detail
- 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. Detail
- 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. Detail
- 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. Lecture Notes in Computer Science, roč. 6015. Berlín: Springer Verlag, 2010, s. 158-174. ISBN 978-3-642-12001-5. Detail
- 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. Volume 1. Košice: Technická univerzita v Košiciach, 2010, s. 258-264. ISBN 978-80-8086-164-3. Detail
2009
- KOŘENEK Jan a PUŠ Viktor. 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, s. 165-166. ISBN 978-1-60558-630-4. Detail
Produkty
2010
- ContextGraph: 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 Detail - EvoCCs - Nástroj pro evoluční návrh kolektivních komunikací na červích sítích, software, 2010
Autoři: Jaroš Jiří Detail - Forester: Nástroj pro verifikaci programů s ukazateli, software, 2010
Autoři: Habermehl Peter, Holík Lukáš, Rogalewicz Adam, Šimáček Jiří, Vojnar Tomáš Detail - GSegmentator, software, 2010
Autoři: Doležel Michal Detail - 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áš Detail - Nástroj pro přehrávání běhu programu (Replay Tracer & BMC), software, 2010
Autoři: Dudka Vendula, Fiedor Jan, Křena Bohuslav, Letko Zdeněk, Vojnar Tomáš Detail - Nástroj pro verifikaci systémů popsaných formalismem Modechart, software, 2010
Autoři: Gach Marek, Fiedor Jan, Češka Milan Detail - Nástroj pro verifikaci systémů specifikovaných jazykem RT-Logiky, software, 2010
Autoři: Fiedor Jan, Gach Marek, Češka Milan Detail - 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áš Detail - Snadno použitelná infrastruktura pro výstavbu nástrojů na statickou analýzu, software, 2010
Autoři: Dudka Kamil, Peringer Petr, Vojnar Tomáš Detail - 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 Detail - Testovací prostředí využívající techniky prohledávání prostoru (SearchBestie), software, 2010
Autoři: Letko Zdeněk, Vojnar Tomáš, Křena Bohuslav Detail - WSageNt, software, 2010
Autoři: Horáček Jan, Zbořil František Detail