Aplikované výsledky
-
2023
Network application tester based on fault-injection, 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: An Adapter for Transforming Analysis Tools to Web Services via OSLC, Version 3.0, software, 2022
Autoři: VAŠÍČEK, O.; FIEDOR, J.; SMRČKA, A.; VOJNAR, T.; KŘENA, B. -
2021
Software for measurement and evaluation of performance parameters, software, 2021
Autoři: FIEDOR, T.; HRUŠKA, M.; SMRČKA, A.Testos-Aufover - Verification as a Service, software, 2021
Autoři: SMRČKA, A.; VAŠÍČEK, O.; FIEDOR, J.; VOJNAR, T. -
2020
ANaConDA: A Framework for Analysing Multi-threaded C/C++ Programs on the Binary Level, Version 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 ANaConDA Adapter, Version 1.0, software, 2020
Autoři: VAŠÍČEK, O.; FIEDOR, J.; SMRČKA, A.; VOJNAR, T.; KŘENA, B.Testos-Spectra: A tool for verification of ptLTL on C/C++ programs, 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 for Formal Verification of Clock Domain Crossing, 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
Translator of VHDL Design to Counter Automaton, software, 2007
Autoři: SMRČKA, A.; VOJNAR, T.