Miroslav Svéda

73 papers B 2C 2Journal 11Unranked 57

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