![](https://dblp.dagstuhl.de/img/logo.ua.320x120.png)
![](https://dblp.dagstuhl.de/img/dropdown.dark.16x16.png)
![](https://dblp.dagstuhl.de/img/peace.dark.16x16.png)
Остановите войну!
for scientists:
![search dblp search dblp](https://dblp.dagstuhl.de/img/search.dark.16x16.png)
![search dblp](https://dblp.dagstuhl.de/img/search.dark.16x16.png)
default search action
Miroslav Svéda
Person information
Refine list
![note](https://dblp.dagstuhl.de/img/note-mark.dark.12x12.png)
refinements active!
zoomed in on ?? of ?? records
view refined list in
export refined list as
Journal Articles
- 2013
- [j11]Gayan de Silva, Ondrej Rysavý, Petr Matousek
, Miroslav Svéda:
On formal reachability analysis in networks with dynamic behavior. Telecommun. Syst. 52(2): 919-929 (2013) - 2004
- [j10]Miroslav Svéda, Charles Rattray, Jerzy W. Rozenblit:
Formal Specification of Computer-Based Systems. J. Univers. Comput. Sci. 10(10): 1354-1356 (2004) - 2003
- [j9]Frantisek Scuglik, Miroslav Svéda:
Automatically Generated CSP Specifications. J. Univers. Comput. Sci. 9(11): 1277-1295 (2003) - 2001
- [j8]Miroslav Svéda, Radimir Vrba
:
Executable Specifications for Embedded Distributed Systems. Computer 34(1): 138-140 (2001) - 1997
- [j7]Miroslav Svéda:
Design method, fail-stop safety model, and embedded application. J. Syst. Archit. 43(1-5): 47-57 (1997) - 1994
- [j6]Miroslav Svéda:
An implementation-directed design method for microcontroller software. Microprocess. Microprogramming 40(4): 291-301 (1994) - [j5]Miroslav Svéda, Radimir Vrba
, Pavel Legát, Frantisek Zezulka:
ASI Instrumentation. Microprocess. Microprogramming 40(10-12): 879-882 (1994) - [j4]Miroslav Svéda:
Design and development of industrial measurement system - Architecture and software. Microprocess. Microprogramming 40(10-12): 887-889 (1994) - 1993
- [j3]Miroslav Svéda:
Small area network interconnection. Microprocess. Microprogramming 37(1-5): 193-196 (1993) - [j2]Miroslav Svéda:
Language prototyping with attribute grammars and macros. Microprocess. Microprogramming 39(2-5): 151-154 (1993) - 1992
- [j1]Miroslav Svéda:
Microcontroller software engineering. Microprocess. Microprogramming 34(1-5): 11-13 (1992)
Conference and Workshop Papers
- 2014
- [c61]Miroslav Svéda, Patrik Halfar:
Cyber-physical Information Systems for Enterprise Engineering - Cyber-physical Applications Timing. ICEIS (3) 2014: 441-446 - [c60]Tomas Podermanski, Miroslav Svéda:
IP45: Architecture, Design, and Implementation. ICNP 2014: 492-494 - [c59]Matej Grégr, Miroslav Svéda:
Challenges with Transition and User Accounting in Next Generation Networks. ICNP 2014: 501-503 - 2013
- [c58]Miroslav Svéda, Radimir Vrba
:
Cyber-physical systems networking with TCP/IP: A security application approach. AFRICON 2013: 1-5 - [c57]Ondrej Rysavý, Jaroslav Ráb, Miroslav Svéda:
Improving security in SCADA systems through firewall policy analysis. FedCSIS 2013: 1423-1428 - [c56]Miroslav Svéda, Ondrej Rysavý:
Dependable Cyber-Physical Systems Networking: An Approach for Real-Time, Software Intensive Systems. PDeS 2013: 116-119 - [c55]Vladimír Veselý, Petr Matousek, Miroslav Svéda:
Multicast simulation and modeling in OMNeT++. SimuTools 2013: 142-145 - [c54]Vladimír Veselý, Ondrej Rysavý, Miroslav Svéda:
IPv6 unicast and IPv4 multicast routing in OMNeT++. SimuTools 2013: 346-349 - 2012
- [c53]Ondrej Rysavý, Jaroslav Ráb, Patrik Halfar, Miroslav Svéda:
A Formal Authorization Framework for Networked SCADA Systems. ECBS 2012: 298-302 - [c52]Roman Trchalík, Miroslav Svéda:
Unified sensor gateway interconnection of sensor networks. PDeS 2012: 372-377 - 2011
- [c51]Miroslav Svéda, Ondrej Rysavý, Gayan de Silva, Petr Matousek, Jaroslav Ráb:
Reachability Analysis in Dynamically Routed Networks. ECBS 2011: 197-205 - [c50]Matej Grégr, Petr Matousek, Miroslav Svéda, Tomas Podermanski:
Practical IPv6 monitoring-challenges and techniques. Integrated Network Management 2011: 650-653 - 2010
- [c49]Miroslav Svéda:
Fault Management Driven Design with Safety and Security Requirements. ECBS 2010: 113-120 - [c48]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: 5-11 - [c47]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: 39-53 - [c46]Miroslav Svéda:
Network Convergence and Modeling - Design of Interconnecting SW for Intranets and Fieldbuses. ICSOFT (1) 2010: 173-178 - [c45]Gayan de Silva, Petr Matousek, Ondrej Rysavý, Miroslav Svéda:
Formal analysis approach on networks with dynamic behaviours. ICUMT 2010: 545-551 - [c44]Miroslav Svéda, Roman Trchalík:
Development of interconnecting SW for intranets and fieldbuses. PDeS 2010: 98-103 - 2009
- [c43]Miroslav Svéda:
Safe and Secure Networked Embedded Applications. BroadBandCom 2009: 251-256 - [c42]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: 71-76 - [c41]Pavel Ocenasek, Miroslav Svéda:
A Model for Measurement and Analysis of the Workflow Processes. HCI (8) 2009: 149-153 - [c40]Miroslav Svéda, Radimir Vrba
:
Specifications of Secure and Safe Embedded System Networks. ICN 2009: 220-225 - [c39]Miroslav Svéda:
Fault Management for Secure Embedded Systems. ICONS 2009: 23-28 - [c38]Miroslav Svéda, Roman Trchalík, Pavel Ocenasek:
Design of networked embedded systems: An approach for safety and security. PDeS 2009: 127-132 - [c37]Pavel Ocenasek, Miroslav Svéda:
AVISPA: Towards practical verification of communication properties. PDeS 2009: 153-156 - [c36]Pavel Ocenasek, Roman Trchalík, Miroslav Svéda:
On the implementation of metrics in industrial embedded systems. PDeS 2009: 157-160 - 2008
- [c35]Petr Matousek, Jaroslav Ráb, Ondrej Rysavý, Miroslav Svéda:
A Formal Model for Network-Wide Security Analysis. ECBS 2008: 171-181 - [c34]Miroslav Svéda, Radimir Vrba
:
Meta-Design Support for Safe and Secure Networked Embedded Systems. ICONS 2008: 69-74 - [c33]Thomas B. Hilburn, Andrew J. Kornecki, Jean-Marc Thiriet, Wojciech Grega, Miroslav Svéda:
An RSIC-SE2004 curriculum framework. IMCSIT 2008: 633-638 - 2007
- [c32]Miroslav Svéda, Ondrej Rysavý:
Industrial application development using case-based reasoning. ANNIIP 2007: 76-82 - [c31]Miroslav Svéda, Roman Trchalík:
Safety and Security-driven Design of Networked Embedded Systems. DSD 2007: 420-423 - [c30]Miroslav Svéda:
End-User DevelopmentFramework for Embedded System Applications. ECBS 2007: 186-194 - [c29]Miroslav Svéda, Radimir Vrba:
Specification-Driven Design of Embedded Systems - Design Support for Networked Embedded Software Applications. ICE-B 2007: 23-30 - [c28]Michal Pavlik, Jiri Haze, Radimir Vrba, Miroslav Svéda:
Smart differential pressure sensor. ICINCO-SPSMC 2007: 244-248 - [c27]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: 409-416 - [c26]Miroslav Svéda, Radimir Vrba
:
Dependability-Driven Embedded Systems Networking. ICN 2007: 59 - [c25]Miroslav Svéda, Radimir Vrba:
Towards a Unified Security/Safety Framework - A Design Approach to Embedded System Applications. ICSOFT (SE) 2007: 345-350 - 2006
- [c24]Ondrej Rysavý, Frantisek Scuglik, Miroslav Svéda:
Designing algorithm-oriented generic library on .NET framework. ECBS 2006: 159-163 - [c23]Miroslav Svéda, Radimir Vrba:
Internet-Based Embedded System Architectures - End-User Development Support for Embedded System Applications. ICE-B 2006: 63-68 - [c22]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: 142-147 - [c21]Miroslav Svéda, Radimir Vrba:
Fault maintenance in embedded systems applications - multiple lift control system as safety critical embedded application. ICINCO-ICSO 2006: 183-186 - [c20]Pavel Ocenasek, Miroslav Svéda:
An Approach to Automated Design of Security Protocols. ICN/ICONS/MCL 2006: 77 - [c19]Miroslav Svéda, Radimir Vrba
, Pavel Ocenasek:
Local Time Specifications of Networked Embedded Systems. ICN/ICONS/MCL 2006: 177 - 2005
- [c18]Frantisek Bures, Ondrej Rysavý, Frantisek Scuglik, Miroslav Svéda:
A Framework for Formal Specification of Embedded Systems. ECBS 2005: 323-330 - 2004
- [c17]Miroslav Svéda:
A Design Framework for Internet-Based Embedded Distributed Systems. ECBS 2004: 113-120 - 2003
- [c16]Miroslav Svéda:
Rapid Prototyping of Networked Embedded Systems. ECBS 2003: 125-132 - [c15]Miroslav Svéda, Charles Rattray, Jerzy W. Rozenblit:
Formal Specifications of Computer-Based Systems. ECBS 2003: 169-172 - 2002
- [c14]Miroslav Svéda, Radimir Vrba
:
An Integrated Framework for Sensor-Based Embedded Systems. ECBS 2002: 195-202 - [c13]Miroslav Svéda, Charles Rattray, Jerzy W. Rozenblit:
Formal Specifications of Computer-Based Systems. ECBS 2002: 224-225 - 2001
- [c12]Miroslav Svéda, Radimir Vrba:
Sensor Networking. ECBS 2001: 262-268 - [c11]Miroslav Svéda, Charles Rattray:
Formal Specifications of Computer-Based Systems. ECBS 2001: 357-358 - 2000
- [c10]Miroslav Svéda, Radimir Vrba, Frantisek Zezulka:
Coupling Architectures for Low- Level Fieldbusses. ECBS 2000: 148-155 - [c9]Miroslav Svéda, Franz Pichler, Charles Rattray:
IEEE/IFIP Joint Workshop on Formal Specifications of Computer-Based Systems. ECBS 2000: 382-382 - 1999
- [c8]Miroslav Svéda:
Application Patterns for Computer-Based Systems Design Reuse. ECBS 1999: 92-98 - [c7]Jonah Z. Lavi, Regina M. Gonzales, Mike Mannion
, Miroslav Svéda:
Engineering of Computer Based-Systems Enhancement Courses - Proposed Course Outlines. ECBS 1999: 336-343 - [c6]Miroslav Svéda:
Patterns for Embedded Systems Design. EUROCAST 1999: 80-89 - 1997
- [c5]Miroslav Svéda, Otakar Babka, Jana Freeburn:
Knowledge Preserving Development: A Case Study. ECBS 1997: 347- - [c4]Miroslav Svéda:
An Approach to Safety Critical Systems Design. EUROCAST 1997: 34-49 - [c3]Miroslav Svéda, Frantisek Zezulka:
Interconnecting Low-Level Fieldbusses. EUROMICRO 1997: 614- - 1996
- [c2]Miroslav Svéda:
Embedded system design: a case study. ECBS 1996: 260- - [c1]Miroslav Svéda:
A Prototyping Technique with an Asychronous Specification Language. EUROMICRO 1996: 151-157
Parts in Books or Collections
- 2004
- [p1]Miroslav Svéda, Petr Benes, Radimir Vrba, Frantisek Zezulka:
Introduction to Industrial Sensor Networking. Handbook of Sensor Networks 2004
Coauthor Index
aka: Radimir Vrba
![](https://dblp.dagstuhl.de/img/cog.dark.24x24.png)
manage site settings
To protect your privacy, all features that rely on external API calls from your browser are turned off by default. You need to opt-in for them to become active. All settings here will be stored as cookies with your web browser. For more information see our F.A.Q.
Unpaywalled article links
Add open access links from to the list of external document links (if available).
Privacy notice: By enabling the option above, your browser will contact the API of unpaywall.org to load hyperlinks to open access articles. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the Unpaywall privacy policy.
Archived links via Wayback Machine
For web page which are no longer available, try to retrieve content from the of the Internet Archive (if available).
Privacy notice: By enabling the option above, your browser will contact the API of archive.org to check for archived content of web pages that are no longer available. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the Internet Archive privacy policy.
Reference lists
Add a list of references from ,
, and
to record detail pages.
load references from crossref.org and opencitations.net
Privacy notice: By enabling the option above, your browser will contact the APIs of crossref.org, opencitations.net, and semanticscholar.org to load article reference information. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the Crossref privacy policy and the OpenCitations privacy policy, as well as the AI2 Privacy Policy covering Semantic Scholar.
Citation data
Add a list of citing articles from and
to record detail pages.
load citations from opencitations.net
Privacy notice: By enabling the option above, your browser will contact the API of opencitations.net and semanticscholar.org to load citation information. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the OpenCitations privacy policy as well as the AI2 Privacy Policy covering Semantic Scholar.
OpenAlex data
Load additional information about publications from .
Privacy notice: By enabling the option above, your browser will contact the API of openalex.org to load additional information. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the information given by OpenAlex.
last updated on 2024-08-05 20:24 CEST by the dblp team
all metadata released as open data under CC0 1.0 license
see also: Terms of Use | Privacy Policy | Imprint