Tomáš Fiedor

Products

• 2024

  Mata: A Finite Automata Library, software
  Authors: Fiedor Tomáš, Havlena Vojtěch, Holík Lukáš, Hruška Martin, Chocholatý David, Lengál Ondřej, Síč Juraj

• 2022

  Analyser of Metrics Measured in Monitoring Center, software
  Authors: Fiedor Tomáš, Hruška Martin, Smrčka Aleš, Švéda Martin, Hradský Tomáš

• 2021

  Software for measurement and evaluation of performance parameters, software
  Authors: Fiedor Tomáš, Hruška Martin, Smrčka Aleš

• 2020

  A Tool for Creating Test Scenarios for Industry Applications, software
  Authors: Čeleda Pavel, Fiedor Tomáš, Hruška Martin, Panov Sergey, Pospíšil Luboš, Rozsíval Michal, Smrčka Aleš, Tureček Dominik

  Looper: A Worst Case Cost Analyser, Version 1.0, software
  Authors: Pavela Ondřej, Vojnar Tomáš, Fiedor Tomáš, Rogalewicz Adam

  Perun: Lightweight Performance Version System, Version 0.18.3, software
  Authors: Fiedor Tomáš, Pavela Jiří, Podola Radim, Stupinský Šimon, Liščinský Matúš, Rogalewicz Adam, Vojnar Tomáš

• 2019

  VeriFIT Static Analysis Plugins, software
  Authors: Marcin Vladimír, Harmim Dominik, Pavela Ondřej, Vojnar Tomáš, Fiedor Tomáš, Rogalewicz Adam

• 2018

  Ranger: A Tool for Bounds Analysis of Heap-Manipulating Programs, software
  Authors: Fiedor Tomáš, Holík Lukáš, Rogalewicz Adam, Sinn Moritz, Vojnar Tomáš, Zuleger Florian

• 2017

  Gaston - Symbolic WS1S Solver, software
  Authors: Fiedor Tomáš, Holík Lukáš, Janků Petr, Lengál Ondřej, Vojnar Tomáš

• 2015

  dWiNA - An Implementation of Decision Procedure for WS1S, software
  Authors: Fiedor Tomáš, Lengál Ondřej, Holík Lukáš, Vojnar Tomáš