Ing.
Bohuslav Křena
Ph.D.
proděkan pro efektivitu a akademické záležitosti
+420 54114 1233
prodekan-efektivita@fit.vut.cz
krena@fit.vut.cz
A308 Kancelář
Produkty
-
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.