dblp.uni-trier.dewww.uni-trier.de

Stanislav Racek

List of publications from the DBLP Bibliography Server - FAQ
Coauthor Index - Ask others: ACM DL/Guide - CiteSeer - CSB - Google - MSN - Yahoo

2008
9EEVaclav Mikolasek, Astrit Ademaj, Stanislav Racek: Segmentation of standard ethernet messages in the time-triggered ethernet. ETFA 2008: 392-399
2004
8EEPetr Grillinger, Premysl Brada, Stanislav Racek: Simulation Approach to Embedded System Programming and Testing. ECBS 2004: 248-254
7EEPremysl 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
5EERoman Jokl, Stanislav Racek: C-Sim version 5.0. ACSD 2003: 229-230
2002
4EEJan Hlavicka, Stanislav Racek: C-Sim - The C Language Enhancement for Discrete-Time Simulations. DSN 2002: 539
3EEPavel Herout, Stanislav Racek, Jan Hlavicka: Model-Based Dependability Evaluation Method for TTP/C Based Systems. EDCC 2002: 271-282
2000
2EEJan Hlavicka, Stanislav Racek, Pavel Herout: Evaluation of process controller fault tolerance using simulation. Simul. Pr. Theory 7(8): 769-790 (2000)
1996
1EEJan Hlavicka, Stanislav Racek, Pavel Smrha: Functional Validation of Fault-Tolerant Asynchronous Algorithms. EUROMICRO 1996: 143-150

Coauthor Index

1Astrit Ademaj [9]
2Premysl Brada [7] [8]
3Petr Grillinger [7] [8]
4Pavel Herout [2] [3] [6]
5Jan Hlavicka [1] [2] [3] [4] [6]
6Roman Jokl [5]
7Vaclav Mikolasek [9]
8Pavel Smrha [1]

Colors in the list of coauthors

Copyright © Sun May 17 03:24:02 2009 by Michael Ley (ley@uni-trier.de)