Ondřej Vašíček

Products

• 2022

  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

  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.

  OSLC ANaConDA Adapter, Version 1.0, software, 2020
  Authors: VAŠÍČEK, O.; FIEDOR, J.; SMRČKA, A.; VOJNAR, T.; KŘENA, B.