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

51.
Franěk, Jan
Faculty: Faculty of Informatics
Year: 2021, studies completed, degree conferred: Bc.
Programme/field: Applied Informatics / Applied Informatics
Bachelor's thesis defence: Automatic documentation generation from SystemVerilog source files | Theses on a related topic Display description

52.
Fritzová, Denisa
Faculty: Faculty of Medicine
Year: 2018, studies completed, degree conferred: Bc.
Programme/field: Specializations in Health Science / Laboratory Assistant
Bachelor's thesis defence: Verifikace nově instalovaných POCT analyzátorů acidobazické rovnováhy na pracovištích intenzivní medicíny | Theses on a related topic

53.
Gajdoš, Andrej
Faculty: Faculty of Informatics
Year: 2013, studies completed, degree conferred: Bc.
Programme/field: Applied Informatics / Applied Informatics
Bachelor's thesis defence: Testování grafických uživatelských rozhraní | Theses on a related topic

54.
Grman, Maroš
Faculty: Faculty of Informatics
Year: 2017, studies completed, degree conferred: Bc.
Programme/field: Applied Informatics / Applied Informatics
Bachelor's thesis defence: Textové výstupy testů náhodnosti | Theses on a related topic

55.
Grman, Maroš
Faculty: Faculty of Informatics
Year: 2021, studies completed, degree conferred: Mgr.
Programme/field: Applied Informatics / Service Science, Management and Engineering
Master's thesis defence: Testování a srovnání SQL a NoSQL databázových systémů se zaměřením na metodiku testování | Theses on a related topic

56.
Ha Trinh, Hung Son
Faculty: Faculty of Medicine
Year: 2019, studies completed, degree conferred: Bc.
Programme/field: Specializations in Health Science / Optics and Optometry
Bachelor's thesis defence: Oko jako biometrický identifikátor | Theses on a related topic

57.
Haasová, Monika
Faculty: Faculty of Education
Year: 2013, studies completed, degree conferred: Bc.
Programme/field: Specialization in Education / Social Education Teacher Training
Bachelor's thesis defence: Autismus v labyrintu všedního dne | Theses on a related topic

58.
Halász, Ervin
Faculty: Faculty of Sports Studies
Year: 2023, studies completed, degree conferred: Mgr.
Programme/field: Strength and Conditioning Training and Applied Kinesiology / Strength and Conditioning Training
Master's thesis defence: Rozvoj rychlostních schopností a agility v hokeji pomocí specifických a nespecifických tréninkových prostředků | Theses on a related topic

59.
Hegyiová, Kateřina
Faculty: Faculty of Science
Year: 2006, studies completed, degree conferred: Mgr.
Programme/field: Mathematics / English Language and Literature, Upper Secondary School Teacher Training in Mathematics
Master's thesis defence: The Position of Adverbials in Functional Sentence Perspective. A Comparative Study of English and Czech.

60.
Hepner, Rastislav
Faculty: Faculty of Informatics
Year: 2014, studies completed, degree conferred: Bc.
Programme/field: Applied Informatics / Applied Informatics
Bachelor's thesis defence: Pokrytí knihovny SELinux pomocí jednotkových testů | Theses on a related topic

61.
Hlavačková, Petra
Faculty: Faculty of Law
Year: 2009, studies completed, degree conferred: Bc.
Programme/field: Legal Specializations / Social Security Law
Bachelor's thesis defence: Práva a povinnosti účastníků pracovněprávních vztahů | Theses on a related topic

62.
Hoďovská, Dominika
Faculty: Faculty of Informatics
Year: 2016, studies terminated for failure to fulfill study requirements
Programme/field: Informatics / Computer Systems and Data Processing, Mathematical Informatics
Bachelor's thesis defence: Automatizace testů pro LMI Command Center | Theses on a related topic

63.
Holý, Tomáš
Faculty: Faculty of Sports Studies
Year: 2010, studies completed, degree conferred: Bc.
Programme/field: Physical Education and Sport / Physical Education and Sport (combination/specialization: Coaching)
Bachelor's thesis defence: Fungování a možnosti rozvoje KRNAP | Theses on a related topic

64.
Horváth, Erik
Faculty: Faculty of Informatics
Year: 2020, studies completed, degree conferred: Mgr.
Programme/field: Applied Informatics / Applied Informatics
Master's thesis defence: Pokročilé nasazení systému pro vzdálené podpisování | Theses on a related topic

65.
Horváth, Tibor
Faculty: Faculty of Informatics
Year: 2019, studies completed, degree conferred: Mgr.
Programme/field: Applied Informatics / Service Science, Management and Engineering
Master's thesis defence: Optimalizace testování při vývoji informačního systému | Theses on a related topic

66.
Horváthová, Lenka
Faculty: Faculty of Informatics
Year: 2021, studies completed, degree conferred: Mgr.
Programme/field: Applied Informatics / Applied Informatics
Master's thesis defence: Mapa akcií pre verejnosť | Theses on a related topic

67.
Hrabcová, Barbora
Faculty: Faculty of Education
Year: 2014, studies completed, degree conferred: Bc.
Programme/field: Special Education / Special Education
Bachelor's thesis defence: Odbourávání stereotypů u žáků s poruchou autistického spektra | Theses on a related topic

68.
Hrabovská, Aneta
Faculty: Faculty of Arts
Year: 2016, studies completed, degree conferred: Mgr.
Programme/field: Psychology / Psychology
Master's thesis defence: Kontraproduktivní chování: psychometrická studie | Theses on a related topic

69.
Hrica, Matej
Faculty: Faculty of Sports Studies
Year: 2023, studies completed, degree conferred: Mgr.
Programme/field: Strength and Conditioning Training and Applied Kinesiology / Strength and Conditioning Training
Master's thesis defence: Diagnostika motorického vývoje pomocí metody KTK u dětí v předškolním věku | Theses on a related topic

70.
Hrušovská, Katarína
Faculty: Faculty of Medicine
Year: 2019, studies completed, degree conferred: Mgr.
Programme/field: Specializations in Health Science / Intensive Care
Master's thesis defence: Subjektívne a objektívne hodnotenie bolesti u pacientov po operačnom výkone | Theses on a related topic

71.
Hvězda, Sebastian
Faculty: Faculty of Sports Studies
Year: 2021, studies completed, degree conferred: Bc.
Programme/field: Physical Education and Sport / Physical Education and Sport (combination/specialization: Football referee)
Bachelor's thesis defence: Analýza chování rozhodčího při fotbalovém utkání | Theses on a related topic

72.
Chalupa, Marek
Faculty: Faculty of Informatics
Year: 2019, studies completed, degree conferred: RNDr.
Programme/field: Informatics / Theoretical Informatics
Advanced Master's thesis defence: Symbolic Execution for Verification | Theses on a related topic

73.
Chlubná, Barbora
Faculty: Faculty of Social Studies
Year: 2021, studies completed, degree conferred: Mgr.
Programme/field: Public and Social Policy and Human Resources / Personnel management and organisational development
Master's thesis defence: Syndrom vyhoření u pracovníku v oblasti lidských zdrojů | Theses on a related topic

74.
Indra, Jakub
Faculty: Faculty of Education
Year: 2014, studies completed, degree conferred: Bc.
Programme/field: Special Education / Special Education
Bachelor's thesis defence: Nejčastější formy vrstevnických problémů u chlapců umístěných v zařízení pro výkon ústavní a ochranné výchovy | Theses on a related topic

75.
Ivašková, Petra
Faculty: Faculty of Informatics
Year: 2012, studies completed, degree conferred: Bc.
Programme/field: Applied Informatics / Applied Informatics
Bachelor's thesis defence: Optimalizace graf. rozhraní elektronického obchodu | Theses on a related topic

76.
Jasná, Michaela
Faculty: Faculty of Law
Year: 2022, studies completed, degree conferred: Bc.
Programme/field: Legal Specializations / International Commercial Law Studies
Bachelor's thesis defence: Specifikace zboží v režimu Úmluvy OSN o smlouvách o mezinárodní koupi zboží | Theses on a related topic

77.
Jašek, Tomáš
Faculty: Faculty of Informatics
Year: 2021, studies completed, degree conferred: Mgr.
Programme/field: Informatics / Parallel and Distributed Systems
Master's thesis defence: Verification of Memory Safety with Predator and Symbiotic | Theses on a related topic

78.
Jašová, Eva
Faculty: Faculty of Education
Year: 2013, studies completed, degree conferred: Mgr.
Programme/field: Teacher Training for Primary and Lower Secondary Schools / Lower Secondary School Teacher Training in German Language and Literature, Lower Secondary School Teacher Training in History
Master's thesis defence: Odměny a tresty jako výchovný prostředek | Theses on a related topic

79.
Jermerová, Petra maiden name: Morcová
Faculty: Faculty of Education
Year: 2020, studies completed, degree conferred: Mgr.
Programme/field: Teacher Training for Primary and Lower Secondary Schools / Lower Secondary School Teacher Training in Czech Language and Literature for Pupils with a Different Mother Tongue
Master's thesis defence: Řešení nespolupracujícího chování u žáků na 2. stupni ZŠ | Theses on a related topic

80.
Joklová, Miroslava
Faculty: Faculty of Social Studies
Year: 2016, studies completed, degree conferred: Mgr.
Programme/field: Social Policy and Social Work / Social Work (combination/specialization: Case Social Work)
Master's thesis defence: Postoj rodičů k patologickému internetovému hráčství svých dospívajících dětí | Theses on a related topic

81.
Kadaši, Jakub
Faculty: Faculty of Informatics
Year: 2017, studies completed, degree conferred: Bc.
Programme/field: Informatics / Computer Systems and Data Processing
Bachelor's thesis defence: Verifikace paralelní hashovací tabulky z knihovny Folly | Theses on a related topic

82.
Keda, Michal
Faculty: Faculty of Informatics
Year: 2015, studies completed, degree conferred: Bc.
Programme/field: Informatics / Parallel and Distributed Systems
Bachelor's thesis defence: Grafická reprezentace formulí logiky LTL | Theses on a related topic

83.
Kejstová, Katarína
Faculty: Faculty of Informatics
Year: 2017, studies completed, degree conferred: Bc.
Programme/field: Informatics / Parallel and Distributed Systems
Bachelor's thesis defence: Virtual File System in DIVINE 4 | Theses on a related topic

84.
Kejstová, Katarína
Faculty: Faculty of Informatics
Year: 2019, studies completed, degree conferred: Mgr.
Programme/field: Informatics / Parallel and Distributed Systems
Master's thesis defence: Model Checking with System Call Traces | Theses on a related topic

85.
Kelnar, David
Faculty: Faculty of Education
Year: 2011, studies completed, degree conferred: Mgr.
Programme/field: Teacher Training for Primary Schools / Lower Secondary School Teacher Training in Special Education, Lower Secondary School Teacher Training in Technical Education
Master's thesis defence: Informovanost pedagogických pracovníků základních škol o problematice poruch příjmu potravy | Theses on a related topic

86.
Kinská, Tereza
Faculty: Faculty of Informatics
Year: 2023, studies completed, degree conferred: Bc.
Programme/field: Informatics / Informatics
Bachelor's thesis defence: Counter Automata for MTL over Untimed Words | Theses on a related topic

87.
Klapalová, Alena
Faculty: Faculty of Economics and Administration
Year: 2007, studies completed, degree conferred: Ph.D.
Programme/field: Economy and Management / Business Economy and Management
Doctoral thesis defence: Vliv e-business na tvorbu hodnoty v řetězcích a sítích | Theses on a related topic

88.
Klikáč, Adam
Faculty: Faculty of Sports Studies
Year: 2021, studies completed, degree conferred: Mgr.
Programme/field: Strength and Conditioning Training and Applied Kinesiology / Applied Kinesiology
Master's thesis defence: Monitorování variability srdeční frekvence pomocí mobilní aplikace u sportovce zaměřeného na silový trénink | Theses on a related topic

89.
Kociánová, Hana
Faculty: Faculty of Social Studies
Year: 2008, studies completed, degree conferred: Mgr.
Programme/field: Psychology / Psychology
Master's thesis defence: Ověření metody Behavioral Systems Questionnaire pro českou populaci | Theses on a related topic

90.
Kohút, Ľuboš
Faculty: Faculty of Informatics
Year: 2009, studies completed, degree conferred: Bc.
Programme/field: Applied Informatics / Applied Informatics
Bachelor's thesis defence: Nástroj pre opravovanie úloh z Javy | Theses on a related topic

91.
Kováč, Vladimír
Faculty: Faculty of Law
Year: 2014, studies completed, degree conferred: Bc.
Programme/field: Legal Specializations / Public Administration
Bachelor's thesis defence: Státní kontrola vykonávaná Českým telekomunikačním úřadem | Theses on a related topic
Bachelor's thesis defence: Státní kontrola vykonávaná Českým telekomunikačním úřadem | Theses on a related topic
Bachelor's thesis defence: Státní kontrola vykonávaná Českým telekomunikačním úřadem | Theses on a related topic

92.
Kovalíková, Lenka
Faculty: Faculty of Science
Year: 2022, studies completed, degree conferred: Mgr.
Programme/field: Bioanalytical Laboratory Diagnostics in Medicine - Bioanalytic / Bioanalytical Laboratory Diagnostics in Medicine - Bioanalyst
Master's thesis defence: Exprese proteinu Schlafen 11 u karcinomu ovaria | Theses on a related topic

93.
Kozáčková, Zuzana
Faculty: Faculty of Arts
Year: 2009, studies completed, degree conferred: Bc.
Programme/field: General Theory and History of Arts and Culture / Aesthetics
Bachelor's thesis defence: Helena Lorenzová - Umění krásně žít | Theses on a related topic
Bachelor's thesis defence: Helena Lorenzová - Umění krásně žít | Theses on a related topic

94.
Krchňák, Tomáš
Faculty: Faculty of Informatics
Year: 2023, studies completed, degree conferred: Bc.
Programme/field: Applied Informatics / Applied Informatics
Bachelor's thesis defence: Proxying, recording and replaying syscalls in DiOS | Theses on a related topic

95.
Kriho, Jan
Faculty: Faculty of Informatics
Year: 2011, studies completed, degree conferred: Bc.
Programme/field: Informatics / Parallel and Distributed Systems
Bachelor's thesis defence: Post-mortem analýza stavového prostoru | Theses on a related topic

96.
Kružíková, Agáta
Faculty: Faculty of Informatics
Year: 2016, studies completed, degree conferred: Bc.
Programme/field: Applied Informatics / Social Informatics
Bachelor's thesis defence: Uživatelské rozhraní aplikace pro šifrování disku | Theses on a related topic

97.
Kučera, Tadeáš
Faculty: Faculty of Science
Year: 2019, studies completed, degree conferred: Mgr.
Programme/field: Mathematics / Mathematics with Informatics
Master's thesis defence: API pro monitorování chování programů v kontextu nástroje DIVINE | Theses on a related topic

98.
Kuska, Róbert
Faculty: Faculty of Informatics
Year: 2013, studies completed, degree conferred: Bc.
Programme/field: Applied Informatics / Applied Informatics
Bachelor's thesis defence: Metody automatického testování v jazyce Python | Theses on a related topic

99.
Kutálková, Věra
Faculty: Faculty of Education
Year: 2014, studies completed, degree conferred: Mgr.
Programme/field: Teacher Training for Primary and Lower Secondary Schools / Lower Secondary School Teacher Training in Civics, Lower Secondary School Teacher Training in Geography
Master's thesis defence: Projevy nekázně na druhém stupni základních škol - komparace vesnická a městská škola | Theses on a related topic

100.
Kuzník, Ondřej
Faculty: Faculty of Informatics
Year: 2009, studies completed, degree conferred: Mgr.
Programme/field: Informatics / Informatics
Master's thesis defence: Model Checking of promt-LTL properties | Theses on a related topic