Department of Computer Systems
Projects and grants
| 2012 | Application of functional verification in the digital circuits development process, FRVŠ MŠMT, FR1798/2012/G1, 2012, running 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 |
| | Inovation and creation of new laboratory lessons in hardware courses, FRVŠ MŠMT, FR1224/2012/G1, 2012, running 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, running Research leader: Chudý Peter Team leaders: Růžička Richard, Šimek Václav |
| | 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 |
| 2011 | Advanced 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 |
| | Smart Autopilot, TAČR, TA01010678, 2011-2013, running Research leader: Chudý Peter Team leaders: Bidlo Michal, Růžička Richard, Šimek Václav, 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, Kršek Přemysl, Meduna Alexander, Sekanina Lukáš, Smrž Pavel, Švéda Miroslav, Vojnar Tomáš, Zemčík Pavel, Zendulka Jaroslav |
| 2010 | Embedded Service Oriented Monitoring, Diagnostics and Control: Towards the Asset-aware and Self-Recovery Factory, Artemis JU, eSonia, 2010-2013, running Research leader: Smrž Pavel Team leaders: Zemčík Pavel |
| | Hardware education support based on FITkit platform, FRVŠ MŠMT, FR2826/2010/G1, 2010, completed Research leader: Šimek Václav Team leaders: Bidlo Michal, Krajíček Jiří |
| | 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: Burgetová Ivana, Kořenek Jan, Kreslíková Jitka, Kurečka Radomír, Matoušek Petr, Ráb Jaroslav |
| | Lab innovation for IP telephony, video conferences, streaming and data analysis using Netflow, FRVŠ MŠMT, FR145/2010/A, 2010, completed Research leader: Matoušek Petr Team leaders: Skokanová Jana, Žádník Martin |
| | Laboratory for design and prototyping of an advanced electronic systems, FRVŠ MŠMT, FR2789/2010/Aa, 2010, completed Research leader: Růžička Richard Team leaders: Strnadel Josef, Šimek Václav |
| | 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áš |
| | Recognition and presentation of multimedia data, FIT VUT, FIT-S-10-2, 2010, 2010, completed Research leader: Zemčík Pavel Team leaders: Bartík Vladimír, Bařina David, Beran Vítězslav, Bidlo Michal, Burget Lukáš, Burget Radek, Čermák Martin, Fučík Otto, Glembek Ondřej, Goldefus Filip, Havel Jiří, Herout Adam, Honzík Jan M., Hubeika Valiantsina, Husár Adam, Chmelař Petr, Chudý Peter, Jančík Zdeněk, Kajan Rudolf, Koutný Jiří, Kršek Přemysl, Křivka Zbyněk, Křoustek Jakub, Květoňová Šárka, Masařík Karel, Matějka Pavel, Meduna Alexander, Mikolov Tomáš, Navrátil Jan, Očenášek Pavel, Plchot Oldřich, Přikryl Zdeněk, Rudolfová Ivana, Rychlý Marek, Schmidt Marek, Schwarz Petr, Smrž Pavel, Šebek Michal, Šolony Marek, Španěl Michal, Šuška Boris, Vlček Adam, Zámečníková Eva, Zemčík Pavel, Zendulka Jaroslav, Žák Pavel, Žídek Petr |
| | Secured, reliable and adaptive computer systems, VUT v Brně, FIT-S-10-1, 2010, completed Research leader: Sekanina Lukáš Team leaders: Bartoš Pavel, Češka Milan, Drábek Vladimír, Drahanský Martin, Dudka Kamil, Dvořák Radim, Dvořák Václav, Fiedor Jan, Gach Marek, Grégr Matěj, Holík Lukáš, Hrubý Martin, Hýsek Jiří, Janoušek Vladimír, Kajan Michal, Kaštil Jan, Kaštovský Petr, Kočí Radek, Konečný Filip, Korček Pavol, Kořenek Jan, Kraus Michal, Kreslíková Jitka, Křena Bohuslav, Křivánek Jan, Kunovský Jiří, Letko Zdeněk, Malinka Kamil, Martínek Tomáš, Matoušek Petr, Michlovský Zbyněk, Mikušek Petr, Nagy Jan, Orság Filip, Peterka Ondřej, Polóni Pavol, Pospíchal Petr, Puš Viktor, Ráb Jaroslav, Růžička Richard, Ryšavý Ondřej, Samek Jan, Sedláčková Jana, Sehnalová Pavla, Schäfer Jiří, Schwarz Josef, Slaný Karel, Slinták Jiří, Straka Martin, Strnadel Josef, Svojanovský Petr, Šátek Václav, Šimáček Jiří, Šimek Václav, Švéda Miroslav, Trchalík Roman, Vašíček Zdeněk, Veselý Vladimír, Vojnar Tomáš, Zadina Martin, Zbořil František, Zbořil František V., Žádník Martin, Žaloudek Luděk |
| | Využití moderních přístupů k vytváření číslicových systémů založených na rekonfigurovatelných architekturách, FRVŠ MŠMT, FR2348/2010/G1, 2010, completed Research leader: Kaštil Jan Team leaders: Kotásek Zdeněk, Straka Martin |
| 2009 | Mathematical and Engineering Approaches to Developing Reliable and Secure Concurrent and Distributed Computer Systems, GAČR, GD102/09/H042, 2009-2012, running 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áš |
| | 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, running Research leader: Ryšavý Ondřej Team leaders: Drahanský Martin, Herout Adam, Kořenek Jan, Matoušek Petr |
| 2008 | ATLANTIS-DeSIRE^2: Dependable Systems International Research and Educational Experience, EC EU, ATLANTIS-DESIRE, 2008-2012, running Research leader: Švéda Miroslav Team leaders: Ryšavý Ondřej |
| | In vitro and in silico identification of non-canonical DNA structures in genomic sequences, GA AVČR, GA204/08/1560, 2008-2010, completed Team leaders: Fučík Otto, Martínek Tomáš, Rudolfová Ivana |
| | Safety and security of networked embedded system applications, GAČR, GA102/08/1429, 2008-2010, completed Research leader: Srovnal Vilém Team leaders: Bílek Jan, Švéda Miroslav |
| 2007 | Security-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 |
| 2006 | Virtual Laboratory of Microprocessor Technology Application, MŠMT, 2C06008, 2006-2011, completed Research leader: Dulík Tomáš Team leaders: Kadlec Jiří, Kolář Dušan |
| 2004 | Optická síť národního výzkumu a její nové aplikace, CESNET, MSM6383917201, 2004-2010, running Research leader: Novotný Jiří Team leaders: Čejka Rudolf, Fučík Otto, Kořenek Jan, Kršek Přemysl, Martínek Tomáš, Matoušek Petr, Pečenka Tomáš, Smrčka Aleš, Vojnar Tomáš, Zemčík Pavel |
| 2003 | 3C Research - Convergent technology research for digital media processing and communicatins, Rendering on demand, FIT VUT, 3C Research, 2003-2010, completed Team leaders: Fučík Otto, Zemčík Pavel |
|