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

»1-22«
 
# +Rok Školitel Ústav Název
12003Vojnar TomášUITSVerifikace moderních hardwarových systémů
22003Vojnar TomášUITSVerifikace programů s dynamickými datovými strukturami s využitím jejich opakující se struktury
32003Vojnar TomášUITSVerifikace programů se složitými datovými strukturami s využitím teorie automatů
42006Vojnar TomášUITSFormální verifikace software s využitím teorie automatů
52008Vojnar TomášUITSAnalýza a sofistikované testování paralelních programů -- společné vedení s dr. B. Křenou
62008Vojnar 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)
72008Vojnar 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)
82009Vojnar TomášUITSPraktické metody automatizované verifikace paralelních programů
92010Vojnar 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
102011Vojnar TomášUITSAutomatická verifikace v procesu návrhu hardware a souběžného návrhu hardware/software -- společné vedení s dr. A. Smrčkou
112013Vojnar TomášUITSDynamická analýza a inteligentní testování paralelních programů -- společné vedení s dr. Z. Letkem
122014Vojnar TomášUITSFormální analýza a verifikace konečnosti běhu a spotřeby zdrojů programy -- společné vedení s doc. A. Rogalewiczem
132015Vojnar TomášUITSAutomaty v rozhodovacích procedurách a formální verifikaci -- společné vedení s dr. L. Holíkem
142015Vojnar 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
152015Vojnar TomášUITSStatická analýza programů s dynamickými datovými strukturami -- společné vedení s dr. L. Holíkem
162016Vojnar TomášUITSStatická analýza programů se složitými řídicími či datovými strukturami
172017Vojnar TomášUITSEfektivní techniky pro práci s automaty a logikami a jejich aplikace -- společné vedení s dr. O. Lengálem
182017Vojnar TomášUITSStatická analýza a vyhledávání chyb v programech
192017Vojnar TomášUITSVyužití formálních metod v přibližném počítání -- společné vedení s dr. M. Češkou
202018Vojnar TomášUITSStatická formální analýza programů s pokročilými datovými a řídicími strukturami
212018Vojnar TomášUITSSyntéza stochastických modelů
222019Vojnar TomášUITSEfektivní práce s automaty a logikami (nejen) ve formální analýze a verifikaci
 

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