Functional Validation of Fault-Tolerant Asynchronous Algorithms. - Jan Hlavicka; Stanislav Racek; Pavel Smrha (EUROMICRO, 1996)

Evaluation of process controller fault tolerance using simulation. - Jan Hlavicka; Stanislav Racek; Pavel Herout (Simul. Pract. Theory, 2000)

C-Sim - The C Language Enhancement for Discrete-Time Simulations. - Jan Hlavicka; Stanislav Racek (DSN, 2002)

Model-Based Dependability Evaluation Method for TTP/C Based Systems. - Pavel Herout; Stanislav Racek; Jan Hlavicka (EDCC, 2002)

C-Sim version 5.0. - Roman Jokl; Stanislav Racek (ACSD, 2003)

Simulation Approach to Embedded System Programming and Testing. - Petr Grillinger; Premysl Brada; Stanislav Racek (ECBS, 2004)

High-Level Simulation of Embedded Systems: Experiences from the FIT Project. - Premysl Brada; Petr Grillinger; Stanislav Racek (ISORC, 2004)

Dependability Evaluation of Time Triggered Architecture Using Simulation. - Stanislav Racek; Pavel Herout; Jan Hlavicka (Comput. Artif. Intell., 2004)

Segmentation of standard ethernet messages in the time-triggered ethernet. - Vaclav Mikolasek; Astrit Ademaj; Stanislav Racek (ETFA, 2008)

Reliability of Task Execution During Safe Software Processing. - Peter Raab; Stefan Krämer; Jürgen Mottok; Stanislav Racek (DSD, 2012)

Data Flow Analysis of Software Executed by Unreliable Hardware. - Peter Raab; Stanislav Racek; Stefan Krämer; Jürgen Mottok (DSD, 2013)

Optimizing software integration in component-based embedded systems by using simulated annealing. - Michael Steindl; Michael Niemetz; Jürgen Mottok; Stanislav Racek (EUROCON, 2013)

Comparison of Enhanced Markov Models and Discrete Event Simulation: For Evaluation of Probabilistic Faults in Safety-Critical Real-Time Task Sets. - Stefan Krämer; Peter Raab; Jürgen Mottok; Stanislav Racek (DSD, 2014)

Performance improvement of distributed file system using tunneling. - Ladislav Pesicka; Lubos Matejka; Jirí Safarík; Stanislav Racek (ECBS, 2017)