Produkty
-
2023
Nástroj pro testování síťových aplikací založený na injekci vad, software
Autoři: Rozsíval Michal, Smrčka Aleš -
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ášMultitenantní aplikační modul výrobního informačního systému, software
Autoři: Smrčka Aleš, Freyburg Petr, Švéda Martin, Hradský Tomáš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
Autoři: Vašíček Ondřej, Fiedor Jan, Smrčka Aleš, Vojnar Tomáš, Křena Bohuslav -
2021
Software pro měření a vyhodnocení výkonnostních parametrů, software
Autoři: Fiedor Tomáš, Hruška Martin, Smrčka AlešTestos-Aufover - Verifikace jako služba, software
Autoři: Fiedor Jan, Smrčka Aleš, Vašíček Ondřej, Vojnar Tomáš -
2020
ANaConDA: Prostředí pro analýzu vícevláknových C/C++ programů na binární úrovni, verze 0.4, software
Autoři: Fiedor Jan, Vašíček Ondřej, Mužikovská Monika, Smrčka Aleš, Vojnar Tomáš, Křena BohuslavNá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 DominikOSLC adaptér pro nástroj ANaConDA Adapter, verze 1.0, software
Autoři: Vašíček Ondřej, Fiedor Jan, Smrčka Aleš, Vojnar Tomáš, Křena BohuslavTestos-Spectra: Nástroj pro verifikaci ptLTL na programech C/C++, software
Autoři: Smrčka Aleš, Sečkařová Petra -
2014
HADES (Hazard Detection System), software
Autoři: Charvát Lukáš, Smrčka Aleš, Vojnar Tomáš -
2010
Framework pro formální verifikaci asynchronních komponent, software
Autoři: Smrčka Aleš, Vojnar Tomáš -
2009
Analyzátor CDC asynchronních komponent, software
Autoři: Smrčka AlešPřekladač modelu FAST pro ARMC, software
Autoři: Smrčka Aleš -
2007
Překladač VHDL designu do čítačového automatu, software
Autoři: Smrčka Aleš, Vojnar Tomáš