tmp
Pecho Peter: Genetické programování pro návrh útoků postranními kanály
Samek Jan: Důvěra a reputace v multiagentních systémech
Schäfer Jiří: Distribuované důvěryhodné systémy
Malinka Kamil: Metody pro práci se specifikacemi bezpečnosti
Stanislava Holenda: Systém pro zvýšení bezpečnosti bezpilotních letounů
[prerusil] Bouška Petr: Zabezpečení bezdrátových sítí
[prerusil] Mucha Martin: Hybridní inteligentní systémy
Michlovský Zbyněk: Vysoce výkonné systémy pro detekci útoků a škodlivých programů
Lukáš Holík: Formalni verifikace nekonecne stavovych systemu s vyuzitim teorie automatu
Smrčka Aleš: Metody formalni verifikace hardware
Novosad Petr: Modelování systémů hybridními Petriho sítěmi
Martinek David: Neurčitost
Kironský Elod: Prostředky pro interaktivní vývoj a simulaci inteligentních systémů
Polášek Petr: Prostředky pro manipulaci s modely a simulacemi v distribuovaném prostředí
Rozman Jaroslav: SLAM - Simultani lokalizace a mapovani
[prerusil] Jurka Pavel: Získávání znalostí z dat pomocí hrubých množin
Grulich Lukáš: Modelovani socio-ekonomickych systemu
Kopriva Jan
Kaluža Vlastimil: Modelování a simulace v reálném čase
Václav Šátek: Tuhé soustavy diferenciálních rovnic
Michal Kraus: Paralelní výpočetní architektury založené na numerické integraci
[mimo do zari] Sehnalová Pavla: Stabilita a konvergence numerických metod
Pindryc Milan
Drozdova Martina
Letko Zdeněk: Automatické opravování programů a s ním související problémy statické a dynamické analýzy programů
Hrubá Vendula: Automatické opravování programů a s ním související problémy model checkingu programů
[na mesic mimo] Konečný Filip: Symbolická verifikace s využitím rozšířených automatů a příbuzných formalismů
[na mesic mimo] Šimáček Jiří: Symbolická verifikace s využitím konečných automatů a příbuzných formalismů
Bednář
Florián
26.3. - neni m ceska, neni f zboril
2.4.
9.4.
16.4.
23.4.
30.4. - JESTE NEOBHAJILI: Kaluza Vlastimil, Kopriva Jan, OBHAJILI: Satek Vaclav, Kraus Michal, Pindryc Milan, Drozdova Martina,
7.5.
2009-UITS-dokt.pdf
2009-UITS-doktorandi