Ing.

Bohuslav Křena

Ph.D.

Proděkan pro efektivitu a akademické záležitosti

Produkty

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