Prof. Ing. Tomáš Vojnar, Ph.D.

Integrated approach to education of PhD students in the area of parallel and distributed systems

Reseach leader:Češka Milan, Gruska Jozef (FI MUNI)
Team members:Hanáček Petr, Kotásek Zdeněk, Rábová Zdeňka, Růžička Richard, Švéda Miroslav, Vojnar Tomáš
Agency:Czech Science Foundation
Code:GD102/05/H050
Start:2005-01-01
End:2008-12-31
Keywords:concurrency; quantum computing; verification; modelling; discrete mathematics
Annotation:
english

Products

2007ARTMC - Abstract Regular Tree Model Checking, software, 2007
Authors: Rogalewicz Adam, Vojnar Tomáš
 RTL benchmark circuit generator, software, 2007
Authors: Pečenka Tomáš, Kotásek Zdeněk

Publications

2010ŠKARVADA Jaroslav, KOTÁSEK Zdeněk and STRNADEL Josef. Optimalizace aplikace testu číslicových systémů pro nízký příkon. Brno: Faculty of Information Technology BUT, 2010. ISBN 978-80-214-4209-2.
2009MEDUNA Alexander and TECHET Jiří. An Infinite Hierarchy of Language Families Generated by Scattered Context Grammars with n-Limited Derivations. Theoretical Computer Science. Paris: Elsevier Science, 2009, vol. 410, no. 21, pp. 1961-1969. ISSN 0304-3975.
 ŠVÉDA Miroslav, TRCHALÍK Roman and OČENÁŠEK Pavel. Design of Networked Embedded Systems: An Approach for Safety and Security. In: Preprints of IFAC Workshop on PROGRAMMABLE DEVICES and EMBEDDED SYSTEMS PDeS 2009. Ostrava: IFAC, 2009, pp. 131-136. ISSN 1474-6670.
2008ABDULLA Parosh A., BOUAJJANI Ahmed, HOLÍK Lukáš, KAATI Lisa and VOJNAR Tomáš. Computing Simulations over Tree Automata: Efficient Techniques for Reducing Tree Automata. FIT-TR-2008-001, Brno, 2008.
 ABDULLA Parosh A., BOUAJJANI Ahmed, HOLÍK Lukáš, KAATI Lisa and VOJNAR Tomáš. Composed Bisimulation for Tree Automata. In: Implementation and Application of Automata. Berlin: Springer Verlag, 2008, pp. 212-222. ISBN 978-3-540-70843-8.
 ABDULLA Parosh A., HOLÍK Lukáš, KAATI Lisa and VOJNAR Tomáš. A Uniform (Bi-)Simulation-Based Framework for Reducing Tree Automata. FIT-TR-2008-005, Brno, 2008.
 ANTOŠ David, ČEŠKA Milan, KOTÁSEK Zdeněk, KŘETÍNSKÝ Mojmír, MATYSKA Luděk and VOJNAR Tomáš, ed. Proceedings of 4th Doctoral Workshop on Mathematical and Engineering Methods in Computer Science. Brno: Faculty of Informatics MU, 2008. ISBN 978-80-7355-082-0.
 BIDLO Michal and VAŠÍČEK Zdeněk. Cellular Automata-Based Development of Combinational and Polymorphic Circuits: A Comparative Study. In: Evolvable Systems: From Biology to Hardware. Berlin: Springer Verlag, 2008, pp. 106-117. ISBN 978-3-540-85856-0.
 BIDLO Michal and VAŠÍČEK Zdeněk. Gate-Level Evolutionary Development Using Cellular Automata. In: 2008 NASA/ESA Conference on Adaptive Hardware and Systems. Los Alamitos: IEEE Computer Society Press, 2008, pp. 11-18. ISBN 978-0-7695-3166-3.
 BIDLO Michal and ŠKARVADA Jaroslav. Instruction-based development: From evolution to generic structures of digital circuits. International Journal of Knowledge-Based and Intelligent Engineering Systems. Amsterdam: IOS Press, 2008, vol. 12, no. 3, pp. 221-236. ISSN 1327-2314.
 BOUAJJANI Ahmed, HABERMEHL Peter, HOLÍK Lukáš, TOUILI Tayssir and VOJNAR Tomáš. Antichain-based Universality and Inclusion Testing over Nondeterministic Finite Tree Automata. In: Implementation and Application of Automata. Berlin: Springer Verlag, 2008, pp. 57-67. ISBN 978-3-540-70843-8.
 GAJDA Zbyšek. Polymorphic Circuit Design. MEMICS 2008 - Fourth Doctoral Workshop on Mathematical and Engineering Methods in Computer Science. Brno: Masaryk University, 2008. ISBN 978-80-7355-082-0.
 GAJDA Zbyšek. Návrh polymorfních obvodů. In: Počítačové architektury a diagnostika 2008. Liberec: Liberec University of Technology, 2008, pp. 17-23. ISBN 978-80-7372-378-1.
 HERRMAN Tomáš. Identifikace testovatelných bloků v obvodu na úrovni RT. In: Počítačové architektury a diagnostika 2008. Liberec: Liberec University of Technology, 2008, pp. 25-35. ISBN 978-80-7372-378-1.
 MASOPUST Tomáš and TECHET Jiří. Leftmost Derivations of Propagating Scattered Context Grammars: A New Proof. Discrete Mathematics and Theoretical Computer Science. Nancy: 2008, vol. 10, no. 2, pp. 39-46. ISSN 1365-8050.
 MAZAL Zdeněk, JANOUŠEK Vladimír and KOČÍ Radek. Enhancing the PNtalk Language with Negative Predicates. In: MOSIS '08. Ostrava, 2008, pp. 28-34. ISBN 978-80-86840-40-6.
 MEDUNA Alexander and TECHET Jiří. Scattered Context Grammars that Erase Nonterminals in a Generalized k-Limited Way. Acta Informatica. 2008, vol. 45, no. 7, pp. 593-608. ISSN 0001-5903.
 NOVOSAD Petr and ČEŠKA Milan. Algorithms for Computing Coverability Graphs for Continuous Petri Nets. In: Proceedings of 22th European Simulation and Modelling Conference ESM'2008. Le Havre: EUROSIM-FRANCOSIM-ARGESIM, 2008, pp. 489-491. ISBN 978-90-77381-44-1.
 NOVOSAD Petr and ČEŠKA Milan. Algorithms for Computing Coverability Graphs for Hybrid Petri Nets. In: 4th Doctoral Workshop on Mathematical and Engineering Methods in Computer Science. Brno: Masaryk University, 2008, pp. 177-183. ISBN 978-80-7355-082-0.
 OČENÁŠEK Pavel and TRCHALÍK Roman. Using AVISPA in the Education of Network Security. In: EDS '08 IMAPS CS International Conference Proceedings. Brno: Brno University of Technology, 2008, p. 8. ISBN 978-80-214-3717-3.
 PEČENKA Tomáš, SEKANINA Lukáš and KOTÁSEK Zdeněk. Evolution of Synthetic RTL Benchmark Circuits with Predefined Testability. ACM Transactions on Design Automation of Electronic Systems. 2008, vol. 13, no. 3, pp. 1-21. ISSN 1084-4309.
 PEČENKA Tomáš. Prostředky a metody pro automatické generování testovacích obvodů. Brno: Faculty of Information Technology BUT, 2008. ISBN 978-80-214-3603-9.
 STRAKA Martin and KOTÁSEK Zdeněk. Design of FPGA-Based Dependable Systems. In: 4th Doctoral Workshop on Mathematical and Engineering Methods in Computer Science. Znojmo: Masaryk University, 2008, pp. 240-247. ISBN 978-80-7355-082-0.
 STRAKA Martin, KOTÁSEK Zdeněk and WINTER Jan. Digital Systems Architectures Based on On-line Checkers. In: 11th EUROMICRO Conference on Digital System Design DSD 2008. Parma: IEEE Computer Society, 2008, pp. 81-87. ISBN 978-0-7695-3277-6.
 STRAKA Martin, KOTÁSEK Zdeněk and WINTER Jan. The Design of Hardware Checkers for Verification and Diagnostic Purposes. In: CSE'2008 International Scientific Conference on Computer Science and Engineering. High Tatras - Stará Lesná: The University of Technology Košice, 2008, pp. 320-327. ISBN 978-80-8086-092-9.
 STRAKA Martin. Aplikace hlídacích obvodů v architekturách odolných proti poruchám. In: Počítačové architektury a diagnostika 2008. Liberec: Liberec University of Technology, 2008, pp. 97-102. ISBN 978-80-7372-378-1.
 STRAKA Martin. Checkers Design for Communication Protocols Based on FPGAs. In: Proceedings of the 14th Conference STUDENT EEICT 2008 Volume 4. Brno: Faculty of Information Technology BUT, 2008, pp. 467-473. ISBN 978-80-214-3617-6.
 TRCHALÍK Roman, OČENÁŠEK Pavel and ŠVÉDA Miroslav. Using MSC and SDL Languages for Description of Network Communication. In: EDS '08 IMAPS CS International Conference Proceedings. Brno: Brno University of Technology, 2008, p. 5. ISBN 978-80-214-3717-3.
 VOJNAR Tomáš, ČEŠKA Milan, ROGALEWICZ Adam, ERLEBACH Pavel, HOLÍK Lukáš, BOUAJJANI Ahmed, HABERMEHL Peter, TOUILI Tayssir and MORO Pierre. Automatická verifikace programů s dynamickými datovými strukturami. Inovační podnikání & transfer technologií. 2008, vol. 2008, no. 1, pp. 21-22. ISSN 1210-4612.
 ŠKARVADA Jaroslav, KOTÁSEK Zdeněk and HERRMAN Tomáš. Power Conscious RTL Test Scheduling. In: Proceedings of 11th Euromicro Conference on Digital Systems Design Architectures, Methods and Tools. Los Alamitos: IEEE Computer Society, 2008, pp. 721-728. ISBN 978-0-7695-3277-6.
 ŠKARVADA Jaroslav, KOTÁSEK Zdeněk and HERRMAN Tomáš. Power Conscious RTL Test Scheduling. In: 4th Doctoral Workshop on Mathematical and Engineering Methods in Computer Science. Znojmo: Masaryk University, 2008, pp. 265-265. ISBN 978-80-7355-082-0.
 ŠKARVADA Jaroslav, KOTÁSEK Zdeněk and HERRMAN Tomáš. Testability Analysis Based on the Identification of Testable Blocks with Predefined Properties. Microprocessors and Microsystems. Amsterdam: Elsevier Science, 2008, vol. 32, no. 5, pp. 296-302. ISSN 0141-9331.
 ŠKARVADA Jaroslav. Optimalizace testu pro nízký příkon. In: Počítačové architektury a diagnostika 2008. Liberec: Liberec University of Technology, 2008, pp. 103-111. ISBN 978-80-7372-378-1.
2007BIDLO Michal. Biologií inspirovaný vývin jako technika evolučního návrhu. In: Kognice a umělý život VII. Opava: Silesian University, 2007, pp. 43-53. ISBN 978-80-7248-412-6.
 BIDLO Michal. Evolutionary Design of Generic Combinational Multipliers Using Development. In: Evolvable Systems: From Biology to Hardware. Berlin: Springer Verlag, 2007, pp. 77-88. ISBN 978-3-540-74625-6.
 BIDLO Michal. Evolutionary Development of Generic Multipliers: Initial Results. In: Proc. of the 2007 NASA/ESA Conference on Adaptive Hardware and Systems. Los Alamitos: IEEE Computer Society, 2007, pp. 405-412. ISBN 0-7695-2866-X.
 BIDLO Michal. Výpočetní development založený na instrukcích. In: Sborník příspěvků pracovního semináře Počítačové architektury & diagnostika. Plzeň: University of West Bohemia in Pilsen, 2007, pp. 53-59. ISBN 978-80-7043-605-9.
 GAJDA Zbyšek. Metody návrhu polymorfních obvodů. In: Sborník příspěvků Česko-slovenského semináře Počítačové architektury a diagnostika pro studenty doktorandského studia. Plzeň: University of West Bohemia in Pilsen, 2007, pp. 19-25. ISBN 978-80-7043-605-9.
 HABERMEHL Peter, IOSIF Radu, ROGALEWICZ Adam and VOJNAR Tomáš. Proving Termination of Tree Manipulating Programs. In: Automated Technology for Verification and Analysis. Berlin: Springer Verlag, 2007, pp. 145-161. ISBN 978-3-540-75595-1.
 HERRMAN Tomáš. Testability Analysis Based on the Identification of Testable Blocks with Predefined Properties. In: MEMICS proceedings 2007. Brno: Ing. Zdeněk Novotný, CSc., 2007, pp. 269-269. ISBN 978-80-7355-077-6.
 HOLÍK Lukáš and ROGALEWICZ Adam. Counterexample Analysis in Abstract Regular Tree Model Checking of Complex Dynamic Data Structures. In: Third Doctoral Workshop on Mathematical and Engineering Methods in Computer Science (MEMICS 2007). Znojmo: Ing. Zdeněk Novotný, CSc., 2007, pp. 59-66. ISBN 978-80-7355-077-6.
 JAROŠ Jiří, OHLÍDAL Miloš and DVOŘÁK Václav. An Evolutionary Approach to Collective Communication Scheduling. In: 2007 Genetic and Evolutionary Computation Conference. New York: Association for Computing Machinery, 2007, pp. 2037-2044. ISBN 978-1-59593-697-4.
 MASOPUST Tomáš and MEDUNA Alexander. Descriptional Complexity of Generalized Forbidding Grammars. In: Proceedings of 9th International Workshop on Descriptional Complexity of Formal Systems. High Tatras, Slovakia: University of Pavol Jozef Šafárik, 2007, pp. 170-177. ISBN 978-80-7097-688-3.
 MASOPUST Tomáš and MEDUNA Alexander. Descriptional Complexity of Grammars Regulated by Context Conditions. In: LATA 2007 Pre-proceedings. Reports of the Research Group on Mathematical Linguistics 35/07, Universitat Rovira i Virgili. Tarragona, Spain, 2007, pp. 403-411.
 MASOPUST Tomáš and MEDUNA Alexander. Descriptional complexity of semi-conditional grammars. Information Processing Letters. Amsterdam: Elsevier Science, 2007, vol. 104, no. 1, pp. 29-31. ISSN 0020-0190.
 MASOPUST Tomáš. Formal models: regulation and reduction. Brno: Faculty of Information Technology BUT, 2007. ISBN 978-80-214-3550-6.
 MASOPUST Tomáš. A Note on the Descriptional Complexity of Semi-Conditional Grammars. In: Information Systems and Formal Models ISIM, WFM '07. Hradec nad Moravici: Silesian University, 2007, pp. 213-218. ISBN 978-80-7248-0067.
 MASOPUST Tomáš. Generalized Forbidding Grammars with Linear Productions. In: Third Doctoral Workshop on Mathematical and Engineering Methods in Computer Science (MEMICS 2007). Znojmo: Ing. Zdeněk Novotný, CSc., 2007, pp. 121-126. ISBN 978-80-7355-077-6.
 MASOPUST Tomáš. Scattered Context Grammars Can Generate the Powers of 2. In: Proceedings of the 13th Conference STUDENT EEICT 2007, Volume 4. Brno: Faculty of Electrical Engineering and Communication BUT, 2007, pp. 401-404. ISBN 978-80214-3410-3.
 MEDUNA Alexander and MASOPUST Tomáš. Self-Regulating Finite Automata. Acta Cybernetica. 2007, vol. 18, no. 1, pp. 135-153. ISSN 0324-721X.
 MEDUNA Alexander and TECHET Jiří. Canonical Scattered Context Generators of Sentences with Their Parses. Theoretical Computer Science. Paris: Elsevier Science, 2007, vol. 2007, no. 389, pp. 73-81. ISSN 0304-3975.
 MEDUNA Alexander and TECHET Jiří. Maximal and Minimal Scattered Context Rewriting. In: FCT 2007 Proceedings. Budapest: Springer Verlag, 2007, pp. 412-423. ISSN 0302-9743.
 MEDUNA Alexander and TECHET Jiří. Reduction of Scattered Context Generators of Sentences Preceded by Their Leftmost Parses. In: Proceedings of 9th International Workshop on Descriptional Complexity of Formal Systems. High Tatras: University of Pavol Jozef Šafárik, 2007, pp. 178-185. ISBN 978-80-7097-688-3.
 NOVOSAD Petr and ČEŠKA Milan. Simulation and Analysis of Condition/Event Petri Nets Using Software Tool CESim. In: Proceedings of 21th European Simulation and Modelling Conference ESM'2007. St. Julians, Malta: EUROSIS, 2007, pp. 170-172. ISBN 978-90-77381-36-6.
 OČENÁŠEK Pavel and ŠIMEK Václav. Determining Location of Target Within the Indoor Location System. In: Proceedings of the 16th International Conference on Systems Science: Volume III. Wroclaw, 2007, pp. 168-176. ISBN 978-83-7493-341-4.
 OČENÁŠEK Pavel. Analysis of the Network Communication With OPNET. In: Proceedings of the 16th International Conference on Systems Science: Volume II. Wroclaw, 2007, pp. 312-317. ISBN 978-83-7493-340-7.
 OČENÁŠEK Pavel. Wardriving: Detecting, Attacking, Securing. In: Proceedings of the 8th International Carpathian Control Conference. Košice: The University of Technology Košice, 2007, p. 4. ISBN 978-80-8073-805-1.
 ROGALEWICZ Adam. Verification of Programs with Complex Data Structures. Brno, 2007. ISBN 978-80-214-3548-3.
 STRAKA Martin and KOTÁSEK Zdeněk. Checker for Communication Protocol between IP Cores Based on FPGA. In: 3rd Doctoral Workshop on Mathematical and Engineering Methods in Computer Science. Znojmo: Faculty of Informatics MU, 2007, pp. 193-200. ISBN 978-80-7355-077-6.
 STRAKA Martin, TOBOLA Jiří and KOTÁSEK Zdeněk. Checker Design for On-line Testing of Xilinx FPGA Communication. In: The 22nd IEEE International Symposium on Defect and Fault Tolerance in VLSI Systems. Rome: IEEE Computer Society, 2007, pp. 152-160. ISBN 0-7695-2885-6.
 STRAKA Martin. Generátor hlídacích obvodů pro komunikační protokoly Xilinx FPGA. In: Počítačové architektury a diagnostika 2007. Plzeň: University of West Bohemia in Pilsen, 2007, pp. 129-136. ISBN 978-80-7043-605-9.
 STRAKA Martin. VHDL Design of Educational, Modern and Open-Architecture CPU. In: Proceedings of the 13th Conference STUDENT EEICT 2007 Volume 4. Brno: Brno University of Technology, 2007, pp. 457-461. ISBN 978-80-214-3410-3.
 TECHET Jiří. A Note on Scattered Context Grammars with Non-Context-Free Components. In: MEMICS 2007 Proceedings. Znojmo: Ing. Zdeněk Novotný, CSc., 2007, pp. 225-232. ISBN 978-80-7355-077-6.
 TECHET Jiří. k-Limited Erasing Performed by Scattered Context Grammars. In: Information Systems and Formal Models ISIM, WFM '07. Hradec nad Moravicí: Silesian University, 2007, pp. 227-234. ISBN 978-80-7248006-7.
 TECHET Jiří. k-Limited Erasing Performed by Scattered Context Grammars. In: Proceedings of the 13th Conference STUDENT EEICT 2007, Volume 4. Brno: Faculty of Electrical Engineering and Communication BUT, 2007, pp. 419-423. ISBN 978-80214-3410-3.
 TOBOLA Jiří, KOTÁSEK Zdeněk, KOŘENEK Jan, MARTÍNEK Tomáš and STRAKA Martin. Online Protocol Testing for FPGA Based Fault Tolerant Systems. In: 10th EUROMICRO Conference on Digital System Design DSD 2007. Lubeck, Germany: IEEE Computer Society, 2007, pp. 676-679. ISBN 0-7695-2978-X.
 TRCHALÍK Roman and OČENÁŠEK Pavel. Addressing and Routing in Sensor Networks. In: Proceedings of the 8th International Carpathian Control Conference. Košice: The University of Technology Košice, 2007, p. 4. ISBN 978-80-8073-805-1.
 TRCHALÍK Roman and ŠVÉDA Miroslav. Sensor Networking through Intranet and ZigBee. In: EDS '07 IMAPS CS International Conference Proceedings. Brno: Brno University of Technology, 2007, pp. 1-5. ISBN 978-80-214-3470-7.
 ŠKARVADA Jaroslav, HERRMAN Tomáš and KOTÁSEK Zdeněk. Testability Analysis Based on the Identification of Testable Blocks with Predefined Properties. In: 10th EUROMICRO CONFERENCE ON DIGITAL SYSTEM DESIGN Architectures, Methods and Tools (DSD 2007). Lübeck: IEEE Computer Society, 2007, pp. 611-618. ISBN 0-7695-2978-X.
 ŠKARVADA Jaroslav. RT Level Test Optimization for Low Power Consumption. In: MEMICS proceedings 2007. Brno: Ing. Zdeněk Novotný, CSc., 2007, pp. 185-192. ISBN 978-80-7355-077-6.
 ŠVÉDA Miroslav and TRCHALÍK Roman. Safety and Security-driven Design of Networked Embedded Systems. In: Proceedings 10th EUROMICRO Conference on Digital System Design Architectures, Methods and Tools. Lübeck: IEEE Computer Society, 2007, pp. 420-423. ISBN 0-7695-2978-X.
 ČEŠKA Milan, ERLEBACH Pavel and VOJNAR Tomáš. Generalised Multi-Pattern-Based Verification of Programs with Linear Linked Structures. Formal Aspects of Computing. London: Springer London, 2007, vol. 19, no. 3, pp. 363-374. ISSN 0934-5043.
 ČEŠKA Milan, ERLEBACH Pavel and VOJNAR Tomáš. Pattern-Based Verification for Trees. In: Computer Aided Systems Theory - EUROCAST 2007. Las Palmas de Grand Canaria: The Universidad de Las Palmas de Gran Canaria, 2007, pp. 181-182. ISBN 978-3-540-75866-2.
 ČEŠKA Milan, ERLEBACH Pavel and VOJNAR Tomáš. Pattern-based Verification for Trees. In: Computer Aided Systems Theory. Berlin: Springer Verlag, 2007, pp. 488-496. ISBN 978-3-540-75866-2.
2006BIDLO Michal and SEKANINA Lukáš. Prostředky pro podporu vzdělávání v oblasti biologií inspirovaných výpočetních systémů. In: Pedagogický software 2006. České Budějovice: Scientifik Pedagogical Publishing, 2006, pp. 81-83. ISBN 80-85645-56-4.
 BOUAJJANI Ahmed, HABERMEHL Peter, ROGALEWICZ Adam and VOJNAR Tomáš. Abstract Regular Tree Model Checking of Complex Dynamic Data Structures. In: Static Analysis. Berlin: Springer Verlag, 2006, pp. 52-70. ISBN 978-3-540-37756-6.
 BOUAJJANI Ahmed, HABERMEHL Peter, ROGALEWICZ Adam and VOJNAR Tomáš. Abstract Regular Tree Model Checking. Electronic Notes in Theoretical Computer Science. 2006, vol. 149, no. 1, pp. 37-48. ISSN 1571-0661.
 JAROŠ Jiří and DVOŘÁK Václav. Evolutionary Design of OAB and AAB Communication Schedules for Networking Systems on Chips. In: MEMICS 2006 Second Doctoral Workshop on Mathematical and Engineering Methods in Computer Science. Mikulov: Masaryk University, 2006, pp. 63-68. ISBN 80-214-3287-X.
 MASOPUST Tomáš. An Improvement of the Descriptional Complexity of Grammars Regulated by Context Conditions. In: Second Doctoral Workshop on Mathematical and Engineering Methods in Computer Science (MEMICS 2006). Mikulov: Faculty of Information Technology BUT, 2006, pp. 105-112. ISBN 80-214-3287-X.
 MAZAL Zdeněk and ZBOŘIL František V. Modelling Sensor Networks using Multiagent Systems. In: NETSS 2006. Ostrava, 2006, pp. 15-18. ISBN 80-86840-06-9.
 MAZAL Zdeněk. Multiagent System for Searching in FOAF Networks. In: Proceedings of the 12th Conference and Competition STUDENT EEICT 2006 Volume 4. Brno: Faculty of Information Technology BUT, 2006, pp. 481-485. ISBN 80-214-3163-6.
 NOVOSAD Petr. Software Tool CESim for Graphical Design, Simulation and Analysis of C/E Petri Nets. In: Proceedings of the Junior Scientist Conference 2006. Vídeň: Technical University Wien, 2006, pp. 49-50. ISBN 3-902463-05-8.
 NOVOSAD Petr. Výukový nástroj pro práci s C/E Petriho sítěmi. In: Pedagogický software 2006. České Budějovice: Scientifik Pedagogical Publishing, 2006, pp. 247-249. ISBN 80-85645-56-4.
 OČENÁŠEK Pavel and OČENÁŠEK Jiří. Designing Secure Communications Using Evolutionary Approach. In: Genetic and Evolutionary Computation Conference GECCO 2006. Seattle, WA: Association for Computing Machinery, 2006, p. 3.
 OČENÁŠEK Pavel and TRCHALÍK Roman. Modal Logics Used for Authentication Protocols Analysis: Survey and Comparison. In: Proceedings of the 7th International Carpathian Control Conference. Ostrava: VŠB-Technical University of Ostrava, 2006, pp. 401-404. ISBN 80-248-1066-2.
 OČENÁŠEK Pavel and TRCHALÍK Roman. On the Implementation of Metrics in the Workflow System. In: Proceedings of the 6th International Conference on Applied Computer Science. Puerto De La Cruz: World Scientific and Engineering Academy, 2006, pp. 329-331. ISBN 960-8457-57-2.
 OČENÁŠEK Pavel and TRCHALÍK Roman. The Use of Modal Logics in the Security Protocols Analysis. In: Proceedings of the 12th Conference STUDENT EEICT 2006. Brno: Faculty of Electrical Engineering and Communication BUT, 2006, pp. 395-399. ISBN 80-214-3163-6.
 OČENÁŠEK Pavel and TRCHALÍK Roman. Tracing Authentication Protocols Behavior: A Case Study. In: MEMICS 2006 Second Doctoral Workshop on Mathematical and Engineering Methods in Computer Science. Mikulov: Faculty of Information Technology BUT, 2006, pp. 166-173. ISBN 80-214-3287-X.
 OČENÁŠEK Pavel and ŠVÉDA Miroslav. An Approach to Automated Design of Security Protocols. In: Proceedings of the International Conference on Networking (ICN 2006). Los Alamitos: IEEE Computer Society, 2006, p. 4. ISBN 0-7695-2552-0.
 OČENÁŠEK Pavel. Automatic System for Making Web Content Accessible for Visually Impaired Users. In: Proceedings of the 6th International Conference on Applied Computer Science. Puerto De La Cruz, 2006, pp. 430-433. ISBN 960-8457-57-2.
 OČENÁŠEK Pavel. Security Protocols: Analysis and Design. In: Proceedings of the Junior Scientist Conference 2006. Vienna: TU Vienna, 2006, pp. 51-52. ISBN 3-902463-05-8.
 PEČENKA Tomáš and KOTÁSEK Zdeněk. I-path Scheduling Algorithm for RT Level Circuits. In: MEMICS 2006 2nd Doctoral Workshop on Mathematical and Engineering Methods in Computer Science. Mikulov, 2006, pp. 174-181. ISBN 80-214-3287-X.
 PEČENKA Tomáš, KOTÁSEK Zdeněk and SEKANINA Lukáš. FITTest_BENCH06: A New Set of Benchmark Circuits Reflecting Testability Properties. In: Proc. of 2006 IEEE Design and Diagnostics of Electronic Circuits and Systems Workshop. Praha: IEEE Computer Society, 2006, pp. 285-289. ISBN 1424401844.
 PEČENKA Tomáš, STRNADEL Josef, KOTÁSEK Zdeněk and SEKANINA Lukáš. Testability Estimation Based on Controllability and Observability Parameters. In: Proceedings of the 9th EUROMICRO Conference on Digital System Design (DSD'06). Cavtat: IEEE Computer Society, 2006, pp. 504-514. ISBN 0-7695-2609-8.
 PEČENKA Tomáš. Prostředky a metody pro automatické vytváření testovacích obvodů. In: Sborník příspěvků pracovního semináře Počítačové architektury & diagnostika pro studenty doktorského studia. Bratislava: Institute of Informatics, Slovak Academy of Sciences, 2006, pp. 13-18. ISBN 80-969202-2-7.
 ROGALEWICZ Adam. Abstract Regular Model Checking of Complex Dynamic Data Structures - Implementation Details. In: Second Doctoral Workshop on Mathematical and Engineering Methods in Computer Science. Brno: Faculty of Information Technology BUT, 2006, pp. 198-205. ISBN 80-214-3287-X.
 TRCHALÍK Roman and ŠVÉDA Miroslav. Sensor Networking through Intranet and ZigBee. In: Proceedings IMAPS CS International Conference EDS'06. Brno: Brno University of Technology, 2006, pp. 217-221. ISBN 80-214-3246-2.
 TRCHALÍK Roman. Design IEEE 802.15.4 ZigBee sítě. In: Počítačové architektúry & diagnostika 2006. Bratislava: Slovak Academy of Science, 2006, pp. 107-112. ISBN 80-969202-2-7.
 ŠVÉDA Miroslav and TRCHALÍK Roman. Smart Sensor Networking with ZigBee and Internet. In: Proceedings of the 2nd International Workshop on Artificial Neural Networks and Intelligent Information Processing (ANNIIP 2006). Setúbal: University of Pierre and Marie Curie, 2006, pp. 64-71. ISBN 972-8865-68-6.
 ČEŠKA Milan, ERLEBACH Pavel and VOJNAR Tomáš. Pattern-Based Verification of Programs with Extended Linear Linked Data Structures. Electronic Notes in Theoretical Computer Science. 2006, vol. 2006, no. 145, pp. 113-130. ISSN 1571-0661.
2005BOUAJJANI Ahmed, HABERMEHL Peter, ROGALEWICZ Adam and VOJNAR Tomáš. Abstract Regular Tree Model Checking. In: Proceedings of 7th International Workshop on Verification of Infinite-State Systems -- INFINITY 2005. Aarhus: Basic Research in Computer Science, Computer Science Departments of the Aarlborg and Aarhus Universities, 2005, pp. 15-24. ISSN 0909-3206.
 ERLEBACH Pavel. Experience from Verifying in TVLA. In: EEICT'05. Brno: Faculty of Electrical Engineering and Communication BUT, 2005, pp. 648-652. ISBN 80-214-2890-2.
 ERLEBACH Pavel. Towards a Systematic Framework for Automatic Pattern-Based Verification of Dynamic Data Structures. In: PRE-PROCEEDINGS of the 1st Doctoral Workshop on Mathematical and Engineering Methods in Computer Science. Brno: Faculty of Informatics MU, 2005, pp. 145-154.
 LORENC Luboš and MEDUNA Alexander. Self-Reproducing Translation Made by Pushdown Transducers. In: PRE-PROCEEDINGS of the 1st Doctoral Workshop on Mathematical and Engineering Methods in Computer Science. Brno: Faculty of Informatics MU, 2005, pp. 59-67.
 NOVOSAD Petr. Software Tool CESim for Graphical Design, Simulation and Analysis of C/E Petri Nets. In: Proceedings of XXVIIth International Autumn Colloquium ASIS 2005. Ostrava, 2005, pp. 236-240. ISBN 80-86840-16-6.
 NOVOSAD Petr. Software Tool CESim for Graphical Design, Simulation and Analysis of C/E Petri Nets. In: PRE-PROCEEDINGS of the 1st Doctoral Workshop on Mathematical and Engineering Methods in Computer Science. Brno: Faculty of Informatics MU, 2005, pp. 106-113.
 OČENÁŠEK Pavel. Evolutionary Approach in the Security Protocols Design. In: Proceedings of the First European Conference on Computer Network Defence. University of Glamorgan: Springer Verlag, 2005, pp. 147-156. ISBN 1-84628-311-6.
 OČENÁŠEK Pavel. Towards Selected Problems in the Security Protocol Design and Verification. In: Pre-Proceedings of the 1st Doctoral Workshop on Mathematical and Engineering Methods in Computer Science (MEMICS 2005). Brno: Faculty of Informatics MU, 2005, p. 9.
 PEČENKA Tomáš. Generating Synthetic Benchmark Circuits with Predefined Testability Properties. In: Pre-Proc. 1st Doctoral Workshop on Mathematical and Engineering Methods in Computer Science. Brno, 2005, pp. 200-209.
 SLAVÍČEK Pavel. Distributed simulation environment. In: MEMICS 2005. Znojmo, 2005, pp. 114-120.
 ŽÁDNÍK Martin, PEČENKA Tomáš and KOŘENEK Jan. NetFlow Probe for High-Speed Networks. In: Proceedings of the International Conference on Field Programmable Logic and Applications (FPL05). Tampere: IEEE Computer Society, 2005, pp. 695-698. ISBN 0-7803-9362-7.
 ČEŠKA Milan, ERLEBACH Pavel and VOJNAR Tomáš. Pattern-Based Verification of Programs with Extended Linear Linked Data Structures. In: Proceedings of Fifth International Workshop on Automated Verification of Critical Systems. Warwick, 2005, pp. 101-117.

Your IPv4 address: 54.82.81.154
Switch to IPv6 connection

DNSSEC [dnssec]