Věra Malásková
Secretary
+420 54114 1139
malaska@fit.vut.cz
C208 Organizational Department of Departments
Projects
-
2023
AIDE - Advanced Analysis and Verification for Advanced Software, GACR, GA23-06506S, 2023-2025, running, start: 2023-01-01, end: 2025-12-31
DetailROULETTE - Representing Boolean Functions by a Self-Adaptable Data Structure, GACR, GA23-07565S, 2023-2025, running, start: 2023-01-01, end: 2025-12-31
DetailVESCAA: Verifiable and Efficient Synthesis of Agent Controllers, GACR, GA23-06963S, 2023-2025, running, start: 2023-03-01, end: 2025-12-31
Detail -
2022
A set of forensic analytic tools for image and video processing for the criminal police and investigation service, MV CR, VJ02010041, 2022-2025, running, start: 2022-01-01, end: 2025-12-31
Detail -
2020
CAQTUS - CAQtuS: Computer-Aided Quantitative Synthesis, GACR, GJ20-02328Y, 2020-2022, completed, start: 2020-01-01, end: 2022-12-31
DetailReliable, Secure, and Efficient Computer Systems, BUT, FIT-S-20-6427, 2020-2022, completed, start: 2020-03-01, end: 2022-12-31
DetailSNAPPY - 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
AUTODEV - Automata for Decision Procedures and Verification, GACR, GA19-24397S, 2019-2021, completed, start: 2019-01-01, end: 2021-12-31
Detail -
2017
ROBUST - veRificatiOn and Bug hUnting for advanced SofTware, GACR, GA17-12465S, 2017-2019, completed, start: 2017-01-01, end: 2019-12-31
DetailSecure and Reliable Computer Systems, BUT, FIT-S-17-4014, FIT-S-17-4014, 2017-2019, completed, start: 2017-03-01, end: 2019-12-31
Detail -
2016
Podpora mezinárodní mobility akademických pracovníků VUT v Brně, MŠMT CR, 2016, completed, start: 2016-01-01, end: 2016-12-31
DetailPodpora mezinárodní spolupráce VUT v Brně, MŠMT CR, 2016, completed, start: 2016-01-01, end: 2016-12-31
DetailRelaxed equivalence checking for approximate computing, GACR, GA16-17538S, 2016-2018, completed, start: 2016-01-01, end: 2018-12-31
Detail -
2014
Automatic Formal Analysis and Verification of Programs with Complex Unbounded Data and Control Structures, GACR, GA14-11384S, 2014-2016, completed, start: 2014-01-01, end: 2016-12-31
Detail