Department of Intelligent Systems

Projects and grants

Participant: From year:  Years:  Status: 
Name: Agency: 
  
2017AQUAS: Aggregated Quality Assurance for Systems, ECSEL JU - Horizon 2020, 737475, 2017-2020, running
Research leader: Robinson Charles, Vojnar Tomáš
 Detection of Wave P in Pathological ECG Records, BUT, FEKT/FIT-J-17-4479, 2017-2018, running
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, CZ.02.2.69/0.0/0.0/16_015/0002430, 2017-2022, running
Team leaders: Růžička Richard
 ROBUST - veRificatiOn and Bug hUnting for advanced SofTware, GACR, 17-12465S, 2017-2019, running
Research leader: Vojnar Tomáš
Team leaders: Kofroň Jan
 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, running
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, running
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, running
Research leader: Korček Pavol
Team leaders: Novotný Tomáš
 Podpora mezinárodní mobility akademických pracovníků VUT v Brně, RP MŠMT, 2016, completed
Research leader: Beran Vítězslav
 Podpora mezinárodní spolupráce VUT v Brně, RP MŠMT, 2016, completed
Research leader: Beran Vítězslav
 Relaxed equivalence checking for approximate computing, GACR, GA16-17538S, 2016-2018, running
Research leader: Vojnar Tomáš
2015Control of intelligent household, SMCIM, 2015-2016, completed
Research leader: Drahanský Martin
 Research 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
2014Automatic Formal Analysis and Verification of Programs with Complex Unbounded Data and Control Structures, GACR, GA14-11384S, 2014-2016, completed
Research leader: Vojnar Tomáš
Team leaders: Kofroň Jan
 Centers of Excellence for young RESearchers, EU Tempus, 544137-TEMPUS-1-2013-1-SK, 2014-2016, completed
Research leader: Levashenko Vitaly
Team leaders: Drahanský Martin
 New solutions for multimodal biometrics - enhancement of security and reliability of biometric technologies, COST, LD14013, 2014-2016, completed
Research leader: Drahanský Martin
Team leaders: Provazník Ivo
 Reliability and Security in IT, BUT, FIT-S-14-2486, 2014-2016, completed
Research leader: Vojnar Tomáš
 Runtime Verification beyond Monitoring (ARVI), COST - European Cooperation in Science and Technology (COST), IC1402, IC1402, 2014-2018, running
Research leader: Kofroň Jan
Team leaders: Vojnar Tomáš
 Software Quality Improvement, RedHatCZ, 2014-2099, running
Research leader: Vojnar Tomáš
2013HoliDes - Holistic Human Factors and System Design of Adaptive Cooperative Human-Machine Systems, Artemis JU, 7H13004, 332933, 2013-2016, completed
Research leader: Herout Adam
Team leaders: Křena Bohuslav, Smrčka Aleš, Smrž Pavel, Vojnar Tomáš, Zemčík Pavel
2010development of Software for electronic facilities, Honeywell, HTSCZ000318, 2010-2017, running
Research leader: Kořenek Jan
Team leaders: Martínek Tomáš, Zemčík Pavel, Žádník Martin

Your IPv4 address: 54.91.16.95
Switch to IPv6 connection

DNSSEC [dnssec]