Bohuslav Křena

Ostatní výsledky

• 2013

  Testing Concurrent Programs Using Multi-objective Genetic Algorithms, zpráva odborná, 2013
  Autoři: DUDKA, V.; KŘENA, B.; LETKO, Z.; ŠIMKOVÁ, H.; VOJNAR, T.

• 2012

  Testing of Concurrent Programs Using Genetic Algorithms, zpráva odborná, 2012
  Autoři: DUDKA, V.; KŘENA, B.; LETKO, Z.; VOJNAR, T.

• 2011

  DA-BMC: A Tool Chain Combining Dynamic Analysis and Bounded Model Checking, zpráva odborná, 2011
  Autoři: DUDKA, V.; FIEDOR, J.; KŘENA, B.; VOJNAR, T.

• 2010

  A Uniform Classification of Common Concurrency Errors, zpráva odborná, 2010
  Autoři: FIEDOR, J.; KŘENA, B.; LETKO, Z.; VOJNAR, T.

• 2009

  A Concurrency Testing Tool and its Plug-ins for Dynamic Analysis and Runtime Healing, zpráva odborná, 2009
  Autoři: 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, zpráva odborná, 2007
  Autoři: KŘENA, B.; LETKO, Z.; TZOREF-BRILL, R.; UR, S.; VOJNAR, T.

  SHADOWS - Deliverable D3.2.3: Report on Safety of Program Modifications, zpráva odborná, 2007
  Autoři: DUDKA, V.; KŘENA, B.; LETKO, Z.; VOJNAR, T.

• 2004

  Preliminaries of Model Checking Based on Symbolic Execution, zpráva odborná, 2004
  Autoři: KŘENA, B.