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
Team leaders: Vojnar Tomáš
 Secure and Reliable Computer Systems, BUT, FIT-S-17-4014, FIT-S-17-4014, 2017-2019, running
Research leader: 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
Team leaders: Zemčík Pavel
 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
 ROBUST - veRificatiOn and Bug hUnting for advanced SofTware, GACR, 17-12465S, 2017-2019, running
Research leader: Vojnar Tomáš
Team leaders: Kofroň Jan
 Web Application Industry Dictionary 4.0, ŠKODA AUTO a.s., 2017, running
Research leader: Hruška Tomáš
Team leaders: Žák Marek
 Teaching capacity of FIT BUT, SMR, 2017-2018, running
Research leader: Křena Bohuslav
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, running
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áš
2015MEMICS 2015, FI MUNI, 2015, completed
Research leader: Kočí Radek
 Control of intelligent household, SMCIM, 2015-2016, 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
 Research and develompent for soomz AG, soomz, 2015-2099, running
Research leader: Drahanský Martin
2014Application for hematoma recognition in iOS environment, SMCIM, 2014-2015, completed
Research leader: Drahanský Martin
 Automatic 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
 Innovation voucher of Zlinsky region - INVELECT, KUZK, InVo INVELECT 2014, 2014-2015, completed
Research leader: Drahanský Martin
Team leaders: Hájek Josef
 Innovation voucher of Zlinsky region - SychrovNet, KUZK, InVo SychrovNet 2014, 2014-2015, completed
Research leader: Drahanský Martin
Team leaders: Hájek Josef
 Modern Taylor Series Method and Parallel Implementation of Numerical Methods for Large Systems, MŠMT CR, Aktion, 2014-2015, completed
Research leader: Kunovský Jiří
Team leaders: Chaloupka Jan, Kocina Filip, Šátek Václav
 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
 Advanced Advanced methods for the classification of mental states using brain's electrical activity analysis, BUT, FEKT/FIT-J-14-2432, 2014-2015, completed
Research leader: Kupková Karolína
Team leaders: Drahanský Martin
 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áš
 Reliability and Security in IT, BUT, FIT-S-14-2486, 2014-2016, completed
Research leader: Vojnar Tomáš
 Innovation voucher of Olomoucky region - CEDRO sole, CEDRO sole, 2014-2015, completed
Research leader: Podivínský Jakub
Team leaders: Čekan Ondřej
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
 Intelligent Testing and Analysis of Concurrent Software, MŠMT CR, LH13265, 2013-2015, completed
Research leader: Vojnar Tomáš
Team leaders: Křena Bohuslav
 Verification of Infinite State Systems Based on Finite Automata, GACR, GP13-37876P, 2013-2015, completed
Research leader: Holík Lukáš
2012St. Anne´s University Hospital in Brno - International Clinical Research Center, MŠMT CR, CZ.1.05/1.1.00/02.0123, 2012-2015, completed
Team leaders: Drahanský Martin
 Support of Interdisciplinary Excellence Research Teams Establishment at BUT, MŠMT CR, CZ.1.07/2.3.00/30.0005, 2012-2015, completed
Research leader: Urban Tomáš
Team leaders: Cumani Sandro, Černocký Jan, Letko Zdeněk, Vojnar Tomáš
 Device for acquirement and recognition of eye iris and eye retina, MŠMT CR, ED3.1.00/13.0271, 2012-2015, completed
Research leader: Drahanský Martin
Team leaders: Kolář Radim, Provazník Ivo, Vojnarová Marta
2011The IT4Innovations Centre of Excellence, MŠMT CR, ED1.1.00/02.0070, 2011-2015, completed
Research leader: Hruška Tomáš, Vondrák Ivo
Team leaders: Černocký Jan, Češka Milan, Drahanský Martin, Fučík Otto, Hanáček Petr, Herout Adam, Kotásek Zdeněk, Meduna Alexander, Sekanina Lukáš, Smrž Pavel, Švéda Miroslav, Vojnar Tomáš, Zemčík Pavel, Zendulka Jaroslav
 Transactional Memories: Foundations, Algorithms, Tools, and Applications (Euro-TM), COST, IC1001, 2011-2015, completed
Research leader: Lourenco Joao
Team leaders: Romano Paolo, Vojnar Tomáš
2010Tools and Methods for Video and Image Processing for the Fight against Terrorism, MV CR, VG20102015006, 2010-2015, completed
Research leader: Zendulka Jaroslav
Team leaders: Drahanský Martin, Zemčík Pavel
 development 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.224.41.46
Switch to IPv6 connection

DNSSEC [dnssec]