Témata řešených disertačních prací

»1-22«
 
# Rok Školitel +Ústav Název
12019Vojnar TomášUITSEfektivní práce s automaty a logikami (nejen) ve formální analýze a verifikaci
22018Vojnar TomášUITSStatická formální analýza programů s pokročilými datovými a řídicími strukturami
32018Vojnar TomášUITSSyntéza stochastických modelů
42017Vojnar TomášUITSEfektivní techniky pro práci s automaty a logikami a jejich aplikace -- společné vedení s dr. O. Lengálem
52017Vojnar TomášUITSStatická analýza a vyhledávání chyb v programech
62017Vojnar TomášUITSVyužití formálních metod v přibližném počítání -- společné vedení s dr. M. Češkou
72016Vojnar TomášUITSStatická analýza programů se složitými řídicími či datovými strukturami
82015Vojnar TomášUITSAutomaty v rozhodovacích procedurách a formální verifikaci -- společné vedení s dr. L. Holíkem
92015Vojnar TomášUITSFormální verifikace paralelních programů s neomezeným počtem výpočetních vláken -- společné vedení s dr. L. Holíkem
102015Vojnar TomášUITSStatická analýza programů s dynamickými datovými strukturami -- společné vedení s dr. L. Holíkem
112014Vojnar TomášUITSFormální analýza a verifikace konečnosti běhu a spotřeby zdrojů programy -- společné vedení s doc. A. Rogalewiczem
122013Vojnar TomášUITSDynamická analýza a inteligentní testování paralelních programů -- společné vedení s dr. Z. Letkem
132011Vojnar TomášUITSAutomatická verifikace v procesu návrhu hardware a souběžného návrhu hardware/software -- společné vedení s dr. A. Smrčkou
142010Vojnar TomášUITSEfektivní algoritmy pro práci s automaty ve formální verifikaci nekonečně stavových systémů -- společné vedení s dr. L. Holíkem
152009Vojnar TomášUITSPraktické metody automatizované verifikace paralelních programů
162008Vojnar TomášUITSAnalýza a sofistikované testování paralelních programů -- společné vedení s dr. B. Křenou
172008Vojnar TomášUITSSymbolická verifikace s využitím konečných automatů a příbuzných formalismů -- společné vedení (double degree/cotutelle) s VERIMAG, Grenoble (dr. R. Iosif)
182008Vojnar TomášUITSSymbolická verifikace s využitím rozšířených automatů a příbuzných formalismů -- společné vedení (double degree/cotutelle) s VERIMAG, Grenoble (dr. R. Iosif)
192006Vojnar TomášUITSFormální verifikace software s využitím teorie automatů
202003Vojnar TomášUITSVerifikace moderních hardwarových systémů
212003Vojnar TomášUITSVerifikace programů s dynamickými datovými strukturami s využitím jejich opakující se struktury
222003Vojnar TomášUITSVerifikace programů se složitými datovými strukturami s využitím teorie automatů
 

Vaše IPv4 adresa: 3.209.80.87
Přepnout na https