Barbora Paulíková

Projekty

• 2023

  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

• 2020

  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

• 2017

  AQUAS: Aggregated Quality Assurance for Systems, ECSEL JU - Společná technologická iniciativa ECSEL, 8A17001, 737475, 2017-2020, ukončen, zahájení: 2017-05-01, ukončení: 2020-06-30
  Detail

  Integrovaná platforma pro zpracování digitálních dat z bezpečnostních incidentů, MV ČR - Bezpečnostní výzkum České republiky 2015-2020, VI20172020062, 2017-2020, ukončen, zahájení: 2017-01-01, ukončení: 2020-06-30
  Detail

  Nástroje a metody zpracování videa a obrazu pro zvýšení efektivity operací bezpečnostních a záchranných složek, MV ČR - Bezpečnostní výzkum České republiky 2015-2020, VI20172020068, 2017-2020, ukončen, zahájení: 2017-01-01, ukončení: 2020-12-31
  Detail