Bohuslav Křena

Products

• 2022

  Unite: An Adapter for Transforming Analysis Tools to Web Services via OSLC, Version 3.0, software
  Authors: Vašíček Ondřej, Fiedor Jan, Smrčka Aleš, Vojnar Tomáš, Křena Bohuslav

• 2020

  ANaConDA: A Framework for Analysing Multi-threaded C/C++ Programs on the Binary Level, Version 0.4, software
  Authors: Fiedor Jan, Vašíček Ondřej, Mužikovská Monika, Smrčka Aleš, Vojnar Tomáš, Křena Bohuslav

  OSLC ANaConDA Adapter, Version 1.0, software
  Authors: Vašíček Ondřej, Fiedor Jan, Smrčka Aleš, Vojnar Tomáš, Křena Bohuslav

• 2011

  A Tool Chain Combining Dynamic Analysis and Bounded Model Checking, software
  Authors: Dudka Vendula, Fiedor Jan, Křena Bohuslav, Vojnar Tomáš

• 2010

  Replay Tracer & BMC, software
  Authors: Dudka Vendula, Fiedor Jan, Křena Bohuslav, Letko Zdeněk, Vojnar Tomáš

  Search-based Testing Environment (SearchBestie), software
  Authors: Letko Zdeněk, Vojnar Tomáš, Křena Bohuslav

• 2008

  Java Atomicity Violation Detector & Healer, software
  Authors: Letko Zdeněk, Vojnar Tomáš, Křena Bohuslav

  Model checking Using Symbolic Execution, software
  Authors: Křena Bohuslav, Braione Pietro, Denaro Giovanni, Pezze Mauro

• 2007

  Java Race Detector & Healer, software
  Authors: Letko Zdeněk, Vojnar Tomáš, Křena Bohuslav