Ing.

Bohuslav Křena

Ph.D.

FIT – Vice-dean for efficiency and academic affairs

+420 54114 1233
vicedean-academic@fit.vut.cz

Send BUT message

Ing. Bohuslav Křena, Ph.D.

Creative activities

  • LETKO, Z.; VOJNAR, T.; KŘENA, B.: JRDH; Java Race Detector & Healer. Nástroj i dokumentaci lze získat na URL: http://www.fit.vutbr.cz/research/groups/verifit/tools/racedetect/. URL: https://www.fit.vut.cz/research/product/49/. (software)
    https://www.fit.vut.cz/research/product/49/, number of downloads: 3
    Detail

  • LETKO, Z.; VOJNAR, T.; KŘENA, B.: SearchBestie; Search-based Testing Environment (SearchBestie). http://www.fit.vutbr.cz/research/groups/verifit/tools/SearchBestie. URL: http://www.fit.vutbr.cz/research/groups/verifit/tools/SearchBestie. (software)
    http://www.fit.vutbr.cz/research/groups/verifit/tools/SearchBestie, number of downloads: 1
    Detail

  • DUDKA, V.; FIEDOR, J.; KŘENA, B.; LETKO, Z.; VOJNAR, T.: RecRev; Replay Tracer & BMC. http://www.fit.vutbr.cz/research/groups/verifit/tools/RecRev. URL: http://www.fit.vutbr.cz/research/groups/verifit/tools/RecRev. (software)
    http://www.fit.vutbr.cz/research/groups/verifit/tools/RecRev, number of downloads: 2
    Detail

  • DUDKA, V.; FIEDOR, J.; VOJNAR, T.; KŘENA, B.: DA-BMC; A Tool Chain Combining Dynamic Analysis and Bounded Model Checking. http://www.fit.vutbr.cz/research/groups/verifit/tools/da-bmc. URL: http://www.fit.vutbr.cz/research/groups/verifit/tools/da-bmc. (software)
    http://www.fit.vutbr.cz/research/groups/verifit/tools/da-bmc, number of downloads: 3
    Detail

  • LETKO, Z.; VOJNAR, T.; KŘENA, B.: JRDH-AT; Java Atomicity Violation Detector & Healer. Nástroj i dokumentaci lze získat na URL: http://www.fit.vutbr.cz/research/groups/verifit/tools/racedetect/. URL: https://www.fit.vut.cz/research/product/90/. (software)
    https://www.fit.vut.cz/research/product/90/, number of downloads: 2
    Detail

  • KŘENA, B.; BRAIONE, P.; DENARO, G.; PEZZE, M.: MUSE; Model checking Using Symbolic Execution. http://www.fit.vutbr.cz/research/groups/verifit/tools/muse/. URL: http://www.fit.vutbr.cz/research/groups/verifit/tools/muse/. (software)
    http://www.fit.vutbr.cz/research/groups/verifit/tools/muse/, number of downloads: 2
    Detail

  • FIEDOR, J.; VAŠÍČEK, O.; MUŽIKOVSKÁ, M.; SMRČKA, A.; VOJNAR, T.; KŘENA, B.: ANaConDA 0.4; ANaConDA: A Framework for Analysing Multi-threaded C/C++ Programs on the Binary Level, Version 0.4. https://www.fit.vutbr.cz/research/groups/verifit/tools/anaconda/download/anaconda-0.4a-src.zip. URL: https://www.fit.vutbr.cz/research/groups/verifit/tools/anaconda/download/anaconda-0.4a-src.zip. (software)
    https://www.fit.vutbr.cz/research/groups/verifit/tools/anaconda/download/anaconda-0.4a-src.zip, number of downloads: 0
    Detail

  • VAŠÍČEK, O.; FIEDOR, J.; SMRČKA, A.; VOJNAR, T.; KŘENA, B.: OSLC ANaConDA 1.0; OSLC ANaConDA Adapter, Version 1.0. http://www.stud.fit.vutbr.cz/~xvasic25/anaconda-oslc-adapter-release.zip. URL: http://www.stud.fit.vutbr.cz/~xvasic25/anaconda-oslc-adapter-release.zip. (software)
    http://www.stud.fit.vutbr.cz/~xvasic25/anaconda-oslc-adapter-release.zip, number of downloads: 0
    Detail

  • VAŠÍČEK, O.; FIEDOR, J.; SMRČKA, A.; VOJNAR, T.; KŘENA, B.: Unite 3.0; Unite: An Adapter for Transforming Analysis Tools to Web Services via OSLC, Version 3.0. https://pajda.fit.vutbr.cz/verifit/unite/-/tags/v3.0.0. URL: https://pajda.fit.vutbr.cz/verifit/unite/-/tags/v3.0.0. (software)
    https://pajda.fit.vutbr.cz/verifit/unite/-/tags/v3.0.0, number of downloads: 0
    Detail

In the event of a discrepancy in the data, inspect the FAQs for visiting cards.