Bohuslav Křena

Other Results

• 2013

  Testing Concurrent Programs Using Multi-objective Genetic Algorithms, report, 2013
  Authors: DUDKA, V.; KŘENA, B.; LETKO, Z.; ŠIMKOVÁ, H.; VOJNAR, T.

• 2012

  Testing of Concurrent Programs Using Genetic Algorithms, report, 2012
  Authors: DUDKA, V.; KŘENA, B.; LETKO, Z.; VOJNAR, T.

• 2011

  DA-BMC: A Tool Chain Combining Dynamic Analysis and Bounded Model Checking, report, 2011
  Authors: DUDKA, V.; FIEDOR, J.; KŘENA, B.; VOJNAR, T.

• 2010

  A Uniform Classification of Common Concurrency Errors, report, 2010
  Authors: FIEDOR, J.; KŘENA, B.; LETKO, Z.; VOJNAR, T.

• 2009

  A Concurrency Testing Tool and its Plug-ins for Dynamic Analysis and Runtime Healing, report, 2009
  Authors: LETKO, Z.; VOJNAR, T.; KŘENA, B.; NIR-BUCHBINDER, Y.; TZOREF-BRILL, R.; UR, S.

• 2007

  SHADOWS - Deliverable D3.2.1: Research Report on Methodology for Self-Healing Concurrent Code Fixing, report, 2007
  Authors: KŘENA, B.; LETKO, Z.; TZOREF-BRILL, R.; UR, S.; VOJNAR, T.

  SHADOWS - Deliverable D3.2.3: Report on Safety of Program Modifications, report, 2007
  Authors: DUDKA, V.; KŘENA, B.; LETKO, Z.; VOJNAR, T.

• 2004

  Preliminaries of Model Checking Based on Symbolic Execution, report, 2004
  Authors: KŘENA, B.