Ing.

Ondřej Vašíček

FIT, UITS – vědecký pracovník

+420 54114 1178
ivasicek@fit.vut.cz

Odeslat VUT zprávu

Ing. Ondřej Vašíček

Tvůrčí aktivity

  • 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, počet stažení: 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, počet stažení: 0
    Detail

  • SMRČKA, A.; VAŠÍČEK, O.; FIEDOR, J.; VOJNAR, T.: Testos-Aufover; Testos-Aufover - Verification as a Service. https://pajda.fit.vutbr.cz/testos/testos-aufover/-/tree/v1.0. URL: https://pajda.fit.vutbr.cz/testos/testos-aufover/-/tree/v1.0. (software)
    https://pajda.fit.vutbr.cz/testos/testos-aufover/-/tree/v1.0, počet stažení: 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, počet stažení: 0
    Detail

Pokud je v údajích nesrovnalost, podívejte se do častých otázek k vizitkám.