Aplikované výsledky

• 2023

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

• 2022

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

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

  VAŠÍČEK, O.; FIEDOR, J.; SMRČKA, A.; VOJNAR, T.; KŘENA, B.: Unite: An Adapter for Transforming Analysis Tools to Web Services via OSLC, Version 3.0. 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.: Testos-Aufover - Verification as a Service. URL: https://pajda.fit.vutbr.cz/testos/testos-aufover/-/tree/v1.0. (Software)
  Detail

  FIEDOR, T.; HRUŠKA, M.; SMRČKA, A.: Software for measurement and evaluation of performance parameters. 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.: OSLC ANaConDA Adapter, Version 1.0. URL: http://www.stud.fit.vutbr.cz/~xvasic25/anaconda-oslc-adapter-release.zip. (Software)
  Detail

  SMRČKA, A.; SEČKAŘOVÁ, P.: Testos-Spectra: A tool for verification of ptLTL on C/C++ programs. 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.: Nástroj pro přípravu testů průmyslových aplikací. 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.: ANaConDA: A Framework for Analysing Multi-threaded C/C++ Programs on the Binary Level, Version 0.4. 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.: HADES - Hazard Detection System. URL: http://www.fit.vutbr.cz/research/groups/verifit/tools/hades/. (Software)
  Detail

• 2010

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

• 2009

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

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

• 2007

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

*) Citace se generují jednou za 24 hodin.