Topics of PhD theses

»1-22«
 
# -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
122013Vojnar TomášUITSNew Trends in Numerical Solutions of Differential Equations
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: 34.207.146.166
Přepnout na https

DNSSEC [dnssec]