Theses on a related topic (having the same keywords):

chovanie, verifikacia, specification, behavior, specifikacia, ltl, verification, testovanie, monitorovanie, linearna temporalna logika

Keywords ordered alphabetically | Keywords ordered by occurrence rate

101.
Kyselová, Ina
Faculty: Faculty of Science
Year: 2012, studies completed, degree conferred: Bc.
Programme/field: Experimental Biology / Mathematical Biology
Bachelor's thesis defence: Analýza asociací parazitárních společenstev, potravních a behaviorálních dat u populace orangutanů | Theses on a related topic Display description

Bachelor's thesis defence: Analýza asociací parazitárních společenstev, potravních a behaviorálních dat u populace orangutanů | Theses on a related topic Display description

102.
Lacková, Antónia
Faculty: Faculty of Arts
Year: 2015, studies completed, degree conferred: Bc.
Programme/field: Education / Education
Bachelor's thesis defence: Nekázeň studentů středních škol | Theses on a related topic
Bachelor's thesis defence: Nekázeň - pohled studentů středních škol | Theses on a related topic

103.
Lamr, Tomáš
Faculty: Faculty of Informatics
Year: 2009, studies completed, degree conferred: Mgr.
Programme/field: Applied Informatics / Applied Informatics
Master's thesis defence: Akcelerace procesu verifikace pomocí grafické karty | Theses on a related topic

104.
Leždík, Juraj
Faculty: Faculty of Informatics
Year: 2017, studies completed, degree conferred: Mgr.
Programme/field: Applied Informatics / Applied Informatics
Master's thesis defence: Monitorování zátěže a využití výpočetních zdrojů v heterogenním výpočetním prostředí | Theses on a related topic

105.
Lintner, Igor
Faculty: Faculty of Economics and Administration
Year: 2022, studies completed, degree conferred: Bc.
Programme/field: Finance / Finance
Bachelor's thesis defence: Testování vybraných trend-following strategií | Theses on a related topic

106.
Lörinc, Alexander
Faculty: Faculty of Informatics
Year: 2016, studies completed, degree conferred: Mgr.
Programme/field: Applied Informatics / Applied Informatics
Master's thesis defence: Monitorovací systém pro AVG | Theses on a related topic

107.
Ľupták, Martin
Faculty: Faculty of Informatics
Year: 2013, studies completed, degree conferred: Bc.
Programme/field: Informatics / Computer Networks and Communication
Bachelor's thesis defence: Algoritmy pro rozpoznávání dotykových gest | Theses on a related topic

108.
Mahútová, Lucia
Faculty: Faculty of Informatics
Year: 2024, studies under way
Programme/field: Visual informatics / Graphic design
Master's thesis defence: High fidelity prototyp aplikácie na starostlivosť o interiérové rastliny | Theses on a related topic

109.
Machalka, Jakub
Faculty: Faculty of Economics and Administration
Year: 2023, studies completed, degree conferred: Ing.
Programme/field: Business Management / Business Management
Master's thesis defence: Etické nakupování | Theses on a related topic

110.
Majláth, Martin
Faculty: Faculty of Informatics
Year: 2014, studies completed, degree conferred: Mgr.
Programme/field: Applied Informatics / Applied Informatics
Master's thesis defence: Automatické generování testovacích procedůr vyhovujících standardu DO-178B | Theses on a related topic

111.
Major, Juraj
Faculty: Faculty of Informatics
Year: 2017, studies completed, degree conferred: Mgr.
Programme/field: Applied Informatics / Applied Informatics
Master's thesis defence: Překlad LTL na nedeterministické automaty s generickou akceptační podmínkou | Theses on a related topic

112.
Maksović, Sofija
Faculty: Faculty of Informatics
Year: 2023, studies completed, degree conferred: Bc.
Programme/field: Programming and development / Programming and development
Bachelor's thesis defence: Model-Based Analysis of Forensic-Ready Software Systems | Theses on a related topic

113.
Martinka, Juraj
Faculty: Faculty of Informatics
Year: 2011, studies completed, degree conferred: Mgr.
Programme/field: Informatics / Information Systems
Master's thesis defence: Poptávkový informačný systém | Theses on a related topic

114.
Matuška, Jindřich
Faculty: Faculty of Informatics
Year: 2024, studies under way
Programme/field: Informatics / Informatics
Bachelor's thesis defence: Verification of binarised neural networks using ASP | Theses on a related topic

115.
Melichárková, Šárka
Faculty: Faculty of Education
Year: 2014, studies completed, degree conferred: Mgr.
Programme/field: Teacher Training for Primary and Lower Secondary Schools / Lower Secondary and Language School Teacher Training in German Language
Master's thesis defence: Reflexe členství ve volejbalovém výběru mladších žákyň | Theses on a related topic

116.
Mičan, Pavel
Faculty: Faculty of Informatics
Year: 2014, studies terminated for failure to fulfill study requirements
Programme/field: Applied Informatics / Applied Informatics
Master's thesis defence: Trading space for time in explicit-state model checking | Theses on a related topic

117.
Mihalkovič, Vincent
Faculty: Faculty of Informatics
Year: 2023, studies completed, degree conferred: Mgr.
Programme/field: Theoretical computer science / Principles of programming languages
Master's thesis defence: Improved translation of LLVM IR code to C | Theses on a related topic

118.
Michalík, Peter
Faculty: Faculty of Informatics
Year: 2012, studies completed, degree conferred: Mgr.
Programme/field: Informatics / Information Systems
Master's thesis defence: Poptávkový informačný systém | Theses on a related topic
Master's thesis defence: Poptávkový informační systém | Theses on a related topic

119.
Miléřová, Drahoslava
Faculty: Faculty of Law
Year: 2011, studies completed, degree conferred: Bc.
Programme/field: Legal Specializations / Theory and Practice of Criminal Procedure
Bachelor's thesis defence: Postavení státního zástupce v trestním řízení | Theses on a related topic

120.
Mišáková, Pavlína
Faculty: Faculty of Education
Year: 2015, studies completed, degree conferred: Bc.
Programme/field: Education / Social and Free Time Education
Bachelor's thesis defence: Význam a využití herních aktivit v životě dětí s PAS | Theses on a related topic

121.
Mižík, Bruno
Faculty: Faculty of Informatics
Year: 2017, studies completed, degree conferred: Bc.
Programme/field: Applied Informatics / Applied Informatics
Bachelor's thesis defence: Implementace testů pro dyslektiky na základě jayzka DysX | Theses on a related topic

122.
Mocková, Daniela
Faculty: Faculty of Arts
Year: 2021, studies completed, degree conferred: Bc.
Programme/field: Psychology / Psychology
Bachelor's thesis defence: Sledování anime v mladé dospělosti a jeho psychosociální dopady | Theses on a related topic

123.
Moráček, Martin
Faculty: Faculty of Informatics
Year: 2010, studies completed, degree conferred: Bc.
Programme/field: Informatics / Informatics
Bachelor's thesis defence: Simulátor pro modelovací jazyk nástroje DiVinE | Theses on a related topic

124.
Moravčík, Marek
Faculty: Faculty of Informatics
Year: 2010, studies completed, degree conferred: Bc.
Programme/field: Applied Informatics / Applied Informatics
Bachelor's thesis defence: Vizualizace stavových prostorů | Theses on a related topic

125.
Mráz, Mikuláš
Faculty: Faculty of Informatics
Year: 2019, studies completed, degree conferred: Mgr.
Programme/field: Applied Informatics / Service Science, Management and Engineering
Master's thesis defence: Monitoring a plánování údržby databázových serverů | Theses on a related topic

126.
Mrkvová, Klára
Faculty: Faculty of Science
Year: 2020, studies completed, degree conferred: Bc.
Programme/field: Ecological and Evolutionary Biology / Ecological and Evolutionary Biology
Bachelor's thesis defence: Behaviorální interakce v populacích halančíka tyrkysového | Theses on a related topic

127.
Mulár, Ondrej
Faculty: Faculty of Informatics
Year: 2015, studies completed, degree conferred: Bc.
Programme/field: Applied Informatics / Applied Informatics
Bachelor's thesis defence: Regresní testovaní balíku fence-agents | Theses on a related topic

128.
Murasová, Markéta
Faculty: Faculty of Medicine
Year: 2020, studies completed, degree conferred: Bc.
Programme/field: Medical Laboratory Technologist / Medical Laboratory Technologist
Bachelor's thesis defence: Zavedení nové metody pro stanovení glukózy | Theses on a related topic

129.
Myslivec, David
Faculty: Faculty of Law
Year: 2021, studies completed, degree conferred: Mgr.
Programme/field: Law and Legal Science / Law
Master's thesis defence: Právní aspekty interoperability software | Theses on a related topic

130.
Nagy, Imrich
Faculty: Faculty of Informatics
Year: 2021, studies completed, degree conferred: Mgr.
Programme/field: Computer systems, communication and security / Information security
Master's thesis defence: Building open profiles of certified cryptographic devices | Theses on a related topic

131.
Navrátilová, Iva
Faculty: Faculty of Education
Year: 2008, studies completed, degree conferred: Bc.
Programme/field: Education / Social and Free Time Education
Bachelor's thesis defence: Program COPE for Teens - výstupy z realizace ve skupině studentů na Gymnáziu Integra v Brně | Theses on a related topic

132.
Němec, Richard
Faculty: Faculty of Education
Year: 2011, studies completed, degree conferred: Mgr.
Programme/field: Teacher Training for Secondary Schools / Teacher Training of Specialized Subjects for Secondary Schools – Specialisation Mechanical Engineering
Master's thesis defence: Zvýšení odborné způsobilosti žáků středních odborných škol s elektrotechnickým zaměřením | Theses on a related topic

133.
Novák, Jakub
Faculty: Faculty of Informatics
Year: 2020, studies completed, degree conferred: Bc.
Programme/field: Applied Informatics / Applied Informatics
Bachelor's thesis defence: Improvements of Memory Management in KLEE | Theses on a related topic

134.
Novák, Jakub
Faculty: Faculty of Informatics
Year: 2023, studies completed, degree conferred: Mgr.
Programme/field: Software systems and services management / Software Systems Development Management
Master's thesis defence: Lazy object initialization support in KLEE | Theses on a related topic

135.
Novosad, Jiří
Faculty: Faculty of Informatics
Year: 2012, studies completed, degree conferred: Mgr.
Programme/field: Informatics / Parallel and Distributed Systems
Master's thesis defence: Predicate Abstraction of DiVinE Models | Theses on a related topic

136.
Novotná, Adéla
Faculty: Faculty of Arts
Year: 2019, studies completed, degree conferred: Bc.
Programme/field: Psychology / Psychology
Bachelor's thesis defence: Influence of animal advocacy movies on behavioral change in meat and dairy products consumption | Theses on a related topic

137.
Opavský, Vladimír
Faculty: Faculty of Informatics
Year: 2009, studies completed, degree conferred: Bc.
Programme/field: Applied Informatics / Applied Informatics
Bachelor's thesis defence: Bezpečnosť technológie JavaCard | Theses on a related topic

138.
Pánik, Matúš
Faculty: Faculty of Informatics
Year: 2018, studies completed, degree conferred: Mgr.
Programme/field: Applied Informatics / Service Science, Management and Engineering
Master's thesis defence: Rozpoznávání obličejů s využitím technologií iFace SDK a IDKit Multimodal SDK | Theses on a related topic

139.
Pařízková, Ivana
Faculty: Faculty of Education
Year: 2016, studies completed, degree conferred: Bc.
Programme/field: Education / Social and Free Time Education
Bachelor's thesis defence: Výchova cizinců v podmínkách českého krasobruslení | Theses on a related topic

140.
Pavlík, Michal
Faculty: Faculty of Economics and Administration
Year: 2015, studies completed, degree conferred: Ing.
Programme/field: Finance and Accounting / Finance
Master's thesis defence: Predikční modely rizika insolvence firem | Theses on a related topic

141.
Pecuch, Daniel
Faculty: Faculty of Informatics
Year: 2021, studies completed, degree conferred: Bc.
Programme/field: Applied Informatics / Applied Informatics
Bachelor's thesis defence: Password managers: a survey | Theses on a related topic

142.
Pincová, Lenka
Faculty: Faculty of Arts
Year: 2023, studies completed, degree conferred: Mgr.
Programme/field: Information and Library Studies / Information and Library Studies
Master's thesis defence: Redesign webu kps.cvtisr.sk | Theses on a related topic

143.
Podhora, Martin
Faculty: Faculty of Informatics
Year: 2022, studies completed, degree conferred: Mgr.
Programme/field: Software systems and services management / Software Systems Development Management
Master's thesis defence: Forensic profiles of certified cryptographic smartcards | Theses on a related topic

144.
Podškubková, Štěpánka
Faculty: Faculty of Education
Year: 2012, studies completed, degree conferred: Bc.
Programme/field: Special Education / Special Education
Bachelor's thesis defence: Šikana a agrese | Theses on a related topic

145.
Pokorná, Kristýna
Faculty: Faculty of Arts
Year: 2012, studies completed, degree conferred: Bc.
Programme/field: Philology / German Language and Literature
Bachelor's thesis defence: Phraseologie am Beispiel von Verhalten der Männer und Frauen - eine deutsch-tschechische kontrastive Analyse | Theses on a related topic

146.
Polián, Tomáš
Faculty: Faculty of Law
Year: 2013, studies completed, degree conferred: Bc.
Programme/field: Legal Specializations / Theory and Practice of Criminal Procedure
Bachelor's thesis defence: Trestněprávní úprava nebezpečného pronásledování podle § 354 TrZ | Theses on a related topic

147.
Pozdílková, Hana
Faculty: Faculty of Arts
Year: 2013, studies completed, degree conferred: Mgr.
Programme/field: Translation and Interpreting / English-language Translation
Master's thesis defence: Specification and Generalization in Student Translations | Theses on a related topic

148.
Pribula, Dávid
Faculty: Faculty of Informatics
Year: 2016, studies completed, degree conferred: Bc.
Programme/field: Applied Informatics / Applied Informatics
Bachelor's thesis defence: Využití nástrojů pro souborový fuzzing ve vývojovém procesu | Theses on a related topic

149.
Racek, Lukáš
Faculty: Faculty of Informatics
Year: 2014, studies completed, degree conferred: Mgr.
Programme/field: Applied Informatics / Applied Informatics
Master's thesis defence: Návrh uživatelského rozhraní multimediálního systému ve veřejné dopravě | Theses on a related topic

150.
Repka, Ondrej
Faculty: Faculty of Economics and Administration
Year: 2016, studies completed, degree conferred: Ing.
Programme/field: Finance and Accounting / Finance
Master's thesis defence: Obchodování kalendářních komoditních spreadů | Theses on a related topic