Věra Malásková

Projekty

• 2023

  AIDE - Pokročilá analýza a verifikace pro pokročilý software, GAČR - Standardní projekty, GA23-06506S, 2023-2025, řešení, zahájení: 2023-01-01, ukončení: 2025-12-31
  Detail

  ROULETTE - Reprezentace Booleovských funkcí pomocí adaptabilní datové struktury, GAČR - Standardní projekty, GA23-07565S, 2023-2025, řešení, zahájení: 2023-01-01, ukončení: 2025-12-31
  Detail

  VESCAA: Verifikovatelná a efektivní syntéza kontrolerů, GAČR - Standardní projekty, GA23-06963S, 2023-2025, řešení, zahájení: 2023-03-01, ukončení: 2025-12-31
  Detail

• 2022

  Sada forenzních analytických nástrojů ke zpracování obrazu a videa pro službu kriminální policie a vyšetřování, MV ČR - Strategická podpora rozvoje bezpečnostního výzkumu ČR 20192025 (IMPAKT 1) PODPROGRAMU 1 SPOLEČNÉ VÝZKUMNÉ PROJEKTY (BV IMP1/2VS), VJ02010041, 2022-2025, řešení, zahájení: 2022-01-01, ukončení: 2025-12-31
  Detail

• 2020

  CAQTUS - Computer-Aided Quantitative Synthesis, GAČR - Juniorské granty, GJ20-02328Y, 2020-2022, ukončen, zahájení: 2020-01-01, ukončení: 2022-12-31
  Detail

  SNAPPY - Scalable Techniques for Analysis of Complex Properties of Computer Systems, GAČR - Standardní projekty, GA20-07487S, 2020-2022, ukončen, zahájení: 2020-01-01, ukončení: 2022-12-31
  Detail

  Spolehlivé, bezpečné a efektivní počítačové systémy, VUT v Brně - Vnitřní projekty VUT, FIT-S-20-6427, 2020-2022, ukončen, zahájení: 2020-03-01, ukončení: 2022-12-31
  Detail

• 2019

  AUTODEV - Automaty v rozhodovacích procedurách a verifikaci, GAČR - Standardní projekty, GA19-24397S, 2019-2021, ukončen, zahájení: 2019-01-01, ukončení: 2021-12-31
  Detail

• 2017

  Bezpečné a spolehlivé počítačové systémy, VUT v Brně - Vnitřní projekty VUT, FIT-S-17-4014, FIT-S-17-4014, 2017-2019, ukončen, zahájení: 2017-03-01, ukončení: 2019-12-31
  Detail

  ROBUST - Verifikace a hledání chyb v pokročilém softwaru, GAČR - Standardní projekty, GA17-12465S, 2017-2019, ukončen, zahájení: 2017-01-01, ukončení: 2019-12-31
  Detail

• 2016

  Podpora mezinárodní mobility akademických pracovníků VUT v Brně, MŠMT ČR - Rozvojové programy MŠMT, 2016, ukončen, zahájení: 2016-01-01, ukončení: 2016-12-31
  Detail

  Podpora mezinárodní spolupráce VUT v Brně, MŠMT ČR - Rozvojové programy MŠMT, 2016, ukončen, zahájení: 2016-01-01, ukončení: 2016-12-31
  Detail

  Přibližná ekvivalence pro aproximativní počítání, GAČR - Standardní projekty, GA16-17538S, 2016-2018, ukončen, zahájení: 2016-01-01, ukončení: 2018-12-31
  Detail

• 2014

  Automatizovaná formální analýza a verifikace programů se složitými datovými a řídicími strukturami s předem neomezenou velikostí, GAČR - Standardní projekty, GA14-11384S, 2014-2016, ukončen, zahájení: 2014-01-01, ukončení: 2016-12-31
  Detail