Stanislav Racek
Publication record assembled from the DBLP archive of ranked conferences.
Papers indexed
7
Venues
5
Active years
2002–2014
Best venue rank
C
Where they publish
Papers
7 indexed papers, newest first.
| Year | Venue | Title | Authors |
|---|---|---|---|
| 2014 | DSD | Comparison of Enhanced Markov Models and Discrete Event Simulation: For Evaluation of Probabilistic Faults in Safety-Critical Real-Time Task Sets. | Stefan Krmer, Peter Raab, Jrgen Mottok, Stanislav Racek |
| 2013 | DSD | Data Flow Analysis of Software Executed by Unreliable Hardware. | Peter Raab, Stanislav Racek, Stefan Krmer, Jrgen Mottok |
| 2012 | DSD | Reliability of Task Execution During Safe Software Processing. | Peter Raab, Stefan Krmer, Jrgen Mottok, Stanislav Racek |
| 2008 | ETFA | Segmentation of standard ethernet messages in the time-triggered ethernet. | Vaclav Mikolasek, Astrit Ademaj, Stanislav Racek |
| 2004 | ISORC | High-Level Simulation of Embedded Systems: Experiences from the FIT Project. | Premysl Brada, Petr Grillinger, Stanislav Racek |
| 2002 | DSN | C-Sim - The C Language Enhancement for Discrete-Time Simulations. | Jan Hlavicka, Stanislav Racek |
| 2002 | EDCC | Model-Based Dependability Evaluation Method for TTP/C Based Systems. | Pavel Herout, Stanislav Racek, Jan Hlavicka |