Produkty
-
2023
Nástroj pro testování síťových aplikací založený na injekci vad, software, 2023
Autoři: ROZSÍVAL, M.; SMRČKA, A. -
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.Multitenantní aplikační modul výrobního informačního systému, software, 2022
Autoři: SMRČKA, A.; FREYBURG, P.; ŠVÉDA, M.; HRADSKÝ, T.Unite: Adaptér pro zpřístupnění nástrojů pro analýzu softwaru přes webové služby s využitím OSLC, Verze 3.0, software, 2022
Autoři: VAŠÍČEK, O.; FIEDOR, J.; SMRČKA, A.; VOJNAR, T.; KŘENA, B. -
2021
Software pro měření a vyhodnocení výkonnostních parametrů, software, 2021
Autoři: FIEDOR, T.; HRUŠKA, M.; SMRČKA, A.Testos-Aufover - Verifikace jako služba, software, 2021
Autoři: SMRČKA, A.; VAŠÍČEK, O.; FIEDOR, J.; VOJNAR, T. -
2020
ANaConDA: Prostředí pro analýzu vícevláknových C/C++ programů na binární úrovni, verze 0.4, software, 2020
Autoři: FIEDOR, J.; VAŠÍČEK, O.; MUŽIKOVSKÁ, M.; SMRČKA, A.; VOJNAR, T.; KŘENA, B.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.OSLC adaptér pro nástroj ANaConDA Adapter, verze 1.0, software, 2020
Autoři: VAŠÍČEK, O.; FIEDOR, J.; SMRČKA, A.; VOJNAR, T.; KŘENA, B.Testos-Spectra: Nástroj pro verifikaci ptLTL na programech C/C++, software, 2020
Autoři: SMRČKA, A.; SEČKAŘOVÁ, P. -
2014
HADES (Hazard Detection System), software, 2014
Autoři: CHARVÁT, L.; SMRČKA, A.; VOJNAR, T. -
2010
Framework pro formální verifikaci asynchronních komponent, software, 2010
Autoři: SMRČKA, A.; VOJNAR, T. -
2009
Analyzátor CDC asynchronních komponent, software, 2009
Autoři: SMRČKA, A.Překladač modelu FAST pro ARMC, software, 2009
Autoři: SMRČKA, A. -
2007
Překladač VHDL designu do čítačového automatu, software, 2007
Autoři: SMRČKA, A.; VOJNAR, T.