Ing. Josef Strnadel, Ph.D.
| 2012 | 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 |
| 2011 | 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 |
| 2010 | Bezpečné, spolehlivé a adaptivní počítačové systémy, VUT v Brně, FIT-S-10-1, 2010, ukončen Řešitel: Sekanina Lukáš Spoluřešitelé: 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 |
| | Laboratoř pro návrh a prototypovou realizaci pokročilých elektronických systémů, FRVŠ MŠMT, FR2789/2010/Aa, 2010, ukončen Řešitel: Růžička Richard Spoluřešitelé: Strnadel Josef, Šimek Václav |
| 2009 | 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 |
| 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 | Optimalizační postupy v diagnostice číslicových systémů, GAČR, GP102/05/P193, 2005-2007, ukončen Řešitel: Strnadel Josef |
| 2004 | Moderní metody syntézy číslicových systémů, GAČR, GA102/04/0737, 2004-2006, ukončen Řešitel: Kotásek Zdeněk Spoluřešitelé: Drábek Vladimír, Růžička Richard, Sekanina Lukáš, Strnadel Josef |
| 2002 | Evoluční postupy pro zvýšení testovatelnosti číslicových obvodů, FRVŠ MŠMT, FR1754/2002/G1, 2002, ukončen Řešitel: Strnadel Josef Spoluřešitelé: Kotásek Zdeněk |
| 2001 | Formální postupy v diagnostice číslicových obvodů - verifikace testovatelného návrhu, GAČR, GA102/01/1531, 2001-2003, ukončen Řešitel: Kotásek Zdeněk Spoluřešitelé: Drábek Vladimír, Růžička Richard, Sekanina Lukáš, Strnadel Josef, Zbořil František |
|