Přístupnostní navigace
E-application
Search Search Close
prof. Ing.
CSc.
FIT, DC4-VZ – Chairman of Workgroup
Send BUT message
2015
ŠVÉDA, M.; RYŠAVÝ, O.; VESELÝ, V.; GRÉGR, M.; PODERMAŃSKI, T.; HALFAR, P.; MAREK, M. Design of Computer Networks Concerning Network Applications Support. Computer Aided Systems Theory. Las Palmas de Gran Canaria: University of Las Palmas, 2015. p. 23-24. ISBN: 978-84-606-5438-4.Detail
2014
GREGA, W.; HILBURN, T.; KORNECKI, A.; MAYR, R.; PYLE, I.; ROZENBLIT, J.; RYŠAVÝ, O.; ŠVÉDA, M.; ZHANG, L.; ZHANG, L. Proceedings of the International workshop on Cyber-Physical Systems. In 2013 Federated Conference on Computer Science and Information Systems. Krakow: Elsevier Science, 2014. p. 1-200. ISBN: 978-1-4673-4471-5.Detail
HALFAR, P.; ŠVÉDA, M. 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. p. 1-7. ISBN: 978-989-758-029-1.Detail | WWW
GRÉGR, M.; PODERMAŃSKI, T.; ŠVÉDA, M. Measuring Quality and Penetration of IPv6 Services. The Tenth International Conference on Networking and Services. 74400 CHAMONIX MONT-BLANC: Institute for Systems and Technologies of Information, Control and Communication, 2014. p. 96-101. ISBN: 978-1-61208-330-8.Detail
VESELÝ, V.; RYŠAVÝ, O.; ŠVÉDA, M. Protocol Independent Multicast in OMNeT++. The Tenth International Conference on Networking and Services. 74400 CHAMONIX MONT-BLANC: The International Academy, Research and Industry Association, 2014. p. 132-137. ISBN: 978-1-61208-330-8.Detail | WWW
VESELÝ, V.; MAREK, M.; RYŠAVÝ, O.; ŠVÉDA, M. Multicast, TRILL and LISP Extensions for INET. International Journal on Advances in Networks and Services, 2014, vol. 2014, no. 4, p. 240-251. ISSN: 1942-2644.Detail | WWW
GRÉGR, M.; MATOUŠEK, P.; PODERMAŃSKI, T.; ŠVÉDA, M. Practical IPv6 Monitoring on Campus - Best Practice Document. Vědecký sborník, 2014, vol. 2014, no. 1, p. 1-20. ISSN: 0572-3043.Detail | WWW
PODERMAŃSKI, T.; ŠVÉDA, M. 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. p. 492-494. ISBN: 978-1-4799-6204-4.Detail
GRÉGR, M.; ŠVÉDA, M. 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. p. 501-503. ISBN: 978-1-4799-6203-7.Detail | WWW
ŠVÉDA, M. Dependability in Cyber-Physical Systems Network Applications. Proceedings of the 5th International Conference on Circuits, Systems, Control, Signals 2014. Invited Talk. Salerno: North Atlantic University Union, 2014. p. 1-6. ISBN: 978-1-61804-204-0.Detail | WWW
2013
DE SILVA, G.; RYŠAVÝ, O.; MATOUŠEK, P.; ŠVÉDA, M. On formal reachability analysis in networks with dynamic behavior. TELECOMMUNICATION SYSTEMS, 2013, vol. 52, no. 2, p. 919-929. ISSN: 1018-4864.Detail | WWW
OČENÁŠEK, P.; ŠVÉDA, M. On the Effective Internet Communication Filtering. In Proceedings of the 2012 ICMCM Conference. Applied Mechanics and Materials. Dubaj: Trans Tech Publications Inc., 2013. p. 478-481. ISBN: 978-3-03785-659-8. ISSN: 1660-9336.Detail
OČENÁŠEK, P.; ŠVÉDA, M. Communication in Business Information Systems - New Perspectives. International Academic Research Journal of Business and Management, 2013, vol. 1, no. 7, p. 87-92. ISSN: 2227-1287.Detail
OČENÁŠEK, P.; ŠVÉDA, M. On the Effective Internet Communication Filtering. Applied Mechanics and Materials, 2013, vol. 2013, no. 307, p. 478-481. ISSN: 1660-9336.Detail
VESELÝ, V.; RYŠAVÝ, O.; ŠVÉDA, M. IPv6 Unicast and IPv4 Multicast Routing in OMNeT++. Proceedings of the IEEE 6th International ICST Conference on Simulation Tools and Techniques. Cannes: International Communication Sciences and Technology Association, 2013. p. 1-4. ISBN: 978-1-936968-47-3.Detail | WWW
ŠVÉDA, M. Time in Cyber-Physical Systems: Specifications, Modeling and Measurements. Proceedings of the SCSI 2013. Recent Advances in Electrical Engineering Series, 16. Rhodes Island: European Society for Environmental Research and Sustainable Development, 2013. p. 413-419. ISBN: 978-1-61804-204-0.Detail
VESELÝ, V.; MATOUŠEK, P.; ŠVÉDA, M. Multicast simulation and modeling in OMNeT++. SimuTools '13 Proceedings of the 6th International ICST Conference on Simulation Tools and Techniques. Brussels: International Communication Sciences and Technology Association, 2013. p. 142-145. ISBN: 978-1-4503-2464-9.Detail
PACNER, J.; RYŠAVÝ, O.; ŠVÉDA, M. On the Evaluation of Clock Synchronization Methods for Networked Control Systems. 3rd Eastern European Regional Conference on the Engineering of Computer-Based Systems. New York: IEEE Computer Society, 2013. p. 10-12. ISBN: 978-0-7695-3759-7.Detail | WWW
RYŠAVÝ, O.; RÁB, J.; ŠVÉDA, M. Improving security in SCADA systems through firewall policy analysis. Proceedings of the Federated Conference on Computer Science and Information Systems. Krakow: IEEE Computer Society, 2013. p. 1435-1440. ISBN: 978-1-4673-4471-5.Detail | WWW
ŠVÉDA, M.; RYŠAVÝ, O. Dependable Cyber-Physical Systems Networking: An Approach for Real-Time, Software Intensive Systems. Programmable Devices and Embedded Systems. Programmable devices and systems. Volume #12. Laxenburg: IFAC, 2013. p. 1-4. ISBN: 978-3-902823-21-2. ISSN: 1474-6670.Detail | WWW
ŠVÉDA, M. Time Specification, Modeling and Measurement in frame of Cyber-Physical System Applications Design. International Journal of Systems Applications, Engineering & Development, 2013, vol. 7, no. 5, p. 263-270. ISSN: 2074-1308.Detail | WWW
VESELÝ, V.; ŠVÉDA, M. Comparison of Proposals Suggesting Internet Architecture Change. 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. p. 1-11. ISBN: 978-80-87952-00-9.Detail | WWW
ŠVÉDA, M.; VRBA, R. Cyber-Physical Systems Networking with TCP/IP -- A Security Application Approach. IEEE Proceedings AFRICON 2013. New York: Institute of Electrical and Electronics Engineers, 2013. p. 101-106. ISBN: 978-1-4673-5943-6.Detail
2012
ŠVÉDA, M.; RYŠAVÝ, O.; DE SILVA, G.; MATOUŠEK, P.; RÁB, J. Static Analysis of Routing and Firewall Policy Configurations. In e-Business and Telecommunications. Communications in Computer and Information Science. LNCS CCIS, Vol.222. Heidelberg: Springer Science+Business Media B.V., 2012. p. 39-53. ISBN: 978-3-642-25205-1. ISSN: 1865-0929.Detail | WWW
RYŠAVÝ, O.; ŠVÉDA, M.; VRBA, R. A Framework for Cyber-Physical Systems Design - A Concept Study. Proceedings ICONS 2012. Saint Gilles, Reunion Island: International Academy, Research, and Industry Association, 2012. p. 79-82. ISBN: 978-1-61208-184-7.Detail | WWW
ŠVÉDA, M.; SEKLETÁR, M.; FIDLER, T.; RYŠAVÝ, O. A High-level Network-wide Router Configuration Language. Proceedings ICN 2012. Saint Gilles, Reunion Island: International Academy, Research, and Industry Association, 2012. p. 18-21. ISBN: 978-1-61208-183-0.Detail | WWW
GRÉGR, M.; PODERMAŃSKI, T.; ŠVÉDA, M. User identification in IPV6 network. In IP Networking 1 -- Theory and Practice. Žilina: Zilina University Publisher, 2012. p. 5-8. ISBN: 978-80-554-0494-3.Detail | WWW
OČENÁŠEK, P.; ŠVÉDA, M. Analysis and Filtering of Network Communication in ISP Firewalls. Lecture Notes in Information Technology, 2012, vol. 2012, no. 38, p. 491-494. ISSN: 2070-1918.Detail
VESELÝ, V.; MATOUŠEK, P.; ŠVÉDA, M. Multicast Simulation and Modeling in OMNeT++. Proceedings of the IEEE 5th International ICST Conference on Simulation Tools and Techniques. Desenzano del Garda: International Communication Sciences and Technology Association, 2012. p. 298-301. ISBN: 978-1-936968-47-3.Detail | WWW
TRCHALÍK, R.; ŠVÉDA, M. Unified Sensor Gateway Interconnection of Sensor Networks. Proceedings 11th IFAC/IEEE International Conference on Programmable Devices and Embedded Sy. Programmable devices and systems. Programmable Devices and Embedded Systems, Volume # 11 | Part# 1. Brno: Faculty of Electrical Engineering and Communication BUT, 2012. p. 372-377. ISBN: 978-3-902823-21-2. ISSN: 1474-6670.Detail | WWW
HALFAR, P.; RÁB, J.; RYŠAVÝ, O.; ŠVÉDA, M. A Formal Authorization Framework for Networked SCADA Systems. Proceedings IEEE ECBS 2012. Novy Sad: IEEE Computer Society, 2012. p. 298-302. ISBN: 978-0-7695-4664-3.Detail | WWW
OČENÁŠEK, P.; ŠVÉDA, M. Communication in Business Information Systems - New Perspectives. Proceedings of ARC 2012 International Conference on Business and Management. Bangalore: Siemens, Corporate Research and Development, 2012. p. 257-262. ISBN: 978-0-615-73960-1.Detail
VESELÝ, V.; ŠVÉDA, M. L2 protocols in OMNeT++. In IP Networking 1 -- Theory and Practice. Žilina: Zilina University Publisher, 2012. p. 37-40. ISBN: 978-80-554-0494-3.Detail | WWW
2011
ŠVÉDA, M.; VRBA, R. A Cyber-Physical System Design Approach. Proceedings of The Sixth International Conference on Systems - ICONS 2011. St. Maarten: International Academy, Research, and Industry Association, 2011. p. 12-18. ISBN: 978-1-61208-002-4.Detail
ŠVÉDA, M. Design Experience with Routing SW and Related Applications. Proceedings of The Tenth International Conference on Networks - ICN 2011. St. Maarten: International Academy, Research, and Industry Association, 2011. p. 133-138. ISBN: 978-1-61208-002-4.Detail
GRÉGR, M.; MATOUŠEK, P.; PODERMAŃSKI, T.; ŠVÉDA, M. Practical IPv6 Monitoring - Challenges and Techniques. Proceedings of the 12th IFIP/IEEE International Symposium on Integrated Network Management (IM 2011). Dublin: IEEE Computer Society, 2011. p. 660-663. ISBN: 978-1-4244-9220-6.Detail | WWW
ŠVÉDA, M.; RYŠAVÝ, O.; DE SILVA, G.; MATOUŠEK, P.; RÁB, J. Reachability Analysis in Dynamically Routed Networks. Proceedings of the IEEE ECBS 2011. Piscataway, NJ: IEEE Computer Society, 2011. p. 197-205. ISBN: 978-0-7695-4379-6.Detail | WWW
ŠVÉDA, M.; RYŠAVÝ, O.; MATOUŠEK, P. Supporting Safe and Secure Networked System Design. Computer Aided Systems Theory (EUROCAST´11), Extended Abstracts. Las Palmas de Gran Canaria: The Universidad de Las Palmas de Gran Canaria, 2011. p. 22-23. ISBN: 978-84-693-9560-8.Detail
2010
DE SILVA, G.; MATOUŠEK, P.; RYŠAVÝ, O.; ŠVÉDA, M. Formal Analysis Approach on Networks with Dynamic Behaviours. 2010 International Congress on Ultra Modern Telecommunications and Control Systems and Workshops (ICUMT). Moscow: IEEE Computer Society, 2010. p. 545-551. ISBN: 978-1-4244-7285-7.Detail | WWW
ŠVÉDA, M. Fault Management Driven Design with Safety and Security Requirements. Proceedings 17th IEEE International Conference and Workshops on Engineering of Computer-Based Systems ECBS 2010. Oxford: IEEE Computer Society, 2010. p. 113-120. ISBN: 978-0-7695-4005-4.Detail | WWW
ŠVÉDA, M.; RYŠAVÝ, O.; MATOUŠEK, P.; RÁB, J. An Approach for Automated Network-Wide Security Analysis. Proceedings of the Ninth International Conference on Networks ICN 2010. Les Menuires: IEEE Computer Society, 2010. p. 294-299. ISBN: 978-0-7695-3979-9.Detail | WWW
KORNECKI, A.; GREGA, W.; HILBURN, T.; THIRIET, J.; ŠVÉDA, M.; RYŠAVÝ, O.; PILAT, A. Transatlantic Engineering Programs: An Experience in International Cooperation. In Safeeullah Soomro (Editor): Engineering the Computer Science and IT. 2010. Vienna: IN-TECH Education and Publishing, 2010. p. 65-84. ISBN: 978-953-307-012-4.Detail | WWW
ŠVÉDA, M.; RYŠAVÝ, O.; MATOUŠEK, P.; RÁB, J.; ČEJKA, R. SECURITY ANALYSIS OF TCP/IP NETWORKS -- An Approach to Automatic Analysis of Network Security Properties. Proceedings of the International Conference on Data Communication Networking ICETE-DCNET 2010. Athens: Institute for Systems and Technologies of Information, Control and Communication, 2010. p. 5-11. ISBN: 978-989-8425-25-6.Detail
ŠVÉDA, M.; TRCHALÍK, R. Development of Interconnecting SW for Intranets and Fieldbuses. Programmable devices and systems, 2010, vol. 2010, no. 10, p. 119-124. ISSN: 1474-6670.Detail
ŠVÉDA, M.; VRBA, R. An Embedded Application Regarded as Cyber-Physical System. Proceedings of the Fifth International Conference on Systems ICONS 2010. Les Menuires: IEEE Computer Society, 2010. p. 170-174. ISBN: 978-0-7695-3980-5.Detail
ŠVÉDA, M. NETWORK CONVERGENCY AND MODELING -- Design Experience with Routing SW for Intranets and Fieldbusses. 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. p. 173-178. ISBN: 978-989-8425-22-5.Detail
2009
ŠVÉDA, M.; KORNECKI, A.; HILBURN, T.; GREGA, W.; THIRIET, J.; RYŠAVÝ, O. Real-Time Software-Intensive Systems Engineering: An International Perspective. European Association for Education in Electrical and Information Engineering Council's Annual Conference 2009. Valencia: Politechnical University of Valencia, 2009. p. 1-6. ISBN: 978-84-8363-428-8.Detail
ŠVÉDA, M. Safe and Secure Networked Embedded Applications. Proceedings of the 4th International Conference on Broadband Communication. Wroclaw: Institute of Electrical and Electronics Engineers, 2009. p. 137-142. ISBN: 978-83-7493-405-3.Detail
RÁB, J.; RYŠAVÝ, O.; ŠVÉDA, M. On the Implementation of State-space Exploration Procedure in a Relational Database Management System. 30th IFAC Workshop on Real-Time Programming and 4th International Workshop on Real-Time Software. Mragowo: IEEE Computer Society, 2009. p. 151-156. ISBN: 978-83-60810-22-4.Detail | WWW
OČENÁŠEK, P.; ŠVÉDA, M. A Model for Measurement and Analysis of the Workflow Processes. Human Interface and the Management of Information. Designing Information Environments. Lecture Notes in Computer Science. Berlin: Springer Verlag, 2009. p. 149-153. ISBN: 978-3-642-02555-6.Detail
OČENÁŠEK, P.; ŠVÉDA, M. AVISPA: Towards Practical Verification of Communication Properties. Proceedings 9th IFAC International Conference on Programmable Devices and Embedded Systems. Programmable devices and systems. Programmable Devices and Embedded Systems, Volume # 9 | Part# 1. Ostrava: IFAC, 2009. p. 153-156. ISBN: 978-3-902661-41-8. ISSN: 1474-6670.Detail
OČENÁŠEK, P.; TRCHALÍK, R.; ŠVÉDA, M. On the Implementation of Metrics in Industrial Embedded Systems. Proceedings 9th IFAC International Conference on Programmable Devices and Embedded Systems. Programmable devices and systems. Programmable Devices and Embedded Systems, Volume # 9 | Part# 1. Ostrava: IFAC, 2009. p. 157-160. ISBN: 978-3-902661-41-8. ISSN: 1474-6670.Detail
ŠVÉDA, M.; VRBA, R. Meta-Design with Safe and Secure Embedded System Networking. International Journal On Advances in Security., 2009, vol. 2, no. 1, p. 8-15. ISSN: 1942-2636.Detail | WWW
ŠVÉDA, M. Fault Management for Secure Embedded Systems. International Conference on Systems Proceedings, ICONS 2009. New York, NY: IEEE Computer Society, 2009. p. 23-28. ISBN: 978-0-7695-3551-7.Detail
ŠVÉDA, M.; VRBA, R. Specifications of Secure and Safe Embedded System Networks. 8th International Conference on Networks Proceedings ICN 2009. New York, NY: IEEE Computer Society, 2009. p. 220-225. ISBN: 978-0-7695-3552-4.Detail
THIRIET, J.; HILBURN, T.; KORNECKI, A.; GREGA, W.; ŠVÉDA, M. 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, 2009, vol. 2009, no. 1, p. 1-7. ISSN: 1638-1963.Detail
GREGA, W.; HILBURN, T.; KORNECKI, A.; RYŠAVÝ, O.; ŠVÉDA, M.; THIRIET, J. Methodology for Creation of Multidisciplinary, Transatlantic Engineering Program in Information Technology. Proceedings of the European Association for Education in Electrical and Information Engineering Council's Annual Conference 2009. Valencia: Politechnical University of Valencia, 2009. p. 1-5. ISBN: 978-84-8363-428-8.Detail
RYŠAVÝ, O.; ŠVÉDA, M.; KORNECKI, A.; HILBURN, T.; GREGA, W.; PILAT, A.; THIRIET, J. Designing and Implementing International RSIC Engineering Curriculum. 1st Eastern European Regional Conference on the Engineering of Computer-Based Systems. Novi Sad: IEEE Computer Society, 2009. p. 71-76. ISBN: 978-0-7695-3759-7.Detail | WWW
KORNECKI, A.; HILBURN, T.; GREGA, W.; ŠVÉDA, M.; THIRIET, J. ILERT - International Learning Environment for Real-Time Software-Intensive Control Systems. Journal of Automation, Mobile Robotics and Intelligent Systems, 2009, vol. 3, no. 1, p. 66-71. ISSN: 1897-8649.Detail
ŠVÉDA, M.; TRCHALÍK, R.; OČENÁŠEK, P. Design of Networked Embedded Systems: An Approach for Safety and Security. Preprints of IFAC Workshop on PROGRAMMABLE DEVICES and EMBEDDED SYSTEMS PDeS 2009. Programmable devices and systems. Ostrava: IFAC, 2009. p. 131-136. ISSN: 1474-6670.Detail
2008
ŠVÉDA, M.; VRBA, R. Meta-Design Support for Safe and Secure Networked Embedded Systems. IEEE Proceedings of the Third International Conference on Systems, ICONS 2008. New York: IEEE Computer Society, 2008. p. 69-74. ISBN: 978-0-7695-3105-2.Detail
MATOUŠEK, P.; RYŠAVÝ, O.; RÁB, J.; ŠVÉDA, M. A Formal Model for Network-wide Security Analysis. Proceeding of the 15 IEEE International Symposium and Workshop on the Engineering of Computer-based Systems. Belfast: University of Ulster, 2008. p. 171-181. ISBN: 0-7695-3141-5.Detail | WWW
TRCHALÍK, R.; OČENÁŠEK, P.; ŠVÉDA, M. Using MSC and SDL Languages for Description of Network Communication. EDS '08 IMAPS CS International Conference Proceedings. Brno: Brno University of Technology, 2008. p. 1-5. ISBN: 978-80-214-3717-3.Detail
KORNECKI, A.; HILBURN, T.; GREGA, W.; THIRIET, J.; ŠVÉDA, M. A COMMON US-EUROPE CURRICULUM: An Approach for Real-Time Software Intensive Systems. Proceedings of the 2008 ASEE Anual Conference & Exposition. Pittsburgh, PA: American Society for Engineering Education, 2008. p. 1359-1371. ISBN: 0-87823-196-X.Detail
ŠVÉDA, M.; RYŠAVÝ, O.; VRBA, R. Pattern-driven Reuse of Behavioral Specifications in Embedded Control System Design. In Frontiers in Robotics, Automation and Control. Vienna: IN-TECH Education and Publishing, 2008. p. 151-164. ISBN: 978-953-7619-17-6.Detail | WWW
PILAT, A.; KORNECKI, A.; THIRIET, J.; GREGA, W.; ŠVÉDA, M. Industry Feedback on Skills and Knowledge. Proceedings of the 19th EAEEIE Annual Conference. Tallin: IEEE Computer Society, 2008. p. 129-133. ISBN: 978-1-4244-2009-4.Detail
HILBURN, T.; KORNECKI, A.; THIRIET, J.; GREGA, W.; ŠVÉDA, M. An RSIC-SE2004 Curriculum Framework. IEEE Proceedings of International Multiconference on Computer Science and Information Technology - Real-Time Software. Computer Science and Information Technology. Wisla: IEEE Computer Society, 2008. p. 633-638. ISBN: 978-83-60810-14-9. ISSN: 1896-7094.Detail
HILBURN, T.; THIRIET, J.; KORNECKI, A.; GREGA, W.; ŠVÉDA, M. Credits and Accreditation in the U.S.A. and Europe: Towards a Framework for Trans-national Engineering Degrees. Inovations, 2008, vol. 2008, no. 1, p. 29-42. ISSN: 1553-9911.Detail
THIRIET, J.; HILBURN, T.; KORNECKI, A.; GREGA, W.; ŠVÉDA, M. Implementation for a US-European Trans-national Degree in Real-Time Software Engineering. Proceedings of the 19th EAEEIE Annual Conference. Tallin: IEEE Computer Society, 2008. p. 134-137. ISBN: 978-1-4244-2009-4.Detail
2007
PAVLÍK, M.; HÁZE, J.; VRBA, R.; ŠVÉDA, M. Smart Differential Pressure Sensor. In ICINCO 2007, Proceedings of the Fourth International Conference on Informatics in Control, Automation and Robotics. Institute for Systems and Technologies of Information, Control and Communication and University of Angers, 2007. p. 244 ( p.)ISBN: 978-972-8865-84- 9.Detail
PAVLÍK, M.; HÁZE, J.; VRBA, R.; ŠVÉDA, M. 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. p. 244-248. ISBN: 978-972-886584-9.Detail
GREGA, W.; KORNECKI, A.; ŠVÉDA, M.; THIRIET, J. Developing an Interdisciplinary and Multinational Software Engineering Curriculum. Proceedings of the International Conference on Engineering Education. Coimbra: European Comission - Education and Training, 2007. p. 150-153. ISBN: 978-972-8055-14-1.Detail
TRCHALÍK, R.; ŠVÉDA, M. Sensor Networking through Intranet and ZigBee. EDS '07 IMAPS CS International Conference Proceedings. Brno: Brno University of Technology, 2007. p. 1-5. ISBN: 978-80-214-3470-7.Detail
ŠVÉDA, M. End-User Development Framework for Embedded System Applications. Engineering of Computer-Based Systems, 2007. Tucson, Arizona: IEEE Computer Society, 2007. p. 186-192. ISBN: 0-7695-2772-8.Detail
ŠVÉDA, M. Formal Specs Reuse with Embedded Systems Design -- Behavioral and Architectural Specifications in Real-Time Application Domains. IEEE Proceedings of the Second International Conference on Systems, ICONS 2007. New York: IEEE Computer Society, 2007. p. 11-16. ISBN: 0-7695-2807-4.Detail
ŠVÉDA, M.; VRBA, R. Dependability-driven Embedded Systems Networking. Proceedings of The Sixth International Conference on Networking. New York: IEEE Computer Society, 2007. p. 483-488. ISBN: 0-7695-2805-8.Detail
ŠVÉDA, M. Industrial Measurement Application Development. Proceedings of the First International Workshop on Application-oriented Systems. Saint Luce, Martinique: IEEE Computer Society, 2007. p. 523-529. ISBN: 0-7695-2807-4.Detail
ŠVÉDA, M.; TRCHALÍK, R. ZigBee-to-Internet Interconnection Architectures. Proceedings of the Second International Workshop on Mobile Communications and Learning MCL 2007. Saint Luce, Martinique: IEEE Computer Society, 2007. p. 355-360. ISBN: 0-7695-2807-4.Detail
ŠVÉDA, M.; RYŠAVÝ, O. Industrial Application Development using Case-based Reasoning. 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. 64-70. ISBN: 972-8865-86-4.Detail
ŠVÉDA, M.; VRBA, R.; RYŠAVÝ, O. Pattern-Driven Reuse of Embedded Control Design. 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. 152-159. ISBN: 972-8865-84-8.Detail
ŠVÉDA, M.; VRBA, R. SPECIFICATION-DRIVEN DESIGN OF EMBEDDED SYSTEMS - Design Support for Networked Embedded Software Applications. Proceedings of the International Joint Conference on e-Business and Telecommunications (ICETE 2007, ICE-B). Barcelona: IEEE Computer Society, 2007. p. 23-30. ISBN: 978-989-8111-11-1.Detail
ŠVÉDA, M.; VRBA, R. Towards a Unified Security/Safety Framework - A Design Approach to Embedded System Applications. Proceedings of the International Conference on Software and Data Technologies (ICSOFT 2007). Barcelona: Institute for Systems and Technologies of Information, Control and Communication, 2007. p. 345-350. ISBN: 978-989-8111-06-7.Detail
KORNECKI, A.; HILBURN, T.; GREGA, W.; THIRIET, J.; ŠVÉDA, M. ILERT - International Learning Environment for Real-Time Software Intensive Control Systems. Computer Science and Information Technology, 2007, vol. 2007, no. 2, p. 943-948. ISSN: 1896-7094.Detail
ŠVÉDA, M.; TRCHALÍK, R. Safety and Security-driven Design of Networked Embedded Systems. Proceedings 10th EUROMICRO Conference on Digital System Design Architectures, Methods and Tools. Lübeck: IEEE Computer Society, 2007. p. 420-423. ISBN: 0-7695-2978-X.Detail
2006
Švéda Miroslav - Vrba Radimír. Local Time Specifications of Networked Embedded Systems. In Proceedings of the Fifth International Conference on Networking (ICN 2006),The International Conference on Systems (ICONS 2006), and The First InternationalConference on Mobile Communications and Learning (MCL 2006). Morne, Mauritius: IEEE Computer Society, 2006. p. 45 ( p.)ISBN: 0-7695-2522-2/ 06.Detail
FUJCIK, L.; VRBA, R.; ŠVÉDA, M. A 16-Bit Switched-Capacitor Sigma-Delta Modulator Matlab Model Exploiting Two-Step Quantization Process. Proceedings of the Third International Conference on Informatics in Control, Automation and Robotics (ICINCO 2006). Setúbal: IEEE Computer Society, 2006. p. 142-147. ISBN: 972-8865-59-7.Detail
VRBA, R. Local Time Specifications of Networked Embedded Systems. In Proceedings of the Fifth International Conference on Networking (ICN 2006),The International Conference on Systems (ICONS 2006), and The First InternationalConference on Mobile Communications and Learning (MCL 2006). Morne, Mauritius: IEEE Computer Society, 2006. p. 45 ( p.)ISBN: 0-7695-2522-2/ 06.Detail
ŠVÉDA, M. - VRBA, R. Local Time Specifications of Networked Embedded Systems. In Proceedings of the Fifth International Conference on Networking (ICN 2006),The International Conference on Systems (ICONS 2006), and The First InternationalConference on Mobile Communications and Learning (MCL 2006). Morne, Mauritius: IEEE Computer Society, 2006. p. 45 ( p.)ISBN: 0-7695-2522-2/ 06.Detail
Miroslav Sveda, Radimir Vrba, Pavel Ocenasek. Local Time Specifications of Networked Embedded Systems. In Proceedings of the Fifth International Conference on Networking (ICN 2006). IEEE Computer Society, 2006. p. 45 ( p.)ISBN: 0-7695-2540- 7.Detail
ŠVÉDA, M. REUSE OF FORMAL SPECIFICATIONS IN EMBEDDED SYSTEMS DESIGN. Proceedings of IFAC Workshop on PROGRAMMABLE DEVICES and EMBEDDED SYSTEMS PDeS 2006. Brno: Faculty of Electrical Engineering and Communication BUT, 2006. p. 78-83. ISBN: 80-214-3130-X.Detail
RYŠAVÝ, O.; ŠČUGLÍK, F.; ŠVÉDA, M. Designing Algorithm-oriented Generic Library on .NET Framework. 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. p. 159-163. ISBN: 0-7695-2546-6.Detail
OČENÁŠEK, P.; ŠVÉDA, M. An Approach to Automated Design of Security Protocols. Proceedings of the International Conference on Networking (ICN 2006). Los Alamitos: IEEE Computer Society, 2006. p. 192-195. ISBN: 0-7695-2552-0.Detail
ŠVÉDA, M.; VRBA, R.; OČENÁŠEK, P. Local Time Specifications of Networked Embedded Systems. Proceedings of the International Conference on Systems (ICONS 2006). Los Alamitos: IEEE Computer Society, 2006. p. 120-125. ISBN: 0-7695-2552-0.Detail
ŠVÉDA, M.; VRBA, R. Fault Maintenance in Embedded Systems Applications. Proceedings of the Third International Conference on Informatics in Control, Automation and Robotics (ICINCO 2006). Setúbal: IEEE Computer Society, 2006. p. 183-186. ISBN: 972-8865-59-7.Detail
ŠVÉDA, M.; VRBA, R. INTERNET-BASED EMBEDDED SYSTEM ARCHITECTURES -- End-User Development Support for Embedded System Applications. Proceedings of the IEEE International Joint Conference on e-Business and Telecommunications (ICETE 2006), 2006. Setúbal: IEEE Computer Society, 2006. p. 63-68. ISBN: 972-8865-62-7.Detail
ŠVÉDA, M.; TRCHALÍK, R. Smart Sensor Networking with ZigBee and Internet. 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. p. 64-71. ISBN: 972-8865-68-6.Detail
TRCHALÍK, R.; ŠVÉDA, M. Sensor Networking through Intranet and ZigBee. Proceedings IMAPS CS International Conference EDS'06. Brno: Brno University of Technology, 2006. p. 217-221. ISBN: 80-214-3246-2.Detail
Lukas Fujcik, Radimir Vrba, Miroslav Sveda. A 16-bit Switched-Capacitor Sigma-Delta Modulator Matlab Model Exploiting Two- Step Quantization Process. In Proceedings Signal Processing, Systems Modeling and Control. Juan Andrade Cetto, 2006. p. 142 ( p.)ISBN: 972-8865-61- 9.Detail
ŠVÉDA, M., VRBA, R. Safe and secure networks of microelectronic systems. Brno: Faculty of Electrical Engineering and Communication BUT, 2006.Detail
Švéda, M. - Vrba, R. Local Time Specifications of Networked Embedded Systems. In Proceedings of the Fifth International Conference on Networking (ICN 2006),The International Conference on Systems (ICONS 2006), and The First InternationalConference on Mobile Communications and Learning (MCL 2006). Morne, Mauritius: IEEE Computer Society, 2006. p. 45 ( p.)ISBN: 0-7695-2522-2/ 06.Detail
2005
VRBA, R.; KUCHTA, R.; ŠTEFFAN, P.; BARTOŇ, Z.; ŠVÉDA, M. Wireless Temperature Data Logger. In AsiaSense 2005. Faculty of Electrical Engineering, Universiti Teknologi MARA, 2005. p. 1 ( p.)ISBN: 0-7803-9371- 6.Detail
ŠVÉDA, M. Computer Networks with Smart Sensors: the IEEE 1451 Approach. Proceedings IMAPS CS International Conference EDS'05. Brno: Brno University of Technology, 2005. p. 107-110. ISBN: 80-214-2990-9.Detail
ŠVÉDA, M.; VRBA, R. Sensor Networks with IEEE 1451.1 Embedded Systems on Internet. IEEE Proceedings AsiaSens 2005. Kuala Lumpur: IEEE Computer Society, 2005. p. 251-255. ISBN: 0-7803-9371-6.Detail
BUREŠ, F.; RYŠAVÝ, O.; ŠČUGLÍK, F.; ŠVÉDA, M. A Framework for Formal Specification of Embedded Systems. Proceedings of the 12th IEEE International Conference and Workshop on the Engineering of Computer-Based Systems. Los Alamitos, California: IEEE Computer Society, 2005. p. 323-330. ISBN: 0-7695-2308-0.Detail
ŠVÉDA, M., BENEŠ, P., VRBA, R., ZEZULKA, F. Chybí název. editors: M. Ilyas, I. Mahgoub. editors: M. Ilyas, I. Mahgoub. London: CRC Press, 2005. 25 p. ISBN: 0-8493-1968- 4.Detail | WWW
ŠVÉDA, M.; BENEŠ, P.; VRBA, R.; ZEZULKA, F. Introduction to Industrial Sensor Networking. In Handbook of Sensor Networks: Compact Wireless and Wired Sensing Systems. Boca Raton, Florida: CRC Press LLC, 2005. p. 10-24. ISBN: 0-8493-1968-4.Detail
ŠVÉDA, M.; VRBA, R. Embedded Systems with IEEE 1451.1 on Internet. In Enabling Technologies for the New Knowledge Society. Cairo: IEEE Computer Society, 2005. p. 539-550. ISBN: 0-7803-9270-1.Detail
VRBA, R., ŠVÉDA, M. Smart Sensors in Wireless Network System. In ICICT' 05 Proceedings. Cairo, Egypt: IEEE Egypt, 2005. p. 157 ( p.)ISBN: 0-7803-9270- 1.Detail
ŠVÉDA, M.; VRBA, R. An Approach to the Design of Networked Embedded Systems. Proceedings of the 16th IFAC WORLD CONGRESS, 2005. Programmable devices and systems. Kidlington, Oxford: Elsevier Science, 2005. p. 2223-2228. ISBN: 0-08-045108-X. ISSN: 1474-6670.Detail
2004
VRBA, R.; ŠVÉDA, M.; SAJDL, O. Smart Pressure Transducer Resistive to Aggressive Media. In Proceedings of the WSEAS Conferences, Rio de Janeiro, Brasil 2004. Rio de Janeiro: WSEAS, 2004. p. 217 ( p.)ISBN: 960-8457-03- 3.Detail
RATTRAY, C.; ŠVÉDA, M.; ROZENBLIT, J. Proceedings of the IEEE TC-ECBS and IFIP WG10.1 Joint Workshop on Formal Specifications of Computer-Based Systems. Stirling: University of Stirling, 2004. p. 0-0. ISBN: 1-85769-1970.Detail
VRBA, R., SAJDL, O., ŠVÉDA, M., KUCHTA, R. Wireless Smart Sensor Network System. In Proceedings of the ICSE & INCOSE 2004 Conference. Las Vegas, Nevada: CRC Press LLC, 2004. p. 104 ( p.)ISBN: 1-85769- 1970.Detail
VRBA, R., ŠVÉDA, M. Reuse of Formal Specifications in Computer- Based Systems Design. In Proceedings of the ICSE & INCOSE 2004 Conference. Las Vegas, Nevada: CRC Press LLC, 2004. p. 142 ( p.)ISBN: 1-85769- 1970.Detail
ŠVÉDA, M., VRBA, R. An Approach to Computer- Based System Synthesis. In Proceedings of the ICSE & INCOSE 2004 Conference. Las Vegas, Nevada: CRC Press, 2004. p. 77 ( p.)ISBN: 1-85769- 1970.Detail
ŠVÉDA, M.; VRBA, R. A Development Environment for Internet-Based Applications of Smart Sensors. Proceedings of the 2004 ISA/IEEE Sensors for Industry Conference. New Orleans, LA: IEEE Computer Society, 2004. p. 170-176. ISBN: 0-7803-8143-2.Detail
VRBA, R.; ŠVÉDA, M.; MAREČEK, K. Pressure Transducer with Multiplexed Frequency Transmitter. Proceedings of the 2004 ISA/IEEE Sensors for Industry Conference. New Orleans, LA: IEEE Computer Society, 2004. p. 7-10. ISBN: 0-7803-8143-2.Detail
HÁZE, J.; KREJČÍ, J.; VRBA, R.; ŠVÉDA, M. Sensor Analysis of Liquid Pollution. Proceedings of the 2004 ISA/IEEE Sensors for Industry Conference. New Orleans, LA: IEEE Computer Society, 2004. p. 155-158. ISBN: 0-7803-8143-2.Detail
ŠVÉDA, M. A Design Framework for Internet-Based Embedded Distributed Systems. Proceedings of the International IEEE Conference and Workshop ECBS'2004. Los Alamitos, California: IEEE Computer Society, 2004. p. 113-120. ISBN: 0-7695-2125-8.Detail
RYŠAVÝ, O.; BUREŠ, F.; ŠČUGLÍK, F.; ŠVÉDA, M. Integration of Formal Methods in a Specification Framework for Embedded Systems. Proceedings of the IEEE TC-ECBS and IFIP WG10.1 Joint Workshop on Formal Specifications of Computer-Based Systems. Stirling: IEEE Computer Society, 2004. p. 57-63. ISBN: 1-85769-1970.Detail
ŠVÉDA, M. IP Multicast with Publish/Subscribe for Sensors on Internet. 11th Electronic Devices and Systems Conference 2004 Proceedings. Brno: Brno University of Technology, 2004. p. 350-353. ISBN: 80-214-2701-9.Detail
ŠVÉDA, M.; VRBA, R. Reuse of Formal Specifications in Computer-Based Systems Design. Proceedings of the ICSE & INCOSE 2004 Conference. Las Vegas, NV: CRC Press LLC, 2004. p. 478-483. ISBN: 0-85760-919-X.Detail
ŠVÉDA, M.; VRBA, R. An Approach to Computer-Based System Synthesis. Proceedings of the ICSE & INCOSE 2004 Conference. Las Vegas, NV: CRC Press LLC, 2004. p. 414-421. ISBN: 0-8576-9197-0.Detail
VRBA, R.; SAJDL, O.; KUCHTA, R.; ŠVÉDA, M. Wireless Smart Sensor Network System. Proceedings of the ICSE & INCOSE 2004 Conference. Las Vegas, NV: CRC Press LLC, 2004. p. 466-471. ISBN: 0-8576-9197-0.Detail
ŠVÉDA, M., VRBA, R. Embedded System Specifications Reuse by a Case Based Reasoning Systems. WSEAS Transactions on Computers, 2004, vol. 2, no. 1, p. 10 ( p.)ISSN: 1109- 2750.Detail
VRBA, R.; ŠVÉDA, M.; SAJDL, O. Smart Pressure Transducer Resistive to Aggressive Media. WSEAS Transactions on Circuits, 2004, vol. 2004, no. 9, p. 1942 ( p.)ISSN: 1109- 2734.Detail
DVOŘÁK, V.; ŠVÉDA, M.; RATTRAY, C.; ROZENBLIT, J. Formal Specifications of Computer-Based Systems - J.UCS Special Issue. Journal of Universal Computer Science, 2004, vol. 9, no. 11, p. 1258-1260. ISSN: 0948-6968.Detail
ŠVÉDA, M.; VRBA, R. Sensor Networking with Publish/Subscribe and IP Multicast. WSEAS Transactions on Information Science and Applications, 2004, vol. 1, no. 4, p. 983-987. ISSN: 1790-0832.Detail
ŠVÉDA, M.; RATTRAY, C.; ROZENBLIT, J. Formal Specifications of Computer-Based Systems - J.UCS Special Issue. Journal of Universal Computer Science, 2004, vol. 10, no. 10, p. 1354-1356. ISSN: 0948-6968.Detail
DVOŘÁK, V.; ŠVÉDA, M. Proceedings of the International IEEE Conference and Workshop ECBS'2004. Los Alamitos, CA: IEEE Computer Society, 2004. p. 0-0. ISBN: 0-7695-2125-8.Detail
ŠVÉDA, M., VRBA, R. Sensor Networking with Publish/ Subscribe and IP Multicast. In Proceedings of the WSEAS Conferences, Rio de Janeiro, Brasil 2004. Rio de Janeiro: WSEAS, 2004. p. 226 ( p.)ISBN: 960-8457-03- 3.Detail
2003
FIEDLER, P., CACH, P., ŠVÉDA, M., PROKOP, M., WAGNER, M. A Sensor with Embedded Ethernet. In digest of the Proceedings of the WSEAS Conferences - August, September, October 03. Řecko: WSEAS, 2003. p. 1 ( p.)ISBN: 960-8052-90- 4.Detail
RATTRAY, C.; ŠVÉDA, M.; ROZENBLIT, J. Proceedings IEEE TC-ECBS and IFIP WG10.1 Joint Workshop on Formal Specifications of Computer-Based Systems. Huntsville, AL: University of Stirling, 2003. p. 0-0. ISBN: 1-85769-189X.Detail
ŠVÉDA, M. Executable Specifications with Rapid Prototyping for Embedded Distributed Systems. Programmable Devices and Systems 2003. IFAC Proceedings, Pergamon. Kidlington, Oxford: Elsevier Science, 2003. p. 49-54. ISBN: 0-08-044130-0.Detail
ŠVÉDA, M.; VRBA, R. Embedded System Formal Specifications Reuse by a Case-Based Reasoning Approach. Proceedings of the 6th World Multiconference on Systemics, Cybernetics and Informatics, 2002, Vol. I. Orlando: The International Institute of Informatics and Systemics, 2003. p. 157-162. ISBN: 980-07-8150-1.Detail
VEČEŘA, I.; VRBA, R.; ŠVÉDA, M. A/D Switched-Current Converter with Built-in Self Testing Features. Proceedings of the 6th World Multiconference on Systemics, Cybernetics and Informatics, 2002, Vol. III. Orlando: The International Institute of Informatics and Systemics, 2003. p. 367-370. ISBN: 980-07-8150-1.Detail
ŠVÉDA, M. Rapid Prototyping of Networked Embedded Systems. Proceedings of the IEEE International Conference and Workshop on the Engineering of Computer-Based Systems 2003. Huntsville, AL: IEEE Computer Society, 2003. p. 125-132. ISBN: 0-7695-1917-2.Detail
ŠVÉDA, M.; RATTRAY, C.; ROZENBLIT, J. Formal Specifications of Computer-Based Systems. Proceedings of the IEEE International Conference and Workshop on the Engineering of Computer-Based Systems 2003. Huntsville, AL: IEEE Computer Society, 2003. p. 169-172. ISBN: 0-7695-1917-2.Detail
RYŠAVÝ, O.; ŠVÉDA, M. A Minimal Formal Language for Object-Oriented Specifications. 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. p. 35-40. ISBN: 1-85769-189X.Detail
ŠČUGLÍK, F.; ŠVÉDA, M. Automatically Generated CSP Specifications. 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. p. 41-47. ISBN: 1-85769-189X.Detail
ŠVÉDA, M. Engineering of Computer-Based Systems: Brno in 2004. Proceedings EDS'03. Electronic Devides and Systems, 10th. Brno: Brno University of Technology, 2003. p. 85-88. ISBN: 80-214-2452-4.Detail
CACH, P., FIEDLER, P., ŠVÉDA, M., PROKOP, M., WAGNER, M. A Sensor with Embedded Ethernet. WSEAS Transactions on Circuits, 2003, vol. 1, no. 2, p. 213 ( p.)ISSN: 1109- 2734.Detail
BRADÁČ, Z.; ŠVÉDA, M.; SAJDL, O.; VRBA, R. Data Acquisition System Exploiting Bluetooth Technology. WSEAS Transactions on Circuits, 2003, vol. 2003, no. 1, p. 117 ( p.)ISSN: 1109- 2734.Detail
VRBA, R., ŠVÉDA, M. Integrated Smart Sensor Networking Framework for Sensor- Based Appliances. IEEE SENSORS JOURNAL, 2003, vol. 3, no. 5, p. 579 ( p.)ISSN: 1530- 437X.Detail
ŠVÉDA, M., KAPOUN, V. Internet - Based Smart Sensor Networking Architectures. ElectronicsLetters.com - http://www.electronicsletters. com, 2003, vol. 2003, no. 1/ 6, p. 1- 6 ( p.)ISSN: 1213- 161X.Detail
ŠVÉDA, M.; KAPOUN, V. Internet-Based Smart Sensor Networking Architectures. ElectronicsLetters.com - http://www.electronicsletters.com, 2003, vol. 2003, no. 6, p. 0-0. ISSN: 1213-161X.Detail | WWW
ŠVÉDA, M. Local Time for Formal Specification of Networked Embedded System. WSEAS Transactions on Computers, 2003, vol. 2, no. 1, p. 4-9. ISSN: 1109-2750.Detail
ŠVÉDA, M.; VRBA, R. Embedded System Specification Reuse by a Case Based Reasoning Approach. WSEAS Transactions on Computers, 2003, vol. 2, no. 1, p. 10-14. ISSN: 1109-2750.Detail
ŠVÉDA, M.; VRBA, R. An Integrated Framework for Internet-Based Applications of Smart Sensors. IEEE SENSORS JOURNAL, 2003, vol. 3, no. 5, p. 579-586. ISSN: 1530-437X.Detail
ŠČUGLÍK, F.; ŠVÉDA, M. Automatically Generated CSP Specifications. Journal of Universal Computer Science, 2003, vol. 9, no. 11, p. 1277-1295. ISSN: 0948-6968.Detail
ŠVÉDA, M., VRBA, R. Integrated smart sensor networking framework for sensor-based appl. IEEE SENSORS JOURNAL, 2003, vol. 5, no. 3, p. 579-586. ISSN: 1530- 437X.Detail
CACH, P.; FIEDLER, P.; ŠVÉDA, M.; PROKOP, M.; WAGNER, M. A Sensor with Embedded Ethernet. WSEAS Transactions on Circuits, 2003, vol. 2, no. 1, p. 213-215. ISSN: 1109-2734.Detail
SAJDL, O.; BRADÁČ, Z.; VRBA, R.; ŠVÉDA, M. Data Acquisition Systém Exploiting Bluetooth Technology. WSEAS Transactions on Circuits, 2003, vol. 2, no. 1, p. 117-119. ISSN: 1109-2734.Detail
CACH, P., FIEDLER, P., ŠVÉDA, M., WAGNER, M., PROKOP, M. A Sensor with Embedded Ethernet. In Book of Abstracts - WSEAS International conference SEPADS 2003. Athenes, Greece: 2003. p. 1 ( p.)Detail
2002
ŠVÉDA, M., VRBA, 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, 2002. p. 195 ( p.)ISBN: 0-7695-1549- 5.Detail
ŠVÉDA, M. Specifications of embedded systems. Učební texty pro předmět SVS, obor IT. Brno: 2002. p. 0-0. Detail
VEČEŘA, I., VRBA, R., ŠVÉDA, M. A/D Switched-Current Converter with Built- In Self Testing Features. In Proceedings of the 6th World Multiconference on Systemics, Cybernetics and Informatics SCI 2002. Orlando: SCI, 2002. p. 250 ( p.)Detail
VRBA, R., ŠVÉDA, M. 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: Los Alamitos, CA, US, ICSP, 2002. p. 195 ( p.)ISBN: 0-7695-1549- 5.Detail
VRBA, R., ŠVÉDA, M. Embedded System Formal Specifications Reuse by a Case- Based Reasoning Approach. In Proceedings of the 6th World Multi-Conference on SYSTEMICS, CYBERNETICS AND INFORMATICS. Orlando, USA: 2002. p. 156 ( p.)ISBN: 0-7456-1547- 2.Detail
VRBA, R., VEČEŘA, I., ŠVÉDA, M. A/D Switched-Current Converter with Built- In Self Testing Features. In Proceedings of the 6th World Multi-Conference on SYSTEMICS, CYBERNETICS AND INFORMATICS. Orlando, USA: 2002. p. 185 ( p.)ISBN: 0-7456-1547- 2.Detail
VRBA, R., ŠVÉDA, M. An Integrated Framework for Internet- Based Applications of Smart Sensors. In Proceedings of IEEE Sensors 2002. Piscataway, New York: Piscataway, New York, US, ICSP, 2002. p. 1543 ( p.)ISBN: 0-7803-7454- 1.Detail
KUČERA, P., ZEZULKA, F., ŠVÉDA, M., VRBA, R. Executable specification for Process Automation and Microelectronics. In IEEE TC-ECBS and IFIP WG10.1 Joint Workshop on Formal Specifications of Computer- Based Systems. Lund: 2002. p. 245 ( p.)ISBN: 1-85769-169- 5.Detail
ŠVÉDA, M.; VRBA, R. An Integrated Framework for Sensor-Based Embedded Systems. Proceedings of the Ninth IEEE International Conference and Workshop on the Engineering of Computer-Based Systems. Los Alamitos, CA: IEEE Computer Society, 2002. p. 195-202. ISBN: 0-7695-1549-5.Detail
ŠVÉDA, M.; RATTRAY, C.; ROZENBLIT, J. Formal Specifications of Computer-Based Systems. Proceedings of the Ninth IEEE International Conference and Workshop on the Engineering of Computer-Based Systems. Los Alamitos, CA: IEEE Computer Society, 2002. p. 224-225. ISBN: 0-7695-1549-5.Detail
KUČERA, P.; ZEZULKA, F.; ŠVÉDA, M.; VRBA, R. Executable specifications for Process Automation and Microelectronics. IEEE TC-ECBS and IFIP WG10.1 Joint Workshop on Formal Specifications of Computer-Based Systems. Lund: University of Stirling, 2002. p. 91-98. ISBN: 1-85769-169-5.Detail
ŠVÉDA, M. Rapid Prototyping of Embedded Distributed Systems. IEEE Design and Diagnostics of Electronic Circuits and Systems. Brno: Faculty of Information Technology BUT, 2002. p. 320-323. ISBN: 80-214-2094-4.Detail
ŠVÉDA, M.; RÁB, J. Designing dedicated distributed architectures for embedded systems. Proceedings of Electronic Devices and Systems, 2002. Brno: Brno University of Technology, 2002. p. 301-310. ISBN: 80-214-2180-0.Detail
ŠVÉDA, M. A fail-stop model for design of embedded systems. Telecommunications and Signal Processing TSP-2002. Brno: Brno University of Technology, 2002. p. 152-155. ISBN: 80-214-2172-X.Detail
ŠVÉDA, M.; VRBA, R. An Integrated Framework for Internet-Based Applications of Smart Sensors. Proceedings of IEEE Sensors 2002. Piscataway, New York: IEEE Computer Society, 2002. p. 1543-1548. ISBN: 0-7803-7454-1.Detail
KAPOUN, V., ŠVÉDA, M. Management systems and their organization. ElectronicsLetters.com - http://www.electronicsletters. com, 2002, vol. 2002, no. 4/ 12, p. 1 ( p.)ISSN: 1213- 161X.Detail | WWW
KAPOUN, V., ŠVÉDA, M. Management systems and their organization. ElectronicsLetters.com - http://www.electronicsletters. com, 2002, vol. 2002, no. 4/ 12, p. 256 ( p.)ISSN: 1213- 161X.Detail | WWW
KAPOUN, V.; ŠVÉDA, M. Management systems and their organization. ElectronicsLetters.com - http://www.electronicsletters.com, 2002, vol. 2002, no. 12, p. 0-0. ISSN: 1213-161X.Detail | WWW
RATTRAY, C.; ŠVÉDA, M.; ROZENBLIT, J. IEEE TC-ECBS and IFIP WG10.1 Joint Workshop on Formal Specifications of Computer-Based Systems. Lund: University of Stirling, 2002. p. 0-0. ISBN: 1-85769-169-5.Detail
ŠVÉDA, M., VRBA, R. Embedded System Formal Specifications Reuse by a Case- Based Reasoning Approach. In Proceedings of the 6th World Multiconference on Systemics, Cybernetics and Informatics SCI 2002. Orlando: SCI, 2002. p. 200 ( p.)Detail
2001
ŠVÉDA, M., VRBA, R. Executable Specifications for Distributed Embedded Systems. In Proceedings IEEE/IFIP Joint Workshop on Formal Specification of CBS. 2001. p. 81 ( p.)ISBN: 1-85-769121- 0.Detail
CACH, P., FIEDLER, P., ZEZULKA, F., VRBA, R., ŠVÉDA, M. Internet based remote IO. In Summaries of 16th International Conference on Production Research ICPR- 16. Praha: ČVUT, 2001. p. 18 ( p.)ISBN: 80-02- 0143.Detail
VRBA, R., ŠVÉDA, M., BENEŠ, P. Pressure Analyser Networking with Low-Level Fieldbus Interconnected to Intranet/ Internet by Ethernet. In 11th IMEKO TC- 4 Symposium Trends in Electrical Measurement and Instrumentation. Lisabon, Portugalsko: Instituto de Telecomunicacoes, 2001. p. 454 ( p.)ISBN: 972-98115-4- 7.Detail
VRBA, R., ŠVÉDA, M., ZEZULKA, F. Interconnecting Smart Sensors through Low-Level Fieldbuses to Intranet/ Internet. In Proc. of the ICPR- 16 International 16th World Congress on Production Research. Prague: ICPR- 16, 2001. p. 10 ( p.)ISBN: 80-02-01438- 3.Detail
ŠVÉDA, M.; VRBA, R.; BENEŠ, P. A System Architecture of Networked Pressure Sensors. Proceedings of the 5th WSES/IEEE World Conference on Systems (CSCC2001). Rethymno: IEEE Computer Society Press, 2001. p. 3541-3546. ISBN: 960-8052-33-5.Detail | WWW
ŠVÉDA, M., ZEZULKA, F., VRBA, 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. p. 139-144. ISBN: 1-85-769144-X.Detail
ŠVÉDA, M.; VRBA, R. Sensor Networking. Proceedings of the 8th IEEE International Conference and Workshop ECBS'2001. Washington D.C.: IEEE Computer Society, 2001. p. 262-268. ISBN: 0-7695-1086-8.Detail
RATTRAY, C.; ŠVÉDA, M. Formal Specifications of Computer-Based Systems. Proceedings of the 8th IEEE International Conference and Workshop ECBS'2001. Washington D.C.: IEEE Computer Society, 2001. p. 357-358. ISBN: 0-7695-1086-8.Detail
ŠVÉDA, M.; STRACH, M. A Sensor-to-Intranet Coupling Architecture. Proceedings of the 8th Electronic Devices and Systems Conference EDS'01. Brno: Faculty of Electrical Engineering and Computer Science BUT, 2001. p. 214-217. ISBN: 80-214-1960-1.Detail
ŠVÉDA, M. Case-Based Reasoning Driven Development of an Industrial Application. Proceedings of the 8th Electronic Devices and Systems Conference EDS'01. Brno: Faculty of Electrical Engineering and Computer Science BUT, 2001. p. 208-213. ISBN: 80-214-1960-1.Detail
ŠVÉDA, M., VRBA, K., VRBA, R., ZEZULKA, F. Frameworks for Interconnecting Smart Sensors. In Proceedings of the International Conference IEEE/IEE Real-Time Embedded System RTES´ 01. London: British University, 2001. p. 3.12: 1 ( p.)Detail
ŠVÉDA, M.; VRBA, R. Executable Specifications for Distributed Embedded Systems. Computer, 2001, vol. 34, no. 1, p. 138-140. ISSN: 0018-9162.Detail | WWW
ŠVÉDA, M., VRBA, R. Executable specifications for embedded distributed systems. Computer, 2001, vol. 2001, no. 1, p. 138 ( p.)ISSN: 0018- 9162.Detail
ŠVÉDA, M.; VRBA, R.; BENEŠ, P. A System Architecture of Networked Pressure Sensors. In Advances in Systems Science: Measurement, Circuits and Control. Electrical and Computer Engineering Series -- A Series of Reference Books and Textbooks. Herakleion, Greece: IEEE Computer Society Press, 2001. p. 64-69. ISBN: 960-8052-39-4.Detail
ŠVÉDA, M.; VRBA, R.; STRACH, M. Integrated Framework and Design Pattern for Coupling a Group of Sensors with Internet. Brno: Faculty of Electrical Engineering and Computer Science BUT, 2001. p. 1-80. Detail
ŠVÉDA, M. Systémy založené na počítačích. Edice Habilitační a inaugurační spisy. Edice Habilitační a inaugurační spisy. Brno: Vysoké učení technické v Brně, 2001. 22 p. ISBN: 80-214-1937-7.Detail
VRBA, R.; ŠVÉDA, M.; ZEZULKA, F. Interconnecting Smart Sensors through Low-Level Fieldbuses to Intranet/Internet. ICPR-16. Prague: unknown, 2001. p. 1-6. ISBN: 80-02-01438-3.Detail
CACH, P.; FIEDLER, P.; VRBA, R.; ZEZULKA, F.; ŠVÉDA, M. Internet based remote I/O. ICPR-16. Prague: unknown, 2001. p. 1-6. ISBN: 80-02-01438-3.Detail
ŠVÉDA, M.; VRBA, R.; VRBA, K.; ZEZULKA, F. Frameworks for Interconnecting Smart Sensors. Proceedings of the IEEE/IEE Real-Time Embedded Systems Workshop RTES'01. London: IEEE Computer Society Press, 2001. p. 1-4. Detail
2000
ŠVÉDA, M.; VRBA, R. Communication Protocols. Brno: Faculty of Electrical Engineering and Computer Science BUT, 2000. p. 0-0. Detail
LAVI, J.; MANNION, M.; MELHART, B.; PYLE, I.; ŠVÉDA, M. Engineering of Computer-Based Systems - A Proposed Curriculum for a Degree Program at Bachelor Level. IEEE Computer Society TC-ECBS, Background Papers. Napier University, Edinburgh: unknown, 2000. p. 1-8. Detail | WWW
ŠVÉDA, M. Patterns for Embedded Systems Design. Lecture Notes in Computer Science, 2000, vol. 2000, no. 1798, p. 80-89. ISSN: 0302-9743.Detail
ŠVÉDA, M.; VRBA, R. DCB Digital Communication On-board Bus. Proceedings ICT 2000. Acapulco: IEEE Computer Society, 2000. p. 1088-1092. ISBN: 968-36-7762-2.Detail
ŠVÉDA, M.; VRBA, R. Rapid Prototyping of Embedded Communication Systems. Proceedings ICT 2000. Acapulco: unknown, 2000. p. 677-681. ISBN: 968-36-7762-2.Detail
VEČEŘA, I.; VRBA, R.; ŠVÉDA, M. Senzory s vlastním testováním. Elektrorevue - Internetový časopis (http://www.elektrorevue.cz), 2000, vol. 2000, no. 12, p. 1-7. ISSN: 1213-1539.Detail | WWW
GONZALES, R.; LAVI, J.; MANNION, M.; ŠVÉDA, M. Engineering of Computer-Based Systems Enhancement Courses - Proposed Course Outlines. IEEE Computer Society TC-ECBS, Background Papers. Napier University, Edinburgh: unknown, 2000. p. 1-9. Detail | WWW
ŠVÉDA, M.; VRBA, R.; ZEZULKA, F. Coupling Architectures for Low-Level Fieldbusses. Proceedings of the 7th IEEE International Conference and Workshop ECBS'2000. Napier University, Edinburgh: IEEE Computer Society, 2000. p. 148-155. ISBN: 0-7695-0604-6.Detail
PICHLER, F.; RATTRAY, C.; ŠVÉDA, M. IEEE/IFIP Joint Workshop on Formal Specifications of Computer-Based Systems. Proceedings of the 7th IEEE International Conference and Workshop ECBS'2000. Napier University, Edinburgh: IEEE Computer Society, 2000. p. 382-382. ISBN: 0-7695-0604-6.Detail
ŠVÉDA, M.; VRBA, R. Executable Specifications for Distributed Embedded Systems. Proceedings IEEE/IFIP Joint Workshop on Formal Specification of CBS. Napier University, Edinburgh: University of Stirling, 2000. p. 81-85. ISBN: 1-85-769121-0.Detail
JANKOVSKÝ, M.; ŠVÉDA, M. From TLA Specifications to Real-Time Unix Applications. Proceedings IEEE/IFIP Joint Workshop on Formal Specification of CBS. Napier University, Edinburgh: unknown, 2000. p. 77-79. ISBN: 1-85-769121-0.Detail
LAVI, J.; MELHART, B.; PYLE, I.; ŠVÉDA, M. Engineering of Computer-Based Systems - A Proposed Curriculum for a Degree Program at Master Level. IEEE Computer Society TC-ECBS, Background Papers. Napier University, Edinburgh: unknown, 2000. p. 1-18. Detail | WWW
RATTRAY, C.; ŠVÉDA, M. Proceedings of the IEEE TC-ECBS + TF RE and IFIP WG10.1 Joint Workshop on Formal Specifications of Computer-Based Systems. Procedings of University of Stirling. Procedings of University of Stirling. Napier University, Edinburgh: IEEE Computer Society, 2000. 85 p. ISBN: 1-85-769121-0.Detail
1999
ŠVÉDA, M. Low-Level Fieldbus Coupler Prototyping. Electronic Devices and Systems 1999 - Proceedings. Brno: Faculty of Electrical Engineering and Computer Science BUT, 1999. p. 244-247. ISBN: 80-214-1466-9.Detail
ŠVÉDA, M. An Asynchronous Specification Language for Computer-Based Systems Design. Electronic Devices and Systems 1999 - Proceedings. Brno: Faculty of Electrical Engineering and Computer Science BUT, 1999. p. 137-143. ISBN: 80-214-1466-9.Detail
ŠVÉDA, M. Patterns for Embedded Systems Design. Preprints EUROCAST´99. Vienna: unknown, 1999. p. 277-280. Detail
ŠVÉDA, M. Time and Cybernetics. Cybernetics'99. Las Palmas de Gran Canaria: unknown, 1999. p. 121-124. ISBN: 84-8416-950-2.Detail
GONZALES, R.; LAVI, J.; MANNION, M.; ŠVÉDA, M. Engineering of Computer-Based Systems Enhancement Courses--Proposed Course Outlines. Proceedings of the IEEE Conference and Workshop ECBS'99. Nashville, TN: unknown, 1999. p. 336-343. ISBN: 0-7695-0028-5.Detail
ŠVÉDA, M. Application Patterns for CBS Design Reuse. Proceedings of the IEEE Conference and Workshop ECBS'99. Nashville, TN: IEEE Computer Society, 1999. p. 92-98. ISBN: 0-7695-0028-5.Detail
HRDLIČKA, M.; ŠVÉDA, M.; ZEZULKA, F. Fieldbus Interconnections Testbed. Proceedings of European Symposium INNOCAP'99: Sensor Networks and Communications. Grenoble: unknown, 1999. p. 123-128. Detail
ZEZULKA, F., ŠVÉDA, M., HRDLIČKA, M. Fieldbus Interconnection Testbed. In Proc. of INNOCAP' 99. Grenoble: Procap, 1999. p. 123 ( p.)Detail
1998
JANKOVSKÝ, M.; ŠVÉDA, M. Prototyping Behavioural Specification of Embedded Systems. EDS'98 Proceedings. Brno: unknown, 1998. p. 390-393. ISBN: 80-214-1198-8.Detail
ZEZULKA, F., ŠVÉDA, M. Communication on the Control Level-- An Extension Phenomenon of Control. In Proceedings of the 15th International Congress on Cybernetic. Namur, France: Association Internationale de Cybernetique, 1998. p. 312 ( p.)ISBN: 2-87215- 00.Detail
ZEZULKA, F., ŠVÉDA, M. Communication on the Control Level. In 15th International Congress on Cybernetics. Namur, Belgique: International Assiciation of Cybernetics, 1998. p. 312 ( p.)ISBN: 2-87215- 00.Detail
HRDLIČKA, M.; ŠVÉDA, M. Temporal Logic, Real-Time Temporal Logic and Anticipative Systems. Proc. InterSymp. Baden-Baden: unknown, 1998. p. 26-30. ISBN: 0-921836-56-2.Detail
LAVI, J.; MANNION, M.; MELHART, B.; PYLE, I.; ŠVÉDA, M. Engineering of Computer-Based Systems Enhancement Courses--Proposed Course Outlines. Proceedings of the IEEE Conference and Workshop ECBS'98. Maale Hachamisha: unknown, 1998. p. 377-384. ISBN: 0-8186-8463-1.Detail
ŠVÉDA, M. Asynchronous Specification Language and Design with Local Time. Proceedings of the IEEE Conference and Workshop ECBS'98. Maale Hachamisha: IEEE Computer Society, 1998. p. 256-263. ISBN: 0-8186-8463-1.Detail
LAVI, J.; MANNION, M.; MELHART, B.; PYLE, I.; ŠVÉDA, M. Engineering of Computer-Based Systems--A Proposed Curriculum for a Degree Program at Bachelor Level. Proceedings of the IEEE Conference and Workshop ECBS'98. Maale Hachamisha: IEEE Computer Society, 1998. p. 369-376. ISBN: 0-8186-8463-1.Detail
ŠVÉDA, M.; DVOŘÁK, V.; HRUŠKA, T.; DRÁBEK, V. ECBS Master Degree Study at the Technical University of Brno. Proceedings of the IEEE Conference and Workshop ECBS'98. Los Alamitos, California: IEEE Computer Society Press, 1998. p. 306-312. ISBN: 0-8186-8463-1.Detail
ŠVÉDA, M. Computer-Based Systems: An Emerging Discipline. EDS'98 Proceedings. Brno: unknown, 1998. p. 325-328. ISBN: 80-214-1198-8.Detail
ŠVÉDA, M.; VRBA, R. Interconnecting Architectures for Sensors and Actuators. Advances in Systems, Signals, Control and Computers. Durban: unknown, 1998. p. 414-418. ISBN: 0-620-23136-X.Detail
ŠVÉDA, M.; VEČEŘA, I.; VRBA, R. Smart Sensors Based upon ASI Bus Interface with Built-in Self Test. Advances in Systems, Signals, Control and Computers. Durban: unknown, 1998. p. 419-424. ISBN: 0-620-23136-X.Detail
ŠVÉDA, M.; VRBA, R. ASI Interconnectivity. Intelligent Components and Instruments for Control Applications 1997, Proceedings of the 3rd IFAC Symposium. Annecy: IFAC, 1998. p. 581-586. ISBN: 0-08-042608-5.Detail
ŠVÉDA, M.; ZEZULKA, F. Communication on the Control Level--An Extension Phenomenon of Control. Proceedings of the 15th International Congress on Cybernetics. Namur: unknown, 1998. p. 312-317. ISBN: 2-87215-004-8.Detail
1997
ŠVÉDA, M. An Approach to Safety Critical Systems Design. Lecture Notes in Computer Science, 1997, vol. 1998, no. 133, p. 34-49. ISSN: 0302-9743.Detail
ŠVÉDA, M. Design Method, Fail-Stop Safety Model, and Embedded Application. Journal of Systems Architecture, 1997, vol. 43, no. 1, p. 47-57. ISSN: 1383-7621.Detail
JANKOVSKÝ, M.; ŠVÉDA, M. Prototyping with Attribute Grammars and Prolog. Short Contributions 23rd Euromicro Conference Proceedings. Budapest: unknown, 1997. p. 20-26. ISBN: 0-8186-8215-9.Detail
ZEZULKA, F., ŠVÉDA, M. Specification of Anticipative Problems in Control Engineering. In Intersymp 96. Canada: George E. Lasker, 1997. p. 79 ( p.)ISBN: 0-921836- 4.Detail
ŠVÉDA, M.; BABKA, O.; FREEBURN, J. Knowledge Preserving Development: A Case Study. Proc. IEEE Conf. Engineering of Computer-Based Systems. Monterey, California: IEEE Computer Society, 1997. p. 347-352. ISBN: 0-8186-7889-5.Detail
ŠVÉDA, M.; ZEZULKA, F. Interconnecting Low-Level Fieldbusses. Proc. Euromicro'97. Los Alamitos, California: IEEE Computer Society Press, 1997. p. 260-267. ISBN: 0-8186-8129-2.Detail
ŠVÉDA, M.; VRBA, R. ASI Interconnectivity. Preprints IFAC SICICA'97. Annecy: unknown, 1997. p. 621-626. Detail
ŠVÉDA, M. Engineering of Computer-Based Systems. Proceedings MOSIS'97. Technical University Ostrava: 1997. p. 23-28. ISBN: 80-85988-16-X.Detail
1996
ŠVÉDA, M. A Prototyping Technique for Distributed Microcontrollers. CSS '96. Brno: unknown, 1996. p. 61-68. ISBN: 80-214-0768-9.Detail
ŠVÉDA, M. Embedded System Design: A Case Study. Proc. IEEE Conf. on Engineering of Computer-Based Systems. Friedrichshafen: IEEE Computer Society, 1996. p. 260-267. ISBN: 0-8186-7355-9.Detail
ŠVÉDA, M. Formal Specifications with Local Time Concept. Proc. IEE Conf. WODES'96. Edinburgh: unknown, 1996. p. 356-361. ISBN: 0-85296-664-4.Detail
ŠVÉDA, M. A Prototyping Technique with an Asynchronous Specification Language. Proc. Euromicro'96. Conference Proceedings of the EUROMICRO. Prague: unknown, 1996. p. 151-157. ISBN: 0-8186-7487-3. ISSN: 1089-6503.Detail
ŠVÉDA, M. Local-Time Method: An Interim Summary. Proceedings ŘÍP'96. Horní Bečva: unknown, 1996. p. 334-339. ISBN: 80-7194-050-X.Detail
ŠVÉDA, M. Dedicated Electronic Control System. Proceedings Electronic Devices and Systems Conference´96. Brno: unknown, 1996. p. 72-75. ISBN: 80-214-0767-8.Detail
HRDLIČKA, M.; ŠVÉDA, M. ASI Tree. Proc. EDS. Brno: unknown, 1996. p. 269-272. ISBN: 80-214-0767-8.Detail
1995
ŠVÉDA, M.; ZEZULKA, F. Local Time for Systems Theory and Control Engineering. Proceedings of the 14th International Congress on Cybernetics. Namur: unknown, 1995. p. 560-564. ISBN: 2-87215-003.Detail
ŠVÉDA, M. Local Time Specifications for Real-Time Systems Design. Proceedings of Int. Conf. Real Time '95. Ostrava: unknown, 1995. p. 186-193. ISBN: 80-901751-6-3.Detail
BĚLOHOUBEK, P.; HERMAN, I.; SMOLÍK, S.; ŠVÉDA, M.; DOSTALÍK, M.; PEROUTKA, J. Průmyslové aplikace počítačových sítí. Brno: Fakulta elektrotechniky a informatiky VUT, 1995. p. 0-0. Detail
ŠVÉDA, M. A Design Method for Embedded Applications. Proceedings EDS'95. Brno: unknown, 1995. p. 10-13. Detail
JANKOVSKÝ, M.; ŠVÉDA, M. Nine-bit Protocol and ASI Interconnection. Proceedings EDS'95. Brno: unknown, 1995. p. 193-197. Detail
ŠVÉDA, M. Local-Time Specification Concepts. Collection of Abstracts: IFIP Workshop on CAST and Computer Systems Technology. Innsbruck: unknown, 1995. p. 1-3. Detail
ŠVÉDA, M. Development Environment for Local-Time Design Method. Collection of Abstracts: EUROCAST'95. Innsbruck: unknown, 1995. p. 1-3. Detail
ZEZULKA, F., ŠVÉDA, M., HRDLIČKA, M. Communications Subsystem on First Control Level. In Communications Subsystem on First Control Level. Part 1. Praha: Czech Technical University in Prague and Technical, 1995. p. 163 ( p.)Detail
KANIA, L.; SMOLÍK, S.; ŠVÉDA, M.; ZÁHOŘÍK, V. The Brno Academic Computer Network and its Future Development. Proceedings INVEX-CCT'95. Brno: unknown, 1995. p. 1-5. ISBN: 80-85867-89-3.Detail
1994
ŠVÉDA, M. Signalling Techniques with Industrial Communications Controllers. EDS '94. Brno: Brno University of Technology, 1994. p. 137-140. Detail
ZEZULKA, F., LEGÁT, P., ŠVÉDA, M. ASI Instrumentation. Microprocessing and Microprogramming (North-Holland), 1994, vol. 40, no. 10- 12, p. 879 ( p.)ISSN: 0165- 6074.Detail
ŠVÉDA, M. Domain Knowledge Preserving Design and Development of Production Metrology System. 5th DAAAM. Maribor: unknown, 1994. p. 447-448. ISBN: 3-901509-00-3.Detail
ZEZULKA, F., ŠVÉDA, M., BUREŠ, P. LonTalk - Standard sériové sběrnice pro řídící systémy budov. Sdělovací technika, 1994, vol. XLII, no. 5, p. 184 ( p.)ISSN: 0036- 9942.Detail
DOUŠEK, A.; ŠVÉDA, M. Development Environment with Local-Time Method. ASRTP '94. Košice: Faculty of Electrical Engineering and Informatics, University of Technology Košice, 1994. p. 418-423. Detail
SMOLÍK, S.; ŠVÉDA, M. Průmyslové počítačové sítě I. - příručka. Brno: neznámá, 1994. p. 0-0. Detail
ŠVÉDA, M. A Model of Local Time for Distributed Real-Time Control Systems. Cybernetics and Systems Research'94. Vienna: unknown, 1994. p. 175-182. ISBN: 981-02-1761-7, 9.Detail
ŠVÉDA, M. Multiple Lift Control System. Proceedings 20th Euromicro 94 Conf. Liverpool: unknown, 1994. p. 581-587. ISBN: 0-8186-6430-4.Detail
ŠVÉDA, M. An Implementation-Directed Design Method for Microcontroller Software. Microprocessing and Microprogramming (North-Holland), 1994, vol. 40, no. 4, p. 291-301. ISSN: 0165-6074.Detail
ŠVÉDA, M. Design and Development of Industrial Measurement System--Architecture and Software. Microprocessing and Microprogramming (North-Holland), 1994, vol. 40, no. 10, p. 887-890. ISSN: 0165-6074.Detail
1993
ŠVÉDA, M. A Model of Local Time for Distributed Real-Time Systems. SOFSEM '93. Praha: unknown, 1993. p. 83-86. Detail
ŠVÉDA, M. Examples of Small Area Network Interconnections. EDS'93. Brno: Brno University of Technology, 1993. p. 284-286. Detail
ŠVÉDA, M. Fuel Stand Control System Design. 4th DAAAM. Brno: Brno University of Technology, 1993. p. 341-342. Detail
ŠVÉDA, M. Small Area Network Management Tools. EDS '93. Brno: Brno University of Technology, 1993. p. 281-283. Detail
BUREŠ, P.; ŠVÉDA, M. Real-Time Network Management Tools:Fieldbus Level and Below. Proc. IEEE/IFIP Workshop on Requirements and Techniques on Network Management. Cracow: unknown, 1993. p. 1-9. Detail
1992
ŠVÉDA, M. MAP a Fieldbus. MOP '92. Praha: neznámá, 1992. p. 257-271. Detail
ŠVÉDA, M. A Design Method for Small Real-Time Distributed Systems. Cybernetics and Systems Research'92. Vienna: unknown, 1992. p. 1255-1261. ISBN: 981-02-1992-X.Detail
ŠVÉDA, M. Communication Microcontroller Software. MICROSYSTEM '92. Bratislava: unknown, 1992. p. 84-87. Detail
*) Publications are generated once a 24 hours.