Department of Intelligent Systems

Projects and grants

Team member:
Title:
Keywords:
From year: Years:  Status: 
Agency:
  
2019AUFOVER - AuFoVer - Automated Formal Verification, TACR, TH04010192, 2019-2021, running
Research leader: Kratochvíla Tomáš
Team leaders: Smrčka Aleš
 AUTODEV - Automata for Decision Procedures and Verification, GACR, GA19-24397S, 2019-2021, running
Research leader: Holík Lukáš
Team leaders: Strejček Jan
 Advanced methods of deep inspection in the application layer to defend against today's threats, BUT, FEKT/FIT-J-19-5906, 2019-2020, running
Research leader: Janků Petr
Team leaders: Holík Lukáš, Mlýnek Petr, Sláčik Ján, Vargovčík Pavol, Vojnar Tomáš
 Survey and education of citizens of the Czech Republic in the field of biometrics, TACR, TL02000134, 2019-2021, running
Research leader: Drahanský Martin
2018A tool for creating technological schemas of wastewater treatment plants, Kunst, 2018-2019, running
Research leader: Kočí Radek
 Alba Metal Preparedness Analysis and Industry 4.0, Intemac, 2018, completed
Research leader: Sadovský Petr
Team leaders: Veigend Petr
 Device for automatic scanning of eye retina (EYRINA4), TACR, TG01010054, 2018-2019, running
Research leader: Drahanský Martin
 International mobility of researchers at the Brno University of Technology, MŠMT CR, EF16_027/0008371, 2018-2022, running
Research leader: Štěpánek Petr
Team leaders: Zemčík Pavel
 Introduction of attractive and effective English language studies at FIT, SMR, 2018-2019, running
Research leader: Růžička Richard
 MUSIC - MuSiC - Multi-level Security for Critical Services, MŠMT CR, LTE118019, 2018-2020, running
Research leader: Zemčík Pavel
 Possibilities for creation of communite genealogical database with semantic information and uncertainty, TACR, TL01000130, 2018-2021, running
Research leader: Rozman Jaroslav
Team leaders: Zbořil František
 TEchnology TRAnsfer via Multinational Application eXperiments (TETRAMAX), EC EU - Horizon 2020, 2018-2021, running
Research leader: Leupers Rainer
Team leaders: Palkovič Martin
2017AQUAS: Aggregated Quality Assurance for Systems, ECSEL JU - Horizon 2020, 8A17001, 737475, 2017-2020, running
Research leader: Robinson Charles
Team leaders: Vojnar Tomáš
 Detection of Wave P in Pathological ECG Records, BUT, FEKT/FIT-J-17-4479, 2017-2018, completed
Research leader: Maršánová Lucie
Team leaders: Drahanský Martin, Goldmann Tomáš, Kolářová Jana, Němcová Andrea, Smíšek Radovan, Vítek Martin
 Digimat, CEA - Horizon 2020, 2017, completed
Research leader: Sadovský Petr
Team leaders: Zemčík Pavel
 IotCloud - Intelligence for IoT systems, TACR, TH02010845, 2017-2019, running
Research leader: Kořenek Jan
 Moderní a otevřené studium techniky (MOST), MŠMT CR, 2017-2022, running
Research leader: Růžička Richard
 Processing, recognition and imaging of multimeadia and 3D data, BUT, FIT-S-17-3984, 2017-2019, running
Research leader: Zemčík Pavel
Team leaders: Černocký Jan, Herout Adam, Chudý Peter, Smrž Pavel
 ROBUST - veRificatiOn and Bug hUnting for advanced SofTware, GACR, GA17-12465S, 2017-2019, running
Research leader: Vojnar Tomáš
Team leaders: Kofroň Jan
 Secuirty audit of Smart Payment Centrum system, MONET+, 2017, completed
Research leader: Barabas Maroš
 Secure and Reliable Computer Systems, BUT, FIT-S-17-4014, FIT-S-17-4014, 2017-2019, running
Research leader: Vojnar Tomáš
 Teaching capacity of FIT BUT, SMR, 2017-2018, completed
Research leader: Křena Bohuslav
 Tools and methods for video and image processing to improve effectivity of rescue and security services operations, MV CR, VI20172020068, 2017-2020, running
Research leader: Zemčík Pavel
Team leaders: Beran Vítězslav, Drahanský Martin, Smrž Pavel, Zendulka Jaroslav
 Web Application Industry Dictionary 4.0, ŠKODA AUTO a.s., 2017, completed
Research leader: Hruška Tomáš
Team leaders: Žák Marek
2016Efficient Automata for Formal Reasoning, GACR, GJ16-24707Y, 2016-2018, completed
Research leader: Holík Lukáš
 Exploring new Applications for Modern Taylor Series Methods to Solve Stiff and High-Order Systems, MŠMT CR, Aktion-76p11, 2016-2017, completed
Research leader: Kunovský Jiří
 Features extraction from eye retina and their analysis, SMCIM, 2016-2017, completed
Research leader: Drahanský Martin
 IT4Innovations excellence in science, MŠMT CR, LQ1602, 2016-2020, running
Research leader: Hruška Tomáš
 Microscopic analysis of botanic samples and their preparation for e-learning, SMCIM, 2016-2017, completed
Research leader: Drahanský Martin
 Monitoring the Internet of things wireless networks for security reseasons, CESNET, 2016-2017, completed
Research leader: Korček Pavol
Team leaders: Novotný Tomáš
 Relaxed equivalence checking for approximate computing, GACR, GA16-17538S, 2016-2018, completed
Research leader: Vojnar Tomáš
2015Research and develompent for soomz AG, soomz, 2015-2017, completed
Research leader: Drahanský Martin
 Smart Application Aware Embedded Probes, MV CR, VI20152019001, 2015-2019, running
Research leader: Kořenek Jan
Team leaders: Korček Pavol, Žádník Martin
2014Algorithms, Design Methods, and Many-Core Execution Platform for Low-Power Massive Data-Rate Video and Image Processing, Artemis JU, 7H14002, 621439, 2014-2017, completed
Research leader: Zemčík Pavel
Team leaders: Smrž Pavel
 Runtime Verification beyond Monitoring (ARVI), COST - European Cooperation in Science and Technology (COST), IC1402, IC1402, 2014-2018, completed
Research leader: Kofroň Jan
Team leaders: Vojnar Tomáš
 Software Quality Improvement, RedHatCZ, 2014-2020, running
Research leader: Vojnar Tomáš
2010development of Software for electronic facilities, Honeywell, HTSCZ000318, 2010-2018, completed
Research leader: Kořenek Jan
Team leaders: Martínek Tomáš, Zemčík Pavel, Žádník Martin
2005Brno University Security Laboratory, FIT BUT, BUSLab, 2005-2020, running
Research leader: Hanáček Petr, Matyáš Václav, Říha Zdeněk, Staudek Jan
1991SIMLIB - Simulation Library for C++, FIT BUT, FIT-SIMLIB, 1991-2020, running
Research leader: Peringer Petr
Team leaders: Martinek David

Your IPv4 address: 54.145.38.157