Bohuslav Křena

Produkty

• 2020

  ANaConDA: Prostředí pro analýzu vícevláknových C/C++ programů na binární úrovni, verze 0.4, software
  Autoři: Fiedor Jan, Vašíček Ondřej, Mužikovská Monika, Smrčka Aleš, Vojnar Tomáš, Křena Bohuslav

  OSLC adaptér pro nástroj ANaConDA Adapter, verze 1.0, software
  Autoři: Vašíček Ondřej, Fiedor Jan, Smrčka Aleš, Vojnar Tomáš, Křena Bohuslav

• 2011

  Nástroj propojující dynamickou analýzu a bounded model checking, software
  Autoři: Dudka Vendula, Fiedor Jan, Křena Bohuslav, Vojnar Tomáš

• 2010

  Nástroj pro přehrávání běhu programu (Replay Tracer & BMC), software
  Autoři: Dudka Vendula, Fiedor Jan, Křena Bohuslav, Letko Zdeněk, Vojnar Tomáš

  Testovací prostředí využívající techniky prohledávání prostoru (SearchBestie), software
  Autoři: Letko Zdeněk, Vojnar Tomáš, Křena Bohuslav

• 2008

  MUSE - model checking s využitím symbolického provádění, software
  Autoři: Křena Bohuslav, Braione Pietro, Denaro Giovanni, Pezze Mauro

  Nástroj pro detekci a opravu chyb v atomicitě programů, software
  Autoři: Letko Zdeněk, Vojnar Tomáš, Křena Bohuslav

• 2007

  Nástroj pro detekci a opravu časově závislých chyb v Javě, software
  Autoři: Letko Zdeněk, Vojnar Tomáš, Křena Bohuslav