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

2012

• OČENÁŠEK Pavel a 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, s. 870-873. ISBN 978-3-03785-380-1. ISSN 1660-9336. Detail
• OČENÁŠEK Pavel a HRANÁČ Jakub. Design of Authentication and Key Distribution Protocols with Routing Functionality. Journal of Information & Communication Technology, roč. 5, č. 1, 2012, s. 1-11. ISSN 1816-613X. Detail

2011

• ŠVÉDA Miroslav a VRBA Radimír. A Cyber-Physical System Design Approach. In: Proceedings of The Sixth International Conference on Systems - ICONS 2011. St. Maarten: Mezinárodní asociace univerzit, výzkumu a průmyslu, 2011, s. 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, roč. 6771. Berlin Heidelberg: Springer Verlag, 2011, s. 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, roč. 6771. Berlin Heidelberg: Springer Verlag, 2011, s. 359-365. ISBN 978-3-642-21792-0. Detail
• VOGEL Ivan, OČENÁŠEK Pavel a 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: Vysoké učení technické v Brně, 2011, s. 264-269. ISBN 978-80-214-4303-7. Detail
• VOGEL Ivan, ZEDEK František a 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, roč. 6771. Berlin Heidelberg: Springer Verlag, 2011, s. 165-169. ISBN 978-3-642-21792-0. ISSN 0302-9743. Detail
• OČENÁŠEK Pavel a 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, roč. 6771. Berlin Heidelberg: Springer Verlag, 2011, s. 366-373. ISBN 978-3-642-21792-0. Detail

2010

• OČENÁŠEK Pavel a 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, s. 85-88. ISBN 978-1-4244-9674-7. Detail
• ŠVÉDA Miroslav a VRBA Radimír. An Embedded Application Regarded as a Cyber-Physical System. In: Proceedings of the Fifth International Conference on Systems ICONS 2010. Les Menuires: IEEE Computer Society, 2010, s. 170-174. ISBN 978-0-7695-3980-5. Detail
• OČENÁŠEK Pavel a KUČEROVÁ Petra. Analysis of Selected Payment Protocols. In: EDS '10 IMAPS CS International Conference Proceedings. Brno: Vysoké učení technické v Brně, 2010, s. 235-240. ISBN 978-80-214-4138-5. Detail
• PŘIKRYL Zdeněk, HUSÁR Adam, HRUŠKA Tomáš a MASAŘÍK Karel. ASIP Design in the Lissom Project. In: ACACES 2010 - Poster Abstracts. Ghent: High Performance and Embedded Architecture and Compilation, 2010, s. 105-108. ISBN 978-90-382-1631-7. Detail
• HUSÁR Adam, TRMAČ Miloslav, HRANÁČ Jan, HRUŠKA Tomáš, MASAŘÍK Karel, KOLÁŘ Dušan a PŘIKRYL Zdeněk. Automatic C Compiler Generation from Architecture Description Language ISAC. In: 6th Doctoral Workshop on Mathematical and Engineering Methods in Computer Science. Brno: Masarykova universita, 2010, s. 84-91. ISBN 978-80-87342-10-7. Detail
• OČENÁŠEK Pavel a FELIX Martin. Camera and Sensor Monitoring System. In: EDS '10 IMAPS CS International Conference Proceedings. Brno: Vysoké učení technické v Brně, 2010, s. 241-245. ISBN 978-80-214-4138-5. Detail
• PŘIKRYL Zdeněk, HRUŠKA Tomáš, MASAŘÍK Karel a HUSÁR Adam. Fast Cycle-Accurate Compiled Simulation. In: 10th IFAC Workshop on Programmable Devices and Embedded Systems, PDeS 2010. Pszczyna: IFAC, 2010, s. 97-102. ISBN 978-3-902661-95-1. ISSN 1474-6670. Detail
• PŘIKRYL Zdeněk, KŘOUSTEK Jakub, HRUŠKA Tomáš a KOLÁŘ Dušan. Fast Translated Simulation of ASIPs. In: 6th Doctoral Workshop on Mathematical and Engineering Methods in Computer Science. Brno: Masarykova universita, 2010, s. 135-142. ISBN 978-80-87342-10-7. Detail
• PŘIKRYL Zdeněk, MASAŘÍK Karel, HRUŠKA Tomáš a HUSÁR Adam. Generated Cycle-Accurate Profiler for C Language. In: 13th EUROMICRO Conference on Digital System Design, DSD'2010. Lille: IEEE Computer Society, 2010, s. 263-268. ISBN 978-0-7695-4171-6. 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, s. 98-101. ISBN 978-1-4244-9202-2. Detail
• OČENÁŠEK Pavel a 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, s. 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: Vysoké učení technické v Brně, 2009, s. 5. ISBN 978-80-214-3933-7. Detail
• KŘENA Bohuslav, LETKO Zdeněk, NIR-BUCHBINDER Yarden, TZOREF-BRILL Rachel, UR Shmuel a 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 a Š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, roč. 5617. Berlin: Springer Verlag, 2009, s. 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, roč. 5617. Berlin: Springer Verlag, 2009, s. 579-586. ISBN 978-3-642-02555-6. Detail
• HUSÁR Adam, PŘIKRYL Zdeněk, MASAŘÍK Karel a HRUŠKA Tomáš. ASIP Design using Architecture Description Language ISAC. In: ACACES 2009 - Poster Abstracts. Ghent: High Performance and Embedded Architecture and Compilation, 2009, s. 137-139. ISBN 978-90-382-1467-2. Detail
• OČENÁŠEK Pavel a Š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, roč. 2009. Ostrava: IFAC, 2009, s. 153-156. ISBN 978-3-902661-41-8. ISSN 1474-6670. Detail
• PŘIKRYL Zdeněk a HRUŠKA Tomáš. Cycle Accurate Profiler for ASIPs. In: 5th Doctoral Workshop on Mathematical and Engineering Methods in Computer Science. Brno: Masarykova universita, 2009, s. 168-175. ISBN 978-80-87342-04-6. Detail
• ŠVÉDA Miroslav, TRCHALÍK Roman a 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, s. 131-136. ISSN 1474-6670. Detail
• PŘIKRYL Zdeněk, MASAŘÍK Karel, HRUŠKA Tomáš a HUSÁR Adam. Fast Cycle-Accurate Interpreted Simulation. In: Tenth International Workshop on Microprocessor Test and Verification: Common Challenges and Solutions. Austin: IEEE Computer Society Press, 2009, s. 9-14. ISBN 978-0-7695-4000-9. Detail
• KORNECKI Andrew J., HILBURN Thomas B., GREGA Wojciech, ŠVÉDA Miroslav a THIRIET Jean-Marc. ILERT - International Learning Environment for Real-Time Software-Intensive Control Systems. Journal of Automation, Mobile Robotics and Intelligent Systems, roč. 3, č. 1, 2009, s. 66-71. ISSN 1897-8649. Detail
• ŠVÉDA Miroslav a VRBA Radimír. Meta-Design with Safe and Secure Embedded System Networking. International Journal On Advances in Security., roč. 2, č. 1, 2009, s. 8-15. ISSN 1942-2636. Detail
• OČENÁŠEK Pavel, TRCHALÍK Roman a Š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, roč. 2009. Ostrava: IFAC, 2009, s. 157-160. ISBN 978-3-902661-41-8. ISSN 1474-6670. Detail
• OČENÁŠEK Pavel a KUČEROVÁ Petra. Payment Protocols Verification: A Case Study. In: EDS '09 IMAPS CS International Conference Proceedings. Brno: Vysoké učení technické v Brně, 2009, s. 38-43. ISBN 978-80-214-3933-7. Detail
• ŠVÉDA Miroslav, KORNECKI Andrew J., HILBURN Thomas B., GREGA Wojciech, THIRIET Jean-Marc a 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: Universidad Politécnica de Valencia, 2009, s. 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, s. 6. ISBN 978-83-7493-405-3. Detail
• ŠVÉDA Miroslav a 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, s. 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, s. 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, roč. 5616. Berlin: Springer Verlag, 2009, s. 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, roč. 5068. Berlin: Springer Verlag, 2008, s. 413-419. ISBN 978-3-540-70584-0. Detail
• PŘIKRYL Zdeněk, HRUŠKA Tomáš a MASAŘÍK Karel. Distributed Simulation and Profiling of Multiprocessor Systems on a Chip. WSEAS Transactions on Circuits, roč. 7, č. 8, 2008, s. 788-799. ISSN 1109-2734. Detail
• ŠVÉDA Miroslav a 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, s. 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, roč. 5093. Berlin: Springer Verlag, 2008, s. 324-327. ISBN 978-3-540-69734-3. Detail
• ŠVÉDA Miroslav, RYŠAVÝ Ondřej a 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, s. 151-164. ISBN 978-953-7619-17-6. Detail
• PŘIKRYL Zdeněk, HRUŠKA Tomáš a MASAŘÍK Karel. Simulation of ASIP on SoC. In: New Aspects of Systems. Heraklion: World Scientific and Engineering Academy, 2008, s. 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: Fakulta informačních technologií VUT v Brně, 2008. ISBN 978-80-214-3863-7. Detail
• OČENÁŠEK Pavel a TRCHALÍK Roman. Using AVISPA in the Education of Network Security. In: EDS '08 IMAPS CS International Conference Proceedings. Brno: Vysoké učení technické v Brně, 2008, s. 8. ISBN 978-80-214-3717-3. Detail
• TRCHALÍK Roman, OČENÁŠEK Pavel a ŠVÉDA Miroslav. Using MSC and SDL Languages for Description of Network Communication. In: EDS '08 IMAPS CS International Conference Proceedings. Brno: Vysoké učení technické v Brně, 2008, s. 5. ISBN 978-80-214-3717-3. Detail

2007

• TRCHALÍK Roman a OČENÁŠEK Pavel. Addressing and Routing in Sensor Networks. In: Proceedings of the 8th International Carpathian Control Conference. Košice: Technická univerzita v Košiciach, 2007, s. 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, s. 312-317. ISBN 978-83-7493-340-7. Detail
• ŠVÉDA Miroslav a VRBA Radimír. Dependability-driven Embedded Systems Networking. In: Proceedings of The Sixth International Conference on Networking. New York: IEEE Computer Society, 2007, s. 483-488. ISBN 0-7695-2805-8. Detail
• OČENÁŠEK Pavel a Š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, s. 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, s. 6. ISBN 978-961-6573-88-7. Detail
• ŠVÉDA Miroslav, VRBA Radimír a 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, s. 8. ISBN 972-8865-84-8. Detail
• OČENÁŠEK Pavel a TRCHALÍK Roman. Reasoning About Security Protocols in the ZigBee Standard. In: Proceedings of the 8th International Carpathian Control Conference. Košice: Technická univerzita v Košiciach, 2007, s. 4. ISBN 978-80-8073-805-1. Detail
• PAVLÍK Michal, HÁZE Jiří, VRBA Radimír a Š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, s. 244-248. ISBN 978-972-886584-9. Detail
• ŠVÉDA Miroslav a 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, s. 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: Vysoké učení technické v Brně, 2007, s. 87-91. ISBN 978-80-214-3470-7. Detail
• ŠVÉDA Miroslav a 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, s. 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: Technická univerzita v Košiciach, 2007, s. 4. ISBN 978-80-8073-805-1. Detail

2006

• FUJCIK Lukáš, VRBA Radimír a Š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, s. 142-147. ISBN 972-8865-59-7. Detail
• OČENÁŠEK Pavel a Š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, s. 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: Slovenská akademie věd, 2006, s. 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, roč. 1, č. 2, 2006, s. 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, s. 430-433. ISBN 960-8457-57-2. Detail
• ŠVÉDA Miroslav a VRBA Radimír. Bezpečné sítě mikroelektronických systémů. Brno: Fakulta elektrotechniky a komunikačních technologií VUT v Brně, 2006. Detail
• TRCHALÍK Roman. Design IEEE 802.15.4 ZigBee sítě. In: Počítačové architektúry & diagnostika 2006. Bratislava: Slovenská akademie věd, 2006, s. 107-112. ISBN 80-969202-2-7. Detail
• RYŠAVÝ Ondřej, ŠČUGLÍK František a Š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, s. 159-163. ISBN 0-7695-2546-6. Detail
• OČENÁŠEK Pavel a 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, s. 3. Detail
• ŠVÉDA Miroslav a 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, s. 183-186. ISBN 972-8865-59-7. Detail
• ŠVÉDA Miroslav a 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, s. 63-68. ISBN 972-8865-62-7. Detail
• MASAŘÍK Karel, HRUŠKA Tomáš a 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: Fakulta elektrotechniky a komunikačních technologií VUT v Brně, 2006, s. 120-125. ISBN 80-214-3130-X. Detail
• ŠVÉDA Miroslav, VRBA Radimír a 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, s. 6. ISBN 0-7695-2552-0. Detail
• TRCHALÍK Roman a OČENÁŠEK Pavel. Metrics in Workflow Systems. In: Proceedings of the 7th International Carpathian Control Conference. Ostrava: VŠB Technická univerzita Ostrava, 2006, s. 569-572. ISBN 80-248-1066-2. Detail
• OČENÁŠEK Pavel a 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 Technická univerzita Ostrava, 2006, s. 401-404. ISBN 80-248-1066-2. Detail
• OČENÁŠEK Pavel a 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, s. 329-331. ISBN 960-8457-57-2. Detail
• OČENÁŠEK Pavel a TRCHALÍK Roman. On the Implementation of Metrics in the Workflow System. WSEAS Transactions on Computers Research, roč. 1, č. 2, 2006, s. 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: Fakulta elektrotechniky a komunikačních technologií VUT v Brně, 2006, s. 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: Technische Universität Wien, 2006, s. 51-52. ISBN 3-902463-05-8. Detail
• TRCHALÍK Roman a ŠVÉDA Miroslav. Sensor Networking through Intranet and ZigBee. In: Proceedings IMAPS CS International Conference EDS'06. Brno: Vysoké učení technické v Brně, 2006, s. 217-221. ISBN 80-214-3246-2. Detail
• ŠVÉDA Miroslav a 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: Université Pierre et Marie Curie, 2006, s. 64-71. ISBN 972-8865-68-6. Detail
• OČENÁŠEK Pavel a TRCHALÍK Roman. The Use of Modal Logics in the Security Protocols Analysis. In: Proceedings of the 12th Conference STUDENT EEICT 2006. Brno: Fakulta elektrotechniky a komunikačních technologií VUT v Brně, 2006, s. 395-399. ISBN 80-214-3163-6. Detail
• OČENÁŠEK Pavel a 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: Fakulta informačních technologií VUT v Brně, 2006, s. 166-173. ISBN 80-214-3287-X. Detail
• MASAŘÍK Karel a HRUŠKA Tomáš. UML as Architecture Description Language. In: MOSIS'06, Proceedings of 40th Conference "Modelling and Simulation of Systems". Ostrava: MARQ, 2006, s. 41-48. ISBN 80-86840-21-2. Detail
• MASAŘÍK Karel a 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, s. 209-214. ISBN 83-7481-035-1. Detail
• TRCHALÍK Roman a OČENÁŠEK Pavel. Zigbee Gateways. In: Proceedings of the 12th Conference STUDENT EEICT 2006. Brno: Fakulta elektrotechniky a komunikačních technologií VUT v Brně, 2006, s. 410-414. ISBN 80-214-3163-6. Detail

2005

• ŠVÉDA Miroslav a 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, s. 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: Vysoké učení technické v Brně, 2005, s. 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: Masarykova universita, 2005. ISBN 80-210-3813-6. Detail
• ŠVÉDA Miroslav a VRBA Radimír. Embedded Systems with IEEE 1451.1 on Internet. Enabling Technologies for the New Knowledge Society. Cairo: IEEE Computer Society, 2005, s. 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, s. 147-156. ISBN 1-84628-311-6. Detail
• BURGER Tomáš a 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, s. 26-30. ISBN 978-1-57735-254-9. Detail
• ŠVÉDA Miroslav, BENEŠ Petr, VRBA Radimír a 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, s. 10-24. ISBN 0-8493-1968-4. Detail
• ŠVÉDA Miroslav a VRBA Radimír. Sensor Networks with IEEE 1451.1 Embedded Systems on Internet. In: IEEE Proceedings AsiaSens 2005. Kuala Lumpur: IEEE Computer Society, 2005, s. 5. ISBN 0-7803-9371-6. Detail
• VRBA Radimír, SAJDL Ondřej a ŠVÉDA Miroslav. Smart Sensors in Wireless Network System. Enabling Technologies for the New Knowledge Society. Cairo: IEEE Computer Society, 2005, s. 343-353. ISBN 0-7803-9270-1. Detail
• MASAŘÍK Karel, HRUŠKA Tomáš, KOLÁŘ Dušan a LUKÁŠ Roman. System for design and simulation of microprocessors. In: Proceedings of 8th Spring International Conference - ISIM'05. Ostrava: MARQ, 2005, s. 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: Fakulta informatiky MU, 2005, s. 9. Detail
• KUCHTA Radek, ŠTEFFAN Pavel, BARTOŇ Zdeněk, VRBA Radimír a ŠVÉDA Miroslav. Wireless Temperature Data Logger. In: IEEE Proceedings AsiaSens 2005. Kuala Lumpur: IEEE Computer Society, 2005, s. 208-212. ISBN 0-7803-9371-6. Detail

2008

• Nástroje projektu Lissom pro simulaci aplikačně specifických instrukčních procesorů, software, 2008
  Autoři: Hruška Tomáš, Masařík Karel, Kolář Dušan, Přikryl Zdeněk Detail

2007

• Nástroje projektu Lissom pro práci s instrukční sadou, software, 2007
  Autoři: Hruška Tomáš, Kolář Dušan, Lukáš Roman, Masařík Karel Detail