Project Details

Nové trendy v mikroelektronických systémech a nanotechnologiích

Project Period: 17. 11. 2005 - 17. 11. 2010

Project Type: grant

Code: MSM0021630503

Agency: Ministry of Education, Youth and Sports Czech Republic

Program:

English title
New Trends in Microelectronic Systems and Nanotechnologies
Type
grant
Keywords

microelectonic, nanotechnologies

Abstract

Research Intetion MICROSYN

Team members
Vrba Radimír, prof. Ing., CSc. (STI VUT) , research leader
Publications

2012

  • OČENÁŠEK Pavel and MÍCHAL Luboš. Automation of Authentication and Key Distribution Schemes Design based on Trace Formulae. In: Proceedings of 2011 International Conference on Mechatronics and Applied Mechanics (ICMAM 2011). Hongkong: Trans Tech Publications Inc., 2012, pp. 870-873. ISBN 978-3-03785-380-1. ISSN 1660-9336. Detail
  • OČENÁŠEK Pavel and HRANÁČ Jakub. Design of Authentication and Key Distribution Protocols with Routing Functionality. Journal of Information & Communication Technology, vol. 5, no. 1, 2012, pp. 1-11. ISSN 1816-613X. Detail

2011

  • ŠVÉDA Miroslav and VRBA Radimír. A Cyber-Physical System Design Approach. In: Proceedings of The Sixth International Conference on Systems - ICONS 2011. St. Maarten: International Academy, Research, and Industry Association, 2011, pp. 12-18. ISBN 978-1-61208-002-4. Detail
  • OČENÁŠEK Pavel. An Approach for Security Protocol Design Based on Zero-knowledge Primitives Composition. In: Human Interface and the Management of Information. Interacting with Information. Lecture Notes in Computer Science, vol. 6771. Berlin Heidelberg: Springer Verlag, 2011, pp. 374-378. ISBN 978-3-642-21792-0. Detail
  • OČENÁŠEK Pavel. Analysis of Authentication Protocols with Scyter: Case Study. In: Human Interface and the Management of Information. Interacting with Information. Lecture Notes in Computer Science, vol. 6771. Berlin Heidelberg: Springer Verlag, 2011, pp. 359-365. ISBN 978-3-642-21792-0. Detail
  • VOGEL Ivan, OČENÁŠEK Pavel and ZEDEK František. Computational molecular evolution - from mathematical models to novel distance metric based on intra-group analysis. In: EDS '11 IMAPS CS International Conference Proceedings. Brno: Brno University of Technology, 2011, pp. 264-269. ISBN 978-80-214-4303-7. Detail
  • VOGEL Ivan, ZEDEK František and OČENÁŠEK Pavel. Constructing Phylogenetic Trees Based on Intra-Group Analysis of Human Mitochondrial DNA. In: Human Interface and the Management of Information. Interacting with Information. Lecture Notes in Computer Science, vol. 6771. Berlin Heidelberg: Springer Verlag, 2011, pp. 165-169. ISBN 978-3-642-21792-0. ISSN 0302-9743. Detail
  • OČENÁŠEK Pavel and HRANÁČ Jakub. Routing Functionality in the Logic Approach for Authentication Protocol Design. In: Human Interface and the Management of Information. Interacting with Information. Lecture Notes in Computer Science, vol. 6771. Berlin Heidelberg: Springer Verlag, 2011, pp. 366-373. ISBN 978-3-642-21792-0. Detail

2010

  • OČENÁŠEK Pavel and PAPEŽ Zdeněk. A Knowledge-Belief Approach to the Security Protocol Analysis. In: 2010 International Conference on Communication and Vehicular Technology. Chengdu: Institute of Electrical and Electronics Engineers, 2010, pp. 85-88. ISBN 978-1-4244-9674-7. Detail
  • ŠVÉDA Miroslav and VRBA Radimír. An Embedded Application Regarded as Cyber-Physical System. In: Proceedings of the Fifth International Conference on Systems ICONS 2010. Les Menuires: IEEE Computer Society, 2010, pp. 170-174. ISBN 978-0-7695-3980-5. Detail
  • OČENÁŠEK Pavel and KUČEROVÁ Petra. Analysis of Selected Payment Protocols. In: EDS '10 IMAPS CS International Conference Proceedings. Brno: Brno University of Technology, 2010, pp. 235-240. ISBN 978-80-214-4138-5. 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
  • OČENÁŠEK Pavel and FELIX Martin. Camera and Sensor Monitoring System. In: EDS '10 IMAPS CS International Conference Proceedings. Brno: Brno University of Technology, 2010, pp. 241-245. ISBN 978-80-214-4138-5. 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
  • 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
  • OČENÁŠEK Pavel. On the Design of Communication in Business Information Systems. In: Proceedings of 2010 International Conference on Economics, Business and Management. Chengdu: Institute of Electrical and Electronics Engineers, 2010, pp. 98-101. ISBN 978-1-4244-9202-2. Detail
  • OČENÁŠEK Pavel and HRANÁČ Jakub. Regression Based Logic for Authentication Protocol Design. In: 2010 International Conference on Communication and Vehicular Technology. Chengdu: Institute of Electrical and Electronics Engineers, 2010, pp. 89-92. ISBN 978-1-4244-9674-7. Detail

2009

  • TRCHALÍK Roman. A Component-Based model for Embedded Software. In: EDS '09 IMAPS CS International Conference Proceedings. Brno, CZ: Brno University of Technology, 2009, p. 5. ISBN 978-80-214-3933-7. Detail
  • KŘENA Bohuslav, LETKO Zdeněk, NIR-BUCHBINDER Yarden, TZOREF-BRILL Rachel, UR Shmuel and VOJNAR Tomáš. A Concurrency Testing Tool and its Plug-ins for Dynamic Analysis and Runtime Healing. FIT-TR-2009-01, Brno, 2009. Detail
  • OČENÁŠEK Pavel and ŠVÉDA Miroslav. A Model for Measurement and Analysis of the Workflow Processes. In: Human Interface and the Management of Information. Designing Information Environments. Lecture Notes in Computer Science, vol. 5617. Berlin: Springer Verlag, 2009, pp. 149-153. ISBN 978-3-642-02555-6. Detail
  • OČENÁŠEK Pavel. An Approach for the Design of Secure Communication in Embedded Systems. In: Human Interface and the Management of Information. Designing Information Environments. Lecture Notes in Computer Science, vol. 5617. Berlin: Springer Verlag, 2009, pp. 579-586. ISBN 978-3-642-02555-6. 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
  • OČENÁŠEK Pavel and ŠVÉDA Miroslav. AVISPA: Towards Practical Verification of Communication Properties. In: Proceedings 9th IFAC International Conference on Programmable Devices and Embedded Systems. Programmable Devices and Embedded Systems, Volume # 9 | Part# 1, vol. 2009. Ostrava: IFAC, 2009, pp. 153-156. ISBN 978-3-902661-41-8. ISSN 1474-6670. 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
  • Š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. 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
  • KORNECKI Andrew J., HILBURN Thomas B., GREGA Wojciech, ŠVÉDA Miroslav and THIRIET Jean-Marc. ILERT - International Learning Environment for Real-Time Software-Intensive Control Systems. Journal of Automation, Mobile Robotics and Intelligent Systems, vol. 3, no. 1, 2009, pp. 66-71. ISSN 1897-8649. Detail
  • ŠVÉDA Miroslav and VRBA Radimír. Meta-Design with Safe and Secure Embedded System Networking. International Journal On Advances in Security., vol. 2, no. 1, 2009, pp. 8-15. ISSN 1942-2636. Detail
  • OČENÁŠEK Pavel, TRCHALÍK Roman and ŠVÉDA Miroslav. On the Implementation of Metrics in Industrial Embedded Systems. In: Proceedings 9th IFAC International Conference on Programmable Devices and Embedded Systems. Programmable Devices and Embedded Systems, Volume # 9 | Part# 1, vol. 2009. Ostrava: IFAC, 2009, pp. 157-160. ISBN 978-3-902661-41-8. ISSN 1474-6670. Detail
  • OČENÁŠEK Pavel and KUČEROVÁ Petra. Payment Protocols Verification: A Case Study. In: EDS '09 IMAPS CS International Conference Proceedings. Brno: Brno University of Technology, 2009, pp. 38-43. ISBN 978-80-214-3933-7. Detail
  • ŠVÉDA Miroslav, KORNECKI Andrew J., HILBURN Thomas B., GREGA Wojciech, THIRIET Jean-Marc and RYŠAVÝ Ondřej. Real-Time Software-Intensive Systems Engineering: An International Perspective. In: European Association for Education in Electrical and Information Engineering Council's Annual Conference 2009. Valencia: Politechnical University of Valencia, 2009, p. 6. ISBN 978-84-8363-428-8. Detail
  • ŠVÉDA Miroslav. Safe and Secure Networked Embedded Applications. In: Proceedings of the 4th International Conference on Broadband Communication. Wroclaw: Institute of Electrical and Electronics Engineers, 2009, p. 6. ISBN 978-83-7493-405-3. Detail
  • ŠVÉDA Miroslav and VRBA Radimír. Specifications of Secure and Safe Embedded System Networks. In: 8th International Conference on Networks Proceedings ICN 2009. New York, NY: IEEE Computer Society, 2009, pp. 220-225. ISBN 978-0-7695-3552-4. Detail
  • OČENÁŠEK Pavel. Towards Security Issues in ZigBee Architecture. In: Human Interface and the Management of Information. Designing Information Environments. Berlin: Springer Verlag, 2009, pp. 587-593. ISBN 978-3-642-02555-6. Detail
  • OČENÁŠEK Pavel. Universal Access to the Internet Web Pages for Users with Special Needs. In: Universal Access in Human-Computer Interaction. Applications and Services. Lecture Notes in Computer Science, vol. 5616. Berlin: Springer Verlag, 2009, pp. 764-767. ISBN 978-3-642-02712-3. Detail

2008

  • OČENÁŠEK Pavel. A Proxy-Based System for Translation of Internet Content into Specific Form. In: Computer-Human Interaction. Lecture Notes in Computer Science, vol. 5068. Berlin: Springer Verlag, 2008, pp. 413-419. ISBN 978-3-540-70584-0. Detail
  • PŘIKRYL Zdeněk, HRUŠKA Tomáš and MASAŘÍK Karel. Distributed Simulation and Profiling of Multiprocessor Systems on a Chip. WSEAS Transactions on Circuits, vol. 7, no. 8, 2008, pp. 788-799. ISSN 1109-2734. Detail
  • ŠVÉDA Miroslav and VRBA Radimír. Meta-Design Support for Safe and Secure Networked Embedded Systems. In: IEEE Proceedings of the Third International Conference on Systems, ICONS 2008. New York: IEEE Computer Society, 2008, pp. 69-74. ISBN 978-0-7695-3105-2. Detail
  • OČENÁŠEK Pavel. Modification of Web Content According to the User Requirements. In: Technologies for E-Learning and Digital Entertainment. Lecture Notes in Computer Science, vol. 5093. Berlin: Springer Verlag, 2008, pp. 324-327. ISBN 978-3-540-69734-3. Detail
  • ŠVÉDA Miroslav, RYŠAVÝ Ondřej and VRBA Radimír. Pattern-driven Reuse of Behavioral Specifications in Embedded Control System Design. Frontiers in Robotics, Automation and Control. Vienna: IN-TECH Education and Publishing, 2008, pp. 151-164. ISBN 978-953-7619-17-6. Detail
  • PŘIKRYL Zdeněk, HRUŠKA Tomáš and MASAŘÍK Karel. Simulation of ASIP on SoC. In: New Aspects of Systems. Heraklion: World Scientific and Engineering Academy, 2008, pp. 192-197. ISBN 978-960-6766-83-1. ISSN 1790-2769. Detail
  • MASAŘÍK Karel. Systém pro souběžný návrh technického a programového vybavení počítačů. VUTIUM. Brno: Faculty of Information Technology BUT, 2008. ISBN 978-80-214-3863-7. Detail
  • 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. Detail
  • 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. Detail

2007

  • 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. Detail
  • 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. Detail
  • ŠVÉDA Miroslav and VRBA Radimír. Dependability-driven Embedded Systems Networking. In: Proceedings of The Sixth International Conference on Networking. New York: IEEE Computer Society, 2007, pp. 483-488. ISBN 0-7695-2805-8. Detail
  • 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. Detail
  • OČENÁŠEK Pavel. On the Design of Protocols in Electronic Commerce. In: MIC 2007 Conference Proceedings. Portorož, 2007, p. 6. ISBN 978-961-6573-88-7. Detail
  • ŠVÉDA Miroslav, VRBA Radimír and RYŠAVÝ Ondřej. Pattern-Driven Reuse of Embedded Control Design. In: Proceedings of Fourth International Conference on Informatics in Control, Automation and Robotics. Angers: Institute for Systems and Technologies of Information, Control and Communication, 2007, p. 8. ISBN 972-8865-84-8. Detail
  • OČENÁŠEK Pavel and TRCHALÍK Roman. Reasoning About Security Protocols in the ZigBee Standard. 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. Detail
  • PAVLÍK Michal, HÁZE Jiří, VRBA Radimír and ŠVÉDA Miroslav. Smart Differential Pressure Sensor. In: Proceedings ICINCO 2007: Signal Processing, Systems Modelling and Control. Angers: Institute for Systems and Technologies of Information, Control and Communication, 2007, pp. 244-248. ISBN 978-972-886584-9. Detail
  • ŠVÉDA Miroslav and VRBA Radimír. SPECIFICATION-DRIVEN DESIGN OF EMBEDDED SYSTEMS - Design Support for Networked Embedded Software Applications. In: Proceedings of the International Joint Conference on e-Business and Telecommunications (ICETE 2007, ICE-B). Barcelona: IEEE Computer Society, 2007, pp. 23-30. ISBN 978-989-8111-11-1. Detail
  • OČENÁŠEK Pavel. Tools for Analysis and Simulation of Protocol Communication. In: EDS '07 IMAPS CS International Conference Proceedings. Brno: Brno University of Technology, 2007, pp. 87-91. ISBN 978-80-214-3470-7. Detail
  • ŠVÉDA Miroslav and VRBA Radimír. Towards a Unified Security/Safety Framework - A Design Approach to Embedded System Applications. In: Proceedings of the International Conference on Software and Data Technologies (ICSOFT 2007). Barcelona: Institute for Systems and Technologies of Information, Control and Communication, 2007, pp. 345-350. ISBN 978-989-8111-06-7. Detail
  • 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. Detail

2006

  • FUJCIK Lukáš, VRBA Radimír and ŠVÉDA Miroslav. A 16-Bit Switched-Capacitor Sigma-Delta Modulator Matlab Model Exploiting Two-Step Quantization Process. In: Proceedings of the Third International Conference on Informatics in Control, Automation and Robotics (ICINCO 2006). Setúbal: IEEE Computer Society, 2006, pp. 142-147. ISBN 972-8865-59-7. Detail
  • 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. Detail
  • OČENÁŠEK Pavel. Automatic Design of Security Protocols. In: Počítačové architektúry & diagnostika 2006. Bratislava: Slovak Academy of Science, 2006, pp. 49-54. ISBN 80-969202-2-7. Detail
  • OČENÁŠEK Pavel. Automatic System for Making Web Content Accessible for Visually Impaired Users. WSEAS Transactions on Computers Research, vol. 1, no. 2, 2006, pp. 325-328. ISSN 1991-8755. Detail
  • 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. Detail
  • ŠVÉDA Miroslav and VRBA Radimír. Safe and secure networks of microelectronic systems. Brno: Faculty of Electrical Engineering and Communication BUT, 2006. Detail
  • 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. Detail
  • RYŠAVÝ Ondřej, ŠČUGLÍK František and ŠVÉDA Miroslav. Designing Algorithm-oriented Generic Library on .NET Framework. In: Proceedings of the 13th IEEE International Symposium and Workshop on the Engineering of Computer-Based Systems ECBS 2006. Los Alamitos, CA: IEEE Computer Society, 2006, pp. 159-163. ISBN 0-7695-2546-6. Detail
  • 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. Detail
  • ŠVÉDA Miroslav and VRBA Radimír. Fault Maintenance in Embedded Systems Applications. In: Proceedings of the Third International Conference on Informatics in Control, Automation and Robotics (ICINCO 2006). Setúbal: IEEE Computer Society, 2006, pp. 183-186. ISBN 972-8865-59-7. Detail
  • ŠVÉDA Miroslav and VRBA Radimír. INTERNET-BASED EMBEDDED SYSTEM ARCHITECTURES -- End-User Development Support for Embedded System Applications. In: Proceedings of the IEEE International Joint Conference on e-Business and Telecommunications (ICETE 2006), 2006. Setúbal: IEEE Computer Society, 2006, pp. 63-68. ISBN 972-8865-62-7. Detail
  • MASAŘÍK Karel, HRUŠKA Tomáš and KOLÁŘ Dušan. Language and Development Environment For Microprocessor Design Of Embedded Systems. In: Proceedings of IFAC Workshop on PROGRAMMABLE DEVICES and EMBEDDED SYSTEMS PDeS 2006. Brno: Faculty of Electrical Engineering and Communication BUT, 2006, pp. 120-125. ISBN 80-214-3130-X. Detail
  • ŠVÉDA Miroslav, VRBA Radimír and OČENÁŠEK Pavel. Local Time Specifications of Networked Embedded Systems. In: Proceedings of the International Conference on Systems (ICONS 2006). Los Alamitos: IEEE Computer Society, 2006, p. 6. ISBN 0-7695-2552-0. Detail
  • TRCHALÍK Roman and OČENÁŠEK Pavel. Metrics in Workflow Systems. In: Proceedings of the 7th International Carpathian Control Conference. Ostrava: VŠB-Technical University of Ostrava, 2006, pp. 569-572. ISBN 80-248-1066-2. Detail
  • 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. Detail
  • 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. Detail
  • OČENÁŠEK Pavel and TRCHALÍK Roman. On the Implementation of Metrics in the Workflow System. WSEAS Transactions on Computers Research, vol. 1, no. 2, 2006, pp. 360-362. ISSN 1991-8755. Detail
  • ŠVÉDA Miroslav. REUSE OF FORMAL SPECIFICATIONS IN EMBEDDED SYSTEMS DESIGN. In: Proceedings of IFAC Workshop on PROGRAMMABLE DEVICES and EMBEDDED SYSTEMS PDeS 2006. Brno: Faculty of Electrical Engineering and Communication BUT, 2006, pp. 78-83. ISBN 80-214-3130-X. Detail
  • OČENÁŠEK Pavel. Security Protocols: Analysis and Design. In: Proceedings of the Junior Scientist Conference 2006. Vienna: Technical University Wien, 2006, pp. 51-52. ISBN 3-902463-05-8. Detail
  • 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. Detail
  • Š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. Detail
  • 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. Detail
  • 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. Detail
  • MASAŘÍK Karel and HRUŠKA Tomáš. UML as Architecture Description Language. In: MOSIS'06, Proceedings of 40th Conference "Modelling and Simulation of Systems". Ostrava, 2006, pp. 41-48. ISBN 80-86840-21-2. Detail
  • MASAŘÍK Karel and HRUŠKA Tomáš. UML IN DESIGN OF ASIP. In: A proceedings volume from the 3rd IFAC Workshop on Discrete-Event System Design DESDes'06. Zielona Gora: University of Zielona Gora, 2006, pp. 209-214. ISBN 83-7481-035-1. Detail
  • TRCHALÍK Roman and OČENÁŠEK Pavel. Zigbee Gateways. In: Proceedings of the 12th Conference STUDENT EEICT 2006. Brno: Faculty of Electrical Engineering and Communication BUT, 2006, pp. 410-414. ISBN 80-214-3163-6. Detail

2005

  • ŠVÉDA Miroslav and VRBA Radimír. An Approach to the Design of Networked Embedded Systems. In: Proceedings of the 16th IFAC WORLD CONGRESS, 2005. Kidlington, Oxford: Elsevier Science, 2005, p. 6. ISBN 0-08-045108-X. ISSN 1474-6670. Detail
  • ŠVÉDA Miroslav. Computer Networks with Smart Sensors: the IEEE 1451 Approach. In: Proceedings IMAPS CS International Conference EDS'05. Brno: Brno University of Technology, 2005, pp. 107-110. ISBN 80-214-2990-9. Detail
  • HRUŠKA Tomáš, ed. DATAKON 2005 -Proceedings of the Annual Database Conference (ed. Tomáš Hruška). Brno: Masaryk University, 2005. ISBN 80-210-3813-6. Detail
  • ŠVÉDA Miroslav and VRBA Radimír. Embedded Systems with IEEE 1451.1 on Internet. Enabling Technologies for the New Knowledge Society. Cairo: IEEE Computer Society, 2005, pp. 539-550. ISBN 0-7803-9270-1. Detail
  • 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. Detail
  • BURGER Tomáš and HRUŠKA Tomáš. Formalism for the Systems With Roles. In: papers from the AAAI Fall Symposium. Roles, an Interdisciplinary Perspective: Ontologies, Programming Languages, and Multiagent Systems. Menlo Park, California: American Association for Artificial Intelligence, 2005, pp. 26-30. ISBN 978-1-57735-254-9. Detail
  • ŠVÉDA Miroslav, BENEŠ Petr, VRBA Radimír and ZEZULKA František. Introduction to Industrial Sensor Networking. Handbook of Sensor Networks: Compact Wireless and Wired Sensing Systems. Boca Raton, Florida: CRC Press LLC, 2005, pp. 10-24. ISBN 0-8493-1968-4. Detail
  • ŠVÉDA Miroslav and VRBA Radimír. Sensor Networks with IEEE 1451.1 Embedded Systems on Internet. In: IEEE Proceedings AsiaSens 2005. Kuala Lumpur: IEEE Computer Society, 2005, p. 5. ISBN 0-7803-9371-6. Detail
  • VRBA Radimír, SAJDL Ondřej and ŠVÉDA Miroslav. Smart Sensors in Wireless Network System. Enabling Technologies for the New Knowledge Society. Cairo: IEEE Computer Society, 2005, pp. 343-353. ISBN 0-7803-9270-1. Detail
  • MASAŘÍK Karel, HRUŠKA Tomáš, KOLÁŘ Dušan and LUKÁŠ Roman. System for design and simulation of microprocessors. In: Proceedings of 8th Spring International Conference - ISIM'05. Ostrava, 2005, pp. 269-276. ISBN 80-86840-09-3. Detail
  • 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. Detail
  • KUCHTA Radek, ŠTEFFAN Pavel, BARTOŇ Zdeněk, VRBA Radimír and ŠVÉDA Miroslav. Wireless Temperature Data Logger. In: IEEE Proceedings AsiaSens 2005. Kuala Lumpur: IEEE Computer Society, 2005, pp. 208-212. ISBN 0-7803-9371-6. Detail
Products

2008

  • Lissom tools for simulation of Application Specific Instruction-set Processors, software, 2008
    Authors: Hruška Tomáš, Masařík Karel, Kolář Dušan, Přikryl Zdeněk Detail

2007

  • Instruction Set Tools Lissom, software, 2007
    Authors: Hruška Tomáš, Kolář Dušan, Lukáš Roman, Masařík Karel Detail
Back to top