Ústav inteligentních systémů
Projekty a granty
| 2013 | Inovace 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 |
| | Inovace předmětu Složitost, FRVŠ MŠMT, FR0166/2013/G1, 2013, řešení Řešitel: Lengál Ondřej Spoluřešitelé: Charvát Lukáš, Rogalewicz Adam |
| | Inovační voucher Zlínského kraje UnArtel, KÚZK, InVo UnArtel 2013, 2013-2014, řešení Řešitel: Drahanský Martin Spoluřešitelé: Hájek Josef |
| | Inteligentní testování a analýza paralelních programů, MŠMT, LH13265, 2013-2015, řešení Řešitel: Vojnar Tomáš Spoluřešitelé: Křena Bohuslav |
| | Verifikace nekonečně stavových systémů založená na konečných automatech, GAČR, GP202/13/37876P, 2013-2015, řešení Řešitel: Holík Lukáš |
| 2012 | Efektivní aplikace Moderní metody Taylorovy řady pro řešení stiff soustav a systémů vyšších řádů, MŠMT, Aktion-64p13, 2012-2013, řešení Řešitel: Kunovský Jiří Spoluřešitelé: Kocina Filip, Šátek Václav, Vopěnka Václav |
| | Fakultní nemocnice u sv. Anny v Brně - Mezinárodní centrum klinického výzkumu (FNUSA-ICRC), MŠMT, CZ.1.05/1.1.00/02.0123, 2012-2015, řešení Spoluřešitelé: Drahanský Martin, Malčík Dominik, Mráček Štěpán |
| | Inovační voucher JIC - ADAPTIVITY, JIC, JIC-InVo-ADAPTIVITY-2012, 2012-2013, řešení Řešitel: Drahanský Martin, Hájek Josef |
| | Inovační voucher JIC - FreeTel, JIC, JIC-InVo-FreeTel-2012, 2012-2013, řešení Řešitel: Drahanský Martin, Hájek Josef |
| | Inteligentní asistenční systémy: multisenzorové zpracování a analýza spolehlivosti, NATO, CBP.EAP.CLG 984, 2012, ukončen Řešitel: Yanushkevich Svetlana Spoluřešitelé: Drahanský Martin, Dvořák Radim, Mráček Štěpán, Váňa Jan |
| | Podpora tvorby excelentních týmů mezioborového výzkumu na VUT, MŠMT, CZ.1.07/2.3.00/30.0005, 2012-2015, řešení Řešitel: Urban Tomáš Spoluřešitelé: Cumani Sandro, Černocký Jan, Letko Zdeněk, Vojnar Tomáš |
| | Rozpoznávání osob a vzory jejich chování v inteligentních domácnostech, MŠMT, AKTION-FHV, 2012-2013, řešení Řešitel: Drahanský Martin |
| | 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 |
| | VUT Bezpečnost a obrana - Zařízení pro snímání a rozpoznávání oční duhovky a sítnice, MŠMT, ED3.1.00/13.0271, 2012-2015, řešení Řešitel: Drahanský Martin Spoluřešitelé: Kolář Radim, Pisarská Marta, Provazník Ivo |
| | 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 |
| | 2.3 Spolupráce VUT v Brně se školami, MŠMT, RP2.3, 2012, ukončen Řešitel: Křena Bohuslav |
| 2011 | Centrum 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 |
| | Inovační voucher JIC - GINA Software, JIC, JIC-InVo-GINA-2011, 2011, ukončen Řešitel: Drahanský Martin Spoluřešitelé: Maršík Lukáš, Richter Jan |
| | Inovační voucher JIC - TBS Deutschland AG, JIC, JIC-InVo-TBS-2011, 2011, ukončen Řešitel: Drahanský Martin Spoluřešitelé: Dvořák Radim, Marvan Aleš, Novotný Tomáš, Váňa Jan |
| | Pedagogické vzdělávání akademických pracovníků FIT VUT v Brně, MŠMT, RP2011-25/10, 2011, ukončen Řešitel: Křena Bohuslav |
| | Podpora praktické výuky předmětu Inteligentní senzory, FRVŠ MŠMT, FR2414/2011/G1, 2011, ukončen Řešitel: Hájek Josef Spoluřešitelé: Dvořák Radim, Orság Filip |
| | Podpora spolupráce FIT VUT v Brně se základními a středními školami, RP MŠMT, RP2011-25/13, 2011, ukončen Řešitel: Křena Bohuslav |
| | 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 |
| | Rámec pro zvýšení úrovně projektů v předmětu Biometrické systémy, FRVŠ MŠMT, FR2049/2011/G1, 2011, ukončen Řešitel: Váňa Jan Spoluřešitelé: Doležel Michal, Drahanský Martin |
| | Výzkum v oblasti průzkumu vesmíru pro pokročilý motor se škrticími ventily, EU-7FP-ICT, 7E11027, 2011-2013, ukončen Řešitel: Gaia Enrico, Pessana Mario Spoluřešitelé: Drahanský Martin, Marvan Aleš, Popela Robert |
| 2010 | Automaty a logiky v symbolické verifikaci software, BARRANDE, MEB021023, 2010-2011, ukončen Řešitel: Rogalewicz Adam Spoluřešitelé: Iosif Radu |
| | Nástroje a metody zpracování videa a obrazu pro boj s terorismem, MV, VG20102015006, 2010-2015, řešení Řešitel: Zendulka Jaroslav Spoluřešitelé: Drahanský Martin, Zemčík Pavel |
| | Odpady jako suroviny a zdroje energie (WARMES) + Ekologicky a energeticky řízené soustavy zpracování odpadů a biomasy, MŠMT, 2B08048, 2010-2011, ukončen Řešitel: Stehlík Petr Spoluřešitelé: Drahanský Martin, Hanáček Petr, Zbořil František |
| | Práce se složitými datovými strukturami a paralelismem v prostředí Rich Model Toolkit, MŠMT, OC10009, 2010-2012, ukončen Řešitel: Vojnar Tomáš Spoluřešitelé: Češka Milan, Křena Bohuslav, Peringer Petr, Rogalewicz Adam, Smrčka Aleš |
| | Robot pro hledání osob v závalech a lavinách, MV, VG20102014024, 2010-2014, řešení Řešitel: Drahanský Martin Spoluřešitelé: Dvořák Radim, Hájek Josef, Herman David, Kněžík Jan, Kubát David, Marvan Aleš, Novotný Tomáš, Orság Filip, Stružka Jaroslav, Váňa Jan |
| | Robust & Safe Mobile Co-operative Autonomous Systems, Artemis JU, R3-COP, 2010-2013, ukončen Řešitel: Smrž Pavel Spoluřešitelé: Beran Vítězslav |
| | Statická a dynamická verifikace programů s pokročilými rysy paralelismu a neomezenosti, GAČR, GAP103/10/0306, 2010-2013, řešení Řešitel: Vojnar Tomáš Spoluřešitelé: Češka Milan, Křena Bohuslav, Peringer Petr, Rogalewicz Adam, Smrčka Aleš |
| 2009 | Automatizované zpracování útoků, MPO ČR, FR-TI1/037, 2009-2013, řešení Řešitel: Švéda Miroslav Spoluřešitelé: Barabas Maroš, Drahanský Martin, Drozd Michal, Hanáček Petr, Chmelař Petr, Orság Filip |
| | Bohatý modelovací jazyk -- infrastruktura pro spolehlivé počítačové systémy, COST, IC0901, 2009-2013, řešení Řešitel: Kuncak Viktor Spoluřešitelé: Vojnar Tomáš |
| | Informační technologie v biomedicínském inženýrství, GAČR, GD102/09/H083, 2009-2012, ukončen Řešitel: Provazník Ivo Spoluřešitelé: Bardoňová Jana, Drahanský Martin, Dušek Ladislav, Hanáček Petr, Holčík Jiří, Hřebíček Jiří, Kozumplík Jiří, Zemčík Pavel |
| | Matematické 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áš |
| | Multimediální a bezdrátová nádstavba inteligentního systému elektroinstalace INELS, MPO ČR, FR-TI1/392, 2009-2011, ukončen Řešitel: Drahanský Martin Spoluřešitelé: Hájek Josef, Marvan Aleš, Orság Filip |
| | Rozvoj technik pro automatické verifikace programů s dynamickými datovými strukturami, GAČR, GP201/09/P531, 2009-2011, ukončen Řešitel: Rogalewicz Adam |
| | 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 |
| | Výzkum a vývoj technologií pro inteligentní optické sledovací systémy, MPO ČR, FR-TI1/195, 2009-2012, ukončen Řešitel: Drahanský Martin Spoluřešitelé: Orság Filip |
| 2008 | Důvěryhodná zrušitelná biometrická identita, EU-7FP-ICT, TURBINE, 2008-2011, ukončen Řešitel: Busch Christoph Spoluřešitelé: Bours Patrick |
| | Ground Truth Database pro data u markantů otisků prstů, BKA, GTD, 2008-2013, řešení Řešitel: Busch Christoph Spoluřešitelé: Lodrová Dana |
| 2007 | Vý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 |
| 2005 | Brno University Security Laboratory, VUT v Brně, BUSLab, 2005-2050, etapa řešení Řešitel: Cvrček Daniel, Hanáček Petr, Matyáš Václav, Říha Zdeněk, Staudek Jan |
| 1991 | SIMLIB - simulační knihovna pro C++, FIT VUT, FIT-SIMLIB, 1991-2050, etapa řešení Řešitel: Peringer Petr Spoluřešitelé: Martinek David |
|