Microcontroller software engineering. - Miroslav Svéda (Microprocess. Microprogramming, 1992)

Language prototyping with attribute grammars and macros. - Miroslav Svéda (Microprocess. Microprogramming, 1993)

Small area network interconnection. - Miroslav Svéda (Microprocess. Microprogramming, 1993)

An implementation-directed design method for microcontroller software. - Miroslav Svéda (Microprocess. Microprogramming, 1994)

Design and development of industrial measurement system - Architecture and software. - Miroslav Svéda (Microprocess. Microprogramming, 1994)

ASI Instrumentation. - Miroslav Svéda; Radimir Vrba; Pavel Legát; Frantisek Zezulka (Microprocess. Microprogramming, 1994)

Embedded system design: a case study. - Miroslav Svéda (ECBS, 1996)

A Prototyping Technique with an Asychronous Specification Language. - Miroslav Svéda (EUROMICRO, 1996)

Knowledge Preserving Development: A Case Study. - Miroslav Svéda; Otakar Babka; Jana Freeburn (ECBS, 1997)

An Approach to Safety Critical Systems Design. - Miroslav Svéda (EUROCAST, 1997)

Interconnecting Low-Level Fieldbusses. - Miroslav Svéda; Frantisek Zezulka (EUROMICRO, 1997)

Design method, fail-stop safety model, and embedded application. - Miroslav Svéda (J. Syst. Archit., 1997)

Engineering of Computer Based-Systems Enhancement Courses - Proposed Course Outlines. - Jonah Z. Lavi; Regina M. Gonzales; Mike Mannion; Miroslav Svéda (ECBS, 1999)

Application Patterns for Computer-Based Systems Design Reuse. - Miroslav Svéda (ECBS, 1999)

Patterns for Embedded Systems Design. - Miroslav Svéda (EUROCAST, 1999)

IEEE/IFIP Joint Workshop on Formal Specifications of Computer-Based Systems. - Miroslav Svéda; Franz Pichler; Charles Rattray (ECBS, 2000)

Coupling Architectures for Low- Level Fieldbusses. - Miroslav Svéda; Radimir Vrba; Frantisek Zezulka (ECBS, 2000)

Formal Specifications of Computer-Based Systems. - Miroslav Svéda; Charles Rattray (ECBS, 2001)

Sensor Networking. - Miroslav Svéda; Radimir Vrba (ECBS, 2001)

Executable Specifications for Embedded Distributed Systems. - Miroslav Svéda; Radimir Vrba (Computer, 2001)

An Integrated Framework for Sensor-Based Embedded Systems. - Miroslav Svéda; Radimir Vrba (ECBS, 2002)

Rapid Prototyping of Networked Embedded Systems. - Miroslav Svéda (ECBS, 2003)

Formal Specifications of Computer-Based Systems. - Miroslav Svéda; Charles Rattray; Jerzy W. Rozenblit (ECBS, 2003)

Automatically Generated CSP Specifications. - Frantisek Scuglik; Miroslav Svéda (J. Univers. Comput. Sci., 2003)

Introduction to Industrial Sensor Networking. - Miroslav Svéda; Petr Benes; Radimir Vrba; Frantisek Zezulka (Handbook of Sensor Networks, 2004)

A Design Framework for Internet-Based Embedded Distributed Systems. - Miroslav Svéda (ECBS, 2004)

Formal Specification of Computer-Based Systems. - Miroslav Svéda; Charles Rattray; Jerzy W. Rozenblit (J. Univers. Comput. Sci., 2004)

A Framework for Formal Specification of Embedded Systems. - Frantisek Bures; Ondrej Rysavý; Frantisek Scuglik; Miroslav Svéda (ECBS, 2005)

Designing algorithm-oriented generic library on .NET framework. - Ondrej Rysavý; Frantisek Scuglik; Miroslav Svéda (ECBS, 2006)

Internet-Based Embedded System Architectures - End-User Development Support for Embedded System Applications. - Miroslav Svéda; Radimir Vrba (ICE-B, 2006)

A 16-bit switched-capacitor sigma-delta modulator matlab model exploiting two-step quantization process. - Lukas Fujcik; Radimir Vrba; Miroslav Svéda (ICINCO-SPSMC, 2006)

Fault maintenance in embedded systems applications - multiple lift control system as safety critical embedded application. - Miroslav Svéda; Radimir Vrba (ICINCO-ICSO, 2006)

An Approach to Automated Design of Security Protocols. - Pavel Ocenasek; Miroslav Svéda (ICN/ICONS/MCL, 2006)

Local Time Specifications of Networked Embedded Systems. - Miroslav Svéda; Radimir Vrba; Pavel Ocenasek (ICN/ICONS/MCL, 2006)

Industrial application development using case-based reasoning. - Miroslav Svéda; Ondrej Rysavý (ANNIIP, 2007)

Safety and Security-driven Design of Networked Embedded Systems. - Miroslav Svéda; Roman Trchalík (DSD, 2007)

End-User DevelopmentFramework for Embedded System Applications. - Miroslav Svéda (ECBS, 2007)

Specification-Driven Design of Embedded Systems - Design Support for Networked Embedded Software Applications. - Miroslav Svéda; Radimir Vrba (ICE-B, 2007)

Smart differential pressure sensor. - Michal Pavlik; Jiri Haze; Radimir Vrba; Miroslav Svéda (ICINCO-SPSMC, 2007)

Pattern-driven reuse of embedded control design - behavioral and architectural specifications in embedded control system designs. - Miroslav Svéda; Ondrej Rysavý; Radimir Vrba (ICINCO-ICSO, 2007)

Dependability-Driven Embedded Systems Networking. - Miroslav Svéda; Radimir Vrba (ICN, 2007)

Towards a Unified Security/Safety Framework - A Design Approach to Embedded System Applications. - Miroslav Svéda; Radimir Vrba (ICSOFT (SE), 2007)

A Formal Model for Network-Wide Security Analysis. - Petr Matousek; Jaroslav Ráb; Ondrej Rysavý; Miroslav Svéda (ECBS, 2008)

Meta-Design Support for Safe and Secure Networked Embedded Systems. - Miroslav Svéda; Radimir Vrba (ICONS, 2008)

An RSIC-SE2004 curriculum framework. - Thomas B. Hilburn; Andrew J. Kornecki; Jean-Marc Thiriet; Wojciech Grega; Miroslav Svéda (IMCSIT, 2008)

Safe and Secure Networked Embedded Applications. - Miroslav Svéda (BroadBandCom, 2009)

Designing and Implementing International RSIC Engineering Curriculum. - Ondrej Rysavý; Miroslav Svéda; Andrew J. Kornecki; Thomas B. Hilburn; Wojciech Grega; Adam Pilat; Jean-Marc Thiriet (ECBS-EERC, 2009)

A Model for Measurement and Analysis of the Workflow Processes. - Pavel Ocenasek; Miroslav Svéda (HCI (8), 2009)

Specifications of Secure and Safe Embedded System Networks. - Miroslav Svéda; Radimir Vrba (ICN, 2009)

Fault Management for Secure Embedded Systems. - Miroslav Svéda (ICONS, 2009)

AVISPA: Towards practical verification of communication properties. - Pavel Ocenasek; Miroslav Svéda (PDeS, 2009)

On the implementation of metrics in industrial embedded systems. - Pavel Ocenasek; Roman Trchalík; Miroslav Svéda (PDeS, 2009)

Design of networked embedded systems: An approach for safety and security. - Miroslav Svéda; Roman Trchalík; Pavel Ocenasek (PDeS, 2009)

Fault Management Driven Design with Safety and Security Requirements. - Miroslav Svéda (ECBS, 2010)

Security Analysis of TCP/IP Networks - An Approach to Automatic Analysis of Network Security Properties. - Miroslav Svéda; Ondrej Rysavý; Petr Matousek; Jaroslav Ráb; Rudolf Cejka (DCNET/OPTICS, 2010)

Static Analysis of Routing and Firewall Policy Configurations. - Miroslav Svéda; Ondrej Rysavý; Gayan de Silva; Petr Matousek; Jaroslav Ráb (ICETE (Selected Papers), 2010)

Network Convergence and Modeling - Design of Interconnecting SW for Intranets and Fieldbuses. - Miroslav Svéda (ICSOFT (1), 2010)

Formal analysis approach on networks with dynamic behaviours. - Gayan de Silva; Petr Matousek; Ondrej Rysavý; Miroslav Svéda (ICUMT, 2010)

Development of interconnecting SW for intranets and fieldbuses. - Miroslav Svéda; Roman Trchalík (PDeS, 2010)

Reachability Analysis in Dynamically Routed Networks. - Miroslav Svéda; Ondrej Rysavý; Gayan de Silva; Petr Matousek; Jaroslav Ráb (ECBS, 2011)

Practical IPv6 monitoring-challenges and techniques. - Matej Grégr; Petr Matousek; Miroslav Svéda; Tomas Podermanski (Integrated Network Management, 2011)

A Formal Authorization Framework for Networked SCADA Systems. - Ondrej Rysavý; Jaroslav Ráb; Patrik Halfar; Miroslav Svéda (ECBS, 2012)

Unified sensor gateway interconnection of sensor networks. - Roman Trchalík; Miroslav Svéda (PDeS, 2012)

Cyber-physical systems networking with TCP/IP: A security application approach. - Miroslav Svéda; Radimir Vrba (AFRICON, 2013)

Improving security in SCADA systems through firewall policy analysis. - Ondrej Rysavý; Jaroslav Ráb; Miroslav Svéda (FedCSIS, 2013)

Dependable Cyber-Physical Systems Networking: An Approach for Real-Time, Software Intensive Systems. - Miroslav Svéda; Ondrej Rysavý (PDeS, 2013)

Multicast simulation and modeling in OMNeT++. - Vladimír Veselý; Petr Matousek; Miroslav Svéda (SimuTools, 2013)

IPv6 unicast and IPv4 multicast routing in OMNeT++. - Vladimír Veselý; Ondrej Rysavý; Miroslav Svéda (SimuTools, 2013)

On formal reachability analysis in networks with dynamic behavior. - Gayan de Silva; Ondrej Rysavý; Petr Matousek; Miroslav Svéda (Telecommun. Syst., 2013)

Cyber-physical Information Systems for Enterprise Engineering - Cyber-physical Applications Timing. - Miroslav Svéda; Patrik Halfar (ICEIS (3), 2014)

Challenges with Transition and User Accounting in Next Generation Networks. - Matej Grégr; Miroslav Svéda (ICNP, 2014)

IP45: Architecture, Design, and Implementation. - Tomas Podermanski; Miroslav Svéda (ICNP, 2014)