Department of Computer Systems

Projects and grants

Participant: From year:  Years:  Status: 
Name: Agency: 
  
2013Application of methods and techniques of formal verification in the design of advanced digital circuits, FRVŠ MŠMT, FR1086/2013/G1, 2013, running
Research leader: Šimková Marcela
Team leaders: Kajan Michal, Kotásek Zdeněk
 Innovation of laboratory of chips security analysis, FRVŠ MŠMT, FR1239/2013/Aa, 2013, running
Research leader: Drahanský Martin
Team leaders: Fučík Otto, Hanáček Petr
2012Application of functional verification in the digital circuits development process, FRVŠ MŠMT, FR1798/2012/G1, 2012, completed
Research leader: Lengál Ondřej
Team leaders: Kajan Michal, Kotásek Zdeněk
 Evolution based control design in aeroservoelastic phenomena, MŠMT, 7AMB12DE004, 2012-2013, running
Research leader: Chudý Peter
Team leaders: Holzapfel Florian
 Excellent Young Researchers at BUT, MŠMT, CZ.1.07/2.3.00/30.0039, 2012-2015, running
Research leader: Buriánková Iveta
Team leaders: Dobai Roland, Hruška Tomáš, Plascencia Alfredo C., Přikryl Zdeněk, Sekanina Lukáš, Zemčík Pavel
 Inovation and creation of new laboratory lessons in hardware courses, FRVŠ MŠMT, FR1224/2012/G1, 2012, completed
Research leader: Bartoš Pavel
Team leaders: Kotásek Zdeněk, Šimek Václav
 Methodologies for Fault Tolerant Systems Design Development, Implementation and Verification, MŠMT, LD12036, 2012-2015, running
Research leader: Kotásek Zdeněk
Team leaders: Kaštil Jan, Mičulka Lukáš, Straka Martin, Strnadel Josef, Šimková Marcela
 Multimedia lab for design of advanced integrated systems, FRVŠ MŠMT, FR1558/2012/Aa, 2012, completed
Research leader: Chudý Peter
Team leaders: Růžička Richard, Šimek Václav
 Research and development focused on monitoring and management of lorry movement on lower class road network in the Czech Republic, TAČR, TA02030841, 2012-2014, running
Research leader: Zemčík Pavel
Team leaders: Fučík Otto, Petrlík Jiří, Smrž Pavel
 Sensors and computing infrastructure to support education in classification, recognition and evolutionary algorithms, FRVŠ MŠMT, FR2306/2012/Ab, 2012, completed
Research leader: Černocký Jan
Team leaders: Sekanina Lukáš, Zemčík Pavel
 Transport systems development centre, TAČR, TE01020155, 2012-2018, running
Research leader: Zemčík Pavel
Team leaders: Bařina David, Fülöp Tibor, Korček Pavol, Láník Aleš, Přibyl Jaroslav
 Verification and Optimization of Computer Systems, VUT v Brně, FIT-S-12-1, 2012-2014, running
Research leader: Vojnar Tomáš
Team leaders: Češka Milan, Dudka Kamil, Fiedor Jan, Fučík Otto, Korček Pavol, Křena Bohuslav, Lengál Ondřej, Letko Zdeněk, Minárik Michal, Peringer Petr, Petrlík Jiří, Rogalewicz Adam, Sekanina Lukáš, Šimáček Jiří, Vašíček Zdeněk
 Verification of the implementation of continuous traffic load map using modern classification and prediction methods, TAČR, TA02030915, 2012-2014, running
Research leader: Fučík Otto
Team leaders: Zemčík Pavel
2011Advanced recognition and presentation of multimedia data, VUT v Brně, FIT-S-11-2, 2011-2013, running
Research leader: Zemčík Pavel
Team leaders: Angelov Michael, Bartík Vladimír, Bartoš Peter, Bendl Jaroslav, Beran Vítězslav, Bidlo Michal, Burget Lukáš, Burget Radek, Burgetová Ivana, Čermák Martin, Dolíhal Luděk, Fapšo Michal, Fučík Otto, Hannemann Mirko, Havel Jiří, Herout Adam, Hlosta Martin, Honzík Jan M., Horáček Petr, Husár Adam, Chudý Peter, Janda Miloš, Kombrink Stefan, Koutný Jiří, Kršek Přemysl, Křivka Zbyněk, Křoustek Jakub, Masařík Karel, Matějka Pavel, Mecera Martin, Meduna Alexander, Mikolov Tomáš, Milička Martin, Mrnuštík Michal, Očenášek Pavel, Otrusina Lubomír, Pešek Martin, Plchot Oldřich, Přibyl Bronislav, Rychlý Marek, Sekanina Lukáš, Schwarz Petr, Smrž Pavel, Szentandrási István, Šebek Michal, Šimková Marcela, Španěl Michal, Veselý Karel, Vogel Ivan, Zelený Jan, Zemek Petr, Zendulka Jaroslav
 Advanced secured, reliable and adaptive IT, VUT v Brně, FIT-S-11-1, 2011-2013, running
Research leader: Sekanina Lukáš
Team leaders: Barabas Maroš, Bartoš Pavel, Bidlo Michal, Češka Milan, Dittrich Petr, Dluhoš Ondřej, Doležel Michal, Drábek Vladimír, Drahanský Martin, Drozd Michal, Dudka Kamil, Dvořák Radim, Fajkus Jan, Fiedor Jan, Fučík Otto, Gach Marek, Grégr Matěj, Hájek Josef, Halfar Patrik, Henzl Martin, Herman David, Horáček Jan, Hrubá Vendula, Hrubý Martin, Janoušek Vladimír, Jurnečka Peter, Kačic Matej, Kadák Michal, Kadlček Filip, Kajan Michal, Kaštil Jan, Kněžík Jan, Kočí Radek, Konečný Filip, Korček Pavol, Kořenek Jan, Košař Vlastimil, Kreslíková Jitka, Křena Bohuslav, Kubát David, Kunovský Jiří, Lengál Ondřej, Letko Zdeněk, Lodrová Dana, Malačka Ondřej, Martínek Tomáš, Marvan Aleš, Matoušek Petr, Mičulka Lukáš, Michlovský Zbyněk, Minárik Michal, Minařík Miloš, Müller Petr, Nagy Jan, Novotňák Jiří, Novotný Tomáš, Očenášek Pavel, Orság Filip, Peringer Petr, Peterka Ondřej, Polčák Libor, Pospíchal Petr, Prívozník Michal, Puš Viktor, Ráb Jaroslav, Rogalewicz Adam, Růžička Richard, Ryšavý Ondřej, Schwarz Josef, Smrčka Aleš, Strnadel Josef, Stružka Jaroslav, Szöllös Alexandr, Šimáček Jiří, Šimek Václav, Švéda Miroslav, Tomec Martin, Trchalík Roman, Tříska Vít, Valenta Václav, Váňa Jan, Vašíček Zdeněk, Veselý Vladimír, Vojnar Tomáš, Zadina Martin, Zbořil František, Zbořil František V., Žádník Martin, Žák Jakub, Žaloudek Luděk
 General Purpose Computation on Graphics Processing Units (GPGPU), FRVŠ MŠMT, FR2641/2011/G1, 2011, completed
Research leader: Pospíchal Petr
Team leaders: Kajan Michal, Schwarz Josef
 Manufacturable and Dependable Multicore Architectures at Nanoscale, COST, IC1103, 2011-2015, running
Research leader: Kotásek Zdeněk
Team leaders: Kaštil Jan, Mičulka Lukáš, Straka Martin, Šimková Marcela
 Nasazení pokročilých optimalizačních technik při návrhu moderních číslicových obvodů založených na rekonfigurovatelných architekturách, FRVŠ MŠMT, FR0298/2011/G1, 2011, completed
Research leader: Korček Pavol
Team leaders: Kaštil Jan, Sekanina Lukáš
 Podpora talentovaných studentů na FIT VUT v Brně, RP MŠMT, RP2011-25/9, 2011, completed
Research leader: Hruška Tomáš
Team leaders: Křena Bohuslav, Růžička Richard, Zemčík Pavel
 The IT4Innovations Centre of Excellence, MŠMT, ED1.1.00/02.0070, 2011-2015, running
Research leader: Vondrák Ivo
Team leaders: Černocký Jan, Češka Milan, Drahanský Martin, Fučík Otto, Hanáček Petr, Herout Adam, Hruška Tomáš, Kotásek Zdeněk, Meduna Alexander, Sekanina Lukáš, Smrž Pavel, Švéda Miroslav, Vojnar Tomáš, Zemčík Pavel, Zendulka Jaroslav
2010Embedded Service Oriented Monitoring, Diagnostics and Control: Towards the Asset-aware and Self-Recovery Factory, Artemis JU, eSonia, 2010-2013, completed
Research leader: Smrž Pavel
Team leaders: Zemčík Pavel
 IT Education for Practice, MŠMT, CZ.1.07/2.2.00/15.0163, 2010-2013, running
Research leader: Růžička Richard
Team leaders: Bartík Vladimír, Burgetová Ivana, Kořenek Jan, Kreslíková Jitka, Kurečka Radomír, Matoušek Petr, Ráb Jaroslav, Rychlý Marek
 Modern Tools for Detection and Mitigation of Cyber Criminality on the New Generation Internet, MV, VG20102015022, 2010-2015, running
Research leader: Matoušek Petr
Team leaders: Herout Adam, Kořenek Jan, Lampa Petr, Martínek Tomáš, Podermański Tomáš, Ryšavý Ondřej, Zemčík Pavel
 Natural Computing on Unconventional Platforms, GAČR, GAP103/10/1517, 2010-2013, running
Research leader: Sekanina Lukáš
Team leaders: Bidlo Michal, Dvořák Václav, Jaroš Jiří, Růžička Richard, Schwarz Josef
 NetCOPE for the NetFPGA-10G card, JIC, JIC-InVo-INVEA-2010, 2010-2011, completed
Research leader: Korček Pavol
Team leaders: Kořenek Jan, Košař Vlastimil, Martínek Tomáš
2009Mathematical and Engineering Approaches to Developing Reliable and Secure Concurrent and Distributed Computer Systems, GAČR, GD102/09/H042, 2009-2012, completed
Research leader: Češka Milan
Team leaders: Bouda Jan, Brim Luboš, Černá Ivana, Dvořák Václav, Gruska Jozef, Hanáček Petr, Holub Petr, Hruška Tomáš, Kolář Dušan, Kotásek Zdeněk, Křena Bohuslav, Křetínský Mojmír, Kučera Antonín, Matyáš Václav, Matyska Luděk, Sekanina Lukáš, Vojnar Tomáš
 Network supporting university - enterprice collaboration in Southern Moravia, MŠMT, EE2.4.12.0017, 2009-2012, completed
Research leader: Rais Karel
Team leaders: Drahanský Martin, Eysselt Miloš, Honzík Jan M., Kreslíková Jitka, Oravcová Marcela
 SoC circuits reliability and availability improvement, GAČR, GA102/09/1668, 2009-2011, completed
Research leader: Kotásek Zdeněk
Team leaders: Bartoš Pavel, Kaštil Jan, Mičulka Lukáš, Slimařík František, Straka Martin, Strnadel Josef
 TeamIT - Building Competitive Research Teams in IT, MŠMT, EE2.3.09.0067, 2009-2012, completed
Research leader: Ryšavý Ondřej
Team leaders: Drahanský Martin, Herout Adam, Kořenek Jan, Matoušek Petr
2008ATLANTIS-DeSIRE^2: Dependable Systems International Research and Educational Experience, EC EU, ATLANTIS-DESIRE, 2008-2013, running
Research leader: Švéda Miroslav
Team leaders: Ryšavý Ondřej
2007Security-Oriented Research in Information Technology, CEZ MŠMT, MSM0021630528, 2007-2013, running
Research leader: Hruška Tomáš
Team leaders: Burget Lukáš, Burget Radek, Cvrček Daniel, Černocký Jan, Češka Milan, Drahanský Martin, Dvořák Václav, Fučík Otto, Hanáček Petr, Herout Adam, Hrubý Martin, Janoušek Vladimír, Jaroš Jiří, Kočí Radek, Kolář Dušan, Kořenek Jan, Kotásek Zdeněk, Kršek Přemysl, Křena Bohuslav, Kunovský Jiří, Martínek Tomáš, Masopust Tomáš, Matějka Pavel, Matoušek Petr, Meduna Alexander, Očenášek Pavel, Orság Filip, Růžička Richard, Ryšavý Ondřej, Sekanina Lukáš, Smrž Pavel, Strnadel Josef, Švéda Miroslav, Vojnar Tomáš, Zbořil František, Zbořil František V., Zemčík Pavel, Zendulka Jaroslav
2006Virtual Laboratory of Microprocessor Technology Application, MŠMT, 2C06008, 2006-2011, completed
Research leader: Dulík Tomáš
Team leaders: Kadlec Jiří, Kolář Dušan

Your IPv4 address: 54.235.20.17
Switch to IPv6 connection

DNSSEC [dnssec]