Stanislav Racek

According to our database, Stanislav Racek authored at least 14 papers between 1996 and 2017.

Collaborative distances:

• Dijkstra number of five.
• Erdős number of four.

2017

Performance improvement of distributed file system using tunneling.

Ladislav Pesicka, Lubos Matejka, Jirí Safarík, Stanislav Racek

Proceedings of the Fifth European Conference on the Engineering of Computer-Based Systems, 2017

2014

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

Proceedings of the 17th Euromicro Conference on Digital System Design, 2014

2013

Optimizing software integration in component-based embedded systems by using simulated annealing.

Michael Steindl, Michael Niemetz, Jürgen Mottok, Stanislav Racek

Proceedings of Eurocon 2013, 2013

Data Flow Analysis of Software Executed by Unreliable Hardware.

Peter Raab, Stanislav Racek, Stefan Krämer, Jürgen Mottok

Proceedings of the 2013 Euromicro Conference on Digital System Design, 2013

2012

Reliability of Task Execution During Safe Software Processing.

Peter Raab, Stefan Krämer, Jürgen Mottok, Stanislav Racek

Proceedings of the 15th Euromicro Conference on Digital System Design, 2012

2008

Segmentation of standard ethernet messages in the time-triggered ethernet.

Vaclav Mikolasek, Astrit Ademaj, Stanislav Racek

Proceedings of 13th IEEE International Conference on Emerging Technologies and Factory Automation, 2008

2004

Dependability Evaluation of Time Triggered Architecture Using Simulation.

Stanislav Racek, Pavel Herout, Jan Hlavicka

Comput. Artif. Intell., 2004

High-Level Simulation of Embedded Systems: Experiences from the FIT Project.

Premysl Brada, Petr Grillinger, Stanislav Racek

Proceedings of the 7th IEEE International Symposium on Object-Oriented Real-Time Distributed Computing (ISORC 2004), 2004

Simulation Approach to Embedded System Programming and Testing.

Petr Grillinger, Premysl Brada, Stanislav Racek

Proceedings of the 11th IEEE International Conference on the Engineering of Computer-Based Systems (ECBS 2004), 2004

2003

C-Sim version 5.0.

Roman Jokl, Stanislav Racek

Proceedings of the 3rd International Conference on Application of Concurrency to System Design (ACSD 2003), 2003

2002

Model-Based Dependability Evaluation Method for TTP/C Based Systems.

Pavel Herout, Stanislav Racek, Jan Hlavicka

Proceedings of the Dependable Computing, 2002

C-Sim - The C Language Enhancement for Discrete-Time Simulations.

Jan Hlavicka, Stanislav Racek

Proceedings of the 2002 International Conference on Dependable Systems and Networks (DSN 2002), 2002

2000

Evaluation of process controller fault tolerance using simulation.

Jan Hlavicka, Stanislav Racek, Pavel Herout

Simul. Pract. Theory, 2000

1996

Functional Validation of Fault-Tolerant Asynchronous Algorithms.

Jan Hlavicka, Stanislav Racek, Pavel Smrha

Proceedings of the 22rd EUROMICRO Conference '96, 1996