Department of Intelligent Systems

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

2025

NexTArc - Next Generation Open Innovations in Trustworthy Embedded AI Architectures for Smart Cities, Mobility and Logistics, KDT JU, 101194287, 2025-2028, accepted Detail
QUAK: Quantum Program Analysis using Automata Toolkit, GACR, 25-18318S, 2025-2027, running Detail
String Constraints for Security Analysis, GACR, 25-17934S, 2025-2027, accepted Detail

EUROPEAN BLOCKCHAIN SERVICES INFRASTRUCTURE, EBSI, MPO CR, Z222901000001, 2024-2025, running Detail
EXCEL@FIT 2024, BUT, 2024, completed Detail
Novel AI-Driven Process Automation for Simplifying and Enhancing Telecommunication Processes, TACR, FW10010014, 2024-2026, running Detail
RED HAT - výzkum pokročilých metod inženýrství kvality kódu se zvláštním zaměřením na vylepšení stávajícího nástroje Perun a jeho použití v portfoliu společnosti Red Hat, zejména pro profilování linuxového jádra, RedHatCZ, 2024, completed Detail
Tools To Combat Voice DeepFakes, MV CR, VB02000060, 2024-2026, running Detail
Verification and Analysis for Safety and Security of Applications in Life, EC EU - HORIZON EUROPE, SEP-210979090, SEP-210979090, 2024-2027, running Detail

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, running Detail
CHESS - Cyber-security Excellence Hub in Estonia and South Moravia, EC EU - HORIZON EUROPE, 101087529, 101087529, 2023-2026, running Detail
Long Life Power Platforms for Internet of Things, KDT JU, 9A23012, SEP-101112286, 2023-2026, running Detail
NGI0 Entrust Hop On, EC EU - HORIZON EUROPE, 101119350, 2023-2025, 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
VESCAA: 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
TENACITy: Travelling intelligENce Against CrIme and Terrorism, EC EU - HORIZON EUROPE, 101074048, 2022-2025, running Detail
Transformation of the education form and content at the Brno University of Technology, MŠMT CR, 2022-2024, completed Detail

5G enhanced robot autonomy, EC EU - Horizon 2020, 101016681, 2021-2024, completed 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
Distributed Artificial Intelligent Systems, ECSEL JU, 8A21012, 101007273, 2021-2024, running Detail

Efficient Finite Automata for Automated Reasoning, MŠMT CR, LL1908, 2020-2024, running Detail

Methods for extracting and detecting patterns in the program code, Avast, 2017-2024, running Detail

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