Ústav počítačových systémů

Projekty a granty

Řešitel: Od roku:  Roků:  Stav: 
Název: Agentura: 
  
2013Inovace laboratoře bezpečnostní analýzy mikročipů, FRVŠ MŠMT, FR1239/2013/Aa, 2013, řešení
Řešitel: Drahanský Martin
Spoluřešitelé: Fučík Otto, Hanáček Petr
 Využití metod a nástrojů formální verifikace při vývoji pokročilých číslicových systémů, FRVŠ MŠMT, FR1086/2013/G1, 2013, řešení
Řešitel: Šimková Marcela
Spoluřešitelé: Kajan Michal, Kotásek Zdeněk
2012Centrum pro rozvoj dopravních systémů, TAČR, TE01020155, 2012-2018, řešení
Řešitel: Zemčík Pavel
Spoluřešitelé: Bařina David, Fülöp Tibor, Korček Pavol, Láník Aleš, Přibyl Jaroslav
 Evoluční návrh řízení v aeroservoelastickém jevu, MŠMT, 7AMB12DE004, 2012-2013, řešení
Řešitel: Chudý Peter
Spoluřešitelé: Holzapfel Florian
 Excelentní mladí vědci na VUT v Brně, MŠMT, CZ.1.07/2.3.00/30.0039, 2012-2015, řešení
Řešitel: Buriánková Iveta
Spoluřešitelé: Dobai Roland, Hruška Tomáš, Plascencia Alfredo C., Přikryl Zdeněk, Sekanina Lukáš, Zemčík Pavel
 Inovace a tvorba nových laboratorních úloh pro podporu výuky v hardwarově orientovaných předmětech, FRVŠ MŠMT, FR1224/2012/G1, 2012, ukončen
Řešitel: Bartoš Pavel
Spoluřešitelé: Kotásek Zdeněk, Šimek Václav
 Metodiky pro návrh systémů odolných proti poruchám do rekonfigurovatelných architektur - vývoj, implementace a verifikace, MŠMT, LD12036, 2012-2015, řešení
Řešitel: Kotásek Zdeněk
Spoluřešitelé: Kaštil Jan, Mičulka Lukáš, Straka Martin, Strnadel Josef, Šimková Marcela
 Multimediální laboratoř pro návrh pokročilých integrovaných systémů, FRVŠ MŠMT, FR1558/2012/Aa, 2012, ukončen
Řešitel: Chudý Peter
Spoluřešitelé: Růžička Richard, Šimek Václav
 Ověření realizace spojité zátěžové mapy pomocí moderních klasifikačních a predikčních metod, TAČR, TA02030915, 2012-2014, řešení
Řešitel: Fučík Otto
Spoluřešitelé: Zemčík Pavel
 Snímací a výpočetní hardware pro podporu výuky klasifikace, rozpoznávání a evolučních algoritmů, FRVŠ MŠMT, FR2306/2012/Ab, 2012, ukončen
Řešitel: Černocký Jan
Spoluřešitelé: Sekanina Lukáš, Zemčík Pavel
 Verifikace a optimalizace počítačových systémů, VUT v Brně, FIT-S-12-1, 2012-2014, řešení
Řešitel: Vojnar Tomáš
Spoluřešitelé: Č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
 Využití funkční verifikace při vývoji pokročilých číslicových obvodů, FRVŠ MŠMT, FR1798/2012/G1, 2012, ukončen
Řešitel: Lengál Ondřej
Spoluřešitelé: Kajan Michal, Kotásek Zdeněk
 Výzkum a vývoj možností monitorování a ovlivňování pohybu vozidel na silnicích nižších tříd v ČR, TAČR, TA02030841, 2012-2014, řešení
Řešitel: Zemčík Pavel
Spoluřešitelé: Fučík Otto, Petrlík Jiří, Smrž Pavel
2011Centrum excelence IT4Innovations, MŠMT, ED1.1.00/02.0070, 2011-2015, řešení
Řešitel: Vondrák Ivo
Spoluřešitelé: Č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
 Metodiky pro návrh systémů odolných proti poruchám do rekonfigurovatelných architektur - vývoj, implementace a verifikace, COST, IC1103, 2011-2015, řešení
Řešitel: Kotásek Zdeněk
Spoluřešitelé: 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, ukončen
Řešitel: Korček Pavol
Spoluřešitelé: Kaštil Jan, Sekanina Lukáš
 Podpora talentovaných studentů na FIT VUT v Brně, RP MŠMT, RP2011-25/9, 2011, ukončen
Řešitel: Hruška Tomáš
Spoluřešitelé: Křena Bohuslav, Růžička Richard, Zemčík Pavel
 Pokročilé bezpečné, spolehlivé a adaptivní IT, VUT v Brně, FIT-S-11-1, 2011-2013, řešení
Řešitel: Sekanina Lukáš
Spoluřešitelé: 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
 Pokročilé rozpoznávání a prezentace multimediálních dat, VUT v Brně, FIT-S-11-2, 2011-2013, řešení
Řešitel: Zemčík Pavel
Spoluřešitelé: 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
 Využití grafických čipů pro obecné výpočty (GPGPU), FRVŠ MŠMT, FR2641/2011/G1, 2011, ukončen
Řešitel: Pospíchal Petr
Spoluřešitelé: Kajan Michal, Schwarz Josef
2010Embedded Service Oriented Monitoring, Diagnostics and Control: Towards the Asset-aware and Self-Recovery Factory, Artemis JU, eSonia, 2010-2013, ukončen
Řešitel: Smrž Pavel
Spoluřešitelé: Zemčík Pavel
 Moderní prostředky pro boj s kybernetickou kriminalitou na Internetu nové generace, MV, VG20102015022, 2010-2015, řešení
Řešitel: Matoušek Petr
Spoluřešitelé: Herout Adam, Kořenek Jan, Lampa Petr, Martínek Tomáš, Podermański Tomáš, Ryšavý Ondřej, Zemčík Pavel
 Natural computing na nekonvenčních platformách, GAČR, GAP103/10/1517, 2010-2013, řešení
Řešitel: Sekanina Lukáš
Spoluřešitelé: Bidlo Michal, Dvořák Václav, Jaroš Jiří, Růžička Richard, Schwarz Josef
 NetCOPE pro kartu NetFPGA-10G, JIC, JIC-InVo-INVEA-2010, 2010-2011, ukončen
Řešitel: Korček Pavol
Spoluřešitelé: Kořenek Jan, Košař Vlastimil, Martínek Tomáš
 Vzdělávání v IT pro praxi, MŠMT, CZ.1.07/2.2.00/15.0163, 2010-2013, řešení
Řešitel: Růžička Richard
Spoluřešitelé: Bartík Vladimír, Burgetová Ivana, Kořenek Jan, Kreslíková Jitka, Kurečka Radomír, Matoušek Petr, Ráb Jaroslav, Rychlý Marek
2009Matematické a inženýrské metody pro vývoj spolehlivých a bezpečných paralelních a distribuovaných počítačových systémů, GAČR, GD102/09/H042, 2009-2012, ukončen
Řešitel: Češka Milan
Spoluřešitelé: 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áš
 Síť na podporu spolupráce technicky a podnikatelsky zaměřených univerzit, MŠMT, EE2.4.12.0017, 2009-2012, ukončen
Řešitel: Rais Karel
Spoluřešitelé: Drahanský Martin, Eysselt Miloš, Honzík Jan M., Kreslíková Jitka, Oravcová Marcela
 TeamIT - Budování konkurenceschopných výzkumných týmů pro IT, MŠMT, EE2.3.09.0067, 2009-2012, ukončen
Řešitel: Ryšavý Ondřej
Spoluřešitelé: Drahanský Martin, Herout Adam, Kořenek Jan, Matoušek Petr
 Zvyšování spolehlivost a provozuschopnosti v obvodech SoC, GAČR, GA102/09/1668, 2009-2011, ukončen
Řešitel: Kotásek Zdeněk
Spoluřešitelé: Bartoš Pavel, Kaštil Jan, Mičulka Lukáš, Slimařík František, Straka Martin, Strnadel Josef
2008ATLANTIS-DeSIRE^2: Dependable Systems International Research and Educational Experience, EC EU, ATLANTIS-DESIRE, 2008-2013, řešení
Řešitel: Švéda Miroslav
Spoluřešitelé: Ryšavý Ondřej
2007Výzkum informačních technologií z hlediska bezpečnosti, CEZ MŠMT, MSM0021630528, 2007-2013, řešení
Řešitel: Hruška Tomáš
Spoluřešitelé: 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
2006Virtuální laboratoř aplikace mikroprocesorové techniky, MŠMT, 2C06008, 2006-2011, ukončen
Řešitel: Dulík Tomáš
Spoluřešitelé: Kadlec Jiří, Kolář Dušan

Vaše IPv4 adresa: 54.234.42.16
Přepnout na IPv6 spojení

DNSSEC [dnssec]