Mgr. Adam Rogalewicz, Ph.D.

2013Inovace 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
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
2011Pokroč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
2010Automaty a logiky v symbolické verifikaci software, BARRANDE, MEB021023, 2010-2011, ukončen
Řešitel: Rogalewicz Adam
Spoluřešitelé: Iosif Radu
 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š
 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áš
 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
2008Pokročilé techniky automatické verifikace nekonečně stavových systémů, BARRANDE, MEB 020840, 2008-2009, ukončen
Řešitel: Vojnar Tomáš
Spoluřešitelé: Habermehl Peter
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áš
2006Automatická verifikace programů s dynamickými datovými strukturami provázanými ukazateli, BARRANDE, 2-06-27, 2006-2007, ukončen
Řešitel: Vojnar Tomáš
Spoluřešitelé: Habermehl Peter

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

DNSSEC [dnssec]