prof. Ing.

Tomáš Vojnar

Ph.D.

FIT – Professor

+420 54114 1202
vojnar@fit.vutbr.cz

Send BUT message

prof. Ing. Tomáš Vojnar, Ph.D.

Creative activities

  • JANOUŠEK, V.; VOJNAR, T.: PNtalk96; PNtalk system (v. 96). http://www.daimi.au.dk/PetriNets/tools/db/pntalk.html. URL: http://www.daimi.au.dk/PetriNets/tools/db/pntalk.html. (produkt nebo technologie ve stavu vývoje, testování)
    http://www.daimi.au.dk/PetriNets/tools/db/pntalk.html, number of downloads: 2
    Detail

  • ROGALEWICZ, A.; VOJNAR, T.: ARTMC-v1; ARTMC - Abstract Regular Tree Model Checking. http://www.fit.vutbr.cz/research/groups/verifit/tools/artmc/. URL: http://www.fit.vutbr.cz/research/groups/verifit/tools/artmc/. (software)
    http://www.fit.vutbr.cz/research/groups/verifit/tools/artmc/, number of downloads: 1
    Detail

  • 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: http://www.fit.vutbr.cz/research/prod/index.php?id=49. (software)
    http://www.fit.vutbr.cz/research/prod/index.php?id=49, number of downloads: 3
    Detail

  • SMRČKA, A.; VOJNAR, T.: VHD2CA; Translator of VHDL Design to Counter Automaton. http://www.fit.vutbr.cz/~smrcka/projects/vhd2ca/. URL: http://www.fit.vutbr.cz/~smrcka/projects/vhd2ca/. (software)
    http://www.fit.vutbr.cz/~smrcka/projects/vhd2ca/, number of downloads: 2
    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, K.; PERINGER, P.; VOJNAR, T.: code-listener; An Easy to Use Infrastructure for Building Static Analysis Tools.    - http://www.fit.vutbr.cz/research/groups/verifit/tools/code-listener. URL: https://www.fit.vut.cz/research/product/150/. (software)
    https://www.fit.vut.cz/research/product/150/, number of downloads: 4
    Detail

  • LENGÁL, O.; HOLÍK, L.; VOJNAR, T.: libSFTA; libSFTA: A Semi-symbolic Nondeterministic Finite Tree Automata Library Prototype. https://github.com/ondrik/libsfta. URL: https://github.com/ondrik/libsfta. (software)
    https://github.com/ondrik/libsfta, number of downloads: 2
    Detail

  • ŠIMÁČEK, J.; HOLÍK, L.; ROGALEWICZ, A.; VOJNAR, T.; HABERMEHL, P.: fapointers; Forester: A Tool for Verification of Programs with Pointers. Nástroj i dokumentaci lze získat na URL: http://www.fit.vutbr.cz/research/groups/verifit/tools/forester/. URL: https://www.fit.vut.cz/research/product/142/. (software)
    https://www.fit.vut.cz/research/product/142/, number of downloads: 3
    Detail

  • DUDKA, K.; PERINGER, P.; VOJNAR, T.: predator; Predator: A Tool for Checking Manipulation of Dynamic Data Structures Using Separation Logic.    - http://www.fit.vutbr.cz/research/groups/verifit/tools/predator. URL: https://www.fit.vut.cz/research/product/149/. (software)
    https://www.fit.vut.cz/research/product/149/, number of downloads: 3
    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

  • KONEČNÝ, F.; VOJNAR, T.; BOZGA, M.; IOSIF, R.: FLATA; FLATA. http://www-verimag.imag.fr/FLATA.html. URL: http://www-verimag.imag.fr/FLATA.html. (software)
    http://www-verimag.imag.fr/FLATA.html, number of downloads: 1
    Detail

  • ŠIMÁČEK, J.; HOLÍK, L.; VOJNAR, T.: SA; Tool for Computing Simulations. Nástroj i dokumentaci lze získat na URL: http://www.fit.vutbr.cz/research/groups/verifit/tools/sa/. URL: https://www.fit.vut.cz/research/product/131/. (software)
    https://www.fit.vut.cz/research/product/131/, number of downloads: 3
    Detail

  • SMRČKA, A.; VOJNAR, T.: cdcreloaded; Framework for Formal Verification of Clock Domain Crossing. http://www.fit.vutbr.cz/~smrcka/w/doku.php?id=research:cdcreloaded. URL: http://www.fit.vutbr.cz/~smrcka/w/doku.php?id=research:cdcreloaded. (software)
    http://www.fit.vutbr.cz/~smrcka/w/doku.php?id=research:cdcreloaded, 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

  • LENGÁL, O.; ŠIMÁČEK, J.; VOJNAR, T.: vata; VATA: A Library for Efficient Manipulation of Non-Deterministic Tree Automata. Nástroj i dokumentaci lze získat na URL: http://www.fit.vutbr.cz/research/groups/verifit/tools/libvata/. URL: https://www.fit.vut.cz/research/product/223/. (software)
    https://www.fit.vut.cz/research/product/223/, number of downloads: 2
    Detail

  • FIEDOR, J.; VOJNAR, T.: ANaConDA; ANaConDA: A Framework for Analysing Multi-threaded C/C++ Programs on the Binary Level. http://www.fit.vutbr.cz/research/groups/verifit/tools/anaconda/. URL: http://www.fit.vutbr.cz/research/groups/verifit/tools/anaconda/. (software)
    http://www.fit.vutbr.cz/research/groups/verifit/tools/anaconda/, number of downloads: 1
    Detail

  • MÜLLER, P.; VOJNAR, T.: cpalien; CPAlien: Configurable Program Analysis over Symbolic Memory Graphs. http://www.fit.vutbr.cz/research/groups/verifit/tools/cpalien. URL: http://www.fit.vutbr.cz/research/groups/verifit/tools/cpalien. (software)
    http://www.fit.vutbr.cz/research/groups/verifit/tools/cpalien, number of downloads: 1
    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

  • ROGALEWICZ, A.; IOSIF, R.; VOJNAR, T.: SLIDE; SLIDE: Separation Logic with Inductive Definitions. Nástroj i dokumentaci lze získat na URL: http://www.fit.vutbr.cz/research/groups/verifit/tools/slide/. URL: https://www.fit.vut.cz/research/product/373/. (software)
    https://www.fit.vut.cz/research/product/373/, number of downloads: 2
    Detail

  • LENGÁL, O.; VOJNAR, T.; ENEA, C.; SIGHIREANU, M.: spen; SPEN - A Solver for Separation Logic Entailments. http://www.liafa.univ-paris-diderot.fr/spen/. URL: http://www.liafa.univ-paris-diderot.fr/spen/. (software)
    http://www.liafa.univ-paris-diderot.fr/spen/, number of downloads: 1
    Detail

  • CHARVÁT, L.; SMRČKA, A.; VOJNAR, T.: HADES; HADES (Hazard Detection System). http://www.fit.vutbr.cz/research/groups/verifit/tools/hades/. URL: http://www.fit.vutbr.cz/research/groups/verifit/tools/hades/. (software)
    http://www.fit.vutbr.cz/research/groups/verifit/tools/hades/, number of downloads: 2
    Detail

  • ROGALEWICZ, A.; IOSIF, R.; VOJNAR, T.: TRACER; INCLUDER (tracer): Trace Inclusion for Data Word Automata. Nástroj i dokumentaci lze získat na URL: http://www.fit.vutbr.cz/research/groups/verifit/tools/includer/. URL: https://www.fit.vut.cz/research/product/422/. (software)
    https://www.fit.vut.cz/research/product/422/, number of downloads: 2
    Detail

  • FIEDOR, T.; LENGÁL, O.; HOLÍK, L.; VOJNAR, T.: dwina; dWiNA - An Implementation of Decision Procedure for WS1S. Nástroj i dokumentaci lze získat na URL:http://www.fit.vutbr.cz/research/groups/verifit/tools/dWiNA/. URL: https://www.fit.vut.cz/research/product/432/. (software)
    https://www.fit.vut.cz/research/product/432/, number of downloads: 2
    Detail

  • FIEDOR, T.; HOLÍK, L.; JANKŮ, P.; LENGÁL, O.; VOJNAR, T.: gaston; Gaston - Symbolic WS1S Solver. Nástroj a dodatečné informace se nacházejí na http://www.fit.vutbr.cz/research/groups/verifit/tools/gaston/ a https://github.com/tfiedor/gaston. URL: https://www.fit.vut.cz/research/product/511/. (software)
    https://www.fit.vut.cz/research/product/511/, number of downloads: 2
    Detail

  • HOLÍK, L.; TUROŇOVÁ, L.; VOJNAR, T.: mina; MINA: A Tool for Verification of Programs with an Unbounded Number of Threads. Nástroj i dokumentaci lze získat na URL: http://www.fit.vutbr.cz/research/groups/verifit/tools/mina/. URL: https://www.fit.vut.cz/research/product/559/. (software)
    https://www.fit.vut.cz/research/product/559/, number of downloads: 1
    Detail

  • FIEDOR, T.; HOLÍK, L.; ROGALEWICZ, A.; VOJNAR, T.; SINN, M.; ZULEGER, F.: ranger; Ranger: A Tool for Bounds Analysis of Heap-Manipulating Programs. Nástroj a dodatečné informace se nacházejí na http://www.fit.vutbr.cz/research/groups/verifit/tools/ranger/ a https://pajda.fit.vutbr.cz/ifiedortom/forester-resource-bounds. URL: https://www.fit.vut.cz/research/product/562/. (software)
    https://www.fit.vut.cz/research/product/562/, number of downloads: 1
    Detail

  • HOLÍK, L.; JANKŮ, P.; VOJNAR, T.; LIN, A.; RUMMER, P.: sloth; Sloth: An SMT Solver for String Constraints. Nástroj a dodatečné informace se nacházejí na http://www.fit.vutbr.cz/research/groups/verifit/tools/sloth/ (http://www.fit.vutbr.cz/research/groups/verifit/tools/gaston/) a https://github.com/uuverifiers/sloth. URL: https://www.fit.vut.cz/research/product/563/. (software)
    https://www.fit.vut.cz/research/product/563/, number of downloads: 1
    Detail

  • MARCIN, V.; HARMIM, D.; PAVELA, O.; VOJNAR, T.; FIEDOR, T.; ROGALEWICZ, A.: VeriFIT Static Analysis Plugins. http://www.fit.vutbr.cz/research/groups/verifit/tools/sa-plugins/. URL: http://www.fit.vutbr.cz/research/groups/verifit/tools/sa-plugins/. (software)
    http://www.fit.vutbr.cz/research/groups/verifit/tools/sa-plugins/, number of downloads: 0
    Detail

  • MARCIN, V.; VOJNAR, T.: L2D2 1.0; L2D2: A Low Level Deadlock Detector, Version 1.0. https://pajda.fit.vutbr.cz/xmarci10/fbinfer_concurrency/-/tree/c533ea95e8a9a222ee6b9040e104e7ce2d27b131. URL: https://pajda.fit.vutbr.cz/xmarci10/fbinfer_concurrency/-/tree/c533ea95e8a9a222ee6b9040e104e7ce2d27b131. (software)
    https://pajda.fit.vutbr.cz/xmarci10/fbinfer_concurrency/-/tree/c533ea95e8a9a222ee6b9040e104e7ce2d27b131, number of downloads: 0
    Detail

  • HARMIM, D.; VOJNAR, T.: Atomer 1.0; Atomer: Atomicity Violations Analyser, Version 1.0. https://github.com/harmim/vut-ibt/raw/master/atomer-v1.0.tgz. URL: https://github.com/harmim/vut-ibt/raw/master/atomer-v1.0.tgz. (software)
    https://github.com/harmim/vut-ibt/raw/master/atomer-v1.0.tgz, number of downloads: 0
    Detail

  • PAVELA, O.; VOJNAR, T.; FIEDOR, T.; ROGALEWICZ, A.: Looper 1.0; Looper: A Worst Case Cost Analyser, Version 1.0. https://github.com/paveon/paveon.github.io/raw/master/Looper-v1.0.0.zip. URL: https://github.com/paveon/paveon.github.io/raw/master/Looper-v1.0.0.zip. (software)
    https://github.com/paveon/paveon.github.io/raw/master/Looper-v1.0.0.zip, number of downloads: 0
    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

  • FIEDOR, T.; PAVELA, J.; PODOLA, R.; STUPINSKÝ, Š.; LIŠČINSKÝ, M.; ROGALEWICZ, A.; VOJNAR, T.: Perun 0.18.3; Perun: Lightweight Performance Version System, Version 0.18.3. https://github.com/tfiedor/perun/archive/0.18.3-hotfix2.zip. URL: https://github.com/tfiedor/perun/archive/0.18.3-hotfix2.zip. (software)
    https://github.com/tfiedor/perun/archive/0.18.3-hotfix2.zip, number of downloads: 0
    Detail

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