Ing.

Tomáš Fiedor

Ph.D.

FIT, VZ VERIFIT – člen

ifiedortom@fit.vut.cz

Odeslat VUT zprávu

Ing. Tomáš Fiedor, Ph.D.

Aplikované výsledky

  • 2024

    HAVLENA, V.; HOLÍK, L.; CHOCHOLATÝ, D.; LENGÁL, O.; SÍČ, J.; FIEDOR, T.; HRUŠKA, M.: Mata: A Finite Automata Library. URL: https://github.com/VeriFIT/mata. (Software)
    Detail

  • 2022

    FIEDOR, T.; HRUŠKA, M.; SMRČKA, A.; ŠVÉDA, M.; HRADSKÝ, T.: Analyzátor metrik monitorovaných v dohledovém centru. URL: https://www.fit.vut.cz/research/product/761/. (Software)
    Detail

  • 2021

    FIEDOR, T.; HRUŠKA, M.; SMRČKA, A.: Software for measurement and evaluation of performance parameters. URL: https://pajda.fit.vutbr.cz/tacr-unis/prefekt/-/tree/prefekt-1.0-hotfix. (Software)
    Detail

  • 2020

    PAVELA, O.; VOJNAR, T.; FIEDOR, T.; ROGALEWICZ, A.: Looper: A Worst Case Cost Analyser, Version 1.0. URL: https://github.com/paveon/paveon.github.io/raw/master/Looper-v1.0.0.zip. (Software)
    Detail

    HRUŠKA, M.; FIEDOR, T.; PANOV, S.; ROZSÍVAL, M.; SMRČKA, A.; TUREČEK, D.; POSPÍŠIL, L.; ČELEDA, P.: Nástroj pro přípravu testů průmyslových aplikací. URL: https://pajda.fit.vutbr.cz/tacr-unis/tyrant. (Software)
    Detail

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

  • 2019

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

  • 2018

    FIEDOR, T.; HOLÍK, L.; ROGALEWICZ, A.; VOJNAR, T.; SINN, M.; ZULEGER, F.: Ranger: A Tool for Bounds Analysis of Heap-Manipulating Programs. URL: https://www.fit.vut.cz/research/product/562/. (Software)
    Detail

  • 2017

    FIEDOR, T.; HOLÍK, L.; JANKŮ, P.; LENGÁL, O.; VOJNAR, T.: Gaston - Symbolic WS1S Solver. URL: https://www.fit.vut.cz/research/product/511/. (Software)
    Detail

  • 2015

    FIEDOR, T.; LENGÁL, O.; HOLÍK, L.; VOJNAR, T.: dWiNA - An Implementation of Decision Procedure for WS1S. URL: https://www.fit.vut.cz/research/product/432/. (Software)
    Detail

*) Citace se generují jednou za 24 hodin.