Bohuslav Křena

Produkty

• 2022

  Unite: Adaptér pro zpřístupnění nástrojů pro analýzu softwaru přes webové služby s využitím OSLC, Verze 3.0, software, 2022
  Autoři: VAŠÍČEK, O.; FIEDOR, J.; SMRČKA, A.; VOJNAR, T.; KŘENA, B.

• 2020

  ANaConDA: Prostředí pro analýzu vícevláknových C/C++ programů na binární úrovni, verze 0.4, software, 2020
  Autoři: FIEDOR, J.; VAŠÍČEK, O.; MUŽIKOVSKÁ, M.; SMRČKA, A.; VOJNAR, T.; KŘENA, B.

  OSLC adaptér pro nástroj ANaConDA Adapter, verze 1.0, software, 2020
  Autoři: VAŠÍČEK, O.; FIEDOR, J.; SMRČKA, A.; VOJNAR, T.; KŘENA, B.

• 2011

  Nástroj propojující dynamickou analýzu a bounded model checking, software, 2011
  Autoři: DUDKA, V.; FIEDOR, J.; VOJNAR, T.; KŘENA, B.

• 2010

  Nástroj pro přehrávání běhu programu (Replay Tracer & BMC), software, 2010
  Autoři: DUDKA, V.; FIEDOR, J.; KŘENA, B.; LETKO, Z.; VOJNAR, T.

  Testovací prostředí využívající techniky prohledávání prostoru (SearchBestie), software, 2010
  Autoři: LETKO, Z.; VOJNAR, T.; KŘENA, B.

• 2008

  MUSE - model checking s využitím symbolického provádění, software, 2008
  Autoři: KŘENA, B.; BRAIONE, P.; DENARO, G.; PEZZE, M.

  Nástroj pro detekci a opravu chyb v atomicitě programů, software, 2008
  Autoři: LETKO, Z.; VOJNAR, T.; KŘENA, B.

• 2007

  Nástroj pro detekci a opravu časově závislých chyb v Javě, software, 2007
  Autoři: LETKO, Z.; VOJNAR, T.; KŘENA, B.