Produkty
-
2024
Mata: Knihovna pro konečné automaty, software, 2024
Autoři: HAVLENA, V.; HOLÍK, L.; CHOCHOLATÝ, D.; LENGÁL, O.; SÍČ, J.; FIEDOR, T.; HRUŠKA, M. -
2022
Analyzátor metrik monitorovaných v dohledovém centru, software, 2022
Autoři: FIEDOR, T.; HRUŠKA, M.; SMRČKA, A.; ŠVÉDA, M.; HRADSKÝ, T. -
2021
Software pro měření a vyhodnocení výkonnostních parametrů, software, 2021
Autoři: FIEDOR, T.; HRUŠKA, M.; SMRČKA, A. -
2020
Looper: analyzátor nejhorší ceny, verze 1.0, software, 2020
Autoři: PAVELA, O.; VOJNAR, T.; FIEDOR, T.; ROGALEWICZ, A.Nástroj pro přípravu testů průmyslových aplikací, software, 2020
Autoři: HRUŠKA, M.; FIEDOR, T.; PANOV, S.; ROZSÍVAL, M.; SMRČKA, A.; TUREČEK, D.; POSPÍŠIL, L.; ČELEDA, P.Perun: Systém pro verzování výkonu, verze 0.18.3, software, 2020
Autoři: FIEDOR, T.; PAVELA, J.; PODOLA, R.; STUPINSKÝ, Š.; LIŠČINSKÝ, M.; ROGALEWICZ, A.; VOJNAR, T. -
2019
Pluginy pro statickou analýzu vyvíjené skupinou VeriFIT, software, 2019
Autoři: MARCIN, V.; HARMIM, D.; PAVELA, O.; VOJNAR, T.; FIEDOR, T.; ROGALEWICZ, A. -
2018
Ranger: Nástroj pro Analýzu Mezí Programů Manipulujících s Haldou, software, 2018
Autoři: FIEDOR, T.; HOLÍK, L.; ROGALEWICZ, A.; VOJNAR, T.; SINN, M.; ZULEGER, F. -
2017
Gaston - Symbolická WS1S Rozhodovací Procedura, software, 2017
Autoři: FIEDOR, T.; HOLÍK, L.; JANKŮ, P.; LENGÁL, O.; VOJNAR, T. -
2015
dWiNA - Implementace rozhodovací procedury pro WS1S, software, 2015
Autoři: FIEDOR, T.; LENGÁL, O.; HOLÍK, L.; VOJNAR, T.