Eva Štanclová

Projects

• 2023

  VESCAA: Verifiable and Efficient Synthesis of Agent Controllers, GACR, GA23-06963S, 2023-2025, running, start: 2023-03-01, end: 2025-12-31
  Detail

• 2020

  SNAPPY - Scalable Techniques for Analysis of Complex Properties of Computer Systems, GACR, GA20-07487S, 2020-2022, completed, start: 2020-01-01, end: 2022-12-31
  Detail

• 2019

  Security monitoring of ICS communication in the smart grid, MV CR, VI20192022138, 2019-2022, completed, start: 2019-11-01, end: 2022-10-31
  Detail

• 2017

  Integrated platform for analysis of digital data from security incidents, MV CR, VI20172020062, 2017-2020, completed, start: 2017-01-01, end: 2020-06-30
  Detail

  Tools and methods for video and image processing to improve effectivity of rescue and security services operations, MV CR, VI20172020068, 2017-2020, completed, start: 2017-01-01, end: 2020-12-31
  Detail

• 2015

  Information mining in speech acquired by distant microphones (DRAPÁK), MV CR, VI20152020025, 2015-2020, completed, start: 2015-10-01, end: 2020-09-30
  Detail

  Smart Application Aware Embedded Probes, MV CR, VI20152019001, 2015-2019, completed, start: 2015-09-01, end: 2019-05-31
  Detail

• 2010

  Modern Tools for Detection and Mitigation of Cyber Criminality on the New Generation Internet, MV CR, VG20102015022, 2010-2015, completed, start: 2010-10-01, end: 2015-09-30
  Detail

  Tools and Methods for Video and Image Processing for the Fight against Terrorism, MV CR, VG20102015006, 2010-2015, completed, start: 2010-10-01, end: 2015-09-30
  Detail