Ing. Bohuslav Křena, Ph.D.
| 2011 | A Tool Chain Combining Dynamic Analysis and Bounded Model Checking, software, 2011
Authors: Fiedor Jan, Hrubá Vendula, Křena Bohuslav, Vojnar Tomáš |
| 2010 | Replay Tracer & BMC, software, 2010
Authors: Fiedor Jan, Hrubá Vendula, Křena Bohuslav, Letko Zdeněk, Vojnar Tomáš |
| | Search-based Testing Environment (SearchBestie), software, 2010
Authors: Letko Zdeněk, Vojnar Tomáš, Křena Bohuslav |
| 2008 | Java Atomicity Violation Detector & Healer, software, 2008
Authors: Letko Zdeněk, Vojnar Tomáš, Křena Bohuslav |
| | Model checking Using Symbolic Execution, software, 2008
Authors: Křena Bohuslav, Braione Pietro, Denaro Giovanni, Pezze Mauro |
| 2007 | Java Race Detector & Healer, software, 2007
Authors: Letko Zdeněk, Vojnar Tomáš, Křena Bohuslav |
|
Faculty of Information Technology
![[dnssec]](/common/img/dnssec.png)