Department of Information Systems

Mathematical and Engineering Approaches to Developing Reliable and Secure Concurrent and Distributed Computer Systems

Reseach leader:Češka Milan
Team leaders: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áš
Team members:Bartoš Václav, Dolíhal Luděk, Holík Lukáš, Hrubá Vendula, 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, Šikulová Michaela, Šimáček Jiří, Šimková Marcela, Vašíček Zdeněk
Agency:GAČR
Code:GD102/09/H042
Start:2009
End:2012
Keywords:preparation of selected PhD students, reliability and security, concurrent and distributed systems, mathematical and engineering approaches
Annotation:
The basic aim of the project is to create an exceptional program for educating excellent PhD students from FIT BUT and FI MU within research targeted at solving current scientific problems of reliability and security of concurrent and distributed systems, which is one of the key issues of the contemporary computer science. Within this framework, the project covers a wide variety of concrete problems ranging from the design of reliable computing platforms, through the area of computer security to methods of automatic verification of computer systems. The complexity of the studied problems necessitates a use of a combination of exact mathematical approaches with heuristic engineering techniques, which is ensured in the project by a unique combination of researchers with theoretical as well as engineering backgrounds. Apart from the complex and interdisciplinary approach, another key aspect of the preparation of students in the project lies in their intense involvement in international activities, based on exceptional international relations of the project leaders.

Products

2012HAVEN: An Open Framework for FPGA-Accelerated Functional Verification of Hardware, software, 2012
Authors: Šimková Marcela, Lengál Ondřej, Kajan Michal
 VATA: A Library for Efficient Manipulation of Non-Deterministic Tree Automata, software, 2012
Authors: Lengál Ondřej, Šimáček Jiří, Vojnar Tomáš
2010AnalyzeThis: Protocol Analyzer, software, 2010
Authors: Jurnečka Peter, Hanáček Petr
 ContextGraph: Simulation tool for Hierarchical Model of Trust In Contexts, software, 2010
Authors: Samek Jan, Zbořil František, Malačka Ondřej
 Forester: A Tool for Verification of Programs with Pointers, software, 2010
Authors: Habermehl Peter, Holík Lukáš, Rogalewicz Adam, Šimáček Jiří, Vojnar Tomáš
 libSFTA: A Semi-symbolic Nondeterministic Finite Tree Automata Library Prototype, software, 2010
Authors: Holík Lukáš, Lengál Ondřej, Vojnar Tomáš
 Replay Tracer & BMC, software, 2010
Authors: Fiedor Jan, Hrubá Vendula, Křena Bohuslav, Letko Zdeněk, Vojnar Tomáš
 Tool for scan chain routability visualisation, analysis and optimization, software, 2010
Authors: Bartoš Pavel, Kotásek Zdeněk
 Tool for verification of systems described using the Modechart formalism, software, 2010
Authors: Gach Marek, Fiedor Jan, Češka Milan
 Tool for verification of systems specified in RT-Logic language, software, 2010
Authors: Fiedor Jan, Gach Marek, Češka Milan
2009FLATA, software, 2009
Authors: Konečný Filip, Vojnar Tomáš, Bozga Marius, Iosif Radu
 Tool for Computing Simulations, software, 2009
Authors: Holík Lukáš, Šimáček Jiří, Vojnar Tomáš

Publications

2013LETKO Zdeněk. Analysis and Testing of Concurrent Programs. Information Sciences and Technologies Bulletin of the ACM Slovakia. Bratislava: Vydavateľstvo STU, 2013, vol. 5, no. 3, pp. 1-8. ISSN 1338-1237.
 STRAKA Martin, KAŠTIL Jan, KOTÁSEK Zdeněk and MIČULKA Lukáš. Fault Tolerant System Design and SEU Injection based Testing. Microprocessors and Microsystems. Amsterdam: Elsevier Science, 2013, vol. 2013, no. 37, pp. 155-173. ISSN 0141-9331.
2012BARTOŠ Pavel and 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: Faculty of Electrical Engineering and Informatics, University of Technology Košice, 2012, pp. 162-169. ISBN 978-80-8143-049-7.
 BIDLO Michal and 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, pp. 1060-1067. ISBN 978-1-4673-1508-1.
 DOLÍHAL Luděk, HRUŠKA Tomáš and MASAŘÍK Karel. Testing of an automatically generated compiler, Review of retargetable testing system. International Journal on Advances in Software. 2012, vol. 2012, no. 1, pp. 15-26. ISSN 1942-2628.
 DOLÍHAL Luděk, HRUŠKA Tomáš and MASAŘÍK Karel. Usage of simulators in testing system. In: Industrial Simulation Conference. Brno: EUROSIS, 2012, pp. 74-78. ISBN 978-90-77381-71-7.
 FIEDOR Jan, KŘENA Bohuslav, LETKO Zdeněk and VOJNAR Tomáš. A Uniform Classification of Common Concurrency Errors. Lecture Notes in Computer Science. 2012, vol. 2012, no. 6927, pp. 519-526. ISSN 0302-9743.
 HABERMEHL Peter, HOLÍK Lukáš, ROGALEWICZ Adam, ŠIMÁČEK Jiří and VOJNAR Tomáš. Forest Automata for Verification of Heap Manipulation. Formal Methods in System Design. Berlin: Springer Verlag, 2012, vol. 2012, no. 41, pp. 83-106. ISSN 0925-9856.
 HRUBÁ Vendula, KŘENA Bohuslav, LETKO Zdeněk and VOJNAR Tomáš. Testing of Concurrent Programs Using Genetic Algorithms. FIT-TR-2012-01, Brno, 2012.
 HRUBÁ Vendula, KŘENA Bohuslav, LETKO Zdeněk, UR Shmuel and VOJNAR Tomáš. Testing of Concurrent Programs with Genetic Algorithms. Lecture Notes in Computer Science. 2012, vol. 2012, no. 7515, pp. 152-167. ISSN 0302-9743.
 IOSIF Radu, HOJJAT Hossein, KONEČNÝ Filip, KUNCAK Viktor and RUMMER Philipp. Accelerating Interpolants. Lecture Notes in Computer Science. 2012, vol. 2012, no. 7561, pp. 187-202. ISSN 0302-9743.
 KONEČNÝ Filip, HOJJAT Hossein, IOSIF Radu, KUNCAK Viktor, RUMMER Philipp and GARNIER Florent. A Verification Toolkit for Numerical Transition Systems. Lecture Notes in Computer Science. 2012, vol. 2012, no. 7436, pp. 247-251. ISSN 0302-9743.
 KONEČNÝ Filip, IOSIF Radu and BOZGA Marius. Deciding Conditional Termination. Lecture Notes in Computer Science. 2012, vol. 2012, no. 7214, pp. 252-266. ISSN 0302-9743.
 KORČEK Pavol, SEKANINA Lukáš and FUČÍK Otto. Calibrating Traffic Simulation Model using Vehicle Travel Times. Lecture Notes in Computer Science. 2012, vol. 2012, no. 7495, pp. 807-816. ISSN 0302-9743.
 KORČEK Pavol, SEKANINA Lukáš and 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, pp. 122-129. ISBN 978-1-4673-3062-6.
 KOTÁSEK Zdeněk, BOUDA Jan, ČERNÁ Ivana, SEKANINA Lukáš, VOJNAR Tomáš and 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ří and MEDUNA Alexander. Tree-controlled Grammars with Restrictions Placed upon Cuts and Paths. Kybernetika. 2012, vol. 48, no. 1, pp. 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: Brno University of Technology, 2012, pp. 391-395. ISBN 978-80-214-4462-1.
 KŘENA Bohuslav, LETKO Zdeněk and VOJNAR Tomáš. Analysis and Testing of Concurrent Programs. Brno: Faculty of Information Technology BUT, 2012. ISBN 978-80-214-4464-5.
 KŘENA Bohuslav, LETKO Zdeněk and VOJNAR Tomáš. Coverage Metrics for Saturation-based and Search-based Testing of Concurrent Software. Lecture Notes in Computer Science. 2012, vol. 2012, no. 7186, pp. 177-192. ISSN 0302-9743.
 KŘENA Bohuslav, LETKO Zdeněk and VOJNAR Tomáš. Noise Injection Heuristics for Concurrency Testing. Lecture Notes in Computer Science. 2012, vol. 2012, no. 7119, pp. 123-131. ISSN 0302-9743.
 LENGÁL Ondřej, ŠIMÁČEK Jiří and VOJNAR Tomáš. VATA: A Library for Efficient Manipulation of Non-Deterministic Tree Automata. Lecture Notes in Computer Science. 2012, vol. 2012, no. 7214, pp. 79-94. ISSN 0302-9743.
 MALAČKA Ondřej, SAMEK Jan, ZBOŘIL František and ZBOŘIL František V. Decision Making and Recommendation Protocol Based on Trust for Multi-Agent Systems. Lecture Notes in Computer Science. 2012, vol. 2012, no. 7138, pp. 280-291. ISBN 978-3-642-28508-0. ISSN 0302-9743.
 SAMEK Jan. Důvěra a reputace v distribuovaných systémech. Brno, 2012.
 SAMEK Jan. Multi-contextual Trust Model for Multi-Agent Systems. Information Sciences and Technologies Bulletin of the ACM Slovakia. Bratislava: Vydavateľstvo STU, 2012, vol. 4, no. 1, pp. 44-54. ISSN 1338-1237.
 STRAKA Martin, KAŠTIL Jan and 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: Faculty of Informatics MU, 2012, pp. 1-1.
 VAŠÍČEK Zdeněk. Acceleration Methods for Evolutionary Design of Digital Circuits. Brno, 2012.
 ŠIKULOVÁ Michaela and 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: Masaryk University, 2012. ISBN 978-80-87342-15-2.
 ŠIKULOVÁ Michaela and SEKANINA Lukáš. Acceleration of Evolutionary Image Filter Design Using Coevolution in Cartesian GP. Lecture Notes in Computer Science. 2012, vol. 2012, no. 7491, pp. 163-172. ISBN 978-3-642-32936-4. ISSN 0302-9743.
 ŠIMKOVÁ Marcela and LENGÁL Ondřej. Towards Beneficial Hardware Acceleration in HAVEN: Evaluation of Testbed Architectures. FIT-TR-2012-03, Brno: Faculty of Information Technology BUT, 2012.
 ŠIMKOVÁ Marcela and LENGÁL Ondřej. Towards Beneficial Hardware Acceleration in HAVEN: Evaluation of Testbed Architectures. Lecture Notes in Computer Science. 2012, vol. 2013, no. 7857, pp. 266-273. ISSN 0302-9743.
 ŠIMKOVÁ Marcela. Acceleration of Functional Verification in the Development Cycle of Hardware Systems. In: Počítačové architektury a diagnostika. Praha: Czech Technical University, 2012, pp. 73-78. ISBN 978-80-01-05106-1.
 ČERMÁK Martin, KOUTNÝ Jiří and MEDUNA Alexander. Parsing Based on n-Path Tree-Controlled Grammars. Theoretical and Applied Informatics. Varšava: 2012, vol. 2011, no. 23, pp. 213-228. ISSN 1896-5334.
 ČEŠKA Milan, FIEDOR Jan and GACH Marek. A Novel Approach to Modechart Verification of Real-Time systems. Lecture Notes in Computer Science. 2012, vol. 2012, no. 6927, pp. 559-567. ISSN 0302-9743.
2011ABDULLA Parosh A., CHEN Yu-Fang, CLEMENTE Lorenzo, HOLÍK Lukáš, HONG Chih-Duo, MAYR Richard and VOJNAR Tomáš. Advanced Ramsey-based Büchi Automata Inclusion Testing. FIT-TR-2011-03, Brno: Faculty of Information Technology BUT, 2011.
 ABDULLA Parosh A., CHEN Yu-Fang, CLEMENTE Lorenzo, HOLÍK Lukáš, HONG Chih-Duo, MAYR Richard and VOJNAR Tomáš. Advanced Ramsey-based Büchi Automata Inclusion Testing. Lecture Notes in Computer Science. 2011, vol. 2011, no. 6901, pp. 187-202. ISSN 0302-9743.
 BARTOŠ Pavel, KOTÁSEK Zdeněk and 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, pp. 371-374. ISBN 978-1-4244-9753-9.
 BARTOŠ Pavel. Metody optimalizace propojení scan řetězce. In: Počítačové architektury a diagnostika 2011. Bratislava: Vydavateľstvo STU, 2011, pp. 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: Faculty of Electrical Engineering and Communication BUT, 2011, pp. 564-568. ISBN 978-80-214-4273-3.
 DOLÍHAL Luděk and HRUŠKA Tomáš. Porting of C library, Testing of generated compiler. In: InfoWare 2011. Luxembourg: International Academy, Research, and Industry Association, 2011, pp. 125-130. ISBN 978-1-61208-008-6.
 DUDKA Kamil, PERINGER Petr and 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: The Universidad de Las Palmas de Gran Canaria, 2011, pp. 328-329. ISBN 978-84-693-9560-8.
 DVOŘÁK Václav and JAROŠ Jiří. A Programmable Interconnection Network for Multiple Communication Patterns. In: Proceedings of the Sixth International Conference on Systems, ICONS 2011. St. Maarten: International Academy, Research, and Industry Association, 2011, pp. 6-11. ISBN 978-1-61208-002-4.
 FIEDOR Jan, KŘENA Bohuslav, LETKO Zdeněk and 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: The Universidad de Las Palmas de Gran Canaria, 2011, pp. 326-327. ISBN 978-84-693-9560-8.
 HABERMEHL Peter, HOLÍK Lukáš, ROGALEWICZ Adam, ŠIMÁČEK Jiří and VOJNAR Tomáš. Forest Automata for Verification of Heap Manipulation. FIT-TR-2011-01, Brno: Faculty of Information Technology BUT, 2011.
 HABERMEHL Peter, HOLÍK Lukáš, ROGALEWICZ Adam, ŠIMÁČEK Jiří and VOJNAR Tomáš. Forest Automata for Verification of Heap Manipulation. Lecture Notes in Computer Science. 2011, vol. 2011, no. 6806, pp. 424-440. ISSN 0302-9743.
 HANÁČEK Petr and JURNEČKA Peter. Využitie grafických kariet na útoky silou. DSM Data Security Management. 2011, vol. 15, no. 2, pp. 10-13. ISSN 1211-8737.
 HOLÍK Lukáš, LENGÁL Ondřej, ŠIMÁČEK Jiří and VOJNAR Tomáš. Efficient Inclusion Checking on Explicit and Semi-Symbolic Tree Automata. FIT-TR-2011-04, Brno: Faculty of Information Technology BUT, 2011.
 HOLÍK Lukáš, LENGÁL Ondřej, ŠIMÁČEK Jiří and VOJNAR Tomáš. Efficient Inclusion Checking on Explicit and Semi-Symbolic Tree Automata. Lecture Notes in Computer Science. 2011, vol. 2011, no. 6996, pp. 243-258. ISSN 0302-9743.
 HOLÍK Lukáš. Simulations and Antichains for Efficient Handling of Finite Automata. Brno: Department of Intelligent Systems FIT BUT, 2011.
 KORČEK Pavol, SEKANINA Lukáš and FUČÍK Otto. A Scalable Cellular Automata Based Microscopic Traffic Simulation. 7th Doctoral Workshop on Mathematical and Engineering Methods in Computer Science. Brno: Masaryk University, 2011. ISBN 978-80-214-4305-1.
 KORČEK Pavol, SEKANINA Lukáš and 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, pp. 13-18. ISBN 978-1-4577-0889-3.
 KORČEK Pavol, SEKANINA Lukáš and FUČÍK Otto. Cellular automata based traffic simulation accelerated on GPU. In: Proceedings of the 17th International Conference on Soft Computing (MENDEL2011). Brno: Institute of Automation and Computer Science FME BUT, 2011, pp. 395-402. ISBN 978-80-214-4302-0.
 KORČEK Pavol, SEKANINA Lukáš and 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, pp. 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: Faculty of Informatics and Information Technology STU, 2011, pp. 115-120. ISBN 978-80-227-3552-0.
 KOUTNÝ Jiří, KŘIVKA Zbyněk and MEDUNA Alexander. Pumping Properties of Path-Restricted Tree-Controlled Languages. In: 7th Doctoral Workshop on Mathematical and Engineering Methods in Computer Science. Brno: Brno University of Technology, 2011, pp. 61-69. ISBN 978-80-214-4305-1.
 MALAČKA Ondřej, SAMEK Jan, ZBOŘIL František and 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, pp. 33-40.
 MATOUŠEK Jiří and 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, pp. 319-324. ISBN 978-1-4244-9753-9.
 MIKUŠEK Petr, TOMEC Martin and DVOŘÁK Václav. A Cascade Decomposition of Application-Specific Systems. In: MEMICS Proc.. Brno: Brno University of Technology, 2011, pp. 78-85. ISBN 978-80-214-4305-1.
 PŘIKRYL Zdeněk, KŘOUSTEK Jakub, HRUŠKA Tomáš and KOLÁŘ Dušan. Fast Just-In-Time Translated Simulator for ASIP Design. In: 14th IEEE International Symposium on Design and Diagnostics of Electronic Circuits and Systems. Cottbus: IEEE Computer Society, 2011, pp. 279-282. ISBN 978-1-4244-9753-9.
 PŘIKRYL Zdeněk, KŘOUSTEK Jakub, HRUŠKA Tomáš and KOLÁŘ Dušan. Fast Translated Simulation of ASIPs. OpenAccess Series in Informatics (OASIcs). Wadern: Schloss Dagstuhl--Leibniz-Zentrum fuer Informatik, 2011, vol. 16, no. 1, pp. 93-100. ISSN 2190-6807.
 PŘIKRYL Zdeněk, KŘOUSTEK Jakub, HRUŠKA Tomáš, KOLÁŘ Dušan, MASAŘÍK Karel and 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, vol. 1, no. 2, pp. 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, vol. 3, no. 3, pp. 1-13. ISSN 1338-1237.
 SAMEK Jan, MALAČKA Ondřej, ZBOŘIL František and 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: Department of Intelligent Systems FIT BUT, 2011, pp. 128-136. ISBN 978-80-214-4320-4.
 VAŠÍČEK Zdeněk and BIDLO Michal. Evolutionary Design of Robust Noise-Specific Image Filters. In: 2011 IEEE Congress on Evolutionary Computation. New Orleans: IEEE Computer Society, 2011, pp. 269-276. ISBN 978-1-4244-7834-7.
 VAŠÍČEK Zdeněk and SEKANINA Lukáš. Evolutionary Optimization of Complex Digital Circuits. In: 7th Doctoral Workshop on Mathematical and Engineering Methods in Computer Science. Brno: Masaryk University, 2011, p. 1. ISBN 978-80-214-4305-1.
 VAŠÍČEK Zdeněk and SEKANINA Lukáš. Formal verification of candidate solutions for post-synthesis evolutionary optimization in evolvable hardware. Genetic Programming and Evolvable Machines. Berlin: Springer Verlag, 2011, vol. 12, no. 3, pp. 305-327. ISSN 1389-2576.
 VAŠÍČEK Zdeněk, BIDLO Michal, SEKANINA Lukáš and 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, pp. 192-199. ISBN 978-1-4577-0599-1.
 ZEMČÍK Pavel, PŘIBYL Bronislav, ŽÁDNÍK Martin and 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, p. 2. ISBN 978-0-7695-4529-5.
 ČEŠKA Milan, FIEDOR Jan and 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: The Universidad de Las Palmas de Gran Canaria, 2011, pp. 338-339. ISBN 978-84-693-9560-8.
2010ABDULLA Parosh A., CLEMENTE Lorenzo, HOLÍK Lukáš, HONG Chih-Duo, CHEN Yu-Fang, MAYR Richard and VOJNAR Tomáš. Simulation Subsumption in Ramsey-based Büchi Automata Universality and Inclusion Testing. FIT-TR-2010-02, Brno: Faculty of Information Technology BUT, 2010.
 ABDULLA Parosh A., CLEMENTE Lorenzo, HOLÍK Lukáš, HONG Chih-Duo, CHEN Yu-Fang, MAYR Richard and VOJNAR Tomáš. Simulation Subsumption in Ramsey-Based Büchi Automata Universality and Inclusion Testing. In: Computer Aided Verification. Berlín: Springer Verlag, 2010, pp. 132-147. ISBN 978-3-642-14294-9.
 ABDULLA Parosh A., HOLÍK Lukáš, CHEN Yu-Fang, MAYR Richard and VOJNAR Tomáš. When Simulation Meets Antichains (On Checking Language Inclusion of Nondeterministic Finite (Tree) Automata). FIT-TR-2010-01, Brno: Faculty of Information Technology BUT, 2010.
 ABDULLA Parosh A., HOLÍK Lukáš, CHEN Yu-Fang, MAYR Richard and 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, pp. 158-174. ISBN 978-3-642-12001-5.
 BIDLO Michal, SLANÝ Karel and VAŠÍČEK Zdeněk. Sorting Network Development Using Cellular Automata. In: Evolvable Systems: From Biology to Hardware. London: Springer London, 2010, pp. 85-96. ISBN 978-3-642-15322-8.
 BOZGA Marius, IOSIF Radu and KONEČNÝ Filip. Fast Acceleration of Ultimately Periodic Relations. In: Computer Aided Verification. Berlin: Springer Verlag, 2010, pp. 227-242. ISBN 978-3-642-14294-9.
 DVOŘÁK Václav and MIKUŠEK Petr. Design of Arbiters and Allocators Based on Multi-Terminal BDDs. Journal of Universal Computer Science. 2010, vol. 16, no. 14, pp. 1826-1852. ISSN 0948-6968.
 FIEDOR Jan, KŘENA Bohuslav, LETKO Zdeněk and VOJNAR Tomáš. A Uniform Classification of Common Concurrency Errors. FIT-TR-2010-03, Brno, 2010.
 HOLÍK Lukáš and ŠIMÁČEK Jiří. Optimizing an LTS-Simulation Algorithm. Computing and Informatics. Bratislava: Slovak Academic Press, 2010, vol. 2010, no. 7, pp. 1337-1348. ISSN 1335-9150.
 HUSÁR Adam, HRUŠKA Tomáš, MASAŘÍK Karel and 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: Technical Universityt Hamburg-Harburg, 2010, pp. 163-164. ISBN 978-972-8692-55-1.
 HUSÁR Adam, HRUŠKA Tomáš, TRMAČ Miloslav and 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: Faculty of Information Technology BUT, 2010, pp. 166-170. ISBN 978-80-214-4080-7.
 HUSÁR Adam, TRMAČ Miloslav, HRANÁČ Jan, HRUŠKA Tomáš, MASAŘÍK Karel, KOLÁŘ Dušan and 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: Masaryk University, 2010, pp. 84-91. ISBN 978-80-87342-10-7.
 KOTÁSEK Zdeněk, ŠKARVADA Jaroslav and 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, pp. 364-369. ISBN 978-1-4244-6610-8.
 KŘENA Bohuslav, LETKO Zdeněk, UR Shmuel and VOJNAR Tomáš. A Platform for Search-Based Testing of Concurrent Software. In: PADTAD '10. Trento: Association for Computing Machinery, 2010, p. 11. ISBN 978-1-60558-823-0.
 KŘENA Bohuslav, LETKO Zdeněk, VOJNAR Tomáš and UR Shmuel. A Platform for Search-Based Testing of Concurrent Software. 6th Doctoral Workshop on Mathematical and Engineering Methods in Computer Science. Brno: Masaryk University, 2010. ISBN 978-80-87342-10-7.
 LETKO Zdeněk. Sophisticated Testing of Concurrent Programs. In: SSBSE '10. Benevento: Institute of Electrical and Electronics Engineers, 2010, pp. 36-40. ISBN 978-0-7695-4195-2.
 MALAČKA Ondřej, SAMEK Jan and ZBOŘIL František. Increasing Profit in Agent Business Model with Trust. In: Proceedings of the 7th EUROSIM Congress on Modelling and Simulation. Praha: Czech Technical University Publishing House, 2010, p. 6. ISBN 978-80-01-04589-3.
 PŘIKRYL Zdeněk, HRUŠKA Tomáš, MASAŘÍK Karel and HUSÁR Adam. Fast Cycle-Accurate Compiled Simulator. In: 10th IFAC Workshop on Programmable Devices and Embedded Systems, PDeS 2010. Pszczyna: IFAC, 2010, pp. 97-102. ISBN 978-3-902661-95-1. ISSN 1474-6670.
 PŘIKRYL Zdeněk, HUSÁR Adam, HRUŠKA Tomáš and MASAŘÍK Karel. ASIP Design in the Lissom Project. In: ACACES 2010 - Poster Abstracts. Ghent: High Performance and Embedded Architecture and Compilation, 2010, pp. 105-108. ISBN 978-90-382-1631-7.
 PŘIKRYL Zdeněk, KŘOUSTEK Jakub, HRUŠKA Tomáš and KOLÁŘ Dušan. Fast Translated Simulation of ASIPs. In: 6th Doctoral Workshop on Mathematical and Engineering Methods in Computer Science. Brno: Masaryk University, 2010, pp. 135-142. ISBN 978-80-87342-10-7.
 PŘIKRYL Zdeněk, KŘOUSTEK Jakub, HRUŠKA Tomáš, KOLÁŘ Dušan, MASAŘÍK Karel and 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, pp. 213-221. ISBN 978-981-08-7656-2.
 PŘIKRYL Zdeněk, MASAŘÍK Karel, HRUŠKA Tomáš and 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, pp. 263-268. ISBN 978-0-7695-4171-6.
 SAMEK Jan and ZBOŘIL František. Algorithmic Evaluation of Trust in Multilevel Model. In: Proceedings of the 7th EUROSIM Congress on Modelling and Simulation. Praha: Czech Technical University Publishing House, 2010, pp. 90-95. ISBN 978-80-01-04589-3.
 SAMEK Jan and 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: The University of Technology Košice, 2010, pp. 265-270. ISBN 978-80-8086-164-3.
 SAMEK Jan and ZBOŘIL František. Hierarchical Model of Trust in Contexts. In: Networked Digital Technologies. Heidelberg: Springer Verlag, 2010, pp. 356-365. ISBN 978-3-642-14305-2. ISSN 1865-0929.
 SAMEK Jan, ZBOŘIL František and 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, pp. 911-917. ISBN 978-1-4244-8135-4.
 STRAKA Martin, KAŠTIL Jan and 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, pp. 365-372. ISBN 978-0-7695-4171-6.
 STRAKA Martin, KAŠTIL Jan and KOTÁSEK Zdeněk. Generic Partial Dynamic Reconfiguration Controller for Fault Tolerant Designs Based on FPGA. In: NORCHIP 2010. Tampere: IEEE Computer Society, 2010, pp. 1-4. ISBN 978-1-4244-8971-8.
 STRAKA Martin, KAŠTIL Jan and KOTÁSEK Zdeněk. Methodology for Design of Highly Dependable Systems in FPGA. In: International Scientific Conference on Computer Science and Engineering. Košice: The University of Technology Košice, 2010, pp. 186-193. ISBN 978-80-8086-164-3.
 STRAKA Martin, KAŠTIL Jan and 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, pp. 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: Faculty of Information Technology BUT, 2010, pp. 159-164. ISBN 978-80-214-4140-8.
 VAŠÍČEK Zdeněk and SEKANINA Lukáš. Hardware Accelerator of Cartesian Genetic Programming with Multiple Fitness Units. Computing and Informatics. Bratislava: Slovak Academic Press, 2010, vol. 29, no. 6, pp. 1359-1371. ISSN 1335-9150.
 VAŠÍČEK Zdeněk, SEKANINA Lukáš and 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, pp. 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: Faculty of Information Technology BUT, 2010, pp. 165-170. ISBN 978-80-214-4140-8.
 ŠIMÁČEK Jiří, SEKANINA Lukáš and 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, pp. 214-225. ISBN 978-3-642-15322-8.
2009ABDULLA Parosh A., BOUAJJANI Ahmed, HOLÍK Lukáš, KAATI Lisa and VOJNAR Tomáš. Composed Bisimulation for Tree Automata. International Journal of Foundations of Computer Science. 2009, vol. 20, no. 4, pp. 685-700. ISSN 0129-0541.
 ABDULLA Parosh A., HOLÍK Lukáš, CHEN Yu-Fang and VOJNAR Tomáš. Mediating for Reduction (On Minimizing Alternating Büchi Automata). Brno: Faculty of Information Technology BUT, 2009.
 ABDULLA Parosh A., HOLÍK Lukáš, CHEN Yu-Fang and 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 and VOJNAR Tomáš. Mediating for Reduction (On Minimizing Alternating Büchi Automata). In: IARCS Annual Conference on Foundations of Software Technology and Theoretical Computer Science (2009). Wadern: Schloss Dagstuhl--Leibniz-Zentrum fuer Informatik, 2009, pp. 1-12. ISBN 978-3-939897-13-2.
 ABDULLA Parosh A., HOLÍK Lukáš, KAATI Lisa and VOJNAR Tomáš. A Uniform (Bi-)Simulation-Based Framework for Reducing Tree Automata. ELECTRONIC NOTES IN THEORETICAL COMPUTER SCIENCE. 2009, vol. 2009, no. 251, pp. 27-48. ISSN 1571-0661.
 BIDLO Michal and 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, pp. 423-430. ISBN 978-0-7695-3714-6.
 BIDLO Michal and 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, pp. 1839-1840. ISBN 978-1-60558-325-9.
 BIDLO Michal and 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, pp. 2241-2248. ISBN 978-1-4244-2958-5.
 BOZGA Marius, HABERMEHL Peter, IOSIF Radu, KONEČNÝ Filip and VOJNAR Tomáš. Automatic Verification of Integer Array Programs. TR-2009-2, Grenoble: VERIMAG, 2009.
 BOZGA Marius, HABERMEHL Peter, IOSIF Radu, KONEČNÝ Filip and VOJNAR Tomáš. Automatic Verification of Integer Array Programs. In: Computer Aided Verification. Berlin: Springer Verlag, 2009, pp. 157-172. ISBN 978-3-642-02657-7.
 HOLÍK Lukáš and ŠIMÁČEK Jiří. Optimizing an LTS-Simulation Algorithm. FIT-TR-2009-03, Brno, 2009.
 HOLÍK Lukáš and ŠIMÁČEK Jiří. Optimizing an LTS-Simulation Algorithm. In: 5th Doctoral Workshop on Mathematical and Engineering Methods in Computer Science. Znojmo: Faculty of Informatics MU, 2009, pp. 93-101. ISBN 978-3-939897-15-6.
 HUSÁR Adam, PŘIKRYL Zdeněk, MASAŘÍK Karel and HRUŠKA Tomáš. ASIP Design using Architecture Description Language ISAC. In: ACACES 2009 - Poster Abstracts. Ghent: High Performance and Embedded Architecture and Compilation, 2009, pp. 137-139. ISBN 978-90-382-1467-2.
 HÝSEK Jiří, ČEŠKA Milan and JANOUŠEK Vladimír. Model-Based Design and Verification of Reactive Systems. In: Computer Aided Systems Theory. Las Palmas de Gran Canaria, 2009, pp. 295-296. ISBN 978-84-691-8502-5.
 KOTÁSEK Zdeněk and STRAKA Martin. The Design of On-line Checkers and Their Use in Verification and Testing. Acta Electrotechnica et Informatica. 2009, vol. 2009, no. 3, pp. 8-15. ISSN 1335-8243.
 MIKUŠEK Petr and 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: Masaryk University, 2009, pp. 235-235. ISBN 978-80-87342-04-6.
 MIKUŠEK Petr and 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, pp. 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: Tomas Bata University in Zlín, 2009, pp. 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, pp. 721-722. ISBN 978-1-4244-3892-1.
 PŘIKRYL Zdeněk and HRUŠKA Tomáš. Cycle Accurate Profiler for ASIPs. In: 5th Doctoral Workshop on Mathematical and Engineering Methods in Computer Science. Brno: Masaryk University, 2009, pp. 168-175. ISBN 978-80-87342-04-6.
 PŘIKRYL Zdeněk, MASAŘÍK Karel, HRUŠKA Tomáš and 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, pp. 9-14. ISBN 978-0-7695-4000-9.
 SAMEK Jan and 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, pp. 538-544. ISBN 978-3-901608-35-3.
 STRAKA Martin and 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, pp. 108-116. ISBN 978-0-7695-3782-5.
 STRAKA Martin and 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: Faculty of Informatics MU, 2009, pp. 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: Tomas Bata University in Zlín, 2009, pp. 141-146. ISBN 978-80-7318-847-4.
 VAŠÍČEK Zdeněk and SEKANINA Lukáš. Efficient Hardware Accelerator for Symbolic Regression Problems. In: 5th Doctoral Workshop on Mathematical and Engineering Methods in Computer Science. Znojmo: Masaryk University, 2009, pp. 192-199. ISBN 978-80-87342-04-6.
 VAŠÍČEK Zdeněk, BIDLO Michal, SEKANINA Lukáš, TORRESEN Jim, GLETTE Kyrre and 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, pp. 27-34. ISBN 978-0-7695-3714-6.
 ČEŠKA Milan, HÝSEK Jiří and JANOUŠEK Vladimír. Model-Based Design and Verification of Reactive Systems. Lecture Notes in Computer Science. 2009, vol. 2009, no. 5717, pp. 865-872. ISBN 978-3-642-04771-8. ISSN 0302-9743.

Your IPv4 address: 54.234.141.47
Switch to IPv6 connection

DNSSEC [dnssec]