2008 |
9 | EE | Vaclav Mikolasek,
Astrit Ademaj,
Stanislav Racek:
Segmentation of standard ethernet messages in the time-triggered ethernet.
ETFA 2008: 392-399 |
2004 |
8 | EE | Petr Grillinger,
Premysl Brada,
Stanislav Racek:
Simulation Approach to Embedded System Programming and Testing.
ECBS 2004: 248-254 |
7 | EE | Premysl Brada,
Petr Grillinger,
Stanislav Racek:
High-Level Simulation of Embedded Systems: Experiences from the FIT Project.
ISORC 2004: 245-248 |
6 | | Stanislav Racek,
Pavel Herout,
Jan Hlavicka:
Dependability Evaluation of Time Triggered Architecture Using Simulation.
Computers and Artificial Intelligence 23(1): (2004) |
2003 |
5 | EE | Roman Jokl,
Stanislav Racek:
C-Sim version 5.0.
ACSD 2003: 229-230 |
2002 |
4 | EE | Jan Hlavicka,
Stanislav Racek:
C-Sim - The C Language Enhancement for Discrete-Time Simulations.
DSN 2002: 539 |
3 | EE | Pavel Herout,
Stanislav Racek,
Jan Hlavicka:
Model-Based Dependability Evaluation Method for TTP/C Based Systems.
EDCC 2002: 271-282 |
2000 |
2 | EE | Jan Hlavicka,
Stanislav Racek,
Pavel Herout:
Evaluation of process controller fault tolerance using simulation.
Simul. Pr. Theory 7(8): 769-790 (2000) |
1996 |
1 | EE | Jan Hlavicka,
Stanislav Racek,
Pavel Smrha:
Functional Validation of Fault-Tolerant Asynchronous Algorithms.
EUROMICRO 1996: 143-150 |