Ondřej Vašíček

Products

• 2022

  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

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

• 2020

  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