Produkty
-
2024
Mata: Knihovna pro konečné automaty, software
Autoři: Fiedor Tomáš, Havlena Vojtěch, Holík Lukáš, Hruška Martin, Chocholatý David, Lengál Ondřej, Síč Juraj -
2022
Analyzátor metrik monitorovaných v dohledovém centru, software
Autoři: Fiedor Tomáš, Hruška Martin, Smrčka Aleš, Švéda Martin, Hradský Tomáš -
2021
Software pro měření a vyhodnocení výkonnostních parametrů, software
Autoři: Fiedor Tomáš, Hruška Martin, Smrčka Aleš -
2020
Looper: analyzátor nejhorší ceny, verze 1.0, software
Autoři: Pavela Ondřej, Vojnar Tomáš, Fiedor Tomáš, Rogalewicz AdamNástroj pro přípravu testů průmyslových aplikací, software
Autoři: Čeleda Pavel, Fiedor Tomáš, Hruška Martin, Panov Sergey, Pospíšil Luboš, Rozsíval Michal, Smrčka Aleš, Tureček DominikPerun: Systém pro verzování výkonu, verze 0.18.3, software
Autoři: Fiedor Tomáš, Pavela Jiří, Podola Radim, Stupinský Šimon, Liščinský Matúš, Rogalewicz Adam, Vojnar Tomáš -
2019
Pluginy pro statickou analýzu vyvíjené skupinou VeriFIT, software
Autoři: Marcin Vladimír, Harmim Dominik, Pavela Ondřej, Vojnar Tomáš, Fiedor Tomáš, Rogalewicz Adam -
2018
Ranger: Nástroj pro Analýzu Mezí Programů Manipulujících s Haldou, software
Autoři: Fiedor Tomáš, Holík Lukáš, Rogalewicz Adam, Sinn Moritz, Vojnar Tomáš, Zuleger Florian -
2017
Gaston - Symbolická WS1S Rozhodovací Procedura, software
Autoři: Fiedor Tomáš, Holík Lukáš, Janků Petr, Lengál Ondřej, Vojnar Tomáš -
2015
dWiNA - Implementace rozhodovací procedury pro WS1S, software
Autoři: Fiedor Tomáš, Lengál Ondřej, Holík Lukáš, Vojnar Tomáš