Products
-
2023
Network application tester based on fault-injection, software, 2023
Authors: ROZSÍVAL, M.; SMRČKA, A. -
2022
Analyser of Metrics Measured in Monitoring Center, software, 2022
Authors: FIEDOR, T.; HRUŠKA, M.; SMRČKA, A.; ŠVÉDA, M.; HRADSKÝ, T.Multitenant Application Module of a Manufacturing Execution System, software, 2022
Authors: 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
Authors: VAŠÍČEK, O.; FIEDOR, J.; SMRČKA, A.; VOJNAR, T.; KŘENA, B. -
2021
Software for measurement and evaluation of performance parameters, software, 2021
Authors: FIEDOR, T.; HRUŠKA, M.; SMRČKA, A.Testos-Aufover - Verification as a Service, software, 2021
Authors: 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
Authors: 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
Authors: 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
Authors: 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
Authors: SMRČKA, A.; SEČKAŘOVÁ, P. -
2014
HADES - Hazard Detection System, software, 2014
Authors: CHARVÁT, L.; SMRČKA, A.; VOJNAR, T. -
2010
Framework for Formal Verification of Clock Domain Crossing, software, 2010
Authors: SMRČKA, A.; VOJNAR, T. -
2009
Clock Domain Crossing Analyzer, software, 2009
Authors: SMRČKA, A.FAST to ARMC Translator, software, 2009
Authors: SMRČKA, A. -
2007
Translator of VHDL Design to Counter Automaton, software, 2007
Authors: SMRČKA, A.; VOJNAR, T.