Topics of PhD theses

»1-21«
 
# -Year Advisor Dept Title
12018Vojnar TomášUITSStatic Formal Analysis of Programs with Advanced Data and Control Structures
22018Vojnar TomášUITSSynthesis of Stochastic Models
32017Vojnar TomášUITSApplications of Formal Methods in Approximate Computing -- co=supervised by dr. M. Ceska
42017Vojnar TomášUITSEfficient Techniques for Dealing with Automata and Logics and Their Applications -- co-supervised by dr. O. Lengal
52017Vojnar TomášUITSStatic Analysis and Bug Finding in Software
62016Vojnar TomášUITSStatic Analysis of Programs with Complex Control and/or Data Structures
72015Vojnar TomášUITSAutomata in Decision Procedures and Formal Verification -- co-supervised by dr. L. Holik
82015Vojnar TomášUITSFormal Verification of Concurrent Programs with an Unbounded Number of Concurrent Threads -- co-supervised by dr. L. Holik
92015Vojnar TomášUITSStatic Analysis of Heap-Manipulating Programs -- co-supervised by dr. L. Holik
102014Vojnar TomášUITSFormal Analysis and Verification of Program Termination and Resource Consumption -- co-supervised by assoc. prof. A. Rogalewicz
112013Vojnar TomášUITSDynamic Analysis and Intelligent Testing of Concurrent Programs -- co-supervised by dr. Z. Letko
122011Vojnar TomášUITSAutomated Verification in Hardware Design and Hardware/Software Codesign -- co-supervised by dr. A. Smrcka
132010Vojnar TomášUITSEfficient Algorithms for Using Automata in Infinite-State Verification -- co-supervised by dr. L. Holik
142009Vojnar TomášUITSPractical Methods of Automated Verification of Concurrent Programs
152008Vojnar TomášUITSAnalysis and Sofisticated Testing of Concurrent Programs -- co-supervised by dr. B. Krena
162008Vojnar TomášUITSSymbolic Verification Based on Extended Automata and Related Formalisms -- double degree study (cotutelle) with VERIMAG, Grenoble (dr. R. Iosif)
172008Vojnar TomášUITSSymbolic Verification Based on Finite Automata and Related Formalisms -- double degree study (cotutelle) with VERIMAG, Grenoble (dr. R. Iosif)
182006Vojnar TomášUITSFormal Verification of Software Using the Automata Theory
192003Vojnar TomášUITSVerification of Modern Hardware Systems
202003Vojnar TomášUITSVerification of Programs with Complex Data Structures Using the Automata Theory
212003Vojnar TomášUITSVerification of Programs with Complex Dynamic Data Structures Using Their Repeating Structure
 

Vaše IPv4 adresa: 34.226.234.20