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