Ing. Bohuslav Křena, Ph.D.

2012Verifikace 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
2011Pedagogické 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 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
2010Bezpeč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
 Práce se složitými datovými strukturami a paralelismem v prostředí Rich Model Toolkit, MŠMT, OC10009, 2010-2012, řešení
Řešitel: Vojnar Tomáš
Spoluřešitelé: Češka Milan, Křena Bohuslav, Peringer Petr, Rogalewicz Adam, Smrčka Aleš
 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š
2009Bohatý 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áš
 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, řeš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áš
2008Program na podporu odstranění slabých stránek školy, MŠMT, RP-C45, 2008, ukončen
Řešitel: Honzík Jan M.
Spoluřešitelé: Křena Bohuslav
 ROBY - Racionalizace a objektivizace výuky - C45, MŠMT, 2008-2009, ukončen
Řešitel: Mannová Božena
Spoluřešitelé: Honzík Jan M.
2007Pokročilé formální přístupy v návrhu a automatické verifikaci počítačových systémů, GAČR, GA102/07/0322, 2007-2009, ukončen
Řešitel: Češka Milan
Spoluřešitelé: Cerhák Michal, Erlebach Pavel, Holík Lukáš, Janoušek Vladimír, Kironský Elöd, Kočí Radek, Křena Bohuslav, Polášek Petr, Rogalewicz Adam, Smrčka Aleš, Vojnar Tomáš
 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
2006Metody a nástroje pro automatizované odhalování softwarových chyb, GAČR, GP102/06/P076, 2006-2008, ukončen
Řešitel: Křena Bohuslav
 SHADOWS - A Self-Healing Approach to Designing Complex Software Systems, EC EU, 2006-2009, ukončen
Řešitel: Křena Bohuslav
Spoluřešitelé: Kočí Radek, Vojnar Tomáš, Zbořil František
2005Gaudeamus 2005, RP MŠMT, MŠMT 623/1 - 2005, 2005, ukončen
Řešitel: Honzík Jan M.
Spoluřešitelé: Křena Bohuslav
2004Automatizované metody a nástroje pro vývoj spolehlivých paralelních a distribuovaných systémů, GAČR, GA102/04/0780, 2004-2006, ukončen
Řešitel: Češka Milan
Spoluřešitelé: Haša Luděk, Janoušek Vladimír, Kočí Radek, Křena Bohuslav, Rábová Zdeňka, Vojnar Tomáš
 European Research Training Network Segravis - Syntactis and Semantic Integration of Visual Modelling Techniques, EU, HPRN-CT-2002-00275, 2004-2005, ukončen
 Gaudeamus 2004, RP MŠMT, MŠMT 642/1 - 2004, 2004, ukončen
Řešitel: Honzík Jan M.
Spoluřešitelé: Kreslíková Jitka
2003Access to Research Infrastructure action of the Improving Human Potential Programme, EU, HPRI-CT-1999-00026, 2003, ukončen
2002Bulgarian Information Society Center of Excellence for Education, Science and Technology in 21 Century, EU, ICA1-CT-2000-70016, 2002, ukončen
 IMPIT - Mezinárodní mobilita studentů, MŠMT, MMI 20059, 2002, ukončen
Řešitel: Zemčík Pavel
Spoluřešitelé: Abu Kteish Ibrahim, Drahanský Martin, Kašpárek Tomáš, Křena Bohuslav, Pečiva Jan
 Metody formální analýzy a verifikace v objektově orientovaných Petriho sítích, FRVŠ MŠMT, FR1948/2002/G1, 2002, ukončen
Řešitel: Křena Bohuslav
Spoluřešitelé: Češka Milan
2000Modelování, verifikace a prototypování distribuovaných aplikací s využitím Petriho sítí, GAČR, GA102/00/1017, 2000-2002, ukončen
Řešitel: Češka Milan
Spoluřešitelé: Janoušek Vladimír, Rábová Zdeňka, Vojnar Tomáš
1994PNtalk - nástroje založené na objektově orientovaných Petriho sítích, FIT VUT, UIVT-PNtalk, 1994-2010, ukončen
Řešitel: Janoušek Vladimír
Spoluřešitelé: Drabant Radek, Kočí Radek, Křena Bohuslav, Vojnar Tomáš

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

DNSSEC [dnssec]