Fakulta informačních technologií VUT v Brně

Prof. Ing.

Švéda Miroslav

CSc.

Docent

Publikace

  • 2015

    ŠVÉDA Miroslav, RYŠAVÝ Ondřej, VESELÝ Vladimír, GRÉGR Matěj, PODERMAŃSKI Tomáš, HALFAR Patrik a MAREK Marcel. Design of Computer Networks Concerning Network Applications Support. In: Computer Aided Systems Theory. Las Palmas de Gran Canaria: Universidad de Las Palmas de Gran Canaria, 2015, s. 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 a ZHANG Le. 2013 Federated Conference on Computer Science and Information Systems - International workshop on Cyber-Physical Systems. 2013 Federated Conference on Computer Science and Information Systems. Krakow: Elsevier Science, 2014, s. 1-200. ISBN 978-1-4673-4471-5.
    Detail

    HALFAR Patrik a Š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, s. 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, s. 1-6. ISBN 978-1-61804-204-0.
    Detail

    GRÉGR Matěj a Š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, s. 501-503. ISBN 978-1-4799-6203-7.
    Detail

    PODERMAŃSKI Tomáš a Š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, s. 492-494. ISBN 978-1-4799-6204-4.
    Detail

    GRÉGR Matěj, PODERMAŃSKI Tomáš a Š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, s. 96-101. ISBN 978-1-61208-330-8.
    Detail

    VESELÝ Vladimír, MAREK Marcel, RYŠAVÝ Ondřej a ŠVÉDA Miroslav. Multicast, TRILL and LISP Extensions for INET. International Journal on Advances in Networks and Services, roč. 2014, č. 4, s. 240-251. ISSN 1942-2644.
    Detail

    GRÉGR Matěj, MATOUŠEK Petr, PODERMAŃSKI Tomáš a ŠVÉDA Miroslav. Practical IPv6 Monitoring on Campus - Best Practice Document. Vědecký sborník, roč. 2014, č. 1, s. 1-20. ISSN 0572-3043.
    Detail

    VESELÝ Vladimír, RYŠAVÝ Ondřej a Š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, s. 132-137. ISBN 978-1-61208-330-8.
    Detail

  • 2013

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

    VESELÝ Vladimír a Š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, s. 1-11. ISBN 978-80-87952-00-9.
    Detail

    ŠVÉDA Miroslav a 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, s. 101-106. ISBN 978-1-4673-5943-6.
    Detail

    ŠVÉDA Miroslav a 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, roč. 2013. Laxenburg: IFAC, 2013, s. 1-4. ISBN 978-3-902823-21-2. ISSN 1474-6670.
    Detail

    RYŠAVÝ Ondřej, RÁB Jaroslav a Š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, s. 1435-1440. ISBN 978-1-4673-4471-5.
    Detail

    VESELÝ Vladimír, RYŠAVÝ Ondřej a Š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, s. 1-4. ISBN 978-1-936968-47-3.
    Detail

    VESELÝ Vladimír, MATOUŠEK Petr a Š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, s. 142-145. ISBN 978-1-4503-2464-9.
    Detail

    DE Silva Gayan, RYŠAVÝ Ondřej, MATOUŠEK Petr a ŠVÉDA Miroslav. On Formal Reachability Analysis in Networks with Dynamic Behavior. Telecommunication Systems, roč. 52, č. 2, s. 919-929. ISSN 1018-4864.
    Detail

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

    PACNER Jan, RYŠAVÝ Ondřej a Š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, s. 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: Evropská společnost pro výzkum prostředí a udržitelný vývoj, 2013, s. 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, roč. 7, č. 5, s. 263-270. ISSN 2074-1308.
    Detail

  • 2012

    HALFAR Patrik, RÁB Jaroslav, RYŠAVÝ Ondřej a ŠVÉDA Miroslav. A Formal Authorization Framework for Networked SCADA Systems. In: Proceedings IEEE ECBS 2012. Novy Sad: IEEE Computer Society, 2012, s. 298-302. ISBN 978-0-7695-4664-3.
    Detail

    RYŠAVÝ Ondřej, ŠVÉDA Miroslav a VRBA Radimír. A Framework for Cyber-Physical Systems Design - A Concept Study. In: Proceedings ICONS 2012. Saint Gilles, Reunion Island: Mezinárodní asociace univerzit, výzkumu a průmyslu, 2012, s. 79-82. ISBN 978-1-61208-184-7.
    Detail

    ŠVÉDA Miroslav, SEKLETÁR Michal, FIDLER Tomáš a RYŠAVÝ Ondřej. A High-level Network-wide Router Configuration Language. In: Proceedings ICN 2012. Saint Gilles, Reunion Island: Mezinárodní asociace univerzit, výzkumu a průmyslu, 2012, s. 18-21. ISBN 978-1-61208-183-0.
    Detail

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

    OČENÁŠEK Pavel a Š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, s. 1-4.
    Detail

    OČENÁŠEK Pavel a Š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, s. 257-262. ISBN 978-0-615-73960-1.
    Detail

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

    VESELÝ Vladimír a ŠVÉDA Miroslav. L2 protocols in OMNeT++. IP Networking 1 -- Theory and Practice. Žilina: Vydavatelství Žilinské univerzity, 2012, s. 37-40. ISBN 978-80-554-0494-3.
    Detail

    VESELÝ Vladimír, MATOUŠEK Petr a Š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, s. 298-301. ISBN 978-1-936968-47-3.
    Detail

    HALFAR Patrik a Š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, s. 50-53.
    Detail

    OČENÁŠEK Pavel a ŠVÉDA Miroslav. On the Effective Internet Communication Filtering. In: Proceedings of the 2012 ICMCM Conference. Dubaj: Trans Tech Publications Inc., 2012, s. 478-481. ISBN 978-3-03785-659-8.
    Detail

    ŠVÉDA Miroslav, RYŠAVÝ Ondřej, DE Silva Gayan, MATOUŠEK Petr a RÁB Jaroslav. Static Analysis of Routing and Firewall Policy Configurations. In: e-Business and Telecommunications. LNCS CCIS, Vol.222, roč. 2012. Heidelberg: Springer Science+Business Media B.V.,, 2012, s. 39-53. ISBN 978-3-642-25205-1. ISSN 1865-0929.
    Detail

    TRCHALÍK Roman a Š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, roč. 2012. Brno: Fakulta elektrotechniky a komunikačních technologií VUT v Brně, 2012, s. 372-377. ISBN 978-3-902823-21-2. ISSN 1474-6670.
    Detail

    GRÉGR Matěj, PODERMAŃSKI Tomáš a ŠVÉDA Miroslav. User identification in IPV6 network. IP Networking 1 -- Theory and Practice. Žilina: Vydavatelství Žilinské univerzity, 2012, s. 5-8. ISBN 978-80-554-0494-3.
    Detail

  • 2011

    ŠVÉDA Miroslav a VRBA Radimír. A Cyber-Physical System Design Approach. In: Proceedings of The Sixth International Conference on Systems - ICONS 2011. St. Maarten: Mezinárodní asociace univerzit, výzkumu a průmyslu, 2011, s. 12-18. ISBN 978-1-61208-002-4.
    Detail

    ŠVÉDA Miroslav. Design Experience with Routing SW and Related Applications. In: Proceedings of The Tenth International Conference on Networks - ICN 2011. St. Maarten: Mezinárodní asociace univerzit, výzkumu a průmyslu, 2011, s. 133-138. ISBN 978-1-61208-002-4.
    Detail

    GRÉGR Matěj, MATOUŠEK Petr, PODERMAŃSKI Tomáš a Š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, s. 660-663. ISBN 978-1-4244-9220-6.
    Detail

    ŠVÉDA Miroslav, RYŠAVÝ Ondřej, DE Silva Gayan, MATOUŠEK Petr a RÁB Jaroslav. Reachability Analysis in Dynamically Routed Networks. In: Proceedings of the IEEE ECBS 2011. Piscataway, NJ: IEEE Computer Society, 2011, s. 197-205. ISBN 978-0-7695-4379-6.
    Detail

    ŠVÉDA Miroslav, RYŠAVÝ Ondřej a MATOUŠEK Petr. Supporting Safe and Secure Networked System Design. In: Computer Aided Systems Theory (EUROCAST´11), Extended Abstracts. Las Palmas de Gran Canaria: Universidad de Las Palmas de Gran Canaria, 2011, s. 22-23. ISBN 978-84-693-9560-8.
    Detail

  • 2010

    ŠVÉDA Miroslav, RYŠAVÝ Ondřej, MATOUŠEK Petr a 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, s. 294-299. ISBN 978-0-7695-3979-9.
    Detail

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

    ŠVÉDA Miroslav a TRCHALÍK Roman. Development of Interconnecting SW for Intranets and Fieldbuses. IFAC-PapersOnLine, roč. 2010, č. 10, s. 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, s. 113-120. ISBN 978-0-7695-4005-4.
    Detail

    DE Silva Gayan, MATOUŠEK Petr, RYŠAVÝ Ondřej a Š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, s. 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, s. 173-178. ISBN 978-989-8425-22-5.
    Detail

    ŠVÉDA Miroslav, RYŠAVÝ Ondřej, MATOUŠEK Petr, RÁB Jaroslav a Č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, s. 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 a 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, s. 65-84. ISBN 978-953-307-012-4.
    Detail

  • 2009

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

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

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

    RYŠAVÝ Ondřej, ŠVÉDA Miroslav, KORNECKI Andrew J., HILBURN Thomas B., GREGA Wojciech, PILAT Adam a 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, s. 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, s. 23-28. ISBN 978-0-7695-3551-7.
    Detail

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

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

    GREGA Wojciech, HILBURN Thomas B., KORNECKI Andrew J., RYŠAVÝ Ondřej, ŠVÉDA Miroslav a 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: Universidad Politécnica de Valencia, 2009, s. 5. ISBN 978-84-8363-428-8.
    Detail

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

    RÁB Jaroslav, RYŠAVÝ Ondřej a Š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, s. 151-156. ISBN 978-83-60810-22-4.
    Detail

    THIRIET Jean-Marc, HILBURN Thomas B., KORNECKI Andrew J., GREGA Wojciech a Š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, roč. 2009, č. 1, s. 1-7. ISSN 1638-1963.
    Detail

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

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

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

  • 2008

    KORNECKI Andrew J., HILBURN Thomas B., GREGA Wojciech, THIRIET Jean-Marc a Š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, s. 1359-1371. ISBN 0-87823-196-X.
    Detail

    ČEJKA Rudolf, MATOUŠEK Petr, RÁB Jaroslav, RYŠAVÝ Ondřej a ŠVÉDA Miroslav. A Formal Approach to Network Security Analysis. Brno: Fakulta informačních technologií VUT v Brně, 2008.
    Detail

    MATOUŠEK Petr, RÁB Jaroslav, RYŠAVÝ Ondřej a Š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, s. 171-181. ISBN 0-7695-3141-5.
    Detail

    HILBURN Thomas B., KORNECKI Andrew J., THIRIET Jean-Marc, GREGA Wojciech a Š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, s. 633-638. ISBN 978-83-60810-14-9. ISSN 1896-7094.
    Detail

    HILBURN Thomas B., THIRIET Jean-Marc, KORNECKI Andrew J., GREGA Wojciech a ŠVÉDA Miroslav. Credits and Accreditation in the U.S.A. and Europe: Towards a Framework for Trans-national Engineering Degrees. Innovations, roč. 2008, č. 1, s. 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 a THARP Hal. Dependable Systems International Research and Educational Experience. Daytona Beach: Evropská komise EU, 2008.
    Detail

    THIRIET Jean-Marc, HILBURN Thomas B., KORNECKI Andrew J., GREGA Wojciech a Š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, s. 134-137. ISBN 978-1-4244-2009-4.
    Detail

    PILAT Adam, KORNECKI Andrew J., THIRIET Jean-Marc, GREGA Wojciech a ŠVÉDA Miroslav. Industry Feedback on Skills and Knowledge in Real-Time Software Engineering. In: Proceedings of the 19th EAEEIE Annual Conference. Tallin: IEEE Computer Society, 2008, s. 129-133. ISBN 978-1-4244-2009-4.
    Detail

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

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

    TRCHALÍK Roman, OČENÁŠEK Pavel a ŠVÉDA Miroslav. Using MSC and SDL Languages for Description of Network Communication. In: EDS '08 IMAPS CS International Conference Proceedings. Brno: Vysoké učení technické v Brně, 2008, s. 5. ISBN 978-80-214-3717-3.
    Detail

  • 2007

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

    GREGA Wojciech, KORNECKI Andrew J., ŠVÉDA Miroslav a THIRIET Jean-Marc. Developing an Interdisciplinary and Multinational Software Engineering Curriculum. In: Proceedings of the International Conference on Engineering Education. Coimbra: Evropská komise EU - Vzdělání a tréning, 2007, s. 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, s. 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, s. 11-16. ISBN 0-7695-2807-4.
    Detail

    KORNECKI Andrew J., HILBURN Thomas B., GREGA Wojciech, THIRIET Jean-Marc a ŠVÉDA Miroslav. ILERT - International Learning Environment for Real-Time Software Intensive Control Systems. Computer Science and Information Technology, roč. 2007, č. 2, s. 943-948. ISSN 1896-7094.
    Detail

    ŠVÉDA Miroslav a 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, s. 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, s. 523-529. ISBN 0-7695-2807-4.
    Detail

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

    ŠVÉDA Miroslav a 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, s. 420-423. ISBN 0-7695-2978-X.
    Detail

    TRCHALÍK Roman a ŠVÉDA Miroslav. Sensor Networking through Intranet and ZigBee. In: EDS '07 IMAPS CS International Conference Proceedings. Brno: Vysoké učení technické v Brně, 2007, s. 1-5. ISBN 978-80-214-3470-7.
    Detail

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

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

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

    ŠVÉDA Miroslav a 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, s. 6. ISBN 0-7695-2807-4.
    Detail

  • 2006

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

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

    ŠVÉDA Miroslav a VRBA Radimír. Bezpečné sítě mikroelektronických systémů. Brno: Fakulta elektrotechniky a komunikačních technologií VUT v Brně, 2006.
    Detail

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

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

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

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

    ŠVÉDA Miroslav. Reuse of Formal Specifications in Embedded Systems Design. In: Proceedings of IFAC Workshop on PROGRAMMABLE DEVICES and EMBEDDED SYSTEMS PDeS 2006. Brno: Fakulta elektrotechniky a komunikačních technologií VUT v Brně, 2006, s. 78-83. ISBN 80-214-3130-X.
    Detail

    TRCHALÍK Roman a ŠVÉDA Miroslav. Sensor Networking through Intranet and ZigBee. In: Proceedings IMAPS CS International Conference EDS'06. Brno: Vysoké učení technické v Brně, 2006, s. 217-221. ISBN 80-214-3246-2.
    Detail

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

  • 2005

    BUREŠ František, RYŠAVÝ Ondřej, ŠČUGLÍK František a Š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, s. 323-330. ISBN 0-7695-2308-0.
    Detail

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

    ŠVÉDA Miroslav. Computer Networks with Smart Sensors: the IEEE 1451 Approach. In: Proceedings IMAPS CS International Conference EDS'05. Brno: Vysoké učení technické v Brně, 2005, s. 107-110. ISBN 80-214-2990-9.
    Detail

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

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

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

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

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

  • 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, s. 113-120. ISBN 0-7695-2125-8.
    Detail

    ŠVÉDA Miroslav a 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, s. 170-176. ISBN 0-7803-8143-2.
    Detail

    ŠVÉDA Miroslav a 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, s. 8. ISBN 0-8576-9197-0.
    Detail

    DVOŘÁK Václav, ŠVÉDA Miroslav, RATTRAY Charles a ROZENBLIT Jerzy. Formal Specifications of Computer-Based Systems - J.UCS Special Issue. Journal of Universal Computer Science, roč. 9, č. 11, s. 1258-1260. ISSN 0948-6968.
    Detail

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

    RYŠAVÝ Ondřej, BUREŠ František, ŠČUGLÍK František a Š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, s. 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: Vysoké učení technické v Brně, 2004, s. 350-353. ISBN 80-214-2701-9.
    Detail

    VRBA Radimír, ŠVÉDA Miroslav a 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, s. 7-10. ISBN 0-7803-8143-2.
    Detail

    RATTRAY Charles, ŠVÉDA Miroslav a 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 a Š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 a 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, s. 6. ISBN 0-85760-919-X.
    Detail

    HÁZE Jiří, KREJČÍ Jan, VRBA Radimír a Š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, s. 155-158. ISBN 0-7803-8143-2.
    Detail

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

    VRBA Radimír, SAJDL Ondřej, KUCHTA Radek a ŠVÉDA Miroslav. Wireless Smart Sensor Network System. In: Proceedings of the ICSE & INCOSE 2004 Conference. Las Vegas, NV: CRC Press LLC, 2004, s. 466-471. ISBN 0-8576-9197-0.
    Detail

  • 2003

    RYŠAVÝ Ondřej a Š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, s. 35-40. ISBN 1-85769-189X.
    Detail

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

    VEČEŘA Ivo, VRBA Radimír a Š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, s. 367-370. ISBN 980-07-8150-1.
    Detail

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

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

    ŠČUGLÍK František a Š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, s. 41-47. ISBN 1-85769-189X.
    Detail

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

    ŠVÉDA Miroslav a 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, s. 157-162. ISBN 980-07-8150-1.
    Detail

    ŠVÉDA Miroslav a VRBA Radimír. Embedded System Specification Reuse by a Case Based Reasoning Approach. WSEAS Transactions on Computers, roč. 2, č. 1, s. 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: Vysoké učení technické v Brně, 2003, s. 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, s. 49-54. ISBN 0-08-044130-0.
    Detail

    ŠVÉDA Miroslav, RATTRAY Charles a 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, s. 169-172. ISBN 0-7695-1917-2.
    Detail

    ŠVÉDA Miroslav a KAPOUN Vladimír. Internet-Based Smart Sensor Networking Architectures. ElectronicsLetters.com, roč. 2003, č. 6, s. 5. ISSN 1213-161X.
    Detail

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

    RATTRAY Charles, ŠVÉDA Miroslav a 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, s. 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: Vysoké učení technické v Brně, 2002, s. 152-155. ISBN 80-214-2172-X.
    Detail

    ŠVÉDA Miroslav a 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, s. 1543-1548. ISBN 0-7803-7454-1.
    Detail

    ŠVÉDA Miroslav a 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, s. 195-202. ISBN 0-7695-1549-5.
    Detail

    ŠVÉDA Miroslav a RÁB Jaroslav. Designing dedicated distributed architectures for embedded systems. In: Proceedings of Electronic Devices and Systems, 2002. Brno: Vysoké učení technické v Brně, 2002, s. 301-310. ISBN 80-214-2180-0.
    Detail

    KUČERA Pavel, ZEZULKA František, ŠVÉDA Miroslav a 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, s. 91-98. ISBN 1-85769-169-5.
    Detail

    ŠVÉDA Miroslav, RATTRAY Charles a 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, s. 224-225. ISBN 0-7695-1549-5.
    Detail

    RATTRAY Charles, ŠVÉDA Miroslav a 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 a ŠVÉDA Miroslav. Management systems and their organization. ElectronicsLetters.com, roč. 2002, č. 12, s. 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: Fakulta informačních technologií VUT v Brně, 2002, s. 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 a 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, s. 139-144. ISBN 1-85-769144-X.
    Detail

    ŠVÉDA Miroslav a STRACH Michal. A Sensor-to-Intranet Coupling Architecture. In: Proceedings of the 8th Electronic Devices and Systems Conference EDS'01. Brno: Fakulta elektrotechniky a informatiky VUT, 2001, s. 214-217. ISBN 80-214-1960-1.
    Detail

    ŠVÉDA Miroslav, VRBA Radimír a 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, s. 3541-3546. ISBN 960-8052-33-5.
    Detail

    ŠVÉDA Miroslav, VRBA Radimír a 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, s. 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: Fakulta elektrotechniky a informatiky VUT, 2001, s. 208-213. ISBN 80-214-1960-1.
    Detail

    ŠVÉDA Miroslav a VRBA Radimír. Executable Specifications for Distributed Embedded Systems. Computer, roč. 34, č. 1, s. 138-140. ISSN 0018-9162.
    Detail

    RATTRAY Charles a Š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, s. 357-358. ISBN 0-7695-1086-8.
    Detail

    ŠVÉDA Miroslav, VRBA Radimír, VRBA Kamil a 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, s. 1-4.
    Detail

    ŠVÉDA Miroslav, VRBA Radimír a STRACH Michal. Integrated Framework and Design Pattern for Coupling a Group of Sensors with Internet. Brno: Fakulta elektrotechniky a informatiky VUT, 2001.
    Detail

    VRBA Radimír, ŠVÉDA Miroslav a ZEZULKA František. Interconnecting Smart Sensors through Low-Level Fieldbuses to Intranet/Internet. In: ICPR-16. Prague: neznámá, 2001, s. 1-6. ISBN 80-02-01438-3.
    Detail

    CACH Petr, FIEDLER Petr, VRBA Radimír, ZEZULKA František a ŠVÉDA Miroslav. Internet based remote I/O. In: ICPR-16. Prague: neznámá, 2001, s. 1-6. ISBN 80-02-01438-3.
    Detail

    RATTRAY Charles, ŠVÉDA Miroslav a 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 a VRBA Radimír. Sensor Networking. In: Proceedings of the 8th IEEE International Conference and Workshop ECBS'2001. Washington D.C.: IEEE Computer Society, 2001, s. 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: Vysoké učení technické v Brně, 2001. ISBN 80-214-1937-7.
    Detail

  • 2000

    ŠVÉDA Miroslav a VRBA Radimír. Communication Protocols. Brno: Fakulta elektrotechniky a informatiky VUT, 2000.
    Detail

    ŠVÉDA Miroslav, VRBA Radimír a 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, s. 148-155. ISBN 0-7695-0604-6.
    Detail

    ŠVÉDA Miroslav a VRBA Radimír. DCB Digital Communication On-board Bus. In: Proceedings ICT 2000. Acapulco: IEEE Computer Society, 2000, s. 1088-1092. ISBN 968-36-7762-2.
    Detail

    LAVI Jonah Z., MANNION Mike, MELHART Bonnie, PYLE Ian a Š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: neznámá, 2000, s. 1-8.
    Detail

    LAVI Jonah Z., MELHART Bonnie, PYLE Ian a Š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: neznámá, 2000, s. 1-18.
    Detail

    GONZALES Regina M., LAVI Jonah Z., MANNION Mike a ŠVÉDA Miroslav. Engineering of Computer-Based Systems Enhancement Courses - Proposed Course Outlines. In: IEEE Computer Society TC-ECBS, Background Papers. Napier University, Edinburgh: neznámá, 2000, s. 1-9.
    Detail

    ŠVÉDA Miroslav a 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, s. 81-85. ISBN 1-85-769121-0.
    Detail

    JANKOVSKÝ Michal a Š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: neznámá, 2000, s. 77-79. ISBN 1-85-769121-0.
    Detail

    PICHLER Franz, RATTRAY Charles a Š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, s. 382-382. ISBN 0-7695-0604-6.
    Detail

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

    RATTRAY Charles a Š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 a VRBA Radimír. Rapid Prototyping of Embedded Communication Systems. In: Proceedings ICT 2000. Acapulco: neznámá, 2000, s. 677-681. ISBN 968-36-7762-2.
    Detail

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

  • 1999

    ŠVÉDA Miroslav a VRBA Radimír. Actuator-Sensor-Interface Interconnectivity. Control Engineering Practice, roč. 7, č. 1, s. 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: Fakulta elektrotechniky a informatiky VUT, 1999, s. 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, s. 92-98. ISBN 0-7695-0028-5.
    Detail

    GONZALES Regina M., LAVI Jonah Z., MANNION Mike a Š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: neznámá, 1999, s. 336-343. ISBN 0-7695-0028-5.
    Detail

    HRDLIČKA Milan, ŠVÉDA Miroslav a ZEZULKA František. Fieldbus Interconnections Testbed. In: Proceedings of European Symposium INNOCAP'99: Sensor Networks and Communications. Grenoble: neznámá, 1999, s. 123-128.
    Detail

    ŠVÉDA Miroslav. Low-Level Fieldbus Coupler Prototyping. In: Electronic Devices and Systems 1999 - Proceedings. Brno: Fakulta elektrotechniky a informatiky VUT, 1999, s. 244-247. ISBN 80-214-1466-9.
    Detail

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

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

  • 1998

    ŠVÉDA Miroslav a VRBA Radimír. ASI Interconnectivity. In: Intelligent Components and Instruments for Control Applications 1997, Proceedings of the 3rd IFAC Symposium. Annecy: IFAC, 1998, s. 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, s. 256-263. ISBN 0-8186-8463-1.
    Detail

    ŠVÉDA Miroslav a ZEZULKA František. Communication on the Control Level--An Extension Phenomenon of Control. In: Proceedings of the 15th International Congress on Cybernetics. Namur: neznámá, 1998, s. 312-317. ISBN 2-87215-004-8.
    Detail

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

    ŠVÉDA Miroslav, DVOŘÁK Václav, HRUŠKA Tomáš a 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, s. 306-312. ISBN 0-8186-8463-1.
    Detail

    LAVI Jonah Z., MANNION Mike, MELHART Bonnie, PYLE Ian a Š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: neznámá, 1998, s. 377-384. ISBN 0-8186-8463-1.
    Detail

    LAVI Jonah Z., MANNION Mike, MELHART Bonnie, PYLE Ian a Š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, s. 369-376. ISBN 0-8186-8463-1.
    Detail

    ŠVÉDA Miroslav a VRBA Radimír. Interconnecting Architectures for Sensors and Actuators. In: Advances in Systems, Signals, Control and Computers. Durban: neznámá, 1998, s. 414-418. ISBN 0-620-23136-X.
    Detail

    JANKOVSKÝ Michal a ŠVÉDA Miroslav. Prototyping Behavioural Specification of Embedded Systems. In: EDS'98 Proceedings. Brno: neznámá, 1998, s. 390-393. ISBN 80-214-1198-8.
    Detail

    ŠVÉDA Miroslav, VEČEŘA Ivo a VRBA Radimír. Smart Sensors Based upon ASI Bus Interface with Built-in Self Test. In: Advances in Systems, Signals, Control and Computers. Durban: neznámá, 1998, s. 419-424. ISBN 0-620-23136-X.
    Detail

    HRDLIČKA Milan a ŠVÉDA Miroslav. Temporal Logic, Real-Time Temporal Logic and Anticipative Systems. In: Proc. InterSymp. Baden-Baden: neznámá, 1998, s. 26-30. ISBN 0-921836-56-2.
    Detail

  • 1997

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

    ŠVÉDA Miroslav a VRBA Radimír. ASI Interconnectivity. In: Preprints IFAC SICICA'97. Annecy: neznámá, 1997, s. 621-626.
    Detail

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

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

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

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

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

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

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

  • 1996

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

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

    HRDLIČKA Milan a ŠVÉDA Miroslav. ASI Tree. In: Proc. EDS. Brno: neznámá, 1996, s. 269-272. ISBN 80-214-0767-8.
    Detail

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

    ŠVÉDA Miroslav. Development Environment for Local-Time Design Method. Cybernetics and Systems, roč. 27, č. 2, s. 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, s. 260-267. ISBN 0-8186-7355-9.
    Detail

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

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

    ZEZULKA František a Š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, s. 79-83. ISBN 1-921836-43-1.
    Detail

    ŠVÉDA Miroslav a 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, s. 79-83. ISBN 0-92183-43-14.
    Detail

  • 1995

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

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

    ŠVÉDA Miroslav a ZEZULKA František. Local Time for Systems Theory and Control Engineering. In: Proceedings of the 14th International Congress on Cybernetics. Namur: neznámá, 1995, s. 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: neznámá, 1995, s. 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: neznámá, 1995, s. 1-3.
    Detail

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

    BĚLOHOUBEK Pavel, DOSTALÍK Martin, HERMAN Ivo, PEROUTKA J., SMOLÍK Stanislav a ŠVÉDA Miroslav. Průmyslové aplikace počítačových sítí. Brno: Fakulta elektrotechniky a informatiky VUT, 1995.
    Detail

    KANIA Ludvík, SMOLÍK Stanislav, ŠVÉDA Miroslav a ZÁHOŘÍK Vladimír. The Brno Academic Computer Network and its Future Development. In: Proceedings INVEX-CCT'95. Brno: neznámá, 1995, s. 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: neznámá, 1994, s. 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), roč. 40, č. 4, s. 291-301. ISSN 0165-6074.
    Detail

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

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

    DOUŠEK Antonín a ŠVÉDA Miroslav. Development Environment with Local-Time Method. In: ASRTP '94. Košice: Fakulta elektrotechniky a informatiky, Technická univerzita v Košiciach, 1994, s. 418-423.
    Detail

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

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

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

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

    BĚLOHOUBEK Pavel a ŠVÉDA Miroslav. Průmyslové počítačové sítě II. - příručka. Brno: neznámá, 1994.
    Detail

    ŠVÉDA Miroslav. Signalling Techniques with Industrial Communications Controllers. In: EDS '94. Brno: Vysoké učení technické v Brně, 1994, s. 137-140.
    Detail

  • 1993

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

    ŠVÉDA Miroslav. Examples of Small Area Network Interconnections. In: EDS'93. Brno: Vysoké učení technické v Brně, 1993, s. 284-286.
    Detail

    ŠVÉDA Miroslav. Fuel Stand Control System Design. In: 4th DAAAM. Brno: Vysoké učení technické v Brně, 1993, s. 341-342.
    Detail

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

    BUREŠ Pavel a Š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: neznámá, 1993, s. 1-9.
    Detail

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

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

    ŠVÉDA Miroslav. Small Area Network Management Tools. In: EDS '93. Brno: Vysoké učení technické v Brně, 1993, s. 281-283.
    Detail

  • 1992

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

    ŠVÉDA Miroslav. Communication Microcontroller Software. In: MICROSYSTEM '92. Bratislava: neznámá, 1992, s. 84-87.
    Detail

    ŠVÉDA Miroslav. MAP a Fieldbus. In: MOP '92. Praha: neznámá, 1992, s. 257-271.
    Detail

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

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

Nahoru