Faculty of Information Technology, BUT

Prof. Ing.

Švéda Miroslav

CSc.

Associate professor

Publications

  • 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.
    Detail

  • 2014

    GREGA 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.
    Detail

    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.
    Detail

    ŠVÉDA Miroslav. Dependability in Cyber-Physical Systems Network Applications. In: Proceedings of the 5th International Conference on Circuits, Systems, Control, Signals 2014. Invited Talk. Salerno: North Atlantic University Union, 2014, pp. 1-6. ISBN 978-1-61804-204-0.
    Detail

    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.
    Detail

    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.
    Detail

    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.
    Detail

    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, vol. 2014, no. 4, pp. 240-251. ISSN 1942-2644.
    Detail

    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, vol. 2014, no. 1, pp. 1-20. ISSN 0572-3043.
    Detail

    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.
    Detail

  • 2013

    OČENÁŠEK Pavel and ŠVÉDA Miroslav. Communication in Business Information Systems - New Perspectives. International Academic Research Journal of Business and Management, vol. 1, no. 7, pp. 87-92. ISSN 2227-1287.
    Detail

    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.
    Detail

    Š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.
    Detail

    Š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. Volume #12, vol. 2013. Laxenburg: IFAC, 2013, pp. 1-4. ISBN 978-3-902823-21-2. ISSN 1474-6670.
    Detail

    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.
    Detail

    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.
    Detail

    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.
    Detail

    DE Silva Gayan, RYŠAVÝ Ondřej, MATOUŠEK Petr and ŠVÉDA Miroslav. On formal reachability analysis in networks with dynamic behavior. Telecommunication Systems, vol. 52, no. 2, pp. 919-929. ISSN 1018-4864.
    Detail

    OČENÁŠEK Pavel and ŠVÉDA Miroslav. On the Effective Internet Communication Filtering. Applied Mechanics and Materials, vol. 2013, no. 307, pp. 478-481. ISSN 1660-9336.
    Detail

    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.
    Detail

    ŠVÉDA Miroslav. Time in Cyber-Physical Systems: Specifications, Modeling and Measurements. In: Proceedings of the SCSI 2013. Recent Advances in Electrical Engineering Series, 16. Rhodes Island: European Society for Environmental Research and Sustainable Development, 2013, pp. 413-419. ISBN 978-1-61804-204-0.
    Detail

    ŠVÉDA Miroslav. Time Specification, Modeling and Measurement in frame of Cyber-Physical System Applications Design. International Journal of Systems Applications, Engineering & Development, vol. 7, no. 5, pp. 263-270. ISSN 2074-1308.
    Detail

  • 2012

    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.
    Detail

    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.
    Detail

    Š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.
    Detail

    OČENÁŠEK Pavel and ŠVÉDA Miroslav. Analysis and Filtering of Network Communication in ISP Firewalls. Lecture Notes in Information Technology, vol. 2012, no. 38, pp. 491-494. ISSN 2070-1918.
    Detail

    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.
    Detail

    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.
    Detail

    GRÉGR Matěj, PODERMAŃSKI Tomáš and ŠVÉDA Miroslav. Deploying IPv6 - practical problems from the campus perspective. Reykjavik, 2012.
    Detail

    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.
    Detail

    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.
    Detail

    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.
    Detail

    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.
    Detail

    Š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. LNCS CCIS, Vol.222, vol. 2012. Heidelberg: Springer Science+Business Media B.V., 2012, pp. 39-53. ISBN 978-3-642-25205-1. ISSN 1865-0929.
    Detail

    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. Programmable Devices and Embedded Systems, Volume # 11 | Part# 1, vol. 2012. Brno: Faculty of Electrical Engineering and Communication BUT, 2012, pp. 372-377. ISBN 978-3-902823-21-2. ISSN 1474-6670.
    Detail

    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.
    Detail

  • 2011

    ŠVÉDA Miroslav and VRBA Radimír. A Cyber-Physical System Design Approach. In: Proceedings of The Sixth International Conference on Systems - ICONS 2011. St. Maarten: International Academy, Research, and Industry Association, 2011, pp. 12-18. ISBN 978-1-61208-002-4.
    Detail

    Š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.
    Detail

    GRÉ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.
    Detail

    Š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.
    Detail

    Š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.
    Detail

  • 2010

    Š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.
    Detail

    ŠVÉDA Miroslav and VRBA Radimír. An Embedded Application Regarded as Cyber-Physical System. In: Proceedings of the Fifth International Conference on Systems ICONS 2010. Les Menuires: IEEE Computer Society, 2010, pp. 170-174. ISBN 978-0-7695-3980-5.
    Detail

    ŠVÉDA Miroslav and TRCHALÍK Roman. Development of Interconnecting SW for Intranets and Fieldbuses. IFAC-PapersOnLine, vol. 2010, no. 10, pp. 119-124. ISSN 1474-6670.
    Detail

    Š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.
    Detail

    DE 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.
    Detail

    Š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.
    Detail

    Š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.
    Detail

    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. 2010. Vienna: IN-TECH Education and Publishing, 2010, pp. 65-84. ISBN 978-953-307-012-4.
    Detail

  • 2009

    OČENÁŠEK Pavel and ŠVÉDA Miroslav. A Model for Measurement and Analysis of the Workflow Processes. In: Human Interface and the Management of Information. Designing Information Environments. Lecture Notes in Computer Science, vol. 5617. Berlin: Springer Verlag, 2009, pp. 149-153. ISBN 978-3-642-02555-6.
    Detail

    OČENÁŠEK Pavel and ŠVÉDA Miroslav. AVISPA: Towards Practical Verification of Communication Properties. In: Proceedings 9th IFAC International Conference on Programmable Devices and Embedded Systems. Programmable Devices and Embedded Systems, Volume # 9 | Part# 1, vol. 2009. Ostrava: IFAC, 2009, pp. 153-156. ISBN 978-3-902661-41-8. ISSN 1474-6670.
    Detail

    ŠVÉDA Miroslav, TRCHALÍK Roman and OČENÁŠEK Pavel. Design of Networked Embedded Systems: An Approach for Safety and Security. In: Preprints of IFAC Workshop on PROGRAMMABLE DEVICES and EMBEDDED SYSTEMS PDeS 2009. Ostrava: IFAC, 2009, pp. 131-136. ISSN 1474-6670.
    Detail

    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.
    Detail

    Š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.
    Detail

    KORNECKI Andrew J., HILBURN Thomas B., GREGA Wojciech, ŠVÉDA Miroslav and THIRIET Jean-Marc. ILERT - International Learning Environment for Real-Time Software-Intensive Control Systems. Journal of Automation, Mobile Robotics and Intelligent Systems, vol. 3, no. 1, pp. 66-71. ISSN 1897-8649.
    Detail

    ŠVÉDA Miroslav and VRBA Radimír. Meta-Design with Safe and Secure Embedded System Networking. International Journal On Advances in Security., vol. 2, no. 1, pp. 8-15. ISSN 1942-2636.
    Detail

    GREGA 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.
    Detail

    OČENÁŠEK Pavel, TRCHALÍK Roman and ŠVÉDA Miroslav. On the Implementation of Metrics in Industrial Embedded Systems. In: Proceedings 9th IFAC International Conference on Programmable Devices and Embedded Systems. Programmable Devices and Embedded Systems, Volume # 9 | Part# 1, vol. 2009. Ostrava: IFAC, 2009, pp. 157-160. ISBN 978-3-902661-41-8. ISSN 1474-6670.
    Detail

    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.
    Detail

    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, vol. 2009, no. 1, pp. 1-7. ISSN 1638-1963.
    Detail

    ŠVÉDA Miroslav, KORNECKI Andrew J., HILBURN Thomas B., GREGA Wojciech, THIRIET Jean-Marc and RYŠAVÝ Ondřej. Real-Time Software-Intensive Systems Engineering: An International Perspective. In: European Association for Education in Electrical and Information Engineering Council's Annual Conference 2009. Valencia: Politechnical University of Valencia, 2009, p. 6. ISBN 978-84-8363-428-8.
    Detail

    ŠVÉDA Miroslav. Safe and Secure Networked Embedded Applications. In: Proceedings of the 4th International Conference on Broadband Communication. Wroclaw: Institute of Electrical and Electronics Engineers, 2009, p. 6. ISBN 978-83-7493-405-3.
    Detail

    ŠVÉDA Miroslav and VRBA Radimír. Specifications of Secure and Safe Embedded System Networks. In: 8th International Conference on Networks Proceedings ICN 2009. New York, NY: IEEE Computer Society, 2009, pp. 220-225. ISBN 978-0-7695-3552-4.
    Detail

  • 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.
    Detail

    Č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.
    Detail

    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.
    Detail

    HILBURN 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.
    Detail

    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, vol. 2008, no. 1, pp. 29-42. ISBN 978-0-9741252-8-2. ISSN 1553-9911.
    Detail

    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.
    Detail

    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.
    Detail

    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.
    Detail

    ŠVÉDA Miroslav and VRBA Radimír. Meta-Design Support for Safe and Secure Networked Embedded Systems. In: IEEE Proceedings of the Third International Conference on Systems, ICONS 2008. New York: IEEE Computer Society, 2008, pp. 69-74. ISBN 978-0-7695-3105-2.
    Detail

    ŠVÉDA Miroslav, RYŠAVÝ Ondřej and VRBA Radimír. Pattern-driven Reuse of Behavioral Specifications in Embedded Control System Design. Frontiers in Robotics, Automation and Control. Vienna: IN-TECH Education and Publishing, 2008, pp. 151-164. ISBN 978-953-7619-17-6.
    Detail

    TRCHALÍK Roman, OČENÁŠEK Pavel and ŠVÉDA Miroslav. Using MSC and SDL Languages for Description of Network Communication. In: EDS '08 IMAPS CS International Conference Proceedings. Brno: Brno University of Technology, 2008, p. 5. ISBN 978-80-214-3717-3.
    Detail

  • 2007

    ŠVÉDA Miroslav and VRBA Radimír. Dependability-driven Embedded Systems Networking. In: Proceedings of The Sixth International Conference on Networking. New York: IEEE Computer Society, 2007, pp. 483-488. ISBN 0-7695-2805-8.
    Detail

    GREGA 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.
    Detail

    Š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.
    Detail

    Š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.
    Detail

    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, vol. 2007, no. 2, pp. 943-948. ISSN 1896-7094.
    Detail

    Š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.
    Detail

    Š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.
    Detail

    ŠVÉDA Miroslav, VRBA Radimír and RYŠAVÝ Ondřej. Pattern-Driven Reuse of Embedded Control Design. In: Proceedings of Fourth International Conference on Informatics in Control, Automation and Robotics. Angers: Institute for Systems and Technologies of Information, Control and Communication, 2007, p. 8. ISBN 972-8865-84-8.
    Detail

    Š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.
    Detail

    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.
    Detail

    PAVLÍK Michal, HÁZE Jiří, VRBA Radimír and ŠVÉDA Miroslav. Smart Differential Pressure Sensor. In: Proceedings ICINCO 2007: Signal Processing, Systems Modelling and Control. Angers: Institute for Systems and Technologies of Information, Control and Communication, 2007, pp. 244-248. ISBN 978-972-886584-9.
    Detail

    ŠVÉDA Miroslav and VRBA Radimír. SPECIFICATION-DRIVEN DESIGN OF EMBEDDED SYSTEMS - Design Support for Networked Embedded Software Applications. In: Proceedings of the International Joint Conference on e-Business and Telecommunications (ICETE 2007, ICE-B). Barcelona: IEEE Computer Society, 2007, pp. 23-30. ISBN 978-989-8111-11-1.
    Detail

    ŠVÉDA Miroslav and VRBA Radimír. Towards a Unified Security/Safety Framework - A Design Approach to Embedded System Applications. In: Proceedings of the International Conference on Software and Data Technologies (ICSOFT 2007). Barcelona: Institute for Systems and Technologies of Information, Control and Communication, 2007, pp. 345-350. ISBN 978-989-8111-06-7.
    Detail

    Š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.
    Detail

  • 2006

    FUJCIK Lukáš, VRBA Radimír and ŠVÉDA Miroslav. A 16-Bit Switched-Capacitor Sigma-Delta Modulator Matlab Model Exploiting Two-Step Quantization Process. In: Proceedings of the Third International Conference on Informatics in Control, Automation and Robotics (ICINCO 2006). Setúbal: IEEE Computer Society, 2006, pp. 142-147. ISBN 972-8865-59-7.
    Detail

    OČENÁŠEK Pavel and ŠVÉDA Miroslav. An Approach to Automated Design of Security Protocols. In: Proceedings of the International Conference on Networking (ICN 2006). Los Alamitos: IEEE Computer Society, 2006, p. 4. ISBN 0-7695-2552-0.
    Detail

    ŠVÉDA Miroslav and VRBA Radimír. Safe and secure networks of microelectronic systems. Brno: Faculty of Electrical Engineering and Communication BUT, 2006.
    Detail

    RYŠAVÝ Ondřej, ŠČUGLÍK František and ŠVÉDA Miroslav. Designing Algorithm-oriented Generic Library on .NET Framework. In: Proceedings of the 13th IEEE International Symposium and Workshop on the Engineering of Computer-Based Systems ECBS 2006. Los Alamitos, CA: IEEE Computer Society, 2006, pp. 159-163. ISBN 0-7695-2546-6.
    Detail

    ŠVÉDA Miroslav and VRBA Radimír. Fault Maintenance in Embedded Systems Applications. In: Proceedings of the Third International Conference on Informatics in Control, Automation and Robotics (ICINCO 2006). Setúbal: IEEE Computer Society, 2006, pp. 183-186. ISBN 972-8865-59-7.
    Detail

    ŠVÉDA Miroslav and VRBA Radimír. INTERNET-BASED EMBEDDED SYSTEM ARCHITECTURES -- End-User Development Support for Embedded System Applications. In: Proceedings of the IEEE International Joint Conference on e-Business and Telecommunications (ICETE 2006), 2006. Setúbal: IEEE Computer Society, 2006, pp. 63-68. ISBN 972-8865-62-7.
    Detail

    ŠVÉDA Miroslav, VRBA Radimír and OČENÁŠEK Pavel. Local Time Specifications of Networked Embedded Systems. In: Proceedings of the International Conference on Systems (ICONS 2006). Los Alamitos: IEEE Computer Society, 2006, p. 6. ISBN 0-7695-2552-0.
    Detail

    ŠVÉDA Miroslav. REUSE OF FORMAL SPECIFICATIONS IN EMBEDDED SYSTEMS DESIGN. In: Proceedings of IFAC Workshop on PROGRAMMABLE DEVICES and EMBEDDED SYSTEMS PDeS 2006. Brno: Faculty of Electrical Engineering and Communication BUT, 2006, pp. 78-83. ISBN 80-214-3130-X.
    Detail

    TRCHALÍK Roman and ŠVÉDA Miroslav. Sensor Networking through Intranet and ZigBee. In: Proceedings IMAPS CS International Conference EDS'06. Brno: Brno University of Technology, 2006, pp. 217-221. ISBN 80-214-3246-2.
    Detail

    ŠVÉDA Miroslav and TRCHALÍK Roman. Smart Sensor Networking with ZigBee and Internet. In: Proceedings of the 2nd International Workshop on Artificial Neural Networks and Intelligent Information Processing (ANNIIP 2006). Setúbal: University of Pierre and Marie Curie, 2006, pp. 64-71. ISBN 972-8865-68-6.
    Detail

  • 2005

    BUREŠ 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.
    Detail

    ŠVÉDA Miroslav and VRBA Radimír. An Approach to the Design of Networked Embedded Systems. In: Proceedings of the 16th IFAC WORLD CONGRESS, 2005. Kidlington, Oxford: Elsevier Science, 2005, p. 6. ISBN 0-08-045108-X. ISSN 1474-6670.
    Detail

    ŠVÉDA Miroslav. Computer Networks with Smart Sensors: the IEEE 1451 Approach. In: Proceedings IMAPS CS International Conference EDS'05. Brno: Brno University of Technology, 2005, pp. 107-110. ISBN 80-214-2990-9.
    Detail

    ŠVÉDA Miroslav and VRBA Radimír. Embedded Systems with IEEE 1451.1 on Internet. Enabling Technologies for the New Knowledge Society. Cairo: IEEE Computer Society, 2005, pp. 539-550. ISBN 0-7803-9270-1.
    Detail

    ŠVÉDA Miroslav, BENEŠ Petr, VRBA Radimír and ZEZULKA František. Introduction to Industrial Sensor Networking. Handbook of Sensor Networks: Compact Wireless and Wired Sensing Systems. Boca Raton, Florida: CRC Press LLC, 2005, pp. 10-24. ISBN 0-8493-1968-4.
    Detail

    ŠVÉDA Miroslav and VRBA Radimír. Sensor Networks with IEEE 1451.1 Embedded Systems on Internet. In: IEEE Proceedings AsiaSens 2005. Kuala Lumpur: IEEE Computer Society, 2005, p. 5. ISBN 0-7803-9371-6.
    Detail

    VRBA Radimír, SAJDL Ondřej and ŠVÉDA Miroslav. Smart Sensors in Wireless Network System. Enabling Technologies for the New Knowledge Society. Cairo: IEEE Computer Society, 2005, pp. 343-353. ISBN 0-7803-9270-1.
    Detail

    KUCHTA Radek, ŠTEFFAN Pavel, BARTOŇ Zdeněk, VRBA Radimír and ŠVÉDA Miroslav. Wireless Temperature Data Logger. In: IEEE Proceedings AsiaSens 2005. Kuala Lumpur: IEEE Computer Society, 2005, pp. 208-212. ISBN 0-7803-9371-6.
    Detail

  • 2004

    Š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.
    Detail

    Š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.
    Detail

    Š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.
    Detail

    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, vol. 9, no. 11, pp. 1258-1260. ISSN 0948-6968.
    Detail

    ŠVÉDA Miroslav, RATTRAY Charles and ROZENBLIT Jerzy. Formal Specifications of Computer-Based Systems - J.UCS Special Issue. Journal of Universal Computer Science, vol. 10, no. 10, pp. 1354-1356. ISSN 0948-6968.
    Detail

    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.
    Detail

    Š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.
    Detail

    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.
    Detail

    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.
    Detail

    DVOŘÁ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.
    Detail

    Š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.
    Detail

    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.
    Detail

    ŠVÉDA Miroslav and VRBA Radimír. Sensor Networking with Publish/Subscribe and IP Multicast. WSEAS Transactions on Information Science and Applications, vol. 1, no. 4, pp. 983-987. ISSN 1790-0832.
    Detail

    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.
    Detail

  • 2003

    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.
    Detail

    CACH Petr, FIEDLER Petr, ŠVÉDA Miroslav, PROKOP Miloš and WAGNER Marek. A Sensor with Embedded Ethernet. WSEAS Transactions on Circuits, vol. 2, no. 1, pp. 213-215. ISSN 1109-2734.
    Detail

    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.
    Detail

    ŠVÉDA Miroslav and VRBA Radimír. An Integrated Framework for Internet-Based Applications of Smart Sensors. IEEE Sensors Journal, vol. 3, no. 5, pp. 579-586. ISSN 1530-437X.
    Detail

    ŠČUGLÍK František and ŠVÉDA Miroslav. Automatically Generated CSP Specifications. Journal of Universal Computer Science, vol. 9, no. 11, pp. 1277-1295. ISSN 0948-6968.
    Detail

    ŠČ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.
    Detail

    SAJDL Ondřej, BRADÁČ Zdeněk, VRBA Radimír and ŠVÉDA Miroslav. Data Acquisition Systém Exploiting Bluetooth Technology. WSEAS Transactions on Circuits, vol. 2, no. 1, pp. 117-119. ISSN 1109-2734.
    Detail

    Š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.
    Detail

    ŠVÉDA Miroslav and VRBA Radimír. Embedded System Specification Reuse by a Case Based Reasoning Approach. WSEAS Transactions on Computers, vol. 2, no. 1, pp. 10-14. ISSN 1109-2750.
    Detail

    ŠVÉDA Miroslav. Engineering of Computer-Based Systems: Brno in 2004. In: Proceedings EDS'03. Electronic Devides and Systems, 10th. Brno: Brno University of Technology, 2003, pp. 85-88. ISBN 80-214-2452-4.
    Detail

    ŠVÉDA Miroslav. Executable Specifications with Rapid Prototyping for Embedded Distributed Systems. In: Programmable Devices and Systems 2003. IFAC Proceedings, Pergamon. Kidlington, Oxford: Elsevier Science, 2003, pp. 49-54. ISBN 0-08-044130-0.
    Detail

    Š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.
    Detail

    ŠVÉDA Miroslav and KAPOUN Vladimír. Internet-Based Smart Sensor Networking Architectures. ElectronicsLetters.com, vol. 2003, no. 6, p. 5. ISSN 1213-161X.
    Detail

    ŠVÉDA Miroslav. Local Time for Formal Specification of Networked Embedded System. WSEAS Transactions on Computers, vol. 2, no. 1, pp. 4-9. ISSN 1109-2750.
    Detail

    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.
    Detail

    Š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.
    Detail

  • 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.
    Detail

    Š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.
    Detail

    Š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.
    Detail

    Š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.
    Detail

    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.
    Detail

    Š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.
    Detail

    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.
    Detail

    KAPOUN Vladimír and ŠVÉDA Miroslav. Management systems and their organization. ElectronicsLetters.com, vol. 2002, no. 12, p. 3. ISSN 1213-161X.
    Detail

    Š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.
    Detail

    ŠVÉDA Miroslav. Specifications of embedded systems. Učební texty pro předmět SVS, obor IT. Brno, 2002.
    Detail

  • 2001

    Š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.
    Detail

    Š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.
    Detail

    Š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.
    Detail

    ŠVÉDA Miroslav, VRBA Radimír and BENEŠ Petr. A System Architecture of Networked Pressure Sensors. 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, pp. 64-69. ISBN 960-8052-39-4.
    Detail

    Š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.
    Detail

    ŠVÉDA Miroslav and VRBA Radimír. Executable Specifications for Distributed Embedded Systems. Computer, vol. 34, no. 1, pp. 138-140. ISSN 0018-9162.
    Detail

    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.
    Detail

    Š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.
    Detail

    Š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.
    Detail

    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.
    Detail

    CACH 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.
    Detail

    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. Procedings of the University of Stirling. Washington D.C.: University of Stirling, 2001. ISBN 1-85-769144-X.
    Detail

    Š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.
    Detail

    ŠVÉDA Miroslav. Systémy založené na počítačích. Edice Habilitační a inaugurační spisy. Brno: Brno University of Technology, 2001. ISBN 80-214-1937-7.
    Detail

  • 2000

    ŠVÉDA Miroslav and VRBA Radimír. Communication Protocols. Brno: Faculty of Electrical Engineering and Computer Science BUT, 2000.
    Detail

    Š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.
    Detail

    Š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.
    Detail

    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.
    Detail

    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.
    Detail

    GONZALES 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.
    Detail

    Š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.
    Detail

    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.
    Detail

    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.
    Detail

    ŠVÉDA Miroslav. Patterns for Embedded Systems Design. Lecture Notes in Computer Science, vol. 2000, no. 1798, pp. 80-89. ISSN 0302-9743.
    Detail

    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. Procedings of University of Stirling. Napier University, Edinburgh: IEEE Computer Society, 2000. ISBN 1-85-769121-0.
    Detail

    Š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.
    Detail

    VEČEŘA Ivo, VRBA Radimír and ŠVÉDA Miroslav. Senzory s vlastním testováním. Elektrorevue - www.elektrorevue.cz, vol. 2000, no. 12, pp. 1-7. ISSN 1213-1539.
    Detail

  • 1999

    ŠVÉDA Miroslav and VRBA Radimír. Actuator-Sensor-Interface Interconnectivity. Control Engineering Practice, vol. 7, no. 1, pp. 95-100. ISSN 0967-0661.
    Detail

    Š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.
    Detail

    Š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.
    Detail

    GONZALES 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.
    Detail

    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.
    Detail

    Š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.
    Detail

    ŠVÉDA Miroslav. Patterns for Embedded Systems Design. In: Preprints EUROCAST´99. Vienna: unknown, 1999, pp. 277-280.
    Detail

    ŠVÉDA Miroslav. Time and Cybernetics. In: Cybernetics'99. Las Palmas de Gran Canaria: unknown, 1999, pp. 121-124. ISBN 84-8416-950-2.
    Detail

  • 1998

    Š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.
    Detail

    Š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.
    Detail

    Š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.
    Detail

    ŠVÉDA Miroslav. Computer-Based Systems: An Emerging Discipline. In: EDS'98 Proceedings. Brno: unknown, 1998, pp. 325-328. ISBN 80-214-1198-8.
    Detail

    Š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.
    Detail

    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.
    Detail

    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.
    Detail

    Š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.
    Detail

    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.
    Detail

    Š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.
    Detail

    HRDLIČ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.
    Detail

  • 1997

    ŠVÉDA Miroslav. An Approach to Safety Critical Systems Design. Lecture Notes in Computer Science, vol. 1998, no. 133, pp. 34-49. ISSN 0302-9743.
    Detail

    ŠVÉDA Miroslav and VRBA Radimír. ASI Interconnectivity. In: Preprints IFAC SICICA'97. Annecy: unknown, 1997, pp. 621-626.
    Detail

    ŠVÉDA Miroslav. Design Method, Fail-Stop Safety Model, and Embedded Application. Journal of Systems Architecture, vol. 43, no. 1, pp. 47-57. ISSN 1383-7621.
    Detail

    ŠVÉDA Miroslav. Engineering of Computer-Based Systems. In: Proceedings MOSIS'97. Technical University Ostrava, 1997, pp. 23-28. ISBN 80-85988-16-X.
    Detail

    ŠVÉDA Miroslav and ZEZULKA František. Heterogeneous Interconnections for Distributed Control Systems: An Interdisciplinary Approach. Research in Progress. Baden-Baden: unknown, 1997, pp. 6-10. ISBN 0-921836-35-X.
    Detail

    ŠVÉDA Miroslav and ZEZULKA František. Interconnecting Low-Level Fieldbusses. In: Proc. Euromicro'97. Los Alamitos, California: IEEE Computer Society Press, 1997, pp. 260-267. ISBN 0-8186-8129-2.
    Detail

    ŠVÉDA Miroslav, BABKA Oto and FREEBURN Jana. Knowledge Preserving Development: A Case Study. In: Proc. IEEE Conf. Engineering of Computer-Based Systems. Monterey, California: IEEE Computer Society, 1997, pp. 347-352. ISBN 0-8186-7889-5.
    Detail

    ŠVÉDA Miroslav. Local Time for Systems Analysis. Frontiers in Artificial Intelligence and Applications, pp. 464-468. ISBN 90-5199-355-2. ISSN 0922-6389.
    Detail

    JANKOVSKÝ Michal and ŠVÉDA Miroslav. Prototyping with Attribute Grammars and Prolog. In: Short Contributions 23rd Euromicro Conference Proceedings. Budapest: unknown, 1997, pp. 20-26. ISBN 0-8186-8215-9.
    Detail

  • 1996

    ŠVÉDA Miroslav. A Prototyping Technique for Distributed Microcontrollers. In: CSS '96. Brno: unknown, 1996, pp. 61-68. ISBN 80-214-0768-9.
    Detail

    ŠVÉDA Miroslav. A Prototyping Technique with an Asynchronous Specification Language. In: Proc. Euromicro'96. Prague: unknown, 1996, pp. 151-157. ISBN 0-8186-7487-3. ISSN 1089-6503.
    Detail

    HRDLIČKA Milan and ŠVÉDA Miroslav. ASI Tree. In: Proc. EDS. Brno: unknown, 1996, pp. 269-272. ISBN 80-214-0767-8.
    Detail

    ŠVÉDA Miroslav. Dedicated Electronic Control System. In: Proceedings Electronic Devices and Systems Conference´96. Brno: unknown, 1996, pp. 72-75. ISBN 80-214-0767-8.
    Detail

    ŠVÉDA Miroslav. Development Environment for Local-Time Design Method. Cybernetics and Systems, vol. 27, no. 2, pp. 197-212. ISSN 0196-9722.
    Detail

    ŠVÉDA Miroslav. Embedded System Design: A Case Study. In: Proc. IEEE Conf. on Engineering of Computer-Based Systems. Friedrichshafen: IEEE Computer Society, 1996, pp. 260-267. ISBN 0-8186-7355-9.
    Detail

    ŠVÉDA Miroslav. Formal Specifications with Local Time Concept. In: Proc. IEE Conf. WODES'96. Edinburgh: unknown, 1996, pp. 356-361. ISBN 0-85296-664-4.
    Detail

    ŠVÉDA Miroslav. Local-Time Method: An Interim Summary. In: Proceedings ŘÍP'96. Horní Bečva: unknown, 1996, pp. 334-339. ISBN 80-7194-050-X.
    Detail

    ZEZULKA František and ŠVÉDA Miroslav. Specification of Anticipative Problems in Control Engineering. Advances in Modeling of Anticipative Systems. Baden-Baden: International Institute of Informacs and Systemics, 1996, pp. 79-83. ISBN 1-921836-43-1.
    Detail

    ŠVÉDA Miroslav and ZEZULKA František. Specification of Anticipative Problems in Control Engineering. Advances in Modelling of Anticipative Systems. Baden-Baden: International Institute of Informacs and Systemics, 1996, pp. 79-83. ISBN 0-92183-43-14.
    Detail

  • 1995

    ŠVÉDA Miroslav. A Design Method for Embedded Applications. In: Proceedings EDS'95. Brno: unknown, 1995, pp. 10-13.
    Detail

    ŠVÉDA Miroslav. Development Environment for Local-Time Design Method. In: Collection of Abstracts: EUROCAST'95. Innsbruck: unknown, 1995, pp. 1-3.
    Detail

    ŠVÉDA Miroslav and ZEZULKA František. Local Time for Systems Theory and Control Engineering. In: Proceedings of the 14th International Congress on Cybernetics. Namur: unknown, 1995, pp. 560-564. ISBN 2-87215-003.
    Detail

    ŠVÉDA Miroslav. Local Time Specifications for Real-Time Systems Design. In: Proceedings of Int. Conf. Real Time '95. Ostrava: unknown, 1995, pp. 186-193. ISBN 80-901751-6-3.
    Detail

    ŠVÉDA Miroslav. Local-Time Specification Concepts. In: Collection of Abstracts: IFIP Workshop on CAST and Computer Systems Technology. Innsbruck: unknown, 1995, pp. 1-3.
    Detail

    JANKOVSKÝ Michal and ŠVÉDA Miroslav. Nine-bit Protocol and ASI Interconnection. In: Proceedings EDS'95. Brno: unknown, 1995, pp. 193-197.
    Detail

    BĚLOHOUBEK Pavel, DOSTALÍK Martin, HERMAN Ivo, PEROUTKA J., SMOLÍK Stanislav and ŠVÉDA Miroslav. Průmyslové aplikace počítačových sítí. Brno: Faculty of Electrical Engineering and Computer Science BUT, 1995.
    Detail

    KANIA Ludvík, SMOLÍK Stanislav, ŠVÉDA Miroslav and ZÁHOŘÍK Vladimír. The Brno Academic Computer Network and its Future Development. In: Proceedings INVEX-CCT'95. Brno: unknown, 1995, pp. 1-5. ISBN 80-85867-89-3.
    Detail

  • 1994

    ŠVÉDA Miroslav. A Model of Local Time for Distributed Real-Time Control Systems. In: Cybernetics and Systems Research'94. Vienna: unknown, 1994, pp. 175-182. ISBN 981-02-1761-7, 9.
    Detail

    ŠVÉDA Miroslav. An Implementation-Directed Design Method for Microcontroller Software. Microprocessing and Microprogramming (North-Holland), vol. 40, no. 4, pp. 291-301. ISSN 0165-6074.
    Detail

    ŠVÉDA Miroslav, VRBA Radimír, LEGÁT Pavel and ZEZULKA František. ASI Instrumentation. Microprocessing and Microprogramming (North-Holland), vol. 40, no. 10, pp. 879-882. ISSN 0165-6074.
    Detail

    ŠVÉDA Miroslav. Design and Development of Industrial Measurement System--Architecture and Software. Microprocessing and Microprogramming (North-Holland), vol. 40, no. 10, pp. 887-890. ISSN 0165-6074.
    Detail

    DOUŠEK Antonín and ŠVÉDA Miroslav. Development Environment with Local-Time Method. In: ASRTP '94. Košice: Faculty of Electrical Engineering and Informatics, University of Technology Košice, 1994, pp. 418-423.
    Detail

    ŠVÉDA Miroslav. Domain Knowledge Preserving Design and Development of Production Metrology System. In: 5th DAAAM. Maribor: unknown, 1994, pp. 447-448. ISBN 3-901509-00-3.
    Detail

    ŠVÉDA Miroslav. Fuel Stand Control System Design. Elektrotechnik und Informationstechnik ÖVE - Verbandszeitschrift, vol. 111, no. 4, pp. 171-173. ISSN 0932-383X.
    Detail

    ŠVÉDA Miroslav. Multiple Lift Control System. In: Proceedings 20th Euromicro 94 Conf.. Liverpool: unknown, 1994, pp. 581-587. ISBN 0-8186-6430-4.
    Detail

    SMOLÍK Stanislav and ŠVÉDA Miroslav. Průmyslové počítačové sítě I. - příručka. Brno: unknown, 1994.
    Detail

    BĚLOHOUBEK Pavel and ŠVÉDA Miroslav. Průmyslové počítačové sítě II. Brno: unknown, 1994.
    Detail

    ŠVÉDA Miroslav. Signalling Techniques with Industrial Communications Controllers. In: EDS '94. Brno: Brno University of Technology, 1994, pp. 137-140.
    Detail

  • 1993

    ŠVÉDA Miroslav. A Model of Local Time for Distributed Real-Time Systems. In: SOFSEM '93. Praha: unknown, 1993, pp. 83-86.
    Detail

    ŠVÉDA Miroslav. Examples of Small Area Network Interconnections. In: EDS'93. Brno: Brno University of Technology, 1993, pp. 284-286.
    Detail

    ŠVÉDA Miroslav. Fuel Stand Control System Design. In: 4th DAAAM. Brno: Brno University of Technology, 1993, pp. 341-342.
    Detail

    ŠVÉDA Miroslav. Language Prototyping with Attribute Grammars and Macros. Microprocessing and Microprogramming (North-Holland), vol. 39, no. 2, pp. 151-154. ISSN 0165-6074.
    Detail

    BUREŠ Pavel and ŠVÉDA Miroslav. Real-Time Network Management Tools:Fieldbus Level and Below. In: Proc. IEEE/IFIP Workshop on Requirements and Techniques on Network Management. Cracow: unknown, 1993, pp. 1-9.
    Detail

    ŠVÉDA Miroslav. Routers and Bridges for Small Area Network Interconnection. Computers in Industry, vol. 22, no. 1, pp. 25-29. ISSN 0166-3615.
    Detail

    ŠVÉDA Miroslav. Small Area Network Interconnection. Microprocessing and Microprogramming (North-Holland), vol. 37, no. 2, pp. 193-196. ISSN 0165-6074.
    Detail

    ŠVÉDA Miroslav. Small Area Network Management Tools. In: EDS '93. Brno: Brno University of Technology, 1993, pp. 281-283.
    Detail

  • 1992

    ŠVÉDA Miroslav. A Design Method for Small Real-Time Distributed Systems. In: Cybernetics and Systems Research'92. Vienna: unknown, 1992, pp. 1255-1261. ISBN 981-02-1992-X.
    Detail

    ŠVÉDA Miroslav. Communication Microcontroller Software. In: MICROSYSTEM '92. Bratislava: unknown, 1992, pp. 84-87.
    Detail

    ŠVÉDA Miroslav. MAP a Fieldbus. In: MOP '92. Praha: unknown, 1992, pp. 257-271.
    Detail

    ŠVÉDA Miroslav. Microcontroller Software Engineering. Microprocessing and Microprogramming (North-Holland), vol. 34, no. 1, pp. 11-14. ISSN 0165-6074.
    Detail

    ŠVÉDA Miroslav. Počítačové sítě pro průmyslové aplikace. Computer Echo, vol. III, no. 2, pp. 10-14. ISSN 0862-870X.
    Detail

Back to top