Project Details

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ů

Project Period: 30. 1. 2009 - 31. 12. 2012

Project Type: grant

Code: GD102/09/H042

Agency: Czech Science Foundation

Program: Doktorské granty

English title
Mathematical and Engineering Approaches to Developing Reliable and Secure Concurrent and Distributed Computer Systems
Type
grant
Keywords

preparation of selected PhD students, reliability and security, concurrent and distributed systems, mathematical and engineering approaches

Abstract

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.

Team members
Češka Milan, prof. RNDr., CSc. (UITS FIT VUT) , research leader
Bouda Jan, doc. RNDr., Ph.D. (FI MUNI) , team leader
Brim Luboš, prof. RNDr., CSc. (FI MUNI) , team leader
Černá Ivana, prof. RNDr., CSc. (FI MUNI) , team leader
Dvořák Václav, prof. Ing., DrSc. (UPSY FIT VUT) , team leader
Gruska Jozef, Prof. RNDr., DrSc. (FI MUNI) , team leader
Hanáček Petr, doc. Dr. Ing. (UITS FIT VUT) , team leader
Holub Petr, RNDr., Ph.D. (FI MUNI) , team leader
Hruška Tomáš, prof. Ing., CSc. (UIFS FIT VUT) , team leader
Kolář Dušan, doc. Dr. Ing. (UIFS FIT VUT) , team leader
Kotásek Zdeněk, doc. Ing., CSc. (UPSY FIT VUT) , team leader
Křena Bohuslav, Ing., Ph.D. (UITS FIT VUT) , team leader
Křetínský Mojmír, prof. RNDr., CSc. (FI MUNI) , team leader
Kučera Antonín, prof. RNDr., Ph.D. (FI MUNI) , team leader
Matyáš Václav, prof. RNDr., M.Sc., Ph.D. (FI MUNI) , team leader
Matyska Luděk, prof. RNDr., CSc. (FI MUNI) , team leader
Sekanina Lukáš, prof. Ing., Ph.D. (UPSY FIT VUT) , team leader
Vojnar Tomáš, prof. Ing., Ph.D. (UITS FIT VUT) , team leader
Bartoš Václav, Ing. (UPSY FIT VUT)
Dolíhal Luděk, Ing. (UIFS FIT VUT)
Drahošová Michaela, Ing., Ph.D. (UPSY FIT VUT)
Dudka Vendula, Ing. (UITS FIT VUT)
Holík Lukáš, doc. Mgr., Ph.D. (UITS FIT VUT)
Husár Adam, Ing., Ph.D., MBA (VCIT FIT VUT)
Jurnečka Peter, Ing. (UITS FIT VUT)
Konečný Filip, Ing. (UITS FIT VUT)
Korček Pavol, Ing., Ph.D. (UPSY FIT VUT)
Koutný Jiří, Ing. (UIFS FIT VUT)
Lengál Ondřej, Ing., Ph.D. (UITS FIT VUT)
Letko Zdeněk, Ing., Ph.D. (UITS FIT VUT)
Mikušek Petr, Ing. (UPSY FIT VUT)
Pospíchal Petr, Ing. (UPSY FIT VUT)
Přikryl Zdeněk, Ing., Ph.D. (UIFS FIT VUT)
Samek Jan, Ing., Ph.D. (UITS FIT VUT)
Straka Martin, Ing., Ph.D. (UPSY FIT VUT)
Šimáček Jiří, Ing., Ph.D. (UITS FIT VUT)
Vašíček Zdeněk, doc. Ing., Ph.D. (UPSY FIT VUT)
Zachariášová Marcela, Ing., Ph.D. (UPSY FIT VUT)
Publications

2013

  • LETKO Zdeněk. Analysis and Testing of Concurrent Programs. Information Sciences and Technologies Bulletin of the ACM Slovakia, vol. 5, no. 3, 2013, pp. 1-8. ISSN 1338-1237. Detail
  • 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, vol. 2013, no. 37, pp. 155-173. ISSN 0141-9331. Detail

2012

  • ČEŠKA Milan, FIEDOR Jan and GACH Marek. A Novel Approach to Modechart Verification of Real-Time systems. Lecture Notes in Computer Science, vol. 2012, no. 6927, pp. 559-567. ISSN 0302-9743. Detail
  • FIEDOR Jan, KŘENA Bohuslav, LETKO Zdeněk and VOJNAR Tomáš. A Uniform Classification of Common Concurrency Errors. Lecture Notes in Computer Science, vol. 2012, no. 6927, pp. 519-526. ISSN 0302-9743. Detail
  • 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, vol. 2012, no. 7436, pp. 247-251. ISSN 0302-9743. Detail
  • IOSIF Radu, HOJJAT Hossein, KONEČNÝ Filip, KUNCAK Viktor and RUMMER Philipp. Accelerating Interpolants. Lecture Notes in Computer Science, vol. 2012, no. 7561, pp. 187-202. ISSN 0302-9743. Detail
  • DRAHOŠOVÁ Michaela and SEKANINA Lukáš. Acceleration of Evolutionary Image Filter Design Using Coevolution in Cartesian GP. Lecture Notes in Computer Science, vol. 2012, no. 7491, pp. 163-172. ISBN 978-3-642-32936-4. ISSN 0302-9743. Detail
  • DRAHOŠOVÁ 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. Detail
  • ZACHARIÁŠOVÁ 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. Detail
  • KŘENA Bohuslav, LETKO Zdeněk and VOJNAR Tomáš. Analysis and Testing of Concurrent Programs. FIT Monograph. Brno: Faculty of Information Technology BUT, 2012. ISBN 978-80-214-4464-5. Detail
  • KORČEK Pavol, SEKANINA Lukáš and FUČÍK Otto. Calibrating Traffic Simulation Model using Vehicle Travel Times. Lecture Notes in Computer Science, vol. 2012, no. 7495, pp. 807-816. ISSN 0302-9743. Detail
  • 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, vol. 2012, no. 7186, pp. 177-192. ISSN 0302-9743. Detail
  • KONEČNÝ Filip, IOSIF Radu and BOZGA Marius. Deciding Conditional Termination. Lecture Notes in Computer Science, vol. 2012, no. 7214, pp. 252-266. ISSN 0302-9743. Detail
  • 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, vol. 2012, no. 7138, pp. 280-291. ISBN 978-3-642-28508-0. ISSN 0302-9743. Detail
  • 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. Detail
  • 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. Detail
  • 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, vol. 2012, no. 41, pp. 83-106. ISSN 0925-9856. Detail
  • 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. Detail
  • 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. Lecture Notes in Computer Science, vol. 7119. Berlin: Springer Verlag, 2012. ISBN 978-3-642-25928-9. Detail
  • SAMEK Jan. Multi-contextual Trust Model for Multi-Agent Systems. Information Sciences and Technologies Bulletin of the ACM Slovakia, vol. 4, no. 1, 2012, pp. 44-54. ISSN 1338-1237. Detail
  • KŘENA Bohuslav, LETKO Zdeněk and VOJNAR Tomáš. Noise Injection Heuristics for Concurrency Testing. Lecture Notes in Computer Science, vol. 2012, no. 7119, pp. 123-131. ISSN 0302-9743. Detail
  • 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. Detail
  • BARTOŠ 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. Detail
  • 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, vol. 2012, no. 1, pp. 15-26. ISSN 1942-2628. Detail
  • DUDKA Vendula, KŘENA Bohuslav, LETKO Zdeněk and VOJNAR Tomáš. Testing of Concurrent Programs Using Genetic Algorithms. FIT-TR-2012-01, Brno, 2012. Detail
  • DUDKA Vendula, KŘENA Bohuslav, LETKO Zdeněk, UR Shmuel and VOJNAR Tomáš. Testing of Concurrent Programs with Genetic Algorithms. Lecture Notes in Computer Science, vol. 2012, no. 7515, pp. 152-167. ISSN 0302-9743. Detail
  • ZACHARIÁŠOVÁ 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. Detail
  • ZACHARIÁŠOVÁ Marcela and LENGÁL Ondřej. Towards Beneficial Hardware Acceleration in HAVEN: Evaluation of Testbed Architectures. Lecture Notes in Computer Science, vol. 2013, no. 7857, 2012, pp. 266-273. ISSN 0302-9743. Detail
  • KOUTNÝ Jiří and MEDUNA Alexander. Tree-controlled Grammars with Restrictions Placed upon Cuts and Paths. Kybernetika, vol. 48, no. 1, 2012, pp. 165-175. ISSN 0023-5954. Detail
  • 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. Detail
  • 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, vol. 2012, no. 7214, pp. 79-94. ISSN 0302-9743. Detail

2011

  • 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. Detail
  • Č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. Detail
  • 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. Detail
  • 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. Detail
  • 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. Detail
  • 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. Detail
  • PŘIKRYL Zdeněk. Advanced Methods of Microprocessor Simulation. Information Sciences and Technologies Bulletin of the ACM Slovakia, vol. 3, no. 3, 2011, pp. 1-13. ISSN 1338-1237. Detail
  • 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. FIT-TR-2011-03, Brno: Faculty of Information Technology BUT, 2011. Detail
  • 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, vol. 2011, no. 6901, pp. 187-202. ISSN 0302-9743. Detail
  • 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. Detail
  • 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. Detail
  • 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. Detail
  • 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. Detail
  • BARTOŠ Pavel, KOTÁSEK Zdeněk and DOHNAL Jan. Decreasing Test Time by Scan Chain Reorganization. 7th Doctoral Workshop on Mathematical and Engineering Methods in Computer Science. Brno: Brno University of Technology, 2011. ISBN 978-80-214-4305-1. Detail
  • 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, vol. 1, no. 2, 2011, pp. 97-106. ISSN 2010-2283. Detail
  • 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, vol. 2011, no. 6996, pp. 243-258. ISSN 0302-9743. Detail
  • 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. Detail
  • 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. Detail
  • 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. Detail
  • 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. Detail
  • 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. Detail
  • 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. Detail
  • PŘIKRYL Zdeněk, KŘOUSTEK Jakub, HRUŠKA Tomáš and KOLÁŘ Dušan. Fast Translated Simulation of ASIPs. OpenAccess Series in Informatics (OASIcs), vol. 16, no. 1, 2011, pp. 93-100. ISSN 2190-6807. Detail
  • 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, vol. 2011, no. 6806, pp. 424-440. ISSN 0302-9743. Detail
  • 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. Detail
  • 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, vol. 12, no. 3, 2011, pp. 305-327. ISSN 1389-2576. Detail
  • 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. Detail
  • 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. Detail
  • 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. Detail
  • ČERMÁK Martin, KOUTNÝ Jiří and MEDUNA Alexander. Parsing Based on n-Path Tree-Controlled Grammars. Theoretical and Applied Informatics, vol. 23, no. 3, 2011, pp. 213-228. ISSN 1896-5334. Detail
  • 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. Detail
  • MATOUŠEK Jiří and KORČEK Pavol. Precise IPv4/IPv6 Packet Generator Based on NetCOPE Platform. In: Proceedings of the 2011 IEEE Symposium on Design and Diagnostics of Electronic Circuits and Systems, DDECS 2011. Cottbus: IEEE Computer Society, 2011, pp. 319-324. ISBN 978-1-4244-9756-0. Detail
  • 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. Detail
  • 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 Slovak University of Technology in Bratislava, 2011, pp. 115-120. ISBN 978-80-227-3552-0. Detail
  • BARTOŠ Pavel. Test Time Reduction by Scan Chain Reordering. In: Proceedings of the 17th Conference STUDENT EEICT 2011. Volume 3. Brno: Faculty of Electrical Engineering and Communication BUT, 2011, pp. 564-568. ISBN 978-80-214-4273-3. Detail
  • HANÁČEK Petr and JURNEČKA Peter. Využitie grafických kariet na útoky silou. DSM Data Security Management, vol. 15, no. 2, 2011, pp. 10-13. ISSN 1211-8737. Detail

2010

  • 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. Detail
  • KŘENA Bohuslav, LETKO Zdeněk, UR Shmuel and 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, p. 11. ISBN 978-1-60558-823-0. Detail
  • 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. Detail
  • FIEDOR Jan, KŘENA Bohuslav, LETKO Zdeněk and VOJNAR Tomáš. A Uniform Classification of Common Concurrency Errors. FIT-TR-2010-03, Brno, 2010. Detail
  • 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. Vol. 2. Praha: Czech Technical University Publishing House, 2010, pp. 90-95. ISBN 978-80-01-04589-3. Detail
  • 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. Detail
  • 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. Detail
  • 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. Vol. 1. Košice: The University of Technology Košice, 2010, pp. 265-270. ISBN 978-80-8086-164-3. Detail
  • 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. Detail
  • DVOŘÁK Václav and MIKUŠEK Petr. Design of Arbiters and Allocators Based on Multi-Terminal BDDs. Journal of Universal Computer Science, vol. 16, no. 14, 2010, pp. 1826-1852. ISSN 0948-6968. Detail
  • 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. Detail
  • Š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. Lecture Notes in Computer Science, vol. 6274. Berlin: Springer Verlag, 2010, pp. 214-225. ISBN 978-3-642-15322-8. Detail
  • BOZGA Marius, IOSIF Radu and KONEČNÝ Filip. Fast Acceleration of Ultimately Periodic Relations. In: Computer Aided Verification. Lecture Notes in Computer Science, vol. 6174. Berlin: Springer Verlag, 2010, pp. 227-242. ISBN 978-3-642-14294-9. Detail
  • 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. Detail
  • 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. Detail
  • 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. Detail
  • 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. Detail
  • 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. Detail
  • VAŠÍČEK Zdeněk and SEKANINA Lukáš. Hardware Accelerator of Cartesian Genetic Programming with Multiple Fitness Units. Computing and Informatics, vol. 29, no. 6, 2010, pp. 1359-1371. ISSN 1335-9150. Detail
  • SAMEK Jan and ZBOŘIL František. Hierarchical Model of Trust in Contexts. In: Networked Digital Technologies. Communications in Computer and Information Science (CCIS), vol. 2010. Heidelberg: Springer Verlag, 2010, pp. 356-365. ISBN 978-3-642-14305-2. ISSN 1865-0929. Detail
  • 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. Vol. 2. Praha: Czech Technical University Publishing House, 2010, p. 6. ISBN 978-80-01-04589-3. Detail
  • 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. Proceedings of the International Workshop on Petri Nets and Software. Universität Hamburg: Technical Universityt Hamburg-Harburg, 2010, pp. 163-164. ISBN 978-972-8692-55-1. Detail
  • 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. Detail
  • 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. 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: Faculty of Information Technology BUT, 2010, pp. 159-164. ISBN 978-80-214-4140-8. Detail
  • 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. Detail
  • HOLÍK Lukáš and ŠIMÁČEK Jiří. Optimizing an LTS-Simulation Algorithm. Computing and Informatics, vol. 2010, no. 7, pp. 1337-1348. ISSN 1335-9150. Detail
  • 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. Detail
  • 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. FIT-TR-2010-02, Brno: Faculty of Information Technology BUT, 2010. Detail
  • 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. Lecture Notes in Computer Science, vol. 6174. Berlín: Springer Verlag, 2010, pp. 132-147. ISBN 978-3-642-14294-9. Detail
  • LETKO Zdeněk. Sophisticated Testing of Concurrent Programs. In: SSBSE '10. Proceedings of 2nd International Symposium on Search Based Software Engineering. Benevento: Institute of Electrical and Electronics Engineers, 2010, pp. 36-40. ISBN 978-0-7695-4195-2. Detail
  • BIDLO Michal, SLANÝ Karel and 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, pp. 85-96. ISBN 978-3-642-15322-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: Faculty of Information Technology BUT, 2010, pp. 165-170. ISBN 978-80-214-4140-8. Detail
  • 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. Detail
  • 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. Lecture Notes in Computer Science, vol. 6015. Berlín: Springer Verlag, 2010, pp. 158-174. ISBN 978-3-642-12001-5. Detail

2009

  • 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, vol. 2009, no. 251, pp. 27-48. ISSN 1571-0661. Detail
  • 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. Detail
  • 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. Detail
  • BOZGA Marius, HABERMEHL Peter, IOSIF Radu, KONEČNÝ Filip and VOJNAR Tomáš. Automatic Verification of Integer Array Programs. In: Computer Aided Verification. Lecture Notes in Computer Science, vol. 5643. Berlin: Springer Verlag, 2009, pp. 157-172. ISBN 978-3-642-02657-7. Detail
  • BOZGA Marius, HABERMEHL Peter, IOSIF Radu, KONEČNÝ Filip and VOJNAR Tomáš. Automatic Verification of Integer Array Programs. TR-2009-2, Grenoble: VERIMAG, 2009. Detail
  • 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. Detail
  • ABDULLA Parosh A., BOUAJJANI Ahmed, HOLÍK Lukáš, KAATI Lisa and VOJNAR Tomáš. Composed Bisimulation for Tree Automata. International Journal of Foundations of Computer Science, vol. 20, no. 4, 2009, pp. 685-700. ISSN 0129-0541. Detail
  • 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. Detail
  • 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. Detail
  • 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. Detail
  • 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. Detail
  • 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. Detail
  • 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. Detail
  • 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. Detail
  • 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. Detail
  • 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. Detail
  • 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. Detail
  • 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. Detail
  • 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. Detail
  • 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). LIPIcs, sv. 4. Wadern: Schloss Dagstuhl--Leibniz-Zentrum fuer Informatik, 2009, pp. 1-12. ISBN 978-3-939897-13-2. Detail
  • 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. Detail
  • 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. Detail
  • ČEŠKA Milan, HÝSEK Jiří and JANOUŠEK Vladimír. Model-Based Design and Verification of Reactive Systems. Lecture Notes in Computer Science, vol. 2009, no. 5717, pp. 865-872. ISBN 978-3-642-04771-8. ISSN 0302-9743. Detail
  • 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. Detail
  • HOLÍK Lukáš and ŠIMÁČEK Jiří. Optimizing an LTS-Simulation Algorithm. FIT-TR-2009-03, Brno, 2009. Detail
  • 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. Detail
  • 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. Detail
  • KOTÁSEK Zdeněk and STRAKA Martin. The Design of On-line Checkers and Their Use in Verification and Testing. Acta Electrotechnica et Informatica, vol. 2009, no. 3, pp. 8-15. ISSN 1335-8243. Detail
Products

2012

  • HAVEN: An Open Framework for FPGA-Accelerated Functional Verification of Hardware, software, 2012
    Authors: Zachariášová Marcela, Lengál Ondřej, Kajan Michal Detail
  • VATA: A Library for Efficient Manipulation of Non-Deterministic Tree Automata, software, 2012
    Authors: Lengál Ondřej, Šimáček Jiří, Vojnar Tomáš Detail

2010

  • AnalyzeThis: Protocol Analyzer, software, 2010
    Authors: Jurnečka Peter, Hanáček Petr Detail
  • ContextGraph: Simulation tool for Hierarchical Model of Trust In Contexts, software, 2010
    Authors: Samek Jan, Zbořil František, Malačka Ondřej Detail
  • Forester: A Tool for Verification of Programs with Pointers, software, 2010
    Authors: Habermehl Peter, Holík Lukáš, Rogalewicz Adam, Šimáček Jiří, Vojnar Tomáš Detail
  • libSFTA: A Semi-symbolic Nondeterministic Finite Tree Automata Library Prototype, software, 2010
    Authors: Holík Lukáš, Lengál Ondřej, Vojnar Tomáš Detail
  • Replay Tracer & BMC, software, 2010
    Authors: Dudka Vendula, Fiedor Jan, Křena Bohuslav, Letko Zdeněk, Vojnar Tomáš Detail
  • Tool for scan chain routability visualisation, analysis and optimization, software, 2010
    Authors: Bartoš Pavel, Kotásek Zdeněk Detail
  • Tool for verification of systems described using the Modechart formalism, software, 2010
    Authors: Gach Marek, Fiedor Jan, Češka Milan Detail
  • Tool for verification of systems specified in RT-Logic language, software, 2010
    Authors: Fiedor Jan, Gach Marek, Češka Milan Detail

2009

  • FLATA, software, 2009
    Authors: Konečný Filip, Vojnar Tomáš, Bozga Marius, Iosif Radu Detail
  • Tool for Computing Simulations, software, 2009
    Authors: Holík Lukáš, Šimáček Jiří, Vojnar Tomáš Detail
Back to top