Aplikované výsledky

• 2023

  ROZSÍVAL, M.; SMRČKA, A.: xx; Network application tester based on fault-injection. xx. URL: https://pajda.fit.vutbr.cz/testos/netloiter. (Software)
  Detail

• 2022

  SMRČKA, A.; FREYBURG, P.; ŠVÉDA, M.; HRADSKÝ, T.: xx; Multitenantní aplikační modul výrobního informačního systému. xx. URL: https://www.fit.vut.cz/research/product/762/. (Software)
  Detail

  FIEDOR, T.; HRUŠKA, M.; SMRČKA, A.; ŠVÉDA, M.; HRADSKÝ, T.: xx; Analyzátor metrik monitorovaných v dohledovém centru. xx. URL: https://www.fit.vut.cz/research/product/761/. (Software)
  Detail

  VAŠÍČEK, O.; FIEDOR, J.; SMRČKA, A.; VOJNAR, T.; KŘENA, B.: xx; Unite: An Adapter for Transforming Analysis Tools to Web Services via OSLC, Version 3.0. xx. URL: https://pajda.fit.vutbr.cz/verifit/unite/-/tags/v3.0.0. (Software)
  Detail

• 2021

  SMRČKA, A.; VAŠÍČEK, O.; FIEDOR, J.; VOJNAR, T.: xx; Testos-Aufover - Verification as a Service. xx. URL: https://pajda.fit.vutbr.cz/testos/testos-aufover/-/tree/v1.0. (Software)
  Detail

  FIEDOR, T.; HRUŠKA, M.; SMRČKA, A.: xx; Software for measurement and evaluation of performance parameters. xx. URL: https://pajda.fit.vutbr.cz/tacr-unis/prefekt/-/tree/prefekt-1.0-hotfix. (Software)
  Detail

• 2020

  VAŠÍČEK, O.; FIEDOR, J.; SMRČKA, A.; VOJNAR, T.; KŘENA, B.: xx; OSLC ANaConDA Adapter, Version 1.0. xx. URL: http://www.stud.fit.vutbr.cz/~xvasic25/anaconda-oslc-adapter-release.zip. (Software)
  Detail

  SMRČKA, A.; SEČKAŘOVÁ, P.: xx; Testos-Spectra: A tool for verification of ptLTL on C/C++ programs. xx. URL: https://www.fit.vut.cz/research/product/657/. (Software)
  Detail

  HRUŠKA, M.; FIEDOR, T.; PANOV, S.; ROZSÍVAL, M.; SMRČKA, A.; TUREČEK, D.; POSPÍŠIL, L.; ČELEDA, P.: xx; Nástroj pro přípravu testů průmyslových aplikací. xx. URL: https://pajda.fit.vutbr.cz/tacr-unis/tyrant. (Software)
  Detail

  FIEDOR, J.; VAŠÍČEK, O.; MUŽIKOVSKÁ, M.; SMRČKA, A.; VOJNAR, T.; KŘENA, B.: xx; ANaConDA: A Framework for Analysing Multi-threaded C/C++ Programs on the Binary Level, Version 0.4. xx. URL: https://www.fit.vutbr.cz/research/groups/verifit/tools/anaconda/download/anaconda-0.4a-src.zip. (Software)
  Detail

• 2014

  CHARVÁT, L.; SMRČKA, A.; VOJNAR, T.: xx; HADES - Hazard Detection System. xx. URL: http://www.fit.vutbr.cz/research/groups/verifit/tools/hades/. (Software)
  Detail

• 2010

  SMRČKA, A.; VOJNAR, T.: xx; Framework for Formal Verification of Clock Domain Crossing. xx. URL: http://www.fit.vutbr.cz/~smrcka/w/doku.php?id=research:cdcreloaded. (Software)
  Detail

• 2009

  SMRČKA, A.: xx; Překladač modelu FAST pro ARMC. xx. URL: http://fast2armc.sourceforge.net/. (Software)
  Detail

  SMRČKA, A.: xx; Analyzátor CDC asynchronních komponent. xx. URL: http://www.fit.vutbr.cz/~smrcka/w/doku.php?id=research:cdcreveal. (Software)
  Detail

• 2007

  SMRČKA, A.; VOJNAR, T.: xx; Translator of VHDL Design to Counter Automaton. xx. URL: http://www.fit.vutbr.cz/~smrcka/projects/vhd2ca/. (Software)
  Detail

*) Citace se generují jednou za 24 hodin.