Ústav inteligentních systémů
2020
- CAQTUS - Computer-Aided Quantitative Synthesis, GAČR - Juniorské granty, GJ20-02328Y, 2020-2022, řešení Detail
- Efektivní konečné automaty pro automatické usuzování, MŠMT ČR - ERC CZ, LL1908, 2020-2024, řešení Detail
- SNAPPY - Scalable Techniques for Analysis of Complex Properties of Computer Systems, GAČR - Standardní projekty, GA20-07487S, 2020-2022, řešení Detail
- VALU3S - Verification and Validation of Automated Systems' Safety and Security, ECSEL JU - Horizon 2020, 2020-2023, přijat Detail
2019
- Arrowhead - Arrowhead Tools for Engineering of Digitalisation Solutions, ECSEL JU - Horizon 2020, 2019-2022, řešení Detail
- AUFOVER - Automatizace Formální Verifikace (TACR), TAČR - Program na podporu aplikovaného výzkumu a experimentálního vývoje EPSILON (2015-2025), TH04010192, 2019-2021, řešení Detail
- AUTODEV - Automaty v rozhodovacích procedurách a verifikaci, GAČR - Standardní projekty, GA19-24397S, 2019-2021, řešení Detail
- Bezpečnostní monitorování řídící komunikace ICS v energetických sítích (BONNET), MV ČR - Program bezpečnostního výzkumu ČR v letech 2015-2022 (BV III/1-VS), VI20192022138, 2019-2022, řešení Detail
- Flexibilní sonda pro realizaci zákonných odposlechů, MV ČR - Program bezpečnostního výzkumu ČR v letech 2015-2022 (BV III/1-VS), VI20192022143, 2019-2022, řešení Detail
- KYPO4Industry, TAČR - Národní centra kompetence 1, TN01000077/VUT03, 2019-2020, řešení Detail
- Pokročilé metody hluboké inspekce v aplikační vrstvě pro obranu proti dnešním hrozbám, VUT v Brně - Vnitřní projekty VUT, FEKT/FIT-J-19-5906, 2019-2020, řešení Detail
- Průzkum a edukace občanů České republiky v oblasti biometrie, TAČR - Program na podporu aplikovaného společenskovědního a humanitního výzkumu, experimentálního vývoje a inovací ÉTA., TL02000134, 2019-2021, řešení Detail
- SECUSEN - SECUre SENsors and data - Bezpečné senzory a data, TAČR - Národní centra kompetence 1, TN01000077/VUT02, 2019-2020, řešení Detail
2018
- Kunst - Nástroj pro tvorbu schémat technologických procesů v oblasti čistíren odpadních vod, Kunst, 2018-2019, řešení Detail
- Mezinárodní mobilita výzkumníků Vysokého učení technického v Brně, MŠMT ČR - OPVVV PO2 Mezinárodní mobilita výzkumných pracovníků, EF16_027/0008371, 2018-2022, řešení Detail
- Možnosti tvorby komunitní genealogické databáze se sémantickou informací a zahrnutou neurčitostí, TAČR - Program na podporu aplikovaného společenskovědního a humanitního výzkumu, experimentálního vývoje a inovací ÉTA., TL01000130, 2018-2021, řešení Detail
- MUSIC - Mnohoúrovňová bezpečnost v kritických aplikacích počítačových systémů, MŠMT ČR - INTER-EXCELLENCE - Podprogram INTER-EUREKA LTE217, LTE118019, 2018-2020, řešení Detail
- TEchnology TRAnsfer via Multinational Application eXperiments (TETRAMAX), EK EU - Horizon 2020, 2018-2021, řešení Detail
- Zařízení pro automatické snímání očního pozadí (EYRINA4), TAČR - Program aplikovaného výzkumu, experimentálního vývoje a inovací GAMA (2014-2019), TG01010054, 2018-2019, ukončen Detail
- Zavedení atraktivního a efektivního studia v anglickém jazyce na FIT, JMK - Ostatní veřejné zdroje financování nepatřící do institucionálních zdrojů ČR, 2018-2019, řešení Detail
2017
- AQUAS: Aggregated Quality Assurance for Systems, ECSEL JU - Horizon 2020, 8A17001, 737475, 2017-2020, řešení Detail
- Bezpečné a spolehlivé počítačové systémy, VUT v Brně - Vnitřní projekty VUT, FIT-S-17-4014, FIT-S-17-4014, 2017-2019, řešení Detail
- IotCloud - Inteligence pro systémy IoT, TAČR - Program na podporu aplikovaného výzkumu a experimentálního vývoje EPSILON (2015-2025), TH02010845, 2017-2019, ukončen Detail
- Moderní a otevřené studium techniky (MOST), MŠMT ČR - OP VVV PO2 ESF výzva pro vysoké školy, 2017-2022, řešení 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, řešení Detail
- ROBUST - Verifikace a hledání chyb v pokročilém softwaru, GAČR - Standardní projekty, GA17-12465S, 2017-2019, ukončen Detail
- Zpracování, zobrazování a analýza multimediálních a 3D dat, VUT v Brně - Vnitřní projekty VUT, FIT-S-17-3984, 2017-2019, řešení Detail
2016
- IT4Innovations excellence in science, MŠMT ČR - Národní program udržitelnosti II, LQ1602, 2016-2020, řešení Detail
2015
- Sondy pro analýzu a filtraci provozu na úrovni aplikačních protokolů, MV ČR - Bezpečnostní výzkum České republiky 2015-2020, VI20152019001, 2015-2019, ukončen Detail
2014
- Software Quality Improvement, RedHatCZ, 2014-2020, řešení Detail
2005
- Brno University Security Laboratory, FIT VUT - Institucionální podpora na rozvoj výzkumné organizace, BUSLab, 2005-2020, řešení Detail
1991
- SIMLIB - simulační knihovna pro C++, FIT VUT - Institucionální podpora na rozvoj výzkumné organizace, FIT-SIMLIB, 1991-2020, řešení Detail