Aleš Smrčka

Products

• 2023

  Network application tester based on fault-injection, software
  Authors: Rozsíval Michal, Smrčka Aleš

• 2022

  Analyser of Metrics Measured in Monitoring Center, software
  Authors: Fiedor Tomáš, Hruška Martin, Smrčka Aleš, Švéda Martin, Hradský Tomáš

  Multitenant Application Module of a Manufacturing Execution System, software
  Authors: Smrčka Aleš, Freyburg Petr, Švéda Martin, Hradský Tomáš

  Unite: An Adapter for Transforming Analysis Tools to Web Services via OSLC, Version 3.0, software
  Authors: Vašíček Ondřej, Fiedor Jan, Smrčka Aleš, Vojnar Tomáš, Křena Bohuslav

• 2021

  Software for measurement and evaluation of performance parameters, software
  Authors: Fiedor Tomáš, Hruška Martin, Smrčka Aleš

  Testos-Aufover - Verification as a Service, software
  Authors: Fiedor Jan, Smrčka Aleš, Vašíček Ondřej, Vojnar Tomáš

• 2020

  A Tool for Creating Test Scenarios for Industry Applications, software
  Authors: Čeleda Pavel, Fiedor Tomáš, Hruška Martin, Panov Sergey, Pospíšil Luboš, Rozsíval Michal, Smrčka Aleš, Tureček Dominik

  ANaConDA: A Framework for Analysing Multi-threaded C/C++ Programs on the Binary Level, Version 0.4, software
  Authors: Fiedor Jan, Vašíček Ondřej, Mužikovská Monika, Smrčka Aleš, Vojnar Tomáš, Křena Bohuslav

  OSLC ANaConDA Adapter, Version 1.0, software
  Authors: Vašíček Ondřej, Fiedor Jan, Smrčka Aleš, Vojnar Tomáš, Křena Bohuslav

  Testos-Spectra: A tool for verification of ptLTL on C/C++ programs, software
  Authors: Smrčka Aleš, Sečkařová Petra

• 2014

  HADES (Hazard Detection System), software
  Authors: Charvát Lukáš, Smrčka Aleš, Vojnar Tomáš

• 2010

  Framework for Formal Verification of Clock Domain Crossing, software
  Authors: Smrčka Aleš, Vojnar Tomáš

• 2009

  Clock Domain Crossing Analyzer, software
  Authors: Smrčka Aleš

  FAST to ARMC Translator, software
  Authors: Smrčka Aleš

• 2007

  Translator of VHDL Design to Counter Automaton, software
  Authors: Smrčka Aleš, Vojnar Tomáš