Stanislav Racek

Publication Activity (10 Years)

Years Active: 1996-2017
Publications (10 Years): 1

Top Topics

Discrete Event Simulation

Consumer Electronics

Computing Power

Top Venues

Publications

Ladislav Pesicka, Lubos Matejka, Jirí Safarík, Stanislav Racek
Performance improvement of distributed file system using tunneling. ECBS (2017)
Stefan Krämer, Peter Raab, Jürgen Mottok, Stanislav Racek
Comparison of Enhanced Markov Models and Discrete Event Simulation: For Evaluation of Probabilistic Faults in Safety-Critical Real-Time Task Sets. DSD (2014)
Michael Steindl, Michael Niemetz, Jürgen Mottok, Stanislav Racek
Optimizing software integration in component-based embedded systems by using simulated annealing. EUROCON (2013)
Peter Raab, Stanislav Racek, Stefan Krämer, Jürgen Mottok
Data Flow Analysis of Software Executed by Unreliable Hardware. DSD (2013)
Peter Raab, Stefan Krämer, Jürgen Mottok, Stanislav Racek
Reliability of Task Execution During Safe Software Processing. DSD (2012)
Vaclav Mikolasek, Astrit Ademaj, Stanislav Racek
Segmentation of standard ethernet messages in the time-triggered ethernet. ETFA (2008)
Stanislav Racek, Pavel Herout, Jan Hlavicka
Dependability Evaluation of Time Triggered Architecture Using Simulation. Comput. Artif. Intell. 23 (1) (2004)
Petr Grillinger, Premysl Brada, Stanislav Racek
Simulation Approach to Embedded System Programming and Testing. ECBS (2004)
Premysl Brada, Petr Grillinger, Stanislav Racek
High-Level Simulation of Embedded Systems: Experiences from the FIT Project. ISORC (2004)
Roman Jokl, Stanislav Racek
C-Sim version 5.0. ACSD (2003)
Pavel Herout, Stanislav Racek, Jan Hlavicka
Model-Based Dependability Evaluation Method for TTP/C Based Systems. EDCC (2002)
Jan Hlavicka, Stanislav Racek
C-Sim - The C Language Enhancement for Discrete-Time Simulations. DSN (2002)
Jan Hlavicka, Stanislav Racek, Pavel Herout
Evaluation of process controller fault tolerance using simulation. Simul. Pract. Theory 7 (8) (2000)
Jan Hlavicka, Stanislav Racek, Pavel Smrha
Functional Validation of Fault-Tolerant Asynchronous Algorithms. EUROMICRO (1996)