| 2008 |
|---|
| 36 | EE | Petr Matousek,
Jaroslav Ráb,
Ondrej Rysavy,
Miroslav Svéda:
A Formal Model for Network-Wide Security Analysis.
ECBS 2008: 171-181 |
| 35 | EE | Miroslav Svéda,
Radimir Vrba:
Meta-Design Support for Safe and Secure Networked Embedded Systems.
ICONS 2008: 69-74 |
| 2007 |
|---|
| 34 | | Miroslav Svéda,
Ondrej Rysavy:
Industrial application development using case-based reasoning.
ANNIIP 2007: 76-82 |
| 33 | EE | Miroslav Svéda,
Roman Trchalik:
Safety and Security-driven Design of Networked Embedded Systems.
DSD 2007: 420-423 |
| 32 | EE | Miroslav Svéda:
End-User DevelopmentFramework for Embedded System Applications.
ECBS 2007: 186-194 |
| 31 | | Miroslav Svéda,
Ondrej Rysavy,
Radimir Vrba:
Pattern-driven reuse of embedded control design - behavioral and architectural specifications in embedded control system designs.
ICINCO-ICSO 2007: 409-416 |
| 30 | | Michal Pavlik,
Jiri Haze,
Radimir Vrba,
Miroslav Svéda:
Smart differential pressure sensor.
ICINCO-SPSMC 2007: 244-248 |
| 29 | EE | Miroslav Svéda,
Radimir Vrba:
Dependability-Driven Embedded Systems Networking.
ICN 2007: 59 |
| 28 | | Miroslav Svéda,
Radimir Vrba:
Towards a Unified Security/Safety Framework - A Design Approach to Embedded System Applications.
ICSOFT (SE) 2007: 345-350 |
| 2006 |
|---|
| 27 | EE | Ondrej Rysavy,
Frantisek Scuglik,
Miroslav Svéda:
Designing algorithm-oriented generic library on .NET framework.
ECBS 2006: 159-163 |
| 26 | | 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 |
| 25 | | 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 |
| 24 | EE | Miroslav Svéda,
Radimir Vrba,
Pavel Ocenasek:
Local Time Specifications of Networked Embedded Systems.
ICN/ICONS/MCL 2006: 177 |
| 23 | EE | Pavel Ocenasek,
Miroslav Svéda:
An Approach to Automated Design of Security Protocols.
ICN/ICONS/MCL 2006: 77 |
| 2005 |
|---|
| 22 | EE | Frantisek Bures,
Ondrej Rysavy,
Frantisek Scuglik,
Miroslav Svéda:
A Framework for Formal Specification of Embedded Systems.
ECBS 2005: 323-330 |
| 2004 |
|---|
| 21 | EE | Miroslav Svéda:
A Design Framework for Internet-Based Embedded Distributed Systems.
ECBS 2004: 113-120 |
| 20 | EE | Miroslav Svéda,
Charles Rattray,
Jerzy W. Rozenblit:
Formal Specification of Computer-Based Systems.
J. UCS 10(10): 1354-1356 (2004) |
| 2003 |
|---|
| 19 | EE | Miroslav Svéda:
Rapid Prototyping of Networked Embedded Systems.
ECBS 2003: 125-132 |
| 18 | EE | Miroslav Svéda,
Charles Rattray,
Jerzy W. Rozenblit:
Formal Specifications of Computer-Based Systems.
ECBS 2003: 169-172 |
| 17 | EE | Frantisek Scuglik,
Miroslav Svéda:
Automatically Generated CSP Specifications.
J. UCS 9(11): 1277-1295 (2003) |
| 2002 |
|---|
| 16 | EE | Miroslav Svéda,
Radimir Vrba:
An Integrated Framework for Sensor-Based Embedded Systems.
ECBS 2002: 195-202 |
| 15 | EE | Miroslav Svéda,
Charles Rattray,
Jerzy W. Rozenblit:
Formal Specifications of Computer-Based Systems.
ECBS 2002: 224-225 |
| 2001 |
|---|
| 14 | EE | Miroslav Svéda,
Radimir Vrba:
Sensor Networking.
ECBS 2001: 262-268 |
| 13 | EE | Miroslav Svéda,
Charles Rattray:
Formal Specifications of Computer-Based Systems.
ECBS 2001: 357-358 |
| 12 | EE | Miroslav Svéda,
Radimir Vrba:
Executable Specifications for Embedded Distributed Systems.
IEEE Computer 34(1): 138-140 (2001) |
| 2000 |
|---|
| 11 | EE | Miroslav Svéda,
Radimir Vrba,
Frantisek Zezulka:
Coupling Architectures for Low- Level Fieldbusses.
ECBS 2000: 148-155 |
| 10 | EE | Miroslav Svéda,
Franz Pichler,
Charles Rattray:
IEEE/IFIP Joint Workshop on Formal Specifications of Computer-Based Systems.
ECBS 2000: 382-382 |
| 1999 |
|---|
| 9 | EE | 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 |
| 8 | EE | Miroslav Svéda:
Application Patterns for Computer-Based Systems Design Reuse.
ECBS 1999: 92-98 |
| 7 | | Miroslav Svéda:
Patterns for Embedded Systems Design.
EUROCAST 1999: 80-89 |
| 1997 |
|---|
| 6 | EE | Miroslav Svéda,
Otakar Babka,
Jana Freeburn:
Knowledge Preserving Development: A Case Study.
ECBS 1997: 347- |
| 5 | | Miroslav Svéda:
An Approach to Safety Critical Systems Design.
EUROCAST 1997: 34-49 |
| 4 | EE | Miroslav Svéda,
Frantisek Zezulka:
Interconnecting Low-Level Fieldbusses.
EUROMICRO 1997: 614- |
| 3 | | Miroslav Svéda:
Design method, fail-stop safety model, and embedded application.
Journal of Systems Architecture 43(1-5): 47-57 (1997) |
| 1996 |
|---|
| 2 | EE | Miroslav Svéda:
Embedded system design: a case study.
ECBS 1996: 260- |
| 1 | EE | Miroslav Svéda:
A Prototyping Technique with an Asychronous Specification Language.
EUROMICRO 1996: 151-157 |
