Miroslav Svéda

According to our database1, Miroslav Svéda authored at least 72 papers between 1992 and 2014.

Collaborative distances:
  • Dijkstra number2 of four.
  • Erdős number3 of five.

Timeline

Legend:

Book 
In proceedings 
Article 
PhD thesis 
Dataset
Other 

Links

On csauthors.net:

Bibliography

2014
IP45: Architecture, Design, and Implementation.
Proceedings of the 22nd IEEE International Conference on Network Protocols, 2014

Challenges with Transition and User Accounting in Next Generation Networks.
Proceedings of the 22nd IEEE International Conference on Network Protocols, 2014

Cyber-physical Information Systems for Enterprise Engineering - Cyber-physical Applications Timing.
Proceedings of the ICEIS 2014, 2014

2013
On formal reachability analysis in networks with dynamic behavior.
Telecommun. Syst., 2013

IPv6 unicast and IPv4 multicast routing in OMNeT++.
Proceedings of the 6th International ICST Conference on Simulation Tools and Techniques, 2013

Multicast simulation and modeling in OMNeT++.
Proceedings of the 6th International ICST Conference on Simulation Tools and Techniques, 2013

Dependable Cyber-Physical Systems Networking: An Approach for Real-Time, Software Intensive Systems.
Proceedings of the 12th IFAC Conference on Programmable Devices and Embedded Systems, 2013

Improving security in SCADA systems through firewall policy analysis.
Proceedings of the 2013 Federated Conference on Computer Science and Information Systems, 2013

Cyber-physical systems networking with TCP/IP: A security application approach.
Proceedings of the AFRICON 2013, Pointe aux Piments, Mauritius, September 9-12, 2013, 2013

2012
Unified sensor gateway interconnection of sensor networks.
Proceedings of the 11th IFAC Conference on Programmable Devices and Embedded Systems, 2012

A Formal Authorization Framework for Networked SCADA Systems.
Proceedings of the IEEE 19th International Conference and Workshops on Engineering of Computer-Based Systems, 2012

2011
Practical IPv6 monitoring-challenges and techniques.
Proceedings of the 12th IFIP/IEEE International Symposium on Integrated Network Management, 2011

Reachability Analysis in Dynamically Routed Networks.
Proceedings of the 18th IEEE International Conference and Workshops on the Engineering of Computer-Based Systems, 2011

2010
Development of interconnecting SW for intranets and fieldbuses.
Proceedings of the 10th IFAC Workshop on Programmable Devices and Embedded Systems, 2010

Formal analysis approach on networks with dynamic behaviours.
Proceedings of the International Conference on Ultra Modern Telecommunications, 2010

Network Convergence and Modeling - Design of Interconnecting SW for Intranets and Fieldbuses.
Proceedings of the ICSOFT 2010, 2010

Static Analysis of Routing and Firewall Policy Configurations.
Proceedings of the e-Business and Telecommunications - 7th International Joint Conference, 2010

Security Analysis of TCP/IP Networks - An Approach to Automatic Analysis of Network Security Properties.
Proceedings of the DCNET 2010 & OPTICS 2010 - Proceedings of the International Conference on Data Communication Networking and International Conference on Optical Communication Systems, Athens, Greece, July 26, 2010

Fault Management Driven Design with Safety and Security Requirements.
Proceedings of the 17th IEEE International Conference and Workshops on the Engineering of Computer-Based Systems, 2010

2009
Design of networked embedded systems: An approach for safety and security.
Proceedings of the 9th IFAC Workshop on Programmable Devices and Embedded Systems, 2009

On the implementation of metrics in industrial embedded systems.
Proceedings of the 9th IFAC Workshop on Programmable Devices and Embedded Systems, 2009

AVISPA: Towards practical verification of communication properties.
Proceedings of the 9th IFAC Workshop on Programmable Devices and Embedded Systems, 2009

Fault Management for Secure Embedded Systems.
Proceedings of the Fourth International Conference on Systems, 2009

Specifications of Secure and Safe Embedded System Networks.
Proceedings of the Eighth International Conference on Networks, 2009

A Model for Measurement and Analysis of the Workflow Processes.
Proceedings of the Human Interface and the Management of Information. Designing Information Environments, 2009

Designing and Implementing International RSIC Engineering Curriculum.
Proceedings of the First IEEE Eastern European Conference on the Engineering of Computer Based Systems, 2009

Safe and Secure Networked Embedded Applications.
Proceedings of the Selected Papers on Broadband Communication, 2009

2008
An RSIC-SE2004 curriculum framework.
Proceedings of the International Multiconference on Computer Science and Information Technology, 2008

Meta-Design Support for Safe and Secure Networked Embedded Systems.
Proceedings of the Third International Conference on Systems, 2008

A Formal Model for Network-Wide Security Analysis.
Proceedings of the 15th Annual IEEE International Conference and Workshop on Engineering of Computer Based Systems (ECBS 2008), 31 March, 2008

2007
Towards a Unified Security/Safety Framework - A Design Approach to Embedded System Applications.
Proceedings of the ICSOFT 2007, 2007

Dependability-Driven Embedded Systems Networking.
Proceedings of the Sixth International Conference on Networking (ICN 2007), 2007

Pattern-driven reuse of embedded control design - behavioral and architectural specifications in embedded control system designs.
Proceedings of the ICINCO 2007, 2007

Smart differential pressure sensor.
Proceedings of the ICINCO 2007, 2007

Specification-Driven Design of Embedded Systems - Design Support for Networked Embedded Software Applications.
Proceedings of the ICE-B 2007, 2007

End-User DevelopmentFramework for Embedded System Applications.
Proceedings of the 14th Annual IEEE International Conference and Workshop on Engineering of Computer Based Systems (ECBS 2007), 2007

Safety and Security-driven Design of Networked Embedded Systems.
Proceedings of the Tenth Euromicro Conference on Digital System Design: Architectures, 2007

Industrial application development using case-based reasoning.
Proceedings of the Artificial Neural Networks and Intelligent Information Processing, 2007

2006
Local Time Specifications of Networked Embedded Systems.
Proceedings of the Fifth International Conference on Networking and the International Conference on Systems (ICN / ICONS / MCL 2006), 2006

An Approach to Automated Design of Security Protocols.
Proceedings of the Fifth International Conference on Networking and the International Conference on Systems (ICN / ICONS / MCL 2006), 2006

Fault maintenance in embedded systems applications - multiple lift control system as safety critical embedded application.
Proceedings of the ICINCO 2006, 2006

A 16-bit switched-capacitor sigma-delta modulator matlab model exploiting two-step quantization process.
Proceedings of the ICINCO 2006, 2006

Internet-Based Embedded System Architectures - End-User Development Support for Embedded System Applications.
Proceedings of the ICE-B 2006, 2006

Designing algorithm-oriented generic library on .NET framework.
Proceedings of the 13th Annual IEEE International Conference and Workshop on Engineering of Computer Based Systems (ECBS 2006), 2006

2005
A Framework for Formal Specification of Embedded Systems.
Proceedings of the 12th IEEE International Conference on the Engineering of Computer-Based Systems (ECBS 2005), 2005

2004
Formal Specification of Computer-Based Systems.
J. Univers. Comput. Sci., 2004

A Design Framework for Internet-Based Embedded Distributed Systems.
Proceedings of the 11th IEEE International Conference on the Engineering of Computer-Based Systems (ECBS 2004), 2004

Introduction to Industrial Sensor Networking.
Proceedings of the Handbook of Sensor Networks, 2004

2003
Automatically Generated CSP Specifications.
J. Univers. Comput. Sci., 2003

Rapid Prototyping of Networked Embedded Systems.
Proceedings of the 10th IEEE International Conference on Engineering of Computer-Based Systems (ECBS 2003), 2003

2002
An Integrated Framework for Sensor-Based Embedded Systems.
Proceedings of the 9th IEEE International Conference on Engineering of Computer-Based Systems (ECBS 2002), 2002

Formal Specifications of Computer-Based Systems.
Proceedings of the 9th IEEE International Conference on Engineering of Computer-Based Systems (ECBS 2002), 2002

2001
Executable Specifications for Embedded Distributed Systems.
Computer, 2001

Sensor Networking.
Proceedings of the 8th IEEE International Conference on Engineering of Computer-Based Systems (ECBS 2001), 2001

Formal Specifications of Computer-Based Systems.
Proceedings of the 8th IEEE International Conference on Engineering of Computer-Based Systems (ECBS 2001), 2001

2000
Coupling Architectures for Low- Level Fieldbusses.
Proceedings of the 7th IEEE International Symposium on Engineering of Computer-Based Systems (ECBS 2000), 2000

IEEE/IFIP Joint Workshop on Formal Specifications of Computer-Based Systems.
Proceedings of the 7th IEEE International Symposium on Engineering of Computer-Based Systems (ECBS 2000), 2000

1999
Patterns for Embedded Systems Design.
Proceedings of the Computer Aided Systems Theory - EUROCAST'99, Vienna, Austria, September 29, 1999

Application Patterns for Computer-Based Systems Design Reuse.
Proceedings of the 6th Symposium on Engineering of Computer-Based Systems (ECBS '99), 1999

Engineering of Computer Based-Systems Enhancement Courses - Proposed Course Outlines.
Proceedings of the 6th Symposium on Engineering of Computer-Based Systems (ECBS '99), 1999

1997
Design method, fail-stop safety model, and embedded application.
J. Syst. Archit., 1997

Interconnecting Low-Level Fieldbusses.
Proceedings of the 23rd EUROMICRO Conference '97, 1997

An Approach to Safety Critical Systems Design.
Proceedings of the Computer Aided Systems Theory, 1997

Knowledge Preserving Development: A Case Study.
Proceedings of the 1997 Workshop on Engineering of Computer-Based Systems (ECBS '97), 1997

1996
A Prototyping Technique with an Asychronous Specification Language.
Proceedings of the 22rd EUROMICRO Conference '96, 1996

Embedded system design: a case study.
Proceedings of the IEEE Symposium and Workshop on Engineering of Computer Based Systems (ECBS'96), 1996

1994
ASI Instrumentation.
Microprocess. Microprogramming, 1994

Design and development of industrial measurement system - Architecture and software.
Microprocess. Microprogramming, 1994

An implementation-directed design method for microcontroller software.
Microprocess. Microprogramming, 1994

1993
Small area network interconnection.
Microprocess. Microprogramming, 1993

Language prototyping with attribute grammars and macros.
Microprocess. Microprogramming, 1993

1992
Microcontroller software engineering.
Microprocess. Microprogramming, 1992


  Loading...