Ing. Bohuslav Křena, Ph.D.
| 2011 | Nástroj propojující dynamickou analýzu a bounded model checking, software, 2011 Autoři: Fiedor Jan, Hrubá Vendula, Křena Bohuslav, Vojnar Tomáš |
| 2010 | Nástroj pro přehrávání běhu programu (Replay Tracer & BMC), software, 2010 Autoři: Fiedor Jan, Hrubá Vendula, Křena Bohuslav, Letko Zdeněk, Vojnar Tomáš |
| | Testovací prostředí využívající techniky prohledávání prostoru (SearchBestie), software, 2010 Autoři: Letko Zdeněk, Vojnar Tomáš, Křena Bohuslav |
| 2008 | MUSE - model checking s využitím symbolického provádění, software, 2008 Autoři: Křena Bohuslav, Braione Pietro, Denaro Giovanni, Pezze Mauro |
| | Nástroj pro detekci a opravu chyb v atomicitě programů, software, 2008 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, 2007 Autoři: Letko Zdeněk, Vojnar Tomáš, Křena Bohuslav |
|