Prof. Ing. Miroslav ©véda, CSc.

2015©VÉDA Miroslav, RY©AVÝ Ondřej, VESELÝ Vladimír, GRÉGR Matěj, PODERMAŃSKI Tomáą, HALFAR Patrik and MAREK Marcel. Design of Computer Networks Concerning Network Applications Support. In: Computer Aided Systems Theory. Las Palmas de Gran Canaria: University of Las Palmas, 2015, pp. 23-24. ISBN 978-84-606-5438-4.
2014GREGA Wojciech, HILBURN Thomas B., KORNECKI Andrew J., MAYR Richard, PYLE Ian, ROZENBLIT Jerzy, RY©AVÝ Ondřej, ©VÉDA Miroslav, ZHANG Le and ZHANG Le. Proceedings of the International workshop on Cyber-Physical Systems. 2013 Federated Conference on Computer Science and Information Systems. Krakow: Elsevier Science, 2014, pp. 1-200. ISBN 978-1-4673-4471-5.
 GRÉGR Matěj and ©VÉDA Miroslav. Challenges with Transition and User Accounting in Next Generation Networks. In: Proceedings 2014 IEEE 22nd International Conference on Network Protocols. Raleigh, NC, USA: Institute of Electrical and Electronics Engineers, 2014, pp. 501-503. ISBN 978-1-4799-6203-7.
 GRÉGR Matěj, MATOU©EK Petr, PODERMAŃSKI Tomáą and ©VÉDA Miroslav. Practical IPv6 Monitoring on Campus - Best Practice Document. Vědecký sborník. 2014, vol. 2014, no. 1, pp. 1-20. ISSN 0572-3043.
 GRÉGR Matěj, PODERMAŃSKI Tomáą and ©VÉDA Miroslav. Measuring Quality and Penetration of IPv6 Services. In: The Tenth International Conference on Networking and Services. 74400 CHAMONIX MONT-BLANC: Institute for Systems and Technologies of Information, Control and Communication, 2014, pp. 96-101. ISBN 978-1-61208-330-8.
 HALFAR Patrik and ©VÉDA Miroslav. Cyber-Physical Information Systems for Enterprise Engineering -- Cyber-Physical Applications Timing. In: ICEIS Proceedings 2014. Lisabon: Institute for Systems and Technologies of Information, Control and Communication, 2014, pp. 1-7. ISBN 978-989-758-029-1.
 PODERMAŃSKI Tomáą and ©VÉDA Miroslav. IP45: Architecture, Design and Implementation. In: The 22nd IEEE International Conference on Network Protocols (ICNP 2014). The Research Triangle, North Carolina, USA: IEEE Computer Society, 2014, pp. 492-494. ISBN 978-1-4799-6204-4.
 VESELÝ Vladimír, MAREK Marcel, RY©AVÝ Ondřej and ©VÉDA Miroslav. Multicast, TRILL and LISP Extensions for INET. International Journal on Advances in Networks and Services. 2014, vol. 2014, no. 4, pp. 240-251. ISSN 1942-2644.
 VESELÝ Vladimír, RY©AVÝ Ondřej and ©VÉDA Miroslav. Protocol Independent Multicast in OMNeT++. In: The Tenth International Conference on Networking and Services. 74400 CHAMONIX MONT-BLANC: The International Academy, Research and Industry Association, 2014, pp. 132-137. ISBN 978-1-61208-330-8.
 ©VÉDA Miroslav. Dependability in Cyber-Physical Systems Network Applications. In: Proceedings of the 5th International Conference on Circuits, Systems, Control, Signals 2014. Salerno: North Atlantic University Union, 2014, pp. 1-6. ISBN 978-1-61804-204-0.
2013DE Silva Gayan, RY©AVÝ Ondřej, MATOU©EK Petr and ©VÉDA Miroslav. On formal reachability analysis in networks with dynamic behavior. Telecommunication Systems. New York: Springer US, 2013, vol. 52, no. 2, pp. 919-929. ISSN 1018-4864.
 OČENÁ©EK Pavel and ©VÉDA Miroslav. Communication in Business Information Systems - New Perspectives. International Academic Research Journal of Business and Management. 2013, vol. 1, no. 7, pp. 87-92. ISSN 2227-1287.
 OČENÁ©EK Pavel and ©VÉDA Miroslav. On the Effective Internet Communication Filtering. Applied Mechanics and Materials. Zurich: Trans Tech Publications Inc., 2013, vol. 2013, no. 307, pp. 478-481. ISSN 1660-9336.
 PACNER Jan, RY©AVÝ Ondřej and ©VÉDA Miroslav. On the Evaluation of Clock Synchronization Methods for Networked Control Systems. In: 3rd Eastern European Regional Conference on the Engineering of Computer-Based Systems. New York: IEEE Computer Society, 2013, pp. 10-12. ISBN 978-0-7695-3759-7.
 RY©AVÝ Ondřej, RÁB Jaroslav and ©VÉDA Miroslav. Improving security in SCADA systems through firewall policy analysis. In: Proceedings of the Federated Conference on Computer Science and Information Systems. Krakow: IEEE Computer Society, 2013, pp. 1435-1440. ISBN 978-1-4673-4471-5.
 VESELÝ Vladimír and ©VÉDA Miroslav. Comparison of Proposals Suggesting Internet Architecture Change. In: Sborník příspěvků Mezinárodní Masarykovy konference pro doktorandy a mladé vědecké pracovníky 2013. Hradec Králové: Akademické sdruľení MAGNANIMITAS Assn., 2013, pp. 1-11. ISBN 978-80-87952-00-9.
 VESELÝ Vladimír, MATOU©EK Petr and ©VÉDA Miroslav. Multicast simulation and modeling in OMNeT++. In: SimuTools '13 Proceedings of the 6th International ICST Conference on Simulation Tools and Techniques. Brussels: International Communication Sciences and Technology Association, 2013, pp. 142-145. ISBN 978-1-4503-2464-9.
 VESELÝ Vladimír, RY©AVÝ Ondřej and ©VÉDA Miroslav. IPv6 Unicast and IPv4 Multicast Routing in OMNeT++. In: Proceedings of the IEEE 6th International ICST Conference on Simulation Tools and Techniques. Cannes: International Communication Sciences and Technology Association, 2013, pp. 1-4. ISBN 978-1-936968-47-3.
 ©VÉDA Miroslav and RY©AVÝ Ondřej. Dependable Cyber-Physical Systems Networking: An Approach for Real-Time, Software Intensive Systems. In: Programmable Devices and Embedded Systems. Laxenburg: IFAC, 2013, pp. 1-4. ISBN 978-3-902823-21-2. ISSN 1474-6670.
 ©VÉDA Miroslav and VRBA Radimír. Cyber-Physical Systems Networking with TCP/IP -- A Security Application Approach. In: IEEE Proceedings AFRICON 2013. New York: Institute of Electrical and Electronics Engineers, 2013, pp. 101-106. ISBN 978-1-4673-5943-6.
 ©VÉDA Miroslav. Time Specification, Modeling and Measurement in frame of Cyber-Physical System Applications Design. International Journal of Systems Applications, Engineering & Development. Athens: North Atlantic University Union, 2013, vol. 7, no. 5, pp. 263-270. ISSN 2074-1308.
 ©VÉDA Miroslav. Time in Cyber-Physical Systems: Specifications, Modeling and Measurements. In: Proceedings of the SCSI 2013. Rhodes Island: European Society for Environmental Research and Sustainable Development, 2013, pp. 413-419. ISBN 978-1-61804-204-0.
2012GRÉGR Matěj, PODERMAŃSKI Tomáą and ©VÉDA Miroslav. Deploying IPv6 - practical problems from the campus perspective. Reykjavik, 2012.
 GRÉGR Matěj, PODERMAŃSKI Tomáą and ©VÉDA Miroslav. User identification in IPV6 network. IP Networking 1 -- Theory and Practice. ®ilina: Zilina University Publisher, 2012, pp. 5-8. ISBN 978-80-554-0494-3.
 HALFAR Patrik and ©VÉDA Miroslav. Networking in Cyber Physical Systems - A Concept Study. In: Proceedings of the International Workshop of Cyber Physical Systems. Bucharest: Romanian Academy, Publishing House of the Romanian Academy, 2012, pp. 50-53.
 HALFAR Patrik, RÁB Jaroslav, RY©AVÝ Ondřej and ©VÉDA Miroslav. A Formal Authorization Framework for Networked SCADA Systems. In: Proceedings IEEE ECBS 2012. Novy Sad: IEEE Computer Society, 2012, pp. 298-302. ISBN 978-0-7695-4664-3.
 OČENÁ©EK Pavel and ©VÉDA Miroslav. Analysis and Filtering of Network Communication in ISP Firewalls. In: Proceedings of the Third International Conference on Theoretical and Mathematical Foundations of Computer Science. Denpasar: Information Engineering Research Institute, 2012, pp. 1-4.
 OČENÁ©EK Pavel and ©VÉDA Miroslav. Communication in Business Information Systems - New Perspectives. In: Proceedings of ARC 2012 International Conference on Business and Management. Bangalore: Siemens, Corporate Research and Development, 2012, pp. 257-262. ISBN 978-0-615-73960-1.
 OČENÁ©EK Pavel and ©VÉDA Miroslav. On the Effective Internet Communication Filtering. In: Proceedings of the 2012 ICMCM Conference. Dubaj: Trans Tech Publications Inc., 2012, pp. 478-481. ISBN 978-3-03785-659-8.
 RY©AVÝ Ondřej, ©VÉDA Miroslav and VRBA Radimír. A Framework for Cyber-Physical Systems Design - A Concept Study. In: Proceedings ICONS 2012. Saint Gilles, Reunion Island: International Academy, Research, and Industry Association, 2012, pp. 79-82. ISBN 978-1-61208-184-7.
 TRCHALÍK Roman and ©VÉDA Miroslav. Unified Sensor Gateway Interconnection of Sensor Networks. In: Proceedings 11th IFAC/IEEE International Conference on Programmable Devices and Embedded Sy. Brno: Faculty of Electrical Engineering and Communication BUT, 2012, pp. 372-377. ISBN 978-3-902823-21-2. ISSN 1474-6670.
 VESELÝ Vladimír and ©VÉDA Miroslav. L2 protocols in OMNeT++. IP Networking 1 -- Theory and Practice. ®ilina: Zilina University Publisher, 2012, pp. 37-40. ISBN 978-80-554-0494-3.
 VESELÝ Vladimír, MATOU©EK Petr and ©VÉDA Miroslav. Multicast Simulation and Modeling in OMNeT++. In: Proceedings of the IEEE 5th International ICST Conference on Simulation Tools and Techniques. Desenzano del Garda: International Communication Sciences and Technology Association, 2012, pp. 298-301. ISBN 978-1-936968-47-3.
 ©VÉDA Miroslav, RY©AVÝ Ondřej, DE Silva Gayan, MATOU©EK Petr and RÁB Jaroslav. Static Analysis of Routing and Firewall Policy Configurations. In: e-Business and Telecommunications. Heidelberg: Springer Science+Business Media B.V., 2012, pp. 39-53. ISBN 978-3-642-25205-1. ISSN 1865-0929.
 ©VÉDA Miroslav, SEKLETÁR Michal, FIDLER Tomáą and RY©AVÝ Ondřej. A High-level Network-wide Router Configuration Language. In: Proceedings ICN 2012. Saint Gilles, Reunion Island: International Academy, Research, and Industry Association, 2012, pp. 18-21. ISBN 978-1-61208-183-0.
2011GRÉGR Matěj, MATOU©EK Petr, PODERMAŃSKI Tomáą and ©VÉDA Miroslav. Practical IPv6 Monitoring - Challenges and Techniques. In: Proceedings of the 12th IFIP/IEEE International Symposium on Integrated Network Management (IM 2011). Dublin: IEEE Computer Society, 2011, pp. 660-663. ISBN 978-1-4244-9220-6.
 ©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.
 ©VÉDA Miroslav, RY©AVÝ Ondřej and MATOU©EK Petr. Supporting Safe and Secure Networked System Design. In: Computer Aided Systems Theory (EUROCAST´11), Extended Abstracts. Las Palmas de Gran Canaria: The Universidad de Las Palmas de Gran Canaria, 2011, pp. 22-23. ISBN 978-84-693-9560-8.
 ©VÉDA Miroslav, RY©AVÝ Ondřej, DE Silva Gayan, MATOU©EK Petr and RÁB Jaroslav. Reachability Analysis in Dynamically Routed Networks. In: Proceedings of the IEEE ECBS 2011. Piscataway, NJ: IEEE Computer Society, 2011, pp. 197-205. ISBN 978-0-7695-4379-6.
 ©VÉDA Miroslav. Design Experience with Routing SW and Related Applications. In: Proceedings of The Tenth International Conference on Networks - ICN 2011. St. Maarten: International Academy, Research, and Industry Association, 2011, pp. 133-138. ISBN 978-1-61208-002-4.
2010DE Silva Gayan, MATOU©EK Petr, RY©AVÝ Ondřej and ©VÉDA Miroslav. Formal Analysis Approach on Networks with Dynamic Behaviours. In: 2010 International Congress on Ultra Modern Telecommunications and Control Systems and Workshops (ICUMT). Moscow: IEEE Computer Society, 2010, pp. 545-551. ISBN 978-1-4244-7285-7.
 KORNECKI Andrew J., GREGA Wojciech, HILBURN Thomas B., THIRIET Jean-Marc, ©VÉDA Miroslav, RY©AVÝ Ondřej and PILAT Adam. Transatlantic Engineering Programs: An Experience in International Cooperation. Safeeullah Soomro (Editor): Engineering the Computer Science and IT. Vienna: IN-TECH Education and Publishing, 2010, pp. 65-84. ISBN 978-953-307-012-4.
 ©VÉDA Miroslav and TRCHALÍK Roman. Development of Interconnecting SW for Intranets and Fieldbuses. IFAC-PapersOnLine. Laxenburg: IFAC, 2010, vol. 2010, no. 10, pp. 119-124. ISSN 1474-6670.
 ©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.
 ©VÉDA Miroslav, RY©AVÝ Ondřej, MATOU©EK Petr and RÁB Jaroslav. An Approach for Automated Network-Wide Security Analysis. In: Proceedings of the Ninth International Conference on Networks ICN 2010. Les Menuires: IEEE Computer Society, 2010, pp. 294-299. ISBN 978-0-7695-3979-9.
 ©VÉDA Miroslav, RY©AVÝ Ondřej, MATOU©EK Petr, RÁB Jaroslav and ČEJKA Rudolf. SECURITY ANALYSIS OF TCP/IP NETWORKS -- An Approach to Automatic Analysis of Network Security Properties. In: Proceedings of the International Conference on Data Communication Networking ICETE-DCNET 2010. Athens: Institute for Systems and Technologies of Information, Control and Communication, 2010, pp. 5-11. ISBN 978-989-8425-25-6.
 ©VÉDA Miroslav. Fault Management Driven Design with Safety and Security Requirements. In: Proceedings 17th IEEE International Conference and Workshops on Engineering of Computer-Based Systems ECBS 2010. Oxford: IEEE Computer Society, 2010, pp. 113-120. ISBN 978-0-7695-4005-4.
 ©VÉDA Miroslav. NETWORK CONVERGENCY AND MODELING -- Design Experience with Routing SW for Intranets and Fieldbusses. In: Proceedings of the Fifth International Conference on Software and Data Technologies, ICSOFT 2010. Athens: Institute for Systems and Technologies of Information, Control and Communication, 2010, pp. 173-178. ISBN 978-989-8425-22-5.
2009GREGA Wojciech, HILBURN Thomas B., KORNECKI Andrew J., RY©AVÝ Ondřej, ©VÉDA Miroslav and THIRIET Jean-Marc. Methodology for Creation of Multidisciplinary, Transatlantic Engineering Program in Information Technology. In: Proceedings of the European Association for Education in Electrical and Information Engineering Council's Annual Conference 2009. Valencia: Politechnical University of Valencia, 2009, p. 5. ISBN 978-84-8363-428-8.
 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. 2009, vol. 3, no. 1, pp. 66-71. ISSN 1897-8649.
 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. Berlin: Springer Verlag, 2009, pp. 149-153. ISBN 978-3-642-02555-6.
 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. Ostrava: IFAC, 2009, pp. 153-156. ISBN 978-3-902661-41-8. ISSN 1474-6670.
 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. Ostrava: IFAC, 2009, pp. 157-160. ISBN 978-3-902661-41-8. ISSN 1474-6670.
 RY©AVÝ Ondřej, ©VÉDA Miroslav, KORNECKI Andrew J., HILBURN Thomas B., GREGA Wojciech, PILAT Adam and THIRIET Jean-Marc. Designing and Implementing International RSIC Engineering Curriculum. In: 1st Eastern European Regional Conference on the Engineering of Computer-Based Systems. Novi Sad: IEEE Computer Society, 2009, pp. 71-76. ISBN 978-0-7695-3759-7.
 RÁB Jaroslav, RY©AVÝ Ondřej and ©VÉDA Miroslav. On the Implementation of State-space Exploration Procedure in a Relational Database Management System. In: 30th IFAC Workshop on Real-Time Programming and 4th International Workshop on Real-Time Software. Mragowo: IEEE Computer Society, 2009, pp. 151-156. ISBN 978-83-60810-22-4.
 THIRIET Jean-Marc, HILBURN Thomas B., KORNECKI Andrew J., GREGA Wojciech and ©VÉDA Miroslav. Organization of a US-European Trans-national Degree in Engineering. J3eA - Journal sur l'enseignement des sciences et technologies de l'information et des systèmes. Bruxelles: EDP Sciences, 2009, vol. 2009, no. 1, pp. 1-7. ISSN 1638-1963.
 ©VÉDA Miroslav and VRBA Radimír. Meta-Design with Safe and Secure Embedded System Networking. International Journal On Advances in Security.. 2009, vol. 2, no. 1, pp. 8-15. ISSN 1942-2636.
 ©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.
 ©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.
 ©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.
 ©VÉDA Miroslav. Fault Management for Secure Embedded Systems. In: International Conference on Systems Proceedings, ICONS 2009. New York, NY: IEEE Computer Society, 2009, pp. 23-28. ISBN 978-0-7695-3551-7.
 ©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.
2008HILBURN Thomas B., KORNECKI Andrew J., THIRIET Jean-Marc, GREGA Wojciech and ©VÉDA Miroslav. An RSIC-SE2004 Curriculum Framework. In: IEEE Proceedings of International Multiconference on Computer Science and Information Technology - Real-Time Software. Wisla: IEEE Computer Society, 2008, pp. 633-638. ISBN 978-83-60810-14-9. ISSN 1896-7094.
 HILBURN Thomas B., THIRIET Jean-Marc, KORNECKI Andrew J., GREGA Wojciech and ©VÉDA Miroslav. Credits and Accreditation in the U.S.A. and Europe: Towards a Framework for Trans-national Engineering Degrees. Innovations. Arlington, VA: iNEER, 2008, vol. 2008, no. 1, pp. 29-42. ISBN 978-0-9741252-8-2. ISSN 1553-9911.
 KORNECKI Andrew J., GREGA Wojciech, THIRIET Jean-Marc, ©VÉDA Miroslav, GONZALES Avelino and THARP Hal. Dependable Systems International Research and Educational Experience. Daytona Beach: European Comission EU, 2008.
 KORNECKI Andrew J., HILBURN Thomas B., GREGA Wojciech, THIRIET Jean-Marc and ©VÉDA Miroslav. A COMMON US-EUROPE CURRICULUM: An Approach for Real-Time Software Intensive Systems. In: Proceedings of the 2008 ASEE Anual Conference & Exposition. Pittsburgh, PA: American Society for Engineering Education, 2008, pp. 1359-1371. ISBN 0-87823-196-X.
 MATOU©EK Petr, RÁB Jaroslav, RY©AVÝ Ondřej and ©VÉDA Miroslav. A Formal Model for Network-wide Security Analysis. In: Proceeding of the 15 IEEE International Symposium and Workshop on the Engineering of Computer-based Systems. Belfast: University of Ulster, 2008, pp. 171-181. ISBN 0-7695-3141-5.
 PILAT Adam, KORNECKI Andrew J., THIRIET Jean-Marc, GREGA Wojciech and ©VÉDA Miroslav. Industry Feedback on Skills and Knowledge. In: Proceedings of the 19th EAEEIE Annual Conference. Tallin: IEEE Computer Society, 2008, pp. 129-133. ISBN 978-1-4244-2009-4.
 THIRIET Jean-Marc, HILBURN Thomas B., KORNECKI Andrew J., GREGA Wojciech and ©VÉDA Miroslav. Implementation for a US-European Trans-national Degree in Real-Time Software Engineering. In: Proceedings of the 19th EAEEIE Annual Conference. Tallin: IEEE Computer Society, 2008, pp. 134-137. ISBN 978-1-4244-2009-4.
 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.
 ©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.
 ©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.
 ČEJKA Rudolf, MATOU©EK Petr, RÁB Jaroslav, RY©AVÝ Ondřej and ©VÉDA Miroslav. A Formal Approach to Network Security Analysis. Brno: Faculty of Information Technology BUT, 2008.
2007GREGA Wojciech, KORNECKI Andrew J., ©VÉDA Miroslav and THIRIET Jean-Marc. Developing an Interdisciplinary and Multinational Software Engineering Curriculum. In: Proceedings of the International Conference on Engineering Education. Coimbra: European Comission - Education and Training, 2007, p. 4. ISBN 978-972-8055-14-1.
 KORNECKI Andrew J., HILBURN Thomas B., GREGA Wojciech, THIRIET Jean-Marc and ©VÉDA Miroslav. ILERT - International Learning Environment for Real-Time Software Intensive Control Systems. Computer Science and Information Technology. Wisla: IEEE Computer Society, 2007, vol. 2007, no. 2, pp. 943-948. ISSN 1896-7094.
 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.
 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.
 ©VÉDA Miroslav and RY©AVÝ Ondřej. Industrial Application Development using Case-based Reasoning. In: Proceedings of International Workshop on Artificial Neural Networks and Intelligent Information Processing. Angers: Institute for Systems and Technologies of Information, Control and Communication, 2007, p. 7. ISBN 972-8865-86-4.
 ©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.
 ©VÉDA Miroslav and TRCHALÍK Roman. ZigBee-to-Internet Interconnection Architectures. In: Proceedings of the Second International Workshop on Mobile Communications and Learning MCL 2007. Saint Luce, Martinique: IEEE Computer Society, 2007, p. 6. ISBN 0-7695-2807-4.
 ©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.
 ©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.
 ©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.
 ©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.
 ©VÉDA Miroslav. End-User Development Framework for Embedded System Applications. In: Engineering of Computer-Based Systems, 2007. Tucson, Arizona: IEEE Computer Society, 2007, pp. 186-192. ISBN 0-7695-2772-8.
 ©VÉDA Miroslav. Formal Specs Reuse with Embedded Systems Design -- Behavioral and Architectural Specifications in Real-Time Application Domains. In: IEEE Proceedings of the Second International Conference on Systems, ICONS 2007. New York: IEEE Computer Society, 2007, pp. 11-16. ISBN 0-7695-2807-4.
 ©VÉDA Miroslav. Industrial Measurement Application Development. In: Proceedings of the First International Workshop on Application-oriented Systems. Saint Luce, Martinique: IEEE Computer Society, 2007, pp. 523-529. ISBN 0-7695-2807-4.
2006FUJCIK 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.
 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.
 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.
 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.
 ©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.
 ©VÉDA Miroslav and VRBA Radimír. Safe and secure networks of microelectronic systems. Brno: Faculty of Electrical Engineering and Communication BUT, 2006.
 ©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.
 ©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.
 ©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.
 ©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.
2005BURE© Frantiąek, RY©AVÝ Ondřej, ©ČUGLÍK Frantiąek and ©VÉDA Miroslav. A Framework for Formal Specification of Embedded Systems. In: Proceedings of the 12th IEEE International Conference and Workshop on the Engineering of Computer-Based Systems. Los Alamitos, California: IEEE Computer Society, 2005, pp. 323-330. ISBN 0-7695-2308-0.
 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.
 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.
 ©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.
 ©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.
 ©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.
 ©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.
 ©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.
2004DVOŘÁK Václav and ©VÉDA Miroslav, ed. Proceedings of the International IEEE Conference and Workshop ECBS'2004. Los Alamitos, CA: IEEE Computer Society, 2004. ISBN 0-7695-2125-8.
 DVOŘÁK Václav, ©VÉDA Miroslav, RATTRAY Charles and ROZENBLIT Jerzy. Formal Specifications of Computer-Based Systems - J.UCS Special Issue. Journal of Universal Computer Science. 2004, vol. 9, no. 11, pp. 1258-1260. ISSN 0948-6968.
 HÁZE Jiří, KREJČÍ Jan, VRBA Radimír and ©VÉDA Miroslav. Sensor Analysis of Liquid Pollution. In: Proceedings of the 2004 ISA/IEEE Sensors for Industry Conference. New Orleans, LA: IEEE Computer Society, 2004, pp. 155-158. ISBN 0-7803-8143-2.
 RATTRAY Charles, ©VÉDA Miroslav and ROZENBLIT Jerzy, ed. Proceedings of the IEEE TC-ECBS and IFIP WG10.1 Joint Workshop on Formal Specifications of Computer-Based Systems. Stirling: University of Stirling, 2004. ISBN 1-85769-1970.
 RY©AVÝ Ondřej, BURE© Frantiąek, ©ČUGLÍK Frantiąek and ©VÉDA Miroslav. Integration of Formal Methods in a Specification Framework for Embedded Systems. In: Proceedings of the IEEE TC-ECBS and IFIP WG10.1 Joint Workshop on Formal Specifications of Computer-Based Systems. Stirling: IEEE Computer Society, 2004, pp. 57-63. ISBN 1-85769-1970.
 VRBA Radimír, SAJDL Ondřej, KUCHTA Radek and ©VÉDA Miroslav. Wireless Smart Sensor Network System. In: Proceedings of the ICSE & INCOSE 2004 Conference. Las Vegas, NV: CRC Press LLC, 2004, pp. 466-471. ISBN 0-8576-9197-0.
 VRBA Radimír, ©VÉDA Miroslav and MAREČEK Karel. Pressure Transducer with Multiplexed Frequency Transmitter. In: Proceedings of the 2004 ISA/IEEE Sensors for Industry Conference. New Orleans, LA: IEEE Computer Society, 2004, pp. 7-10. ISBN 0-7803-8143-2.
 ©VÉDA Miroslav and VRBA Radimír. A Development Environment for Internet-Based Applications of Smart Sensors. In: Proceedings of the 2004 ISA/IEEE Sensors for Industry Conference. New Orleans, LA: IEEE Computer Society, 2004, pp. 170-176. ISBN 0-7803-8143-2.
 ©VÉDA Miroslav and VRBA Radimír. An Approach to Computer-Based System Synthesis. In: Proceedings of the ICSE & INCOSE 2004 Conference. Las Vegas, NV: CRC Press LLC, 2004, p. 8. ISBN 0-8576-9197-0.
 ©VÉDA Miroslav and VRBA Radimír. Reuse of Formal Specifications in Computer-Based Systems Design. In: Proceedings of the ICSE & INCOSE 2004 Conference. Las Vegas, NV: CRC Press LLC, 2004, p. 6. ISBN 0-85760-919-X.
 ©VÉDA Miroslav and VRBA Radimír. Sensor Networking with Publish/Subscribe and IP Multicast. WSEAS Transactions on Information Science and Applications. 2004, vol. 1, no. 4, pp. 983-987. ISSN 1790-0832.
 ©VÉDA Miroslav, RATTRAY Charles and ROZENBLIT Jerzy. Formal Specifications of Computer-Based Systems - J.UCS Special Issue. Journal of Universal Computer Science. 2004, vol. 10, no. 10, pp. 1354-1356. ISSN 0948-6968.
 ©VÉDA Miroslav. A Design Framework for Internet-Based Embedded Distributed Systems. In: Proceedings of the International IEEE Conference and Workshop ECBS'2004. Los Alamitos, California: IEEE Computer Society, 2004, pp. 113-120. ISBN 0-7695-2125-8.
 ©VÉDA Miroslav. IP Multicast with Publish/Subscribe for Sensors on Internet. In: 11th Electronic Devices and Systems Conference 2004 Proceedings. Brno: Brno University of Technology, 2004, pp. 350-353. ISBN 80-214-2701-9.
2003CACH Petr, FIEDLER Petr, ©VÉDA Miroslav, PROKOP Miloą and WAGNER Marek. A Sensor with Embedded Ethernet. WSEAS Transactions on Circuits. Athens: World Scientific and Engineering Academy, 2003, vol. 2, no. 1, pp. 213-215. ISSN 1109-2734.
 RATTRAY Charles, ©VÉDA Miroslav and ROZENBLIT Jerzy, ed. Proceedings IEEE TC-ECBS and IFIP WG10.1 Joint Workshop on Formal Specifications of Computer-Based Systems. Huntsville, AL: University of Stirling, 2003. ISBN 1-85769-189X.
 RY©AVÝ Ondřej and ©VÉDA Miroslav. A Minimal Formal Language for Object-Oriented Specifications. In: Proceedings of the IEEE TC-ECBS and IFIP WG10.1 Joint Workshop on Formal Specifications of Computer-Based Systems, 2003. Huntsville, AL: University of Stirling, 2003, pp. 35-40. ISBN 1-85769-189X.
 SAJDL Ondřej, BRADÁČ Zdeněk, VRBA Radimír and ©VÉDA Miroslav. Data Acquisition Systém Exploiting Bluetooth Technology. WSEAS Transactions on Circuits. Athens: World Scientific and Engineering Academy, 2003, vol. 2, no. 1, pp. 117-119. ISSN 1109-2734.
 VEČEŘA Ivo, VRBA Radimír and ©VÉDA Miroslav. A/D Switched-Current Converter with Built-in Self Testing Features. In: Proceedings of the 6th World Multiconference on Systemics, Cybernetics and Informatics, 2002, Vol. III. Orlando: The International Institute of Informatics and Systemics, 2003, pp. 367-370. ISBN 980-07-8150-1.
 ©VÉDA Miroslav and KAPOUN Vladimír. Internet-Based Smart Sensor Networking Architectures. ElectronicsLetters.com. Brno: 2003, vol. 2003, no. 6, p. 5. ISSN 1213-161X.
 ©VÉDA Miroslav and VRBA Radimír. An Integrated Framework for Internet-Based Applications of Smart Sensors. IEEE Sensors Journal. 2003, vol. 3, no. 5, pp. 579-586. ISSN 1530-437X.
 ©VÉDA Miroslav and VRBA Radimír. Embedded System Formal Specifications Reuse by a Case-Based Reasoning Approach. In: Proceedings of the 6th World Multiconference on Systemics, Cybernetics and Informatics, 2002, Vol. I. Orlando: The International Institute of Informatics and Systemics, 2003, pp. 157-162. ISBN 980-07-8150-1.
 ©VÉDA Miroslav and VRBA Radimír. Embedded System Specification Reuse by a Case Based Reasoning Approach. WSEAS Transactions on Computers. Athens: World Scientific and Engineering Academy, 2003, vol. 2, no. 1, pp. 10-14. ISSN 1109-2750.
 ©VÉDA Miroslav, RATTRAY Charles and ROZENBLIT Jerzy. Formal Specifications of Computer-Based Systems. In: Proceedings of the IEEE International Conference and Workshop on the Engineering of Computer-Based Systems 2003. Huntsville, AL: IEEE Computer Society, 2003, pp. 169-172. ISBN 0-7695-1917-2.
 ©VÉDA Miroslav. Engineering of Computer-Based Systems: Brno in 2004. In: Proceedings EDS'03. Brno: Brno University of Technology, 2003, pp. 85-88. ISBN 80-214-2452-4.
 ©VÉDA Miroslav. Executable Specifications with Rapid Prototyping for Embedded Distributed Systems. In: Programmable Devices and Systems 2003. Kidlington, Oxford: Elsevier Science, 2003, pp. 49-54. ISBN 0-08-044130-0.
 ©VÉDA Miroslav. Local Time for Formal Specification of Networked Embedded System. WSEAS Transactions on Computers. Athens: World Scientific and Engineering Academy, 2003, vol. 2, no. 1, pp. 4-9. ISSN 1109-2750.
 ©VÉDA Miroslav. Rapid Prototyping of Networked Embedded Systems. In: Proceedings of the IEEE International Conference and Workshop on the Engineering of Computer-Based Systems 2003. Huntsville, AL: IEEE Computer Society, 2003, pp. 125-132. ISBN 0-7695-1917-2.
 ©ČUGLÍK Frantiąek and ©VÉDA Miroslav. Automatically Generated CSP Specifications. In: Proceedings of the IEEE TC-ECBS and IFIP WG10.1 Joint Workshop on Formal Specifications of Computer-Based Systems, 2003. Huntsville, AL: University of Stirling, 2003, pp. 41-47. ISBN 1-85769-189X.
 ©ČUGLÍK Frantiąek and ©VÉDA Miroslav. Automatically Generated CSP Specifications. Journal of Universal Computer Science. 2003, vol. 9, no. 11, pp. 1277-1295. ISSN 0948-6968.
2002KAPOUN Vladimír and ©VÉDA Miroslav. Management systems and their organization. ElectronicsLetters.com. Brno: 2002, vol. 2002, no. 12, p. 3. ISSN 1213-161X.
 KUČERA Pavel, ZEZULKA Frantiąek, ©VÉDA Miroslav and VRBA Radimír. Executable specifications for Process Automation and Microelectronics. In: IEEE TC-ECBS and IFIP WG10.1 Joint Workshop on Formal Specifications of Computer-Based Systems. Lund: University of Stirling, 2002, pp. 91-98. ISBN 1-85769-169-5.
 RATTRAY Charles, ©VÉDA Miroslav and ROZENBLIT Jerzy, ed. IEEE TC-ECBS and IFIP WG10.1 Joint Workshop on Formal Specifications of Computer-Based Systems. Lund: University of Stirling, 2002. ISBN 1-85769-169-5.
 ©VÉDA Miroslav and RÁB Jaroslav. Designing dedicated distributed architectures for embedded systems. In: Proceedings of Electronic Devices and Systems, 2002. Brno: Brno University of Technology, 2002, pp. 301-310. ISBN 80-214-2180-0.
 ©VÉDA Miroslav and VRBA Radimír. An Integrated Framework for Internet-Based Applications of Smart Sensors. In: Proceedings of IEEE Sensors 2002. Piscataway, New York: IEEE Computer Society, 2002, pp. 1543-1548. ISBN 0-7803-7454-1.
 ©VÉDA Miroslav and VRBA Radimír. An Integrated Framework for Sensor-Based Embedded Systems. In: Proceedings of the Ninth IEEE International Conference and Workshop on the Engineering of Computer-Based Systems. Los Alamitos, CA: IEEE Computer Society, 2002, pp. 195-202. ISBN 0-7695-1549-5.
 ©VÉDA Miroslav, RATTRAY Charles and ROZENBLIT Jerzy. Formal Specifications of Computer-Based Systems. In: Proceedings of the Ninth IEEE International Conference and Workshop on the Engineering of Computer-Based Systems. Los Alamitos, CA: IEEE Computer Society, 2002, pp. 224-225. ISBN 0-7695-1549-5.
 ©VÉDA Miroslav. Specifications of embedded systems. Učební texty pro předmět SVS, obor IT. Brno, 2002.
 ©VÉDA Miroslav. A fail-stop model for design of embedded systems. In: Telecommunications and Signal Processing TSP-2002. Brno: Brno University of Technology, 2002, pp. 152-155. ISBN 80-214-2172-X.
 ©VÉDA Miroslav. Rapid Prototyping of Embedded Distributed Systems. In: IEEE Design and Diagnostics of Electronic Circuits and Systems. Brno: Faculty of Information Technology BUT, 2002, pp. 320-323. ISBN 80-214-2094-4.
2001CACH Petr, FIEDLER Petr, VRBA Radimír, ZEZULKA Frantiąek and ©VÉDA Miroslav. Internet based remote I/O. In: ICPR-16. Prague: unknown, 2001, pp. 1-6. ISBN 80-02-01438-3.
 RATTRAY Charles and ©VÉDA Miroslav. Formal Specifications of Computer-Based Systems. In: Proceedings of the 8th IEEE International Conference and Workshop ECBS'2001. Washington D.C.: IEEE Computer Society, 2001, pp. 357-358. ISBN 0-7695-1086-8.
 RATTRAY Charles, ©VÉDA Miroslav and ROZENBLIT Jerzy, ed. Proceedings of the IEEE TC-ECBS and IFIP WG10.1 Joint Workshop on Formal Specifications of Computer-Based Systems. Washington D.C.: University of Stirling, 2001. ISBN 1-85-769144-X.
 VRBA Radimír, ©VÉDA Miroslav and ZEZULKA Frantiąek. Interconnecting Smart Sensors through Low-Level Fieldbuses to Intranet/Internet. In: ICPR-16. Prague: unknown, 2001, pp. 1-6. ISBN 80-02-01438-3.
 ©VÉDA Miroslav and STRACH Michal. A Sensor-to-Intranet Coupling Architecture. In: Proceedings of the 8th Electronic Devices and Systems Conference EDS'01. Brno: Faculty of Electrical Engineering and Computer Science BUT, 2001, pp. 214-217. ISBN 80-214-1960-1.
 ©VÉDA Miroslav and VRBA Radimír. Executable Specifications for Distributed Embedded Systems. Computer. Los Alamitos, CA: IEEE Computer Society Press, 2001, vol. 34, no. 1, pp. 138-140. ISSN 0018-9162.
 ©VÉDA Miroslav and VRBA Radimír. Sensor Networking. In: Proceedings of the 8th IEEE International Conference and Workshop ECBS'2001. Washington D.C.: IEEE Computer Society, 2001, pp. 262-268. ISBN 0-7695-1086-8.
 ©VÉDA Miroslav, VRBA Radimír and BENE© Petr. A System Architecture of Networked Pressure Sensors. In: Proceedings of the 5th WSES/IEEE World Conference on Systems (CSCC2001). Rethymno: IEEE Computer Society Press, 2001, pp. 3541-3546. ISBN 960-8052-33-5.
 ©VÉDA Miroslav, VRBA Radimír and BENE© Petr. A System Architecture of Networked Pressure Sensors. Advances in Systems Science: Measurement, Circuits and Control. Herakleion, Greece: IEEE Computer Society Press, 2001, pp. 64-69. ISBN 960-8052-39-4.
 ©VÉDA Miroslav, VRBA Radimír and STRACH Michal. Integrated Framework and Design Pattern for Coupling a Group of Sensors with Internet. Brno: Faculty of Electrical Engineering and Computer Science BUT, 2001.
 ©VÉDA Miroslav, VRBA Radimír, VRBA Kamil and ZEZULKA Frantiąek. Frameworks for Interconnecting Smart Sensors. In: Proceedings of the IEEE/IEE Real-Time Embedded Systems Workshop RTES'01. London: IEEE Computer Society Press, 2001, pp. 1-4.
 ©VÉDA Miroslav, ZEZULKA Frantiąek and VRBA Radimír. A Case-Based Reasoning Approach to Reuse of CBS Specifications. In: Proceedings of the IEEE/IFIP Joint Workshop on Formal Specification of Computer-Based Systems, FSCBS'2001. Washington D.C.: University of Stirling, 2001, pp. 139-144. ISBN 1-85-769144-X.
 ©VÉDA Miroslav. Systémy zaloľené na počítačích. Brno: Brno University of Technology, 2001. ISBN 80-214-1937-7.
 ©VÉDA Miroslav. Case-Based Reasoning Driven Development of an Industrial Application. In: Proceedings of the 8th Electronic Devices and Systems Conference EDS'01. Brno: Faculty of Electrical Engineering and Computer Science BUT, 2001, pp. 208-213. ISBN 80-214-1960-1.
2000GONZALES Regina M., LAVI Jonah Z., MANNION Mike and ©VÉDA Miroslav. Engineering of Computer-Based Systems Enhancement Courses - Proposed Course Outlines. In: IEEE Computer Society TC-ECBS, Background Papers. Napier University, Edinburgh: unknown, 2000, pp. 1-9.
 JANKOVSKÝ Michal and ©VÉDA Miroslav. From TLA Specifications to Real-Time Unix Applications. In: Proceedings IEEE/IFIP Joint Workshop on Formal Specification of CBS. Napier University, Edinburgh: unknown, 2000, pp. 77-79. ISBN 1-85-769121-0.
 LAVI Jonah Z., MANNION Mike, MELHART Bonnie, PYLE Ian and ©VÉDA Miroslav. Engineering of Computer-Based Systems - A Proposed Curriculum for a Degree Program at Bachelor Level. In: IEEE Computer Society TC-ECBS, Background Papers. Napier University, Edinburgh: unknown, 2000, pp. 1-8.
 LAVI Jonah Z., MELHART Bonnie, PYLE Ian and ©VÉDA Miroslav. Engineering of Computer-Based Systems - A Proposed Curriculum for a Degree Program at Master Level. In: IEEE Computer Society TC-ECBS, Background Papers. Napier University, Edinburgh: unknown, 2000, pp. 1-18.
 PICHLER Franz, RATTRAY Charles and ©VÉDA Miroslav. IEEE/IFIP Joint Workshop on Formal Specifications of Computer-Based Systems. In: Proceedings of the 7th IEEE International Conference and Workshop ECBS'2000. Napier University, Edinburgh: IEEE Computer Society, 2000, pp. 382-382. ISBN 0-7695-0604-6.
 RATTRAY Charles and ©VÉDA Miroslav. Proceedings of the IEEE TC-ECBS + TF RE and IFIP WG10.1 Joint Workshop on Formal Specifications of Computer-Based Systems. Napier University, Edinburgh: IEEE Computer Society, 2000. ISBN 1-85-769121-0.
 VEČEŘA Ivo, VRBA Radimír and ©VÉDA Miroslav. Senzory s vlastním testováním. Elektrorevue - www.elektrorevue.cz. Brno: 2000, vol. 2000, no. 12, pp. 1-7. ISSN 1213-1539.
 ©VÉDA Miroslav and VRBA Radimír. Communication Protocols. Brno: Faculty of Electrical Engineering and Computer Science BUT, 2000.
 ©VÉDA Miroslav and VRBA Radimír. DCB Digital Communication On-board Bus. In: Proceedings ICT 2000. Acapulco: IEEE Computer Society, 2000, pp. 1088-1092. ISBN 968-36-7762-2.
 ©VÉDA Miroslav and VRBA Radimír. Executable Specifications for Distributed Embedded Systems. In: Proceedings IEEE/IFIP Joint Workshop on Formal Specification of CBS. Napier University, Edinburgh: University of Stirling, 2000, pp. 81-85. ISBN 1-85-769121-0.
 ©VÉDA Miroslav and VRBA Radimír. Rapid Prototyping of Embedded Communication Systems. In: Proceedings ICT 2000. Acapulco: unknown, 2000, pp. 677-681. ISBN 968-36-7762-2.
 ©VÉDA Miroslav, VRBA Radimír and ZEZULKA Frantiąek. Coupling Architectures for Low-Level Fieldbusses. In: Proceedings of the 7th IEEE International Conference and Workshop ECBS'2000. Napier University, Edinburgh: IEEE Computer Society, 2000, pp. 148-155. ISBN 0-7695-0604-6.
 ©VÉDA Miroslav. Patterns for Embedded Systems Design. Lecture Notes in Computer Science. 2000, vol. 2000, no. 1798, pp. 80-89. ISSN 0302-9743.
1999GONZALES Regina M., LAVI Jonah Z., MANNION Mike and ©VÉDA Miroslav. Engineering of Computer-Based Systems Enhancement Courses--Proposed Course Outlines. In: Proceedings of the IEEE Conference and Workshop ECBS'99. Nashville, TN: unknown, 1999, pp. 336-343. ISBN 0-7695-0028-5.
 HRDLIČKA Milan, ©VÉDA Miroslav and ZEZULKA Frantiąek. Fieldbus Interconnections Testbed. In: Proceedings of European Symposium INNOCAP'99: Sensor Networks and Communications. Grenoble: unknown, 1999, pp. 123-128.
 ©VÉDA Miroslav and VRBA Radimír. Actuator-Sensor-Interface Interconnectivity. Control Engineering Practice. 1999, vol. 7, no. 1, pp. 95-100. ISSN 0967-0661.
 ©VÉDA Miroslav. An Asynchronous Specification Language for Computer-Based Systems Design. In: Electronic Devices and Systems 1999 - Proceedings. Brno: Faculty of Electrical Engineering and Computer Science BUT, 1999, pp. 137-143. ISBN 80-214-1466-9.
 ©VÉDA Miroslav. Application Patterns for CBS Design Reuse. In: Proceedings of the IEEE Conference and Workshop ECBS'99. Nashville, TN: IEEE Computer Society, 1999, pp. 92-98. ISBN 0-7695-0028-5.
 ©VÉDA Miroslav. Low-Level Fieldbus Coupler Prototyping. In: Electronic Devices and Systems 1999 - Proceedings. Brno: Faculty of Electrical Engineering and Computer Science BUT, 1999, pp. 244-247. ISBN 80-214-1466-9.
 ©VÉDA Miroslav. Patterns for Embedded Systems Design. In: Preprints EUROCAST´99. Vienna: unknown, 1999, pp. 277-280.
 ©VÉDA Miroslav. Time and Cybernetics. In: Cybernetics'99. Las Palmas de Gran Canaria: unknown, 1999, pp. 121-124. ISBN 84-8416-950-2.
1998HRDLIČKA Milan and ©VÉDA Miroslav. Temporal Logic, Real-Time Temporal Logic and Anticipative Systems. In: Proc. InterSymp. Baden-Baden: unknown, 1998, pp. 26-30. ISBN 0-921836-56-2.
 JANKOVSKÝ Michal and ©VÉDA Miroslav. Prototyping Behavioural Specification of Embedded Systems. In: EDS'98 Proceedings. Brno: unknown, 1998, pp. 390-393. ISBN 80-214-1198-8.
 LAVI Jonah Z., MANNION Mike, MELHART Bonnie, PYLE Ian and ©VÉDA Miroslav. Engineering of Computer-Based Systems Enhancement Courses--Proposed Course Outlines. In: Proceedings of the IEEE Conference and Workshop ECBS'98. Maale Hachamisha: unknown, 1998, pp. 377-384. ISBN 0-8186-8463-1.
 LAVI Jonah Z., MANNION Mike, MELHART Bonnie, PYLE Ian and ©VÉDA Miroslav. Engineering of Computer-Based Systems--A Proposed Curriculum for a Degree Program at Bachelor Level. In: Proceedings of the IEEE Conference and Workshop ECBS'98. Maale Hachamisha: IEEE Computer Society, 1998, pp. 369-376. ISBN 0-8186-8463-1.
 ©VÉDA Miroslav and VRBA Radimír. ASI Interconnectivity. In: Intelligent Components and Instruments for Control Applications 1997, Proceedings of the 3rd IFAC Symposium. Annecy: IFAC, 1998, pp. 581-586. ISBN 0-08-042608-5.
 ©VÉDA Miroslav and VRBA Radimír. Interconnecting Architectures for Sensors and Actuators. In: Advances in Systems, Signals, Control and Computers. Durban: unknown, 1998, pp. 414-418. ISBN 0-620-23136-X.
 ©VÉDA Miroslav and ZEZULKA Frantiąek. Communication on the Control Level--An Extension Phenomenon of Control. In: Proceedings of the 15th International Congress on Cybernetics. Namur: unknown, 1998, pp. 312-317. ISBN 2-87215-004-8.
 ©VÉDA Miroslav, DVOŘÁK Václav, HRU©KA Tomáą and DRÁBEK Vladimír. ECBS Master Degree Study at the Technical University of Brno. In: Proceedings of the IEEE Conference and Workshop ECBS'98. Los Alamitos, California: IEEE Computer Society Press, 1998, pp. 306-312. ISBN 0-8186-8463-1.
 ©VÉDA Miroslav, VEČEŘA Ivo and VRBA Radimír. Smart Sensors Based upon ASI Bus Interface with Built-in Self Test. In: Advances in Systems, Signals, Control and Computers. Durban: unknown, 1998, pp. 419-424. ISBN 0-620-23136-X.
 ©VÉDA Miroslav. Asynchronous Specification Language and Design with Local Time. In: Proceedings of the IEEE Conference and Workshop ECBS'98. Maale Hachamisha: IEEE Computer Society, 1998, pp. 256-263. ISBN 0-8186-8463-1.
 ©VÉDA Miroslav. Computer-Based Systems: An Emerging Discipline. In: EDS'98 Proceedings. Brno: unknown, 1998, pp. 325-328. ISBN 80-214-1198-8.

Show all publications

Your IPv4 address: 23.20.86.177
Switch to IPv6 connection

DNSSEC [dnssec]