The SCEAS System
Navigation Menu

Search the dblp DataBase

Title:
Author:

Miroslav Svéda: [Publications] [Author Rank by year] [Co-authors] [Prefers] [Cites] [Cited by]

Publications of Author

  1. Frantisek Bures, Ondrej Rysavy, Frantisek Scuglik, Miroslav Svéda
    A Framework for Formal Specification of Embedded Systems. [Citation Graph (0, 0)][DBLP]
    ECBS, 2005, pp:323-330 [Conf]
  2. Jonah Z. Lavi, Regina M. Gonzales, Mike Mannion, Miroslav Svéda
    Engineering of Computer Based-Systems Enhancement Courses - Proposed Course Outlines. [Citation Graph (0, 0)][DBLP]
    ECBS, 1999, pp:336-343 [Conf]
  3. Ondrej Rysavy, Frantisek Scuglik, Miroslav Svéda
    Designing algorithm-oriented generic library on .NET framework. [Citation Graph (0, 0)][DBLP]
    ECBS, 2006, pp:159-163 [Conf]
  4. Miroslav Svéda
    Rapid Prototyping of Networked Embedded Systems. [Citation Graph (0, 0)][DBLP]
    ECBS, 2003, pp:125-132 [Conf]
  5. Miroslav Svéda
    A Design Framework for Internet-Based Embedded Distributed Systems. [Citation Graph (0, 0)][DBLP]
    ECBS, 2004, pp:113-120 [Conf]
  6. Miroslav Svéda
    Embedded system design: a case study. [Citation Graph (0, 0)][DBLP]
    ECBS, 1996, pp:260-0 [Conf]
  7. Miroslav Svéda
    Application Patterns for Computer-Based Systems Design Reuse. [Citation Graph (0, 0)][DBLP]
    ECBS, 1999, pp:92-98 [Conf]
  8. Miroslav Svéda, Otakar Babka, Jana Freeburn
    Knowledge Preserving Development: A Case Study. [Citation Graph (0, 0)][DBLP]
    ECBS, 1997, pp:347-0 [Conf]
  9. Miroslav Svéda, Franz Pichler, Charles Rattray
    IEEE/IFIP Joint Workshop on Formal Specifications of Computer-Based Systems. [Citation Graph (0, 0)][DBLP]
    ECBS, 2000, pp:382-382 [Conf]
  10. Miroslav Svéda, Charles Rattray
    Formal Specifications of Computer-Based Systems. [Citation Graph (0, 0)][DBLP]
    ECBS, 2001, pp:357-358 [Conf]
  11. Miroslav Svéda, Charles Rattray, Jerzy W. Rozenblit
    Formal Specifications of Computer-Based Systems. [Citation Graph (0, 0)][DBLP]
    ECBS, 2002, pp:224-225 [Conf]
  12. Miroslav Svéda, Charles Rattray, Jerzy W. Rozenblit
    Formal Specifications of Computer-Based Systems. [Citation Graph (0, 0)][DBLP]
    ECBS, 2003, pp:169-172 [Conf]
  13. Miroslav Svéda, Radimir Vrba
    Sensor Networking. [Citation Graph (0, 0)][DBLP]
    ECBS, 2001, pp:262-268 [Conf]
  14. Miroslav Svéda, Radimir Vrba
    An Integrated Framework for Sensor-Based Embedded Systems. [Citation Graph (0, 0)][DBLP]
    ECBS, 2002, pp:195-202 [Conf]
  15. Miroslav Svéda, Radimir Vrba, Frantisek Zezulka
    Coupling Architectures for Low- Level Fieldbusses. [Citation Graph (0, 0)][DBLP]
    ECBS, 2000, pp:148-155 [Conf]
  16. Miroslav Svéda
    An Approach to Safety Critical Systems Design. [Citation Graph (0, 0)][DBLP]
    EUROCAST, 1997, pp:34-49 [Conf]
  17. Miroslav Svéda
    Patterns for Embedded Systems Design. [Citation Graph (0, 0)][DBLP]
    EUROCAST, 1999, pp:80-89 [Conf]
  18. Miroslav Svéda
    A Prototyping Technique with an Asychronous Specification Language. [Citation Graph (0, 0)][DBLP]
    EUROMICRO, 1996, pp:151-157 [Conf]
  19. Miroslav Svéda, Frantisek Zezulka
    Interconnecting Low-Level Fieldbusses. [Citation Graph (0, 0)][DBLP]
    EUROMICRO, 1997, pp:614-0 [Conf]
  20. Miroslav Svéda, Radimir Vrba
    Fault maintenance in embedded systems applications - multiple lift control system as safety critical embedded application. [Citation Graph (0, 0)][DBLP]
    ICINCO-ICSO, 2006, pp:183-186 [Conf]
  21. Lukas Fujcik, Radimir Vrba, Miroslav Svéda
    A 16-bit switched-capacitor sigma-delta modulator matlab model exploiting two-step quantization process. [Citation Graph (0, 0)][DBLP]
    ICINCO-SPSMC, 2006, pp:142-147 [Conf]
  22. Pavel Ocenasek, Miroslav Svéda
    An Approach to Automated Design of Security Protocols. [Citation Graph (0, 0)][DBLP]
    ICN/ICONS/MCL, 2006, pp:77- [Conf]
  23. Miroslav Svéda, Radimir Vrba, Pavel Ocenasek
    Local Time Specifications of Networked Embedded Systems. [Citation Graph (0, 0)][DBLP]
    ICN/ICONS/MCL, 2006, pp:177- [Conf]
  24. Miroslav Svéda, Radimir Vrba
    Dependability-Driven Embedded Systems Networking. [Citation Graph (0, 0)][DBLP]
    ICN, 2007, pp:59- [Conf]
  25. Miroslav Svéda, Radimir Vrba
    Executable Specifications for Embedded Distributed Systems. [Citation Graph (0, 0)][DBLP]
    IEEE Computer, 2001, v:34, n:1, pp:138-140 [Journal]
  26. Miroslav Svéda
    Design method, fail-stop safety model, and embedded application. [Citation Graph (0, 0)][DBLP]
    Journal of Systems Architecture, 1997, v:43, n:1-5, pp:47-57 [Journal]
  27. Frantisek Scuglik, Miroslav Svéda
    Automatically Generated CSP Specifications. [Citation Graph (0, 0)][DBLP]
    J. UCS, 2003, v:9, n:11, pp:1277-1295 [Journal]
  28. Miroslav Svéda, Charles Rattray, Jerzy W. Rozenblit
    Formal Specification of Computer-Based Systems. [Citation Graph (0, 0)][DBLP]
    J. UCS, 2004, v:10, n:10, pp:1354-1356 [Journal]
  29. Miroslav Svéda, Ondrej Rysavy, Radimir Vrba
    Pattern-driven reuse of embedded control design - behavioral and architectural specifications in embedded control system designs. [Citation Graph (0, 0)][DBLP]
    ICINCO-ICSO, 2007, pp:409-416 [Conf]
  30. Michal Pavlik, Jiri Haze, Radimir Vrba, Miroslav Svéda
    Smart differential pressure sensor. [Citation Graph (0, 0)][DBLP]
    ICINCO-SPSMC, 2007, pp:244-248 [Conf]

  31. Industrial application development using case-based reasoning. [Citation Graph (, )][DBLP]


  32. Safety and Security-driven Design of Networked Embedded Systems. [Citation Graph (, )][DBLP]


  33. A Formal Model for Network-Wide Security Analysis. [Citation Graph (, )][DBLP]


  34. Fault Management Driven Design with Safety and Security Requirements. [Citation Graph (, )][DBLP]


  35. End-User DevelopmentFramework for Embedded System Applications. [Citation Graph (, )][DBLP]


  36. A Model for Measurement and Analysis of the Workflow Processes. [Citation Graph (, )][DBLP]


  37. Specification-Driven Design of Embedded Systems - Design Support for Networked Embedded Software Applications. [Citation Graph (, )][DBLP]


  38. Internet-Based Embedded System Architectures - End-User Development Support for Embedded System Applications. [Citation Graph (, )][DBLP]


  39. Specifications of Secure and Safe Embedded System Networks. [Citation Graph (, )][DBLP]


  40. Towards a Unified Security/Safety Framework - A Design Approach to Embedded System Applications. [Citation Graph (, )][DBLP]


  41. Meta-Design Support for Safe and Secure Networked Embedded Systems. [Citation Graph (, )][DBLP]


  42. Fault Management for Secure Embedded Systems. [Citation Graph (, )][DBLP]


  43. An RSIC-SE2004 curriculum framework. [Citation Graph (, )][DBLP]


Search in 0.018secs, Finished in 0.020secs
NOTICE1
System may not be available sometimes or not working properly, since it is still in development with continuous upgrades
NOTICE2
The rankings that are presented on this page should NOT be considered as formal since the citation info is incomplete in DBLP
 
System created by asidirop@csd.auth.gr [http://users.auth.gr/~asidirop/] © 2002
for Data Engineering Laboratory, Department of Informatics, Aristotle University © 2002