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

»1-22«
 
# Rok Školitel Ústav +Název
12008Vojnar TomášUITSAnalýza a sofistikované testování paralelních programů -- společné vedení s dr. B. Křenou
22011Vojnar TomášUITSAutomatická verifikace v procesu návrhu hardware a souběžného návrhu hardware/software -- společné vedení s dr. A. Smrčkou
32015Vojnar TomášUITSAutomaty v rozhodovacích procedurách a formální verifikaci -- společné vedení s dr. L. Holíkem
42013Vojnar TomášUITSDynamická analýza a inteligentní testování paralelních programů -- společné vedení s dr. Z. Letkem
52010Vojnar 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
62019Vojnar TomášUITSEfektivní práce s automaty a logikami (nejen) ve formální analýze a verifikaci
72017Vojnar TomášUITSEfektivní techniky pro práci s automaty a logikami a jejich aplikace -- společné vedení s dr. O. Lengálem
82014Vojnar TomášUITSFormální analýza a verifikace konečnosti běhu a spotřeby zdrojů programy -- společné vedení s doc. A. Rogalewiczem
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
102006Vojnar TomášUITSFormální verifikace software s využitím teorie automatů
112009Vojnar TomášUITSPraktické metody automatizované verifikace paralelních programů
122017Vojnar TomášUITSStatická analýza a vyhledávání chyb v programech
132015Vojnar TomášUITSStatická analýza programů s dynamickými datovými strukturami -- společné vedení s dr. L. Holíkem
142016Vojnar TomášUITSStatická analýza programů se složitými řídicími či datovými strukturami
152018Vojnar TomášUITSStatická formální analýza programů s pokročilými datovými a řídicími strukturami
162008Vojnar 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)
172008Vojnar 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)
182018Vojnar TomášUITSSyntéza stochastických modelů
192003Vojnar TomášUITSVerifikace moderních hardwarových systémů
202003Vojnar TomášUITSVerifikace programů s dynamickými datovými strukturami s využitím jejich opakující se struktury
212003Vojnar TomášUITSVerifikace programů se složitými datovými strukturami s využitím teorie automatů
222017Vojnar TomášUITSVyužití formálních metod v přibližném počítání -- společné vedení s dr. M. Češkou
 

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