Ing. Michaela Drahošová

Matematické a inženýrské metody pro vývoj spolehlivých a bezpečných paralelních a distribuovaných počítačových systémů

Název v angličtině:Mathematical and Engineering Approaches to Developing Reliable and Secure Concurrent and Distributed Computer Systems
Hlavní řešitel:Češka Milan
Spoluřešitelé:Bouda Jan (FI MUNI), Brim Luboš, Černá Ivana (FI MUNI), Dvořák Václav, Gruska Jozef (FI MUNI), Hanáček Petr, Holub Petr (FI MUNI), Hruška Tomáš, Kolář Dušan, Kotásek Zdeněk, Křena Bohuslav, Křetínský Mojmír (FI MUNI), Kučera Antonín (FI MUNI), Matyáš Václav (FI MUNI), Matyska Luděk (FI MUNI), Sekanina Lukáš, Vojnar Tomáš
Další řešitelé:Bartoš Václav, Dolíhal Luděk, Drahošová Michaela, Dudka Vendula, Holík Lukáš, Husár Adam, Jurnečka Peter, Konečný Filip, Korček Pavol, Koutný Jiří, Lengál Ondřej, Letko Zdeněk, Mikušek Petr, Pospíchal Petr, Přikryl Zdeněk, Samek Jan, Straka Martin, Šimáček Jiří, Vašíček Zdeněk, Zachariášová Marcela
Agentura:Grantová agentura České republiky - Doktorské granty
Kód:GD102/09/H042
Zahájení:2009-01-30
Ukončení:2012-12-31
Klíčová slova:příprava vybraných špičkových doktorandů, spolehlivost a bezpečnost, paralelní a distribuované systémy, matematické a inženýrské přístupy
Anotace:
Základním záměrem projektu je vytvořit mimořádný program přípravy vybraných špičkových doktorandů z FIT VUT a FI MU v Brně, a to v rámci řešení aktuálních vědeckých problémů spolehlivosti a bezpečnosti paralelních a distribuovaných systémů jako jednoho z klíčových výzkumných témat současné informatiky. V tomto kontextu projekt zahrnuje studium komplexního spektra problémů od návrhu spolehlivých výpočetních platforem, přes problematiku bezpečnosti, po metody automatické verifikace výpočetních systémů. Složitost zde řešených problémů vyžaduje kombinaci exaktních matematických postupů s heuristickými inženýrskými přístupy, což je v projektu umožněno unikátním spojením školitelů a doktorandů působících v technicky i univerzitně orientovaných odvětvích. Mimo komplexní a mezioborový přístup je pak dalším klíčovým aspektem nadstandardní výchovy doktorandů v projektu jejich intenzivní zapojení do mezinárodních aktivit, založené na vynikajících zahraničních kontaktech členů vedení projektu. Celková kvalita projektu je garantována dlouholetými výzkumnými a výchovnými zkušenostmi navrhovatelů.

Produkty

2012HAVEN: Otevřený rámec pro akceleraci funkční verifikace hardwaru pomocí FPGA, software, 2012
Autoři: Zachariášová Marcela, Lengál Ondřej, Kajan Michal
 VATA: Knihovna pro efektivní práci s nedeterministickými stromovými automaty, software, 2012
Autoři: Lengál Ondřej, Šimáček Jiří, Vojnar Tomáš
2010AnalyzeThis: Analyzátor protokolů řízený pravidly, software, 2010
Autoři: Jurnečka Peter, Hanáček Petr
 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
 Forester: Nástroj pro verifikaci programů s ukazateli, software, 2010
Autoři: Habermehl Peter, Holík Lukáš, Rogalewicz Adam, Šimáček Jiří, Vojnar Tomáš
 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: Dudka Vendula, Fiedor Jan, 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
 Nástroj pro vizualizaci, analýzu a optimalizaci propojení scan řetězce, software, 2010
Autoři: Bartoš Pavel, Kotásek Zdeněk
2009FLATA, software, 2009
Autoři: Konečný Filip, Vojnar Tomáš, Bozga Marius, Iosif Radu
 Nástroj pro výpočet simulací, software, 2009
Autoři: Holík Lukáš, Šimáček Jiří, Vojnar Tomáš

Publikace

2013LETKO Zdeněk. Analysis and Testing of Concurrent Programs. Information Sciences and Technologies Bulletin of the ACM Slovakia. Bratislava: Vydavateľstvo STU, 2013, roč. 5, č. 3, s. 1-8. ISSN 1338-1237.
 STRAKA Martin, KAŠTIL Jan, KOTÁSEK Zdeněk a MIČULKA Lukáš. Fault Tolerant System Design and SEU Injection Based Testing. Microprocessors and Microsystems. Amsterdam: Elsevier Science, 2013, roč. 2013, č. 37, s. 155-173. ISSN 0141-9331.
2012BARTOŠ Pavel a KOTÁSEK Zdeněk. Reduction of Test Vectors Number based on Parasitic Capacity Extraction of Scan Chain Wires. In: Proceedings of CSE 2012 International Scientific Conference on Computer Science and Engineering. Košice: Fakulta elektrotechniky a informatiky, Technická univerzita v Košiciach, 2012, s. 162-169. ISBN 978-80-8143-049-7.
 BIDLO Michal a VAŠÍČEK Zdeněk. Evolution of Cellular Automata Using Instruction-Based Approach. In: 2012 IEEE World Congress on Computational Intelligence. CA: Institute of Electrical and Electronics Engineers, 2012, s. 1060-1067. ISBN 978-1-4673-1508-1.
 DOLÍHAL Luděk, HRUŠKA Tomáš a MASAŘÍK Karel. Testing of an automatically generated compiler, Review of retargetable testing system. International Journal on Advances in Software. 2012, roč. 2012, č. 1, s. 15-26. ISSN 1942-2628.
 DOLÍHAL Luděk, HRUŠKA Tomáš a MASAŘÍK Karel. Usage of simulators in testing system. In: Industrial Simulation Conference. Brno: EUROSIS, 2012, s. 74-78. ISBN 978-90-77381-71-7.
 DRAHOŠOVÁ Michaela a SEKANINA Lukáš. Acceleration of Evolutionary Image Filter Design Using Coevolution in Cartesian GP. 8th Doctoral Workshop on Mathematical and Engineering Methods in Computer Science. Brno: Masarykova universita, 2012. ISBN 978-80-87342-15-2.
 DRAHOŠOVÁ Michaela a SEKANINA Lukáš. Acceleration of Evolutionary Image Filter Design Using Coevolution in Cartesian GP. Lecture Notes in Computer Science. 2012, roč. 2012, č. 7491, s. 163-172. ISBN 978-3-642-32936-4. ISSN 0302-9743.
 DUDKA Vendula, KŘENA Bohuslav, LETKO Zdeněk a VOJNAR Tomáš. Testing of Concurrent Programs Using Genetic Algorithms. FIT-TR-2012-01, Brno, 2012.
 DUDKA Vendula, KŘENA Bohuslav, LETKO Zdeněk, UR Shmuel a VOJNAR Tomáš. Testování vícevláknových aplikací pomocí genetických algoritmů. Lecture Notes in Computer Science. 2012, roč. 2012, č. 7515, s. 152-167. ISSN 0302-9743.
 FIEDOR Jan, KŘENA Bohuslav, LETKO Zdeněk a VOJNAR Tomáš. A Uniform Classification of Common Concurrency Errors. Lecture Notes in Computer Science. 2012, roč. 2012, č. 6927, s. 519-526. ISSN 0302-9743.
 HABERMEHL Peter, HOLÍK Lukáš, ROGALEWICZ Adam, ŠIMÁČEK Jiří a VOJNAR Tomáš. Forest Automata for Verification of Heap Manipulation. Formal Methods in System Design. Berlin: Springer Verlag, 2012, roč. 2012, č. 41, s. 83-106. ISSN 0925-9856.
 IOSIF Radu, HOJJAT Hossein, KONEČNÝ Filip, KUNCAK Viktor a RUMMER Philipp. Accelerating Interpolants. Lecture Notes in Computer Science. 2012, roč. 2012, č. 7561, s. 187-202. ISSN 0302-9743.
 KONEČNÝ Filip, HOJJAT Hossein, IOSIF Radu, KUNCAK Viktor, RUMMER Philipp a GARNIER Florent. A Verification Toolkit for Numerical Transition Systems. Lecture Notes in Computer Science. 2012, roč. 2012, č. 7436, s. 247-251. ISSN 0302-9743.
 KONEČNÝ Filip, IOSIF Radu a BOZGA Marius. Deciding Conditional Termination. Lecture Notes in Computer Science. 2012, roč. 2012, č. 7214, s. 252-266. ISSN 0302-9743.
 KORČEK Pavol, SEKANINA Lukáš a FUČÍK Otto. Calibration of Traffic Simulation Models Using Vehicle Travel Times. Lecture Notes in Computer Science. 2012, roč. 2012, č. 7495, s. 807-816. ISSN 0302-9743.
 KORČEK Pavol, SEKANINA Lukáš a FUČÍK Otto. Evolutionary approach to calibration of cellular automaton based traffic simulation model. In: Proceedings of the 15th International IEEE Conference on Intelligent Transportation Systems. Anchorage: IEEE Intelligent Transportation Systems Society, 2012, s. 122-129. ISBN 978-1-4673-3062-6.
 KOTÁSEK Zdeněk, BOUDA Jan, ČERNÁ Ivana, SEKANINA Lukáš, VOJNAR Tomáš a ANTOŠ David, ed. Mathematical and Engineering Methods in Computer Science, 7th International Doctoral Workshop, Revised Selected Papers. Berlin: Springer Verlag, 2012. ISBN 978-3-642-25928-9.
 KOUTNÝ Jiří a MEDUNA Alexander. Tree-Controlled Grammars with Restrictions Placed upon Cuts and Paths. Kybernetika. 2012, roč. 48, č. 1, s. 165-175. ISSN 0023-5954.
 KOUTNÝ Jiří. On Path-Controlled Grammars and Pseudoknots. In: Proceedings of the 18th Conference STUDENT EEICT 2012 Volume 3. Brno: Vysoké učení technické v Brně, 2012, s. 391-395. ISBN 978-80-214-4462-1.
 KŘENA Bohuslav, LETKO Zdeněk a VOJNAR Tomáš. Analysis and Testing of Concurrent Programs. Brno: Fakulta informačních technologií VUT v Brně, 2012. ISBN 978-80-214-4464-5.
 KŘENA Bohuslav, LETKO Zdeněk a VOJNAR Tomáš. Coverage Metrics for Saturation-based and Search-based Testing of Concurrent Software. Lecture Notes in Computer Science. 2012, roč. 2012, č. 7186, s. 177-192. ISSN 0302-9743.
 KŘENA Bohuslav, LETKO Zdeněk a VOJNAR Tomáš. Noise Injection Heuristics for Concurrency Testing. Lecture Notes in Computer Science. 2012, roč. 2012, č. 7119, s. 123-131. ISSN 0302-9743.
 LENGÁL Ondřej, ŠIMÁČEK Jiří a VOJNAR Tomáš. VATA: A Library for Efficient Manipulation of Non-Deterministic Tree Automata. Lecture Notes in Computer Science. 2012, roč. 2012, č. 7214, s. 79-94. ISSN 0302-9743.
 MALAČKA Ondřej, SAMEK Jan, ZBOŘIL František a ZBOŘIL František V. Decision Making and Recommendation Protocol Based on Trust for Multi-agent Systems. Lecture Notes in Computer Science. 2012, roč. 2012, č. 7138, s. 280-291. ISBN 978-3-642-28508-0. ISSN 0302-9743.
 SAMEK Jan. Multi-contextual Trust Model for Multi-Agent Systems. Information Sciences and Technologies Bulletin of the ACM Slovakia. Bratislava: Vydavateľstvo STU, 2012, roč. 4, č. 1, s. 44-54. ISSN 1338-1237.
 STRAKA Martin, KAŠTIL Jan a KOTÁSEK Zdeněk. FPGA-based Fault Tolerant Architectures and Their Dependability Analysis. In: MEMICS'12 -- 8th Doctoral Workshop on Mathematical and Engineering Methods in Computer Science. Brno: Fakulta informatiky MU, 2012, s. 1-1.
 ZACHARIÁŠOVÁ Marcela a LENGÁL Ondřej. Towards Beneficial Hardware Acceleration in HAVEN: Evaluation of Testbed Architectures. FIT-TR-2012-03, Brno: Fakulta informačních technologií VUT v Brně, 2012.
 ZACHARIÁŠOVÁ Marcela a LENGÁL Ondřej. Towards Beneficial Hardware Acceleration in HAVEN: Evaluation of Testbed Architectures. Lecture Notes in Computer Science. 2012, roč. 2013, č. 7857, s. 266-273. ISSN 0302-9743.
 ZACHARIÁŠOVÁ Marcela. Acceleration of Functional Verification in the Development Cycle of Hardware Systems. In: Počítačové architektury a diagnostika. Praha: České vysoké učení technické, 2012, s. 73-78. ISBN 978-80-01-05106-1.
 ČERMÁK Martin, KOUTNÝ Jiří a MEDUNA Alexander. Parsing Based on n-Path Tree-Controlled Grammars. Theoretical and Applied Informatics. Varšava: 2012, roč. 2011, č. 23, s. 213-228. ISSN 1896-5334.
 ČEŠKA Milan, FIEDOR Jan a GACH Marek. A Novel Approach to Modechart Verification of Real-Time systems. Lecture Notes in Computer Science. 2012, roč. 2012, č. 6927, s. 559-567. ISSN 0302-9743.
2011ABDULLA Parosh A., CHEN Yu-Fang, CLEMENTE Lorenzo, HOLÍK Lukáš, HONG Chih-Duo, MAYR Richard a VOJNAR Tomáš. Advanced Ramsey-based Büchi Automata Inclusion Testing. FIT-TR-2011-03, Brno: Fakulta informačních technologií VUT v Brně, 2011.
 ABDULLA Parosh A., CHEN Yu-Fang, CLEMENTE Lorenzo, HOLÍK Lukáš, HONG Chih-Duo, MAYR Richard a VOJNAR Tomáš. Advanced Ramsey-based Büchi Automata Inclusion Testing. Lecture Notes in Computer Science. 2011, roč. 2011, č. 6901, s. 187-202. ISSN 0302-9743.
 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.
 BARTOŠ Pavel. Metody reorganizace řetězce scan. In: Počítačové architektury a diagnostika 2011. Bratislava: Vydavateľstvo STU, 2011, s. 97-102. ISBN 978-80-227-3552-0.
 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.
 DOLÍHAL Luděk a HRUŠKA Tomáš. Porting of C library, Testing of generated compiler. In: InfoWare 2011. Luxembourg: Mezinárodní asociace univerzit, výzkumu a průmyslu, 2011, s. 125-130. ISBN 978-1-61208-008-6.
 DUDKA Kamil, PERINGER Petr a VOJNAR Tomáš. An Easy to Use Infrastructure for Building Static Analysis Tools. In: Proceedings of the 13th International Conference on Computer Aided Systems Theory. Universidad de Las Palmas de Canaria: Universidad de Las Palmas de Gran Canaria, 2011, s. 328-329. ISBN 978-84-693-9560-8.
 DVOŘÁK Václav a JAROŠ Jiří. A Programmable Interconnection Network for Multiple Communication Patterns. In: Proceedings of the Sixth International Conference on Systems, ICONS 2011. St. Maarten: Mezinárodní asociace univerzit, výzkumu a průmyslu, 2011, s. 6-11. ISBN 978-1-61208-002-4.
 FIEDOR Jan, KŘENA Bohuslav, LETKO Zdeněk a VOJNAR Tomáš. A Uniform Classification of Common Concurrency Errors. In: Proceedings of the 13th International Conference on Computer Aided Systems Theory. Universidad de Las Palmas de Canaria: Universidad de Las Palmas de Gran Canaria, 2011, s. 326-327. ISBN 978-84-693-9560-8.
 HABERMEHL Peter, HOLÍK Lukáš, ROGALEWICZ Adam, ŠIMÁČEK Jiří a VOJNAR Tomáš. Forest Automata for Verification of Heap Manipulation. FIT-TR-2011-01, Brno: Fakulta informačních technologií VUT v Brně, 2011.
 HABERMEHL Peter, HOLÍK Lukáš, ROGALEWICZ Adam, ŠIMÁČEK Jiří a VOJNAR Tomáš. Forest Automata for Verification of Heap Manipulation. Lecture Notes in Computer Science. 2011, roč. 2011, č. 6806, s. 424-440. ISSN 0302-9743.
 HANÁČEK Petr a JURNEČKA Peter. Využitie grafických kariet na útoky silou. DSM Data Security Management. 2011, roč. 15, č. 2, s. 10-13. ISSN 1211-8737.
 HOLÍK Lukáš, LENGÁL Ondřej, ŠIMÁČEK Jiří a VOJNAR Tomáš. Efficient Inclusion Checking on Explicit and Semi-Symbolic Tree Automata. FIT-TR-2011-04, Brno: Fakulta informačních technologií VUT v Brně, 2011.
 HOLÍK Lukáš, LENGÁL Ondřej, ŠIMÁČEK Jiří a VOJNAR Tomáš. Efficient Inclusion Checking on Explicit and Semi-Symbolic Tree Automata. Lecture Notes in Computer Science. 2011, roč. 2011, č. 6996, s. 243-258. ISSN 0302-9743.
 KORČEK Pavol, SEKANINA Lukáš a FUČÍK Otto. A Scalable Cellular Automata Based Microscopic Traffic Simulation. 7th Doctoral Workshop on Mathematical and Engineering Methods in Computer Science. Brno: Masarykova universita, 2011. ISBN 978-80-214-4305-1.
 KORČEK Pavol, SEKANINA Lukáš a FUČÍK Otto. A Scalable Cellular Automata Based Microscopic Traffic Simulation. In: Proceedings of the IEEE Intelligent Vehicles Symposium 2011 (IV11). Baden-Baden: IEEE Intelligent Transportation Systems Society, 2011, s. 13-18. ISBN 978-1-4577-0889-3.
 KORČEK Pavol, SEKANINA Lukáš a FUČÍK Otto. Cellular automata based traffic simulation accelerated on GPU. In: Proceedings of the 17th International Conference on Soft Computing (MENDEL2011). Brno: Ústav automatizace a informatiky FSI VUT, 2011, s. 395-402. ISBN 978-80-214-4302-0.
 KORČEK Pavol, SEKANINA Lukáš a FUČÍK Otto. Microscopic traffic simulation using CUDA. In: Advanced Computer Architecture and Compilation for High-Performace and Embedded Systems (ACACES 2011) Poster Abstracts. Fiuggi: Academia Press, 2011, s. 207-210. ISBN 978-90-382-1798-7.
 KORČEK Pavol. Simulácie dopravy pre dlhodobú predpoveď stavu dopravy. In: Počítačové architektury a diagnostika 2011. Bratislava: Fakulta informatiky a informačních technologií Slovenská technická univerzita v Bratislavě, 2011, s. 115-120. ISBN 978-80-227-3552-0.
 KOUTNÝ Jiří, KŘIVKA Zbyněk a MEDUNA Alexander. Pumping Properties of Path-Restricted Tree-Controlled Languages. In: 7th Doctoral Workshop on Mathematical and Engineering Methods in Computer Science. Brno: Vysoké učení technické v Brně, 2011, s. 61-69. ISBN 978-80-214-4305-1.
 MALAČKA Ondřej, SAMEK Jan, ZBOŘIL František a ZBOŘIL František V. Decision Making and Recommendation Protocol Based on Trust for Multi-Agent Systems. In: Proceedings of Trust, Reputation and User Modeling Workshop (TRUM 2011). Girona, 2011, s. 33-40.
 MATOUŠEK Jiří a KORČEK Pavol. Precise IPv4/IPv6 Packet Generator Based on NetCOPE Platform. In: IEEE Design and Diagnostics of Electronic Circuits and Systems DDECS'2011. Cottbus: IEEE Computer Society, 2011, s. 319-324. ISBN 978-1-4244-9756-0.
 MIKUŠEK Petr, TOMEC Martin a DVOŘÁK Václav. A Cascade Decomposition of Application-Specific Systems. In: MEMICS Proc.. Brno: Vysoké učení technické v Brně, 2011, s. 78-85. ISBN 978-80-214-4305-1.
 PŘIKRYL Zdeněk, KŘOUSTEK Jakub, HRUŠKA Tomáš a KOLÁŘ Dušan. Fast Just-In-Time Translated Simulation for ASIP Design. In: 14th IEEE International Symposium on Design and Diagnostics of Electronic Circuits and Systems. Cottbus: IEEE Computer Society, 2011, s. 279-282. ISBN 978-1-4244-9753-9.
 PŘIKRYL Zdeněk, KŘOUSTEK Jakub, HRUŠKA Tomáš a KOLÁŘ Dušan. Fast Translated Simulation of ASIPs. OpenAccess Series in Informatics (OASIcs). Wadern: Schloss Dagstuhl--Leibniz-Zentrum fuer Informatik, 2011, roč. 16, č. 1, s. 93-100. ISSN 2190-6807.
 PŘIKRYL Zdeněk, KŘOUSTEK Jakub, HRUŠKA Tomáš, KOLÁŘ Dušan, MASAŘÍK Karel a HUSÁR Adam. Design and Simulation of High Performance Parallel Architectures Using the ISAC Language. GSTF International Journal on Computing. Singapur: Global Science & Technology Forum, 2011, roč. 1, č. 2, s. 97-106. ISSN 2010-2283.
 PŘIKRYL Zdeněk. Advanced Methods of Microprocessor Simulation. Information Sciences and Technologies Bulletin of the ACM Slovakia. Bratislava: Vydavateľstvo STU, 2011, roč. 3, č. 3, s. 1-13. ISSN 1338-1237.
 SAMEK Jan, MALAČKA Ondřej, ZBOŘIL František a HANÁČEK Petr. Multi-Agent Experimental Framework with Hierarchical Model of Trust in Contexts for Decision Making. In: Proceeding of the 2nd International Conference on Computer Modelling and Simulation. Brno: Ústav inteligentních systémů FIT VUT v Brně, 2011, s. 128-136. ISBN 978-80-214-4320-4.
 VAŠÍČEK Zdeněk a BIDLO Michal. Evolutionary Design of Robust Noise-Specific Image Filters. In: 2011 IEEE Congress on Evolutionary Computation. New Orleans: IEEE Computer Society, 2011, s. 269-276. ISBN 978-1-4244-7834-7.
 VAŠÍČEK Zdeněk a SEKANINA Lukáš. Evolutionary Optimization of Complex Digital Circuits. In: 7th Doctoral Workshop on Mathematical and Engineering Methods in Computer Science. Brno: Masarykova universita, 2011, s. 1. ISBN 978-80-214-4305-1.
 VAŠÍČEK Zdeněk a SEKANINA Lukáš. Formal verification of candidate solutions for post-synthesis evolutionary optimization in evolvable hardware. Genetic Programming and Evolvable Machines. Berlin: Springer Verlag, 2011, roč. 12, č. 3, s. 305-327. ISSN 1389-2576.
 VAŠÍČEK Zdeněk, BIDLO Michal, SEKANINA Lukáš a GLETTE Kyrre. Evolutionary Design of Efficient and Robust Switching Image Filters. In: Proceedings of the 2011 NASA/ESA Conference on Adaptive Hardware and Systems. Los Alamitos: IEEE Computer Society, 2011, s. 192-199. ISBN 978-1-4577-0599-1.
 ZEMČÍK Pavel, PŘIBYL Bronislav, ŽÁDNÍK Martin a KORČEK Pavol. Fast and Energy Efficient Image Processing Algorithms using FPGA. In: Proceedings of the 21th Conference on Field Programmable Logic and Applications Workshop. Chania: Institute of Electrical and Electronics Engineers, 2011, s. 2. ISBN 978-0-7695-4529-5.
 ČEŠKA Milan, FIEDOR Jan a GACH Marek. A Novel Approach to Modechart Verification of Real-Time Systems. In: Proceedings of the 13th International Conference on Computer Aided Systems Theory. Universidad de Las Palmas de Canaria: Universidad de Las Palmas de Gran Canaria, 2011, s. 338-339. ISBN 978-84-693-9560-8.
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). FIT-TR-2010-01, Brno: Fakulta informačních technologií VUT v Brně, 2010.
 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.
 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.
 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.
 HOLÍK Lukáš a ŠIMÁČEK Jiří. Optimizing an LTS-Simulation Algorithm. Computing and Informatics. Bratislava: Slovak Academic Press, 2010, roč. 2010, č. 7, s. 1337-1348. ISSN 1335-9150.
 HUSÁR Adam, HRUŠKA Tomáš, MASAŘÍK Karel a PŘIKRYL Zdeněk. Instruction Pipeline Modeling using Petri Nets. In: Proceedings of the International Workshop on Petri Nets and Software Engineering - PNSE'10. Universität Hamburg: Technische Universitat Hamburg-Harburg, 2010, s. 163-164. ISBN 978-972-8692-55-1.
 HUSÁR Adam, HRUŠKA Tomáš, TRMAČ Miloslav a PŘIKRYL Zdeněk. Instruction Selection Patterns Extraction from Architecture Specification Language ISAC. In: Proceedings of the 16th Conference Student EEICT 2010 Volume 5. Brno: Fakulta informačních technologií VUT v Brně, 2010, s. 166-170. ISBN 978-80-214-4080-7.
 HUSÁR Adam, TRMAČ Miloslav, HRANÁČ Jan, HRUŠKA Tomáš, MASAŘÍK Karel, KOLÁŘ Dušan a PŘIKRYL Zdeněk. Automatic C Compiler Generation from Architecture Description Language ISAC. In: 6th Doctoral Workshop on Mathematical and Engineering Methods in Computer Science. Brno: Masarykova universita, 2010, s. 84-91. ISBN 978-80-87342-10-7.
 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.
 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.
 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.
 PŘIKRYL Zdeněk, HRUŠKA Tomáš, MASAŘÍK Karel a HUSÁR Adam. Fast Cycle-Accurate Compiled Simulation. In: 10th IFAC Workshop on Programmable Devices and Embedded Systems, PDeS 2010. Pszczyna: IFAC, 2010, s. 97-102. ISBN 978-3-902661-95-1. ISSN 1474-6670.
 PŘIKRYL Zdeněk, HUSÁR Adam, HRUŠKA Tomáš a MASAŘÍK Karel. ASIP Design in the Lissom Project. In: ACACES 2010 - Poster Abstracts. Ghent: High Performance and Embedded Architecture and Compilation, 2010, s. 105-108. ISBN 978-90-382-1631-7.
 PŘIKRYL Zdeněk, KŘOUSTEK Jakub, HRUŠKA Tomáš a KOLÁŘ Dušan. Fast Translated Simulation of ASIPs. In: 6th Doctoral Workshop on Mathematical and Engineering Methods in Computer Science. Brno: Masarykova universita, 2010, s. 135-142. ISBN 978-80-87342-10-7.
 PŘIKRYL Zdeněk, KŘOUSTEK Jakub, HRUŠKA Tomáš, KOLÁŘ Dušan, MASAŘÍK Karel a HUSÁR Adam. Design and Debugging of Parallel Architectures Using the ISAC Language. In: Proceedings ot the Annual International Conference on Advanced Distributed and Parallel Computing and Real-Time and Embedded Systems. Singapore: Global Science & Technology Forum, 2010, s. 213-221. ISBN 978-981-08-7656-2.
 PŘIKRYL Zdeněk, MASAŘÍK Karel, HRUŠKA Tomáš a HUSÁR Adam. Generated Cycle-Accurate Profiler for C Language. In: 13th EUROMICRO Conference on Digital System Design, DSD'2010. Lille: IEEE Computer Society, 2010, s. 263-268. ISBN 978-0-7695-4171-6.
 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.
 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.
 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, SEKANINA Lukáš a BIDLO Michal. A Method for Design of Impulse Bursts Noise Filters Optimized for FPGA Implementations. In: DATE 2010: Design, Automation and Test in Europe. Dresden: European Design and Automation Association, 2010, s. 1731-1736. ISBN 978-3-9810801-6-2.
 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.
 Š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.
2009ABDULLA Parosh A., BOUAJJANI Ahmed, HOLÍK Lukáš, KAATI Lisa a VOJNAR Tomáš. Composed Bisimulation for Tree Automata. International Journal of Foundations of Computer Science. 2009, roč. 20, č. 4, s. 685-700. ISSN 0129-0541.
 ABDULLA Parosh A., HOLÍK Lukáš, CHEN Yu-Fang a VOJNAR Tomáš. Mediating for Reduction (On Minimizing Alternating Büchi Automata). Brno: Fakulta informačních technologií VUT v Brně, 2009.
 ABDULLA Parosh A., HOLÍK Lukáš, CHEN Yu-Fang a VOJNAR Tomáš. Mediating for Reduction (On Minimizing Alternating Büchi Automata). FIT-TR-2009-02, Brno, 2009.
 ABDULLA Parosh A., HOLÍK Lukáš, CHEN Yu-Fang a VOJNAR Tomáš. Zprostředkování pro redukci (Za minimalizací alternujících automatů). In: IARCS Annual Conference on Foundations of Software Technology and Theoretical Computer Science (2009). Wadern: Schloss Dagstuhl--Leibniz-Zentrum fuer Informatik, 2009, s. 1-12. ISBN 978-3-939897-13-2.
 ABDULLA Parosh A., HOLÍK Lukáš, KAATI Lisa a VOJNAR Tomáš. A Uniform (Bi-)Simulation-Based Framework for Reducing Tree Automata. Electronic Notes in Theoretical Computer Science. 2009, roč. 2009, č. 251, s. 27-48. ISSN 1571-0661.
 BIDLO Michal a VAŠÍČEK Zdeněk. Comparison of the Uniform and Non-Uniform Cellular Automata-Based Approach to the Development of Combinational Circuits. In: Proceedings 2009 NASA/ESA Conference on Adaptive Hardware and Systems. Los Alamitos: IEEE Computer Society, 2009, s. 423-430. ISBN 978-0-7695-3714-6.
 BIDLO Michal a VAŠÍČEK Zdeněk. Development of Combinational Circuits Using Non-Uniform Cellular Automata: Initial Results. In: Genetic and Evolutionary Computation. New York: Association for Computing Machinery, 2009, s. 1839-1840. ISBN 978-1-60558-325-9.
 BIDLO Michal a VAŠÍČEK Zdeněk. Investigating Gate-Level Evolutionary Development of Combinational Multipliers Using Enhanced Cellular Automata-Based Model. In: Proc. of 2009 IEEE Congress on Evolutionary Computation. NA: IEEE Computational Intelligence Society, 2009, s. 2241-2248. ISBN 978-1-4244-2958-5.
 BOZGA Marius, HABERMEHL Peter, IOSIF Radu, KONEČNÝ Filip a VOJNAR Tomáš. Automatic Verification of Integer Array Programs. TR-2009-2, Grenoble: VERIMAG, 2009.
 BOZGA Marius, HABERMEHL Peter, IOSIF Radu, KONEČNÝ Filip a VOJNAR Tomáš. Automatic Verification of Integer Array Programs. In: Computer Aided Verification. Berlin: Springer Verlag, 2009, s. 157-172. ISBN 978-3-642-02657-7.
 HOLÍK Lukáš a ŠIMÁČEK Jiří. Optimizing an LTS-Simulation Algorithm. FIT-TR-2009-03, Brno, 2009.
 HOLÍK Lukáš a ŠIMÁČEK Jiří. Optimizing an LTS-Simulation Algorithm. In: 5th Doctoral Workshop on Mathematical and Engineering Methods in Computer Science. Znojmo: Fakulta informatiky MU, 2009, s. 93-101. ISBN 978-3-939897-15-6.
 HUSÁR Adam, PŘIKRYL Zdeněk, MASAŘÍK Karel a HRUŠKA Tomáš. ASIP Design using Architecture Description Language ISAC. In: ACACES 2009 - Poster Abstracts. Ghent: High Performance and Embedded Architecture and Compilation, 2009, s. 137-139. ISBN 978-90-382-1467-2.
 HÝSEK Jiří, ČEŠKA Milan a JANOUŠEK Vladimír. Model-Based Design and Verification of Reactive Systems. In: Computer Aided Systems Theory. Las Palmas de Gran Canaria, 2009, s. 295-296. ISBN 978-84-691-8502-5.
 KOTÁSEK Zdeněk a STRAKA Martin. The Design of On-line Checkers and Their Use in Verification and Testing. Acta Electrotechnica et Informatica. 2009, roč. 2009, č. 3, s. 8-15. ISSN 1335-8243.
 MIKUŠEK Petr a DVOŘÁK Václav. Heuristic Synthesis of MTBDDs Based On Local Width Minimization. In: 5th Doctoral Workshop on Mathematical and Engineering Methods in Computer Science. Znojmo: Masarykova universita, 2009, s. 235-235. ISBN 978-80-87342-04-6.
 MIKUŠEK Petr a DVOŘÁK Václav. Heuristic Synthesis of Multi-Terminal BDDs Based on Local Width/Cost Minimization. In: 12th EUROMICRO Conference on Digital System Design DSD 2009. Patras: IEEE Computer Society, 2009, s. 605-608. ISBN 978-0-7695-3782-5.
 MIKUŠEK Petr. Dekompoziční techniky pro aplikačně specifické systémy. In: Počítačové architektury a diagnostika 2009. Zlín: Univerzita Tomáše Bati ve Zlíně, 2009, s. 118-123. ISBN 978-80-7318-847-4.
 MIKUŠEK Petr. Multi-Terminal BDD Synthesis and Applications. In: Proceedings 19th International Conference on Field Programmable Logic and Applications (FPL). Prague: IEEE Computer Society, 2009, s. 721-722. ISBN 978-1-4244-3892-1.
 PŘIKRYL Zdeněk a HRUŠKA Tomáš. Cycle Accurate Profiler for ASIPs. In: 5th Doctoral Workshop on Mathematical and Engineering Methods in Computer Science. Brno: Masarykova universita, 2009, s. 168-175. ISBN 978-80-87342-04-6.
 PŘIKRYL Zdeněk, MASAŘÍK Karel, HRUŠKA Tomáš a HUSÁR Adam. Fast Cycle-Accurate Interpreted Simulation. In: Tenth International Workshop on Microprocessor Test and Verification: Common Challenges and Solutions. Austin: IEEE Computer Society Press, 2009, s. 9-14. ISBN 978-0-7695-4000-9.
 SAMEK Jan a ZBOŘIL František. Agent Reasoning Based On Trust And Reputation. In: Proceedings MATHMOD 09 Vienna - Full Papers CD Volume. Vienna: ARGE Simulation News, 2009, s. 538-544. ISBN 978-3-901608-35-3.
 STRAKA Martin a KOTÁSEK Zdeněk. High Availability Fault Tolerant Architectures Implemented into FPGAs. In: 12th EUROMICRO Conference on Digital System Design DSD 2009. Patras: IEEE Computer Society, 2009, s. 108-116. ISBN 978-0-7695-3782-5.
 STRAKA Martin a KOTÁSEK Zdeněk. Reliability Models for Fault Tolerant Architectures Based on FPGA. In: 5th Doctoral Workshop on Mathematical and Engineering Methods in Computer Science. Brno: Fakulta informatiky MU, 2009, s. 239-239. ISBN 978-80-87342-04-6.
 STRAKA Martin. Metodologie návrhu obvodů se zvýšenou spolehlivostí založených na FPGA. In: Počítačové architektury a diagnostika 2009. Zlin: Univerzita Tomáše Bati ve Zlíně, 2009, s. 141-146. ISBN 978-80-7318-847-4.
 VAŠÍČEK Zdeněk a SEKANINA Lukáš. Efficient Hardware Accelerator for Symbolic Regression Problems. In: 5th Doctoral Workshop on Mathematical and Engineering Methods in Computer Science. Znojmo: Masarykova universita, 2009, s. 192-199. ISBN 978-80-87342-04-6.
 VAŠÍČEK Zdeněk, BIDLO Michal, SEKANINA Lukáš, TORRESEN Jim, GLETTE Kyrre a FURUHOLMEN Marcus. Evolution of Impulse Bursts Noise Filters. In: Proc. of the 2009 NASA/ESA Conference on Adaptive Hardware and Systems. Los Alamitos: IEEE Computer Society, 2009, s. 27-34. ISBN 978-0-7695-3714-6.
 ČEŠKA Milan, HÝSEK Jiří a JANOUŠEK Vladimír. Model-Based Design and Verification of Reactive Systems. Lecture Notes in Computer Science. 2009, roč. 2009, č. 5717, s. 865-872. ISBN 978-3-642-04771-8. ISSN 0302-9743.

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

DNSSEC [dnssec]