BibTeX records: Stanislav Racek

download as .bib file

@inproceedings{DBLP:conf/ecbs/PesickaMSR17,
  author       = {Ladislav Pesicka and
                  Lubos Matejka and
                  Jir{\'{\i}} Safar{\'{\i}}k and
                  Stanislav Racek},
  editor       = {Ondrej Rysav{\'{y}} and
                  Valentino Vranic and
                  George Angelos Papadopoulos},
  title        = {Performance improvement of distributed file system using tunneling},
  booktitle    = {Proceedings of the Fifth European Conference on the Engineering of
                  Computer-Based Systems, {ECBS} 2017, Larnaca, Cyprus, August 31 -
                  September 01, 2017},
  pages        = {15:1--15:8},
  publisher    = {{ACM}},
  year         = {2017},
  url          = {https://doi.org/10.1145/3123779.3123791},
  doi          = {10.1145/3123779.3123791},
  timestamp    = {Sat, 30 Sep 2023 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/ecbs/PesickaMSR17.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/dsd/KramerRMR14,
  author       = {Stefan Kr{\"{a}}mer and
                  Peter Raab and
                  J{\"{u}}rgen Mottok and
                  Stanislav Racek},
  title        = {Comparison of Enhanced Markov Models and Discrete Event Simulation:
                  For Evaluation of Probabilistic Faults in Safety-Critical Real-Time
                  Task Sets},
  booktitle    = {17th Euromicro Conference on Digital System Design, {DSD} 2014, Verona,
                  Italy, August 27-29, 2014},
  pages        = {591--598},
  publisher    = {{IEEE} Computer Society},
  year         = {2014},
  url          = {https://doi.org/10.1109/DSD.2014.42},
  doi          = {10.1109/DSD.2014.42},
  timestamp    = {Thu, 23 Mar 2023 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/dsd/KramerRMR14.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/dsd/RaabRKM13,
  author       = {Peter Raab and
                  Stanislav Racek and
                  Stefan Kr{\"{a}}mer and
                  J{\"{u}}rgen Mottok},
  title        = {Data Flow Analysis of Software Executed by Unreliable Hardware},
  booktitle    = {2013 Euromicro Conference on Digital System Design, {DSD} 2013, Los
                  Alamitos, CA, USA, September 4-6, 2013},
  pages        = {243--249},
  publisher    = {{IEEE} Computer Society},
  year         = {2013},
  url          = {https://doi.org/10.1109/DSD.2013.35},
  doi          = {10.1109/DSD.2013.35},
  timestamp    = {Thu, 23 Mar 2023 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/dsd/RaabRKM13.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/eurocon/SteindlNMR13,
  author       = {Michael Steindl and
                  Michael Niemetz and
                  J{\"{u}}rgen Mottok and
                  Stanislav Racek},
  title        = {Optimizing software integration in component-based embedded systems
                  by using simulated annealing},
  booktitle    = {Proceedings of Eurocon 2013, International Conference on Computer
                  as a Tool, Zagreb, Croatia, July 1-4, 2013},
  pages        = {446--451},
  publisher    = {{IEEE}},
  year         = {2013},
  url          = {https://doi.org/10.1109/EUROCON.2013.6625020},
  doi          = {10.1109/EUROCON.2013.6625020},
  timestamp    = {Wed, 16 Oct 2019 14:14:56 +0200},
  biburl       = {https://dblp.org/rec/conf/eurocon/SteindlNMR13.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/dsd/RaabKMR12,
  author       = {Peter Raab and
                  Stefan Kr{\"{a}}mer and
                  J{\"{u}}rgen Mottok and
                  Stanislav Racek},
  title        = {Reliability of Task Execution During Safe Software Processing},
  booktitle    = {15th Euromicro Conference on Digital System Design, {DSD} 2012, Cesme,
                  Izmir, Turkey, September 5-8, 2012},
  pages        = {84--89},
  publisher    = {{IEEE} Computer Society},
  year         = {2012},
  url          = {https://doi.org/10.1109/DSD.2012.110},
  doi          = {10.1109/DSD.2012.110},
  timestamp    = {Thu, 23 Mar 2023 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/dsd/RaabKMR12.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/etfa/MikolasekAR08,
  author       = {Vaclav Mikolasek and
                  Astrit Ademaj and
                  Stanislav Racek},
  title        = {Segmentation of standard ethernet messages in the time-triggered ethernet},
  booktitle    = {Proceedings of 13th {IEEE} International Conference on Emerging Technologies
                  and Factory Automation, {ETFA} 2008, September 15-18, 2008, Hamburg,
                  Germany},
  pages        = {392--399},
  publisher    = {{IEEE}},
  year         = {2008},
  url          = {https://doi.org/10.1109/ETFA.2008.4638423},
  doi          = {10.1109/ETFA.2008.4638423},
  timestamp    = {Wed, 16 Oct 2019 14:14:55 +0200},
  biburl       = {https://dblp.org/rec/conf/etfa/MikolasekAR08.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/cai/RacekHH04,
  author       = {Stanislav Racek and
                  Pavel Herout and
                  Jan Hlavicka},
  title        = {Dependability Evaluation of Time Triggered Architecture Using Simulation},
  journal      = {Comput. Artif. Intell.},
  volume       = {23},
  number       = {1},
  pages        = {51--76},
  year         = {2004},
  url          = {http://www.cai.sk/ojs/index.php/cai/article/view/408},
  timestamp    = {Mon, 14 Feb 2022 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/journals/cai/RacekHH04.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/ecbs/GrillingerBR04,
  author       = {Petr Grillinger and
                  Premysl Brada and
                  Stanislav Racek},
  title        = {Simulation Approach to Embedded System Programming and Testing},
  booktitle    = {11th {IEEE} International Conference on the Engineering of Computer-Based
                  Systems {(ECBS} 2004), 24-27 May 2004, Brno, Czech Republic},
  pages        = {248--254},
  publisher    = {{IEEE} Computer Society},
  year         = {2004},
  url          = {https://doi.org/10.1109/ECBS.2004.1316706},
  doi          = {10.1109/ECBS.2004.1316706},
  timestamp    = {Thu, 23 Mar 2023 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/ecbs/GrillingerBR04.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/isorc/BradaGR04,
  author       = {Premysl Brada and
                  Petr Grillinger and
                  Stanislav Racek},
  title        = {High-Level Simulation of Embedded Systems: Experiences from the {FIT}
                  Project},
  booktitle    = {7th {IEEE} International Symposium on Object-Oriented Real-Time Distributed
                  Computing {(ISORC} 2004), 12-14 May 2004, Vienna, Austria},
  pages        = {245--248},
  publisher    = {{IEEE} Computer Society},
  year         = {2004},
  url          = {https://doi.org/10.1109/ISORC.2004.1300363},
  doi          = {10.1109/ISORC.2004.1300363},
  timestamp    = {Fri, 24 Mar 2023 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/isorc/BradaGR04.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/acsd/JoklR03,
  author       = {Roman Jokl and
                  Stanislav Racek},
  title        = {C-Sim version 5.0},
  booktitle    = {3rd International Conference on Application of Concurrency to System
                  Design {(ACSD} 2003), 18-20 June 2003, Guimaraes, Portugal},
  pages        = {229--230},
  publisher    = {{IEEE} Computer Society},
  year         = {2003},
  url          = {https://doi.org/10.1109/CSD.2003.1207717},
  doi          = {10.1109/CSD.2003.1207717},
  timestamp    = {Fri, 24 Mar 2023 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/acsd/JoklR03.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/dsn/HlavickaR02,
  author       = {Jan Hlavicka and
                  Stanislav Racek},
  title        = {C-Sim - The {C} Language Enhancement for Discrete-Time Simulations},
  booktitle    = {2002 International Conference on Dependable Systems and Networks {(DSN}
                  2002), 23-26 June 2002, Bethesda, MD, USA, Proceedings},
  pages        = {539},
  publisher    = {{IEEE} Computer Society},
  year         = {2002},
  url          = {https://doi.org/10.1109/DSN.2002.1028956},
  doi          = {10.1109/DSN.2002.1028956},
  timestamp    = {Fri, 24 Mar 2023 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/dsn/HlavickaR02.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/edcc/HeroutRH02,
  author       = {Pavel Herout and
                  Stanislav Racek and
                  Jan Hlavicka},
  editor       = {Fabrizio Grandoni and
                  Pascale Th{\'{e}}venod{-}Fosse},
  title        = {Model-Based Dependability Evaluation Method for {TTP/C} Based Systems},
  booktitle    = {Dependable Computing - EDCC-4, 4th European Dependable Computing Conference,
                  Toulouse, France, October 23-25, 2002, Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {2485},
  pages        = {271--282},
  publisher    = {Springer},
  year         = {2002},
  url          = {https://doi.org/10.1007/3-540-36080-8\_23},
  doi          = {10.1007/3-540-36080-8\_23},
  timestamp    = {Tue, 14 May 2019 10:00:54 +0200},
  biburl       = {https://dblp.org/rec/conf/edcc/HeroutRH02.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/simpra/HlavickaRH00,
  author       = {Jan Hlavicka and
                  Stanislav Racek and
                  Pavel Herout},
  title        = {Evaluation of process controller fault tolerance using simulation},
  journal      = {Simul. Pract. Theory},
  volume       = {7},
  number       = {8},
  pages        = {769--790},
  year         = {2000},
  url          = {https://doi.org/10.1016/S0928-4869(00)00009-4},
  doi          = {10.1016/S0928-4869(00)00009-4},
  timestamp    = {Mon, 18 May 2020 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/simpra/HlavickaRH00.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/euromicro/HlavickaRS96,
  author       = {Jan Hlavicka and
                  Stanislav Racek and
                  Pavel Smrha},
  title        = {Functional Validation of Fault-Tolerant Asynchronous Algorithms},
  booktitle    = {22rd {EUROMICRO} Conference '96, Beyond 2000: Hardware and Software
                  Design Strategies, September 2-5, 1996, Prague, Czech Republic},
  pages        = {143--150},
  publisher    = {{IEEE} Computer Society},
  year         = {1996},
  url          = {https://doi.org/10.1109/EURMIC.1996.546376},
  doi          = {10.1109/EURMIC.1996.546376},
  timestamp    = {Fri, 24 Mar 2023 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/euromicro/HlavickaRS96.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
a service of  Schloss Dagstuhl - Leibniz Center for Informatics

manage site settings

To protect your privacy, all features that rely on external API calls from your browser are turned off by default. You need to opt-in for them to become active. All settings here will be stored as cookies with your web browser. For more information see our F.A.Q.