Topics of PhD theses

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

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