Department of Intelligent Systems

Author Title (all words) Keywords (any word) Year Years Project Status

2023

AIDE - Advanced Analysis and Verification for Advanced Software, GACR, GA23-06506S, 2023-2025, running Detail
Cybersecurity Innovation Hub, EC EU - Digital Europe Programme, 101083932, 101083932, 2023-2025, accepted Detail
EXCEL@FIT 2023, BUT, FIT-S-23-1, 2023, running Detail
CHESS - Cyber-security Excellence Hub in Estonia and South Moravia, EC EU - HORIZON EUROPE, 101087529, 101087529, 2023-2026, running Detail
Reliable, Secure, and Intelligent Computer Systems, BUT, FIT-S-23-8151, 2023-2025, running Detail
ROULETTE - Representing Boolean Functions by a Self-Adaptable Data Structure, GACR, GA23-07565S, 2023-2025, running Detail
The development of an application for automated register of hunted ungulates based on the individual structure of outer nose skin tissue, MZe CR, QK23020117, 2023-2025, running Detail
VESAC: Verifiable and Efficient Synthesis of Agent Controllers, GACR, GA23-06963S, 2023-2025, running Detail

A set of forensic analytic tools for image and video processing for the criminal police and investigation service, MV CR, VJ02010041, 2022-2025, running Detail
Aviation protection against low-energy lasers, TACR, CK03000036, 2022-2025, running Detail
Development of the autonomous monitoring center, MPO CR, 2022-2023, running Detail
EXCEL@FIT 2022, BUT, 2022, completed Detail
LS FIT-MU Licence z NCK, UNIS, 2022, running Detail
Optimization of Trucks Loading, Lean Industry, s.r.o., 2022-2023, running Detail
Transformation of the education form and content at the Brno University of Technology, MŠMT CR, 2022-2024, running Detail
Vývoj autonomního dohledového centra - SV, ALSYKO security, s.r.o., 2022-2023, running Detail

AI-augmented automation for efficient DevOps, a model-based framework for continuous development At RunTime in cyber-physical systems, ECSEL JU, 8A21015, 101007350, 2021-2024, running Detail
FIT BUT - Preparation of own project for Horizon Europe program, SMR, 2021-2022, completed Detail
Identification, classification and numerical simulation of fracture pattern in acrylic glass sheets, MŠMT CR, 8J21DE002, 2021-2022, completed Detail
International collaboration in forensic analysis of fingerprints and facial images for the criminal police service, MV CR, VJ01030006, 2021-2023, running Detail
Security and Monitoring of Distributed Manufacturing Execution Systems, TACR - Národní centra kompetence 1, TN01000077/12, 2021-2022, completed Detail
SECUSEN II: SECure SENsors - Industrial Intelligence, TACR - Národní centra kompetence 1, TN01000077/14, 2021-2022, completed Detail
Universal telemedicine software libraries, MPO CR, 2021-2023, running Detail
Universal telemedicine software libraries - SV, Meta IT, 2021-2023, running Detail

CAQTUS - CAQtuS: Computer-Aided Quantitative Synthesis, GACR, GJ20-02328Y, 2020-2022, completed Detail
Efficient Finite Automata for Automated Reasoning, MŠMT CR, LL1908, 2020-2024, running Detail
International mobility of researchers at the Brno University of Technology II, MSMT OP VVV, EF18_053/0016962, 2020-2023, running Detail
Reliable, Secure, and Efficient Computer Systems, BUT, FIT-S-20-6427, 2020-2022, completed Detail
SNAPPY - Scalable Techniques for Analysis of Complex Properties of Computer Systems, GACR, GA20-07487S, 2020-2022, completed Detail
VALU3S - Verification and Validation of Automated Systems' Safety and Security, ECSEL JU, 8A20009, 876852, 2020-2023, running Detail

Arrowhead - Arrowhead Tools for Engineering of Digitalisation Solutions, ECSEL JU, 8A19010, 826452, 2019-2022, completed Detail
Flexible probe for lawful interceptions, MV CR, VI20192022143, 2019-2022, completed Detail
Framework of key enabling technologies for safe and autonomous drones´ applications, ECSEL JU, 8A19003, 826610, 2019-2023, completed Detail
Security monitoring of ICS communication in the smart grid, MV CR, VI20192022138, 2019-2022, completed Detail

Methods for extracting and detecting patterns in the program code, Avast, 2017-2023, running Detail
Moderní a otevřené studium techniky (MOST), MŠMT CR, 2017-2022, completed Detail

Development of robot automobile operating and development of new generation of assistant systems for operating, ARTIN, 2011-2099, running Detail