Miroslav Svéda

Publication Activity (10 Years)

Years Active: 1992-2014
Publications (10 Years): 0

Top Topics

Reachability Analysis

Multicast Routing

Top Venues

Publications

Tomas Podermanski, Miroslav Svéda
IP45: Architecture, Design, and Implementation. ICNP (2014)
Matej Grégr, Miroslav Svéda
Challenges with Transition and User Accounting in Next Generation Networks. ICNP (2014)
Miroslav Svéda, Patrik Halfar
Cyber-physical Information Systems for Enterprise Engineering - Cyber-physical Applications Timing. ICEIS (3) (2014)
Ondrej Rysavý, Jaroslav Ráb, Miroslav Svéda
Improving security in SCADA systems through firewall policy analysis. FedCSIS (2013)
Vladimír Veselý, Ondrej Rysavý, Miroslav Svéda
IPv6 unicast and IPv4 multicast routing in OMNeT++. SimuTools (2013)
Miroslav Svéda, Ondrej Rysavý
Dependable Cyber-Physical Systems Networking: An Approach for Real-Time, Software Intensive Systems. PDeS (2013)
Vladimír Veselý, Petr Matousek, Miroslav Svéda
Multicast simulation and modeling in OMNeT++. SimuTools (2013)
Gayan de Silva, Ondrej Rysavý, Petr Matousek, Miroslav Svéda
On formal reachability analysis in networks with dynamic behavior. Telecommun. Syst. 52 (2) (2013)
Miroslav Svéda, Radimir Vrba
Cyber-physical systems networking with TCP/IP: A security application approach. AFRICON (2013)
Roman Trchalík, Miroslav Svéda
Unified sensor gateway interconnection of sensor networks. PDeS (2012)
Ondrej Rysavý, Jaroslav Ráb, Patrik Halfar, Miroslav Svéda
A Formal Authorization Framework for Networked SCADA Systems. ECBS (2012)
Matej Grégr, Petr Matousek, Miroslav Svéda, Tomas Podermanski
Practical IPv6 monitoring-challenges and techniques. Integrated Network Management (2011)
Miroslav Svéda, Ondrej Rysavý, Gayan de Silva, Petr Matousek, Jaroslav Ráb
Reachability Analysis in Dynamically Routed Networks. ECBS (2011)
Miroslav Svéda
Fault Management Driven Design with Safety and Security Requirements. ECBS (2010)
Miroslav Svéda, Ondrej Rysavý, Petr Matousek, Jaroslav Ráb, Rudolf Cejka
Security Analysis of TCP/IP Networks - An Approach to Automatic Analysis of Network Security Properties. DCNET/OPTICS (2010)
Miroslav Svéda, Ondrej Rysavý, Gayan de Silva, Petr Matousek, Jaroslav Ráb
Static Analysis of Routing and Firewall Policy Configurations. ICETE (Selected Papers) (2010)
Miroslav Svéda
Network Convergence and Modeling - Design of Interconnecting SW for Intranets and Fieldbuses. ICSOFT (1) (2010)
Miroslav Svéda, Roman Trchalík
Development of interconnecting SW for intranets and fieldbuses. PDeS (2010)
Gayan de Silva, Petr Matousek, Ondrej Rysavý, Miroslav Svéda
Formal analysis approach on networks with dynamic behaviours. ICUMT (2010)
Pavel Ocenasek, Miroslav Svéda
AVISPA: Towards practical verification of communication properties. PDeS (2009)
Miroslav Svéda, Radimir Vrba
Specifications of Secure and Safe Embedded System Networks. ICN (2009)
Ondrej Rysavý, Miroslav Svéda, Andrew J. Kornecki, Thomas B. Hilburn, Wojciech Grega, Adam Pilat, Jean-Marc Thiriet
Designing and Implementing International RSIC Engineering Curriculum. ECBS-EERC (2009)
Miroslav Svéda
Safe and Secure Networked Embedded Applications. BroadBandCom (2009)
Pavel Ocenasek, Miroslav Svéda
A Model for Measurement and Analysis of the Workflow Processes. HCI (8) (2009)
Miroslav Svéda
Fault Management for Secure Embedded Systems. ICONS (2009)
Pavel Ocenasek, Roman Trchalík, Miroslav Svéda
On the implementation of metrics in industrial embedded systems. PDeS (2009)
Miroslav Svéda, Roman Trchalík, Pavel Ocenasek
Design of networked embedded systems: An approach for safety and security. PDeS (2009)
Petr Matousek, Jaroslav Ráb, Ondrej Rysavý, Miroslav Svéda
A Formal Model for Network-Wide Security Analysis. ECBS (2008)
Thomas B. Hilburn, Andrew J. Kornecki, Jean-Marc Thiriet, Wojciech Grega, Miroslav Svéda
An RSIC-SE2004 curriculum framework. IMCSIT (2008)
Miroslav Svéda, Radimir Vrba
Meta-Design Support for Safe and Secure Networked Embedded Systems. ICONS (2008)
Miroslav Svéda, Roman Trchalík
Safety and Security-driven Design of Networked Embedded Systems. DSD (2007)
Miroslav Svéda, Ondrej Rysavý, Radimir Vrba
Pattern-driven reuse of embedded control design - behavioral and architectural specifications in embedded control system designs. ICINCO-ICSO (2007)
Michal Pavlik, Jiri Haze, Radimir Vrba, Miroslav Svéda
Smart differential pressure sensor. ICINCO-SPSMC (2007)
Miroslav Svéda
End-User DevelopmentFramework for Embedded System Applications. ECBS (2007)
Miroslav Svéda, Ondrej Rysavý
Industrial application development using case-based reasoning. ANNIIP (2007)
Miroslav Svéda, Radimir Vrba
Dependability-Driven Embedded Systems Networking. ICN (2007)
Miroslav Svéda, Radimir Vrba
Specification-Driven Design of Embedded Systems - Design Support for Networked Embedded Software Applications. ICE-B (2007)
Miroslav Svéda, Radimir Vrba
Towards a Unified Security/Safety Framework - A Design Approach to Embedded System Applications. ICSOFT (SE) (2007)
Pavel Ocenasek, Miroslav Svéda
An Approach to Automated Design of Security Protocols. ICN/ICONS/MCL (2006)
Miroslav Svéda, Radimir Vrba
Internet-Based Embedded System Architectures - End-User Development Support for Embedded System Applications. ICE-B (2006)
Lukas Fujcik, Radimir Vrba, Miroslav Svéda
A 16-bit switched-capacitor sigma-delta modulator matlab model exploiting two-step quantization process. ICINCO-SPSMC (2006)
Ondrej Rysavý, Frantisek Scuglik, Miroslav Svéda
Designing algorithm-oriented generic library on .NET framework. ECBS (2006)
Miroslav Svéda, Radimir Vrba, Pavel Ocenasek
Local Time Specifications of Networked Embedded Systems. ICN/ICONS/MCL (2006)
Miroslav Svéda, Radimir Vrba
Fault maintenance in embedded systems applications - multiple lift control system as safety critical embedded application. ICINCO-ICSO (2006)
Frantisek Bures, Ondrej Rysavý, Frantisek Scuglik, Miroslav Svéda
A Framework for Formal Specification of Embedded Systems. ECBS (2005)
Miroslav Svéda, Charles Rattray, Jerzy W. Rozenblit
Formal Specification of Computer-Based Systems. J. Univers. Comput. Sci. 10 (10) (2004)
Miroslav Svéda
A Design Framework for Internet-Based Embedded Distributed Systems. ECBS (2004)
Miroslav Svéda
Rapid Prototyping of Networked Embedded Systems. ECBS (2003)
Miroslav Svéda, Charles Rattray, Jerzy W. Rozenblit
Formal Specifications of Computer-Based Systems. ECBS (2003)
Frantisek Scuglik, Miroslav Svéda
Automatically Generated CSP Specifications. J. Univers. Comput. Sci. 9 (11) (2003)
Miroslav Svéda, Charles Rattray, Jerzy W. Rozenblit
Formal Specifications of Computer-Based Systems. ECBS (2002)
Miroslav Svéda, Radimir Vrba
An Integrated Framework for Sensor-Based Embedded Systems. ECBS (2002)
Miroslav Svéda, Charles Rattray
Formal Specifications of Computer-Based Systems. ECBS (2001)
Miroslav Svéda, Radimir Vrba
Executable Specifications for Embedded Distributed Systems. Computer 34 (1) (2001)
Miroslav Svéda, Radimir Vrba
Sensor Networking. ECBS (2001)
Miroslav Svéda, Franz Pichler, Charles Rattray
IEEE/IFIP Joint Workshop on Formal Specifications of Computer-Based Systems. ECBS (2000)
Miroslav Svéda, Radimir Vrba, Frantisek Zezulka
Coupling Architectures for Low- Level Fieldbusses. ECBS (2000)
Jonah Z. Lavi, Regina M. Gonzales, Mike Mannion, Miroslav Svéda
Engineering of Computer Based-Systems Enhancement Courses - Proposed Course Outlines. ECBS (1999)
Miroslav Svéda
Application Patterns for Computer-Based Systems Design Reuse. ECBS (1999)
Miroslav Svéda
Patterns for Embedded Systems Design. EUROCAST (1999)
Miroslav Svéda
An Approach to Safety Critical Systems Design. EUROCAST (1997)
Miroslav Svéda
Design method, fail-stop safety model, and embedded application. J. Syst. Archit. 43 (1-5) (1997)
Miroslav Svéda, Frantisek Zezulka
Interconnecting Low-Level Fieldbusses. EUROMICRO (1997)
Miroslav Svéda, Otakar Babka, Jana Freeburn
Knowledge Preserving Development: A Case Study. ECBS (1997)
Miroslav Svéda
Embedded system design: a case study. ECBS (1996)
Miroslav Svéda
A Prototyping Technique with an Asychronous Specification Language. EUROMICRO (1996)
Miroslav Svéda
Design and development of industrial measurement system - Architecture and software. Microprocess. Microprogramming 40 (10-12) (1994)
Miroslav Svéda
An implementation-directed design method for microcontroller software. Microprocess. Microprogramming 40 (4) (1994)
Miroslav Svéda, Radimir Vrba, Pavel Legát, Frantisek Zezulka
ASI Instrumentation. Microprocess. Microprogramming 40 (10-12) (1994)
Miroslav Svéda
Language prototyping with attribute grammars and macros. Microprocess. Microprogramming 39 (2-5) (1993)
Miroslav Svéda
Microcontroller software engineering. Microprocess. Microprogramming 34 (1-5) (1992)