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

metric interval temporal logic, monitoring, testing, model checking, linear temporal logic, linear temporal logic with degradation constraints, runtime verification, formula rewriting

Keywords ordered alphabetically | Keywords ordered by occurrence rate

351.
Švecová, Petra
Faculty: Faculty of Law
Year: 2005, studies completed, degree conferred: Mgr.
Programme/field: Law and Legal Science / Law
Master's thesis defence: Finanční nástroje strukturální politiky EU

352.
Švihlík, Petr
Faculty: Faculty of Informatics
Year: 2011, studies completed, degree conferred: Bc.
Programme/field: Applied Informatics / Applied Informatics
Bachelor's thesis defence: Development of a utility for filling databases | Theses on a related topic

353.
Táborský, Adam
Faculty: Faculty of Social Studies
Year: 2016, studies completed, degree conferred: Mgr.
Programme/field: Social Policy and Social Work / Public Policy and Human Resources (combination/specialization: Personnel Management and Organizational Development)
Master's thesis defence: Monitoring trhu práce a jeho implementace ve Švédsku | Theses on a related topic

354.
Tichý, Milan
Faculty: Faculty of Sports Studies
Year: 2019, studies completed, degree conferred: Mgr.
Programme/field: Physical Education and Sport / Lower and Upper Secondary School Teacher Training in Physical Education (combination/specialization: Training of condition)
Master's thesis defence: Pohybová aktivita hráčů florbalu v průběhu sezony | Theses on a related topic

355.
Tischer, Robin
Faculty: Faculty of Sports Studies
Year: 2023, studies completed, degree conferred: Bc.
Programme/field: Physical Education and Sport / Coaching
Bachelor's thesis defence: Využití masážního válce jako kompenzační pomůcky u mládežnických hráčů ledního hokeje | Theses on a related topic

356.
Tomášek, Zbyněk
Faculty: Faculty of Arts
Year: 2016, studies completed, degree conferred: Mgr.
Programme/field: General Theory and History of Arts and Culture / Theory of Interactive Media
Master's thesis defence: TOMÁŠ RULLER – tvorba 90. let: Monitoring - Displej / Intermediální performance & Nové technologie | Theses on a related topic
Master's thesis defence: TOMÁŠ RULLER – tvorba 90. let: Monitoring - Displej / Intermediální performance & Nové technologie | Theses on a related topic

357.
Tomáštík, Marek
Faculty: Faculty of Informatics
Year: 2013, studies completed, degree conferred: Bc.
Programme/field: Informatics / Mathematical Informatics
Bachelor's thesis defence: Porovnání nástrojů pro paralelní LTL model checking | Theses on a related topic

358.
Tomáštík, Marek
Faculty: Faculty of Informatics
Year: 2016, studies completed, degree conferred: Mgr.
Programme/field: Informatics / Parallel and Distributed Systems
Master's thesis defence: Verifikace MPI programů pomocí DIVINE | Theses on a related topic

359.
Tomek, Eduard
Faculty: Faculty of Informatics
Year: 2015, studies completed, degree conferred: Mgr.
Programme/field: Applied Informatics / Applied Informatics
Master's thesis defence: Monitoring Esper serverů pomocí JMX | Theses on a related topic

360.
Tovarňák, Daniel
Faculty: Faculty of Informatics
Year: 2018, studies completed, degree conferred: Ph.D.
Programme/field: Informatics (4-years) / Computer Systems and Technologies
Doctoral thesis defence: Normalization of Unstructured Log Data into Streams of Structured Event Objects | Theses on a related topic

361.
Tovarňák, Daniel
Faculty: Faculty of Informatics
Year: 2013, studies completed, degree conferred: RNDr.
Programme/field: Applied Informatics / Applied Informatics
Advanced Master's thesis defence: Towards Distributed Event-driven Monitoring Architecture | Theses on a related topic

362.
Trčka, Tomáš
Faculty: Faculty of Sports Studies
Year: 2020, studies completed, degree conferred: Bc.
Programme/field: Physical Education and Sport / Physical Education and Sport (combination/specialization: Coaching)
Bachelor's thesis defence: Aplikace plyometrického tréninku dolních končetin u fotbalistů kategorie U15 | Theses on a related topic

363.
Troják, Matej
Faculty: Faculty of Informatics
Year: 2020, studies completed, degree conferred: Mgr.
Programme/field: Artificial intelligence and data processing / Artificial intelligence and data processing
Master's thesis defence: Formal Analysis of Rule-Based Models in Systems Biology | Theses on a related topic

364.
Tuček, Adam
Faculty: Faculty of Informatics
Year: 2020, studies completed, degree conferred: Mgr.
Programme/field: Informatics / Theoretical Informatics
Master's thesis defence: Paritní hry | Theses on a related topic
Master's thesis defence: Paritní hry | Theses on a related topic

365.
Tůmová, Jana
Faculty: Faculty of Informatics
Year: 2009, studies completed, degree conferred: Mgr.
Programme/field: Informatics / Informatics
Master's thesis defence: Verification of probabilistic systems against quantified linear properties | Theses on a related topic

366.
Tůmová, Jana
Faculty: Faculty of Informatics
Year: 2010, studies completed, degree conferred: RNDr.
Programme/field: Informatics / Informatics
Advanced Master's thesis defence: Quantitative Linear-Time Model Checking | Theses on a related topic

367.
Tušer, Adam
Faculty: Faculty of Arts
Year: 2017, studies completed, degree conferred: Mgr.
Programme/field: Teacher Training for Secondary Schools / Upper Secondary School Teacher Training in English Language and Literature
Master's thesis defence: The Effects of Extended Testing Time on Writing Exams | Theses on a related topic

368.
Tušil, Jan
Faculty: Faculty of Informatics
Year: 2015, studies completed, degree conferred: Bc.
Programme/field: Informatics / Programmable Technical Structures
Bachelor's thesis defence: Partial Order redukce pro LLVM | Theses on a related topic

369.
Tužil, Matěj
Faculty: Faculty of Informatics
Year: 2020, studies completed, degree conferred: Bc.
Programme/field: Informatics / Computer Systems and Data Processing
Bachelor's thesis defence: Caché mocking framework | Theses on a related topic

370.
Urbánek, Tomáš
Faculty: Faculty of Sports Studies
Year: 2015, studies completed, degree conferred: Bc.
Programme/field: Physical Education and Sport / Physical Education and Sport (combination/specialization: Coaching)
Bachelor's thesis defence: Testování pohybových schopností ve Freestyle na MTB | Theses on a related topic

371.
Urubčík, David
Faculty: Faculty of Sports Studies
Year: 2017, studies completed, degree conferred: Mgr.
Programme/field: Physical Education and Sport / Management in Sport
Master's thesis defence: Monitoring poptávky Acroyogy u různých cílových skupin | Theses on a related topic

372.
Vacek, Václav
Faculty: Faculty of Informatics
Year: 2011, studies completed, degree conferred: Mgr.
Programme/field: Informatics / Theoretical Informatics
Master's thesis defence: New checkers for Sequence Chart Studio | Theses on a related topic

373.
Vaculík, Zbyněk
Faculty: Faculty of Science
Year: 2021, studies terminated for failure to fulfill study requirements
Programme/field: Geology / Applied and Environmental Geology
Master's thesis defence: Formování podzemních vod v okolí Dědičné štoly v k.ú. Čejč | Theses on a related topic
Master's thesis defence: Formování podzemních vod v okolí Dědičné štoly v k.ú. Čejč | Theses on a related topic

374.
Vágner, Jakub
Faculty: Faculty of Informatics
Year: 2012, studies terminated for failure to fulfill study requirements
Programme/field: Applied Informatics / Applied Informatics
Bachelor's thesis defence: Dohlížecí informační systém poskytovatele dopravních služeb | Theses on a related topic

375.
Valeková, Terézia
Faculty: Faculty of Medicine
Year: 2021, studies completed, degree conferred: Bc.
Programme/field: Specializations in Health Science / Radiology Assistant
Bachelor's thesis defence: Radiační ochrana: monitorování pracoviště a osobní monitorování | Theses on a related topic

376.
Valter, Maroš
Faculty: Faculty of Informatics
Year: 2021, studies completed, degree conferred: Mgr.
Programme/field: Informatics / Embedded Systems
Master's thesis defence: Zabezpečený sběr dat z externích senzorů | Theses on a related topic
Master's thesis defence: Zabezpečený zber dát z externých senzorov | Theses on a related topic

377.
Vanický, Šimon
Faculty: Faculty of Informatics
Year: 2016, studies completed, degree conferred: Mgr.
Programme/field: Informatics / Theoretical Informatics
Master's thesis defence: Verifikace CTL vlastností v nástroji DiVinE | Theses on a related topic
Master's thesis defence: Verifikace CTL vlastností v nástroji DiVinE | Theses on a related topic
Master's thesis defence: Verifikace CTL vlastností v nástroji DiVinE | Theses on a related topic

378.
Varmužová, Lucie
Faculty: Faculty of Sports Studies
Year: 2007, studies completed, degree conferred: Mgr.
Programme/field: Physical Education and Sport / Lower and Upper Secondary School Teacher Training in Physical Education (combination/specialization: Sports Education)
Master's thesis defence: Vliv hodnotových orientací na výkon v bowlingu žen | Theses on a related topic

379.
Vejpustek, Tomáš
Faculty: Faculty of Informatics
Year: 2011, studies completed, degree conferred: Bc.
Programme/field: Informatics / Mathematical Informatics
Bachelor's thesis defence: Visual Specification of Temporal Properties over Time Series | Theses on a related topic

380.
Velan, Petr
Faculty: Faculty of Informatics
Year: 2018, studies completed, degree conferred: Ph.D.
Programme/field: Informatics (4-years) / Computer Systems and Technologies
Doctoral thesis defence: Application-Aware Flow Monitoring | Theses on a related topic

381.
Věncková, Karolína
Faculty: Faculty of Sports Studies
Year: 2023, studies completed, degree conferred: Bc.
Programme/field: Physical Education and Sport / Mathematics for Education, Physical Education and Sport
Bachelor's thesis defence: Rozvoj pohybových schopností a dovedností u hráček volejbalu vybrané věkové skupiny | Theses on a related topic

382.
Vencl, Ondřej
Faculty: Faculty of Sports Studies
Year: 2016, studies completed, degree conferred: Bc.
Programme/field: Physical Education and Sport / Physical Education and Sport (combination/specialization: Coaching)
Bachelor's thesis defence: Rozvoj rychlostních schopností a srovnání jejich úrovně mezi žáky FK Pardubice a žáky ZŠ Studánka Pardubice | Theses on a related topic

383.
Vepřek, Luděk
Faculty: Faculty of Sports Studies
Year: 2016, studies completed, degree conferred: Bc.
Programme/field: Physical Education and Sport / Physical Education and Sport (combination/specialization: Ice hockey referee)
Bachelor's thesis defence: Monitoring pohybového a psychického zatížení hlavních rozhodčích ledního hokeje ve WSM lize a II. lize ČR | Theses on a related topic

384.
Vepřovský, Martin
Faculty: Faculty of Sports Studies
Year: 2014, studies completed, degree conferred: Bc.
Programme/field: Physical Education and Sport / Physical Education and Sport (combination/specialization: Ice hockey referee)
Bachelor's thesis defence: Kondiční a pohybová příprava rozhodčího ledního hokeje | Theses on a related topic

385.
Veselý, Jakub
Faculty: Faculty of Science
Year: 2019, studies completed, degree conferred: Mgr.
Programme/field: Chemistry / Upper Secondary School Teacher Training in Biology, Upper Secondary School Teacher Training in Chemistry
Master's thesis defence: Nejčastější zoonózy přenášené klíšťaty | Theses on a related topic
Master's thesis defence: Nejčastější zoonózy přenášené klíšťaty | Theses on a related topic

386.
Vilček, Michal
Faculty: Faculty of Informatics
Year: 2016, studies completed, degree conferred: Bc.
Programme/field: Applied Informatics / Social Informatics
Bachelor's thesis defence: Návrh uživatelského rozhraní pro orientační systém budov | Theses on a related topic

387.
Vilímková, Kristýna
Faculty: Faculty of Science
Year: 2018, studies completed, degree conferred: Bc.
Programme/field: Geography and Cartography / Geographical Cartography and Geoinformatics
Bachelor's thesis defence: Sledování změn porostu CHKO Orlické hory prostředky DPZ | Theses on a related topic

388.
Víteček, Antonín
Faculty: Faculty of Informatics
Year: 2013, studies terminated for failure to fulfill study requirements
Programme/field: Informatics / Information Technology Security
Master's thesis defence: Správa a analýza bezpečnostních logů | Theses on a related topic
Master's thesis defence: Správa a analýza bezpečnostních logů | Theses on a related topic

389.
Vlček, Michal
Faculty: Faculty of Sports Studies
Year: 2016, studies completed, degree conferred: Bc.
Programme/field: Physical Education and Sport / Animator of Sport Activities, Lower Secondary School Teacher Training in Natural Science
Bachelor's thesis defence: Analýza testování rovnováhových schopností | Theses on a related topic

390.
Voda, Martin
Faculty: Faculty of Sports Studies
Year: 2015, studies completed, degree conferred: Bc.
Programme/field: Physical Education and Sport / Physical Education and Sport (combination/specialization: Coaching)
Bachelor's thesis defence: Možnosti testování agility mladých fotbalistů
Bachelor's thesis defence: Možnosti testování agility mladých fotbalistů | Theses on a related topic

391.
Vodáček, Tomáš
Faculty: Faculty of Sports Studies
Year: 2021, studies completed, degree conferred: Mgr.
Programme/field: Applied Sports Education of Security Bodies / Applied Sport Education of Security Bodies
Master's thesis defence: Využití mobilních aplikací v rámci prevence syndromu přetrénování | Theses on a related topic

392.
Voldánová, Jasmína
Faculty: Faculty of Sports Studies
Year: 2024, studies completed, degree conferred: Bc.
Programme/field: Physical Education and Sport / Geography for Education, Physical Education and Sport
Bachelor's thesis defence: Rozvoj motorických schopností volejbalistek věkové kategorie U11 | Theses on a related topic

393.
Vondrušková, Lenka
Faculty: Faculty of Education
Year: 2022, studies completed, degree conferred: Bc.
Programme/field: Specialization in Education / Natural Science for Education, Physics for Education
Bachelor's thesis defence: Aktivita klíšťat na vybrané lokalitě č-m vrchoviny a rizikové podmínky ve vztahu k přenosu dvou nejčastějších patogenů | Theses on a related topic

394.
Voříšek, Radek
Faculty: Faculty of Sports Studies
Year: 2010, studies completed, degree conferred: Bc.
Programme/field: Physical Education and Sport / Physical Education and Sport (combination/specialization: Management of Tourist Trade)
Bachelor's thesis defence: Porovnání vybraných rychlostních a silových ukazatelů předních českých a slovenských skokanů do dálky | Theses on a related topic

395.
Vozárová, Viktória
Faculty: Faculty of Informatics
Year: 2017, studies completed, degree conferred: Bc.
Programme/field: Informatics / Parallel and Distributed Systems
Bachelor's thesis defence: Craig's Interpolant in Model Checking Algorithms | Theses on a related topic

396.
Vrbka, Jiří
Faculty: Faculty of Informatics
Year: 2024, studies completed, degree conferred: Mgr.
Programme/field: Software systems and services management / Software Systems Development Management
Master's thesis defence: Low-Code Test Automation Studio | Theses on a related topic

397.
Vrbka, Marek
Faculty: Faculty of Informatics
Year: 2023, studies completed, degree conferred: Mgr.
Programme/field: Computer systems, communication and security / Hardware systems
Master's thesis defence: Testing of Student Assignments in Embedded Course | Theses on a related topic

398.
Vrzal, Michal
Faculty: Faculty of Sports Studies
Year: 2008, studies completed, degree conferred: Mgr.
Programme/field: Physical Education and Sport / Lower and Upper Secondary School Teacher Training in Physical Education (combination/specialization: Trenérství)
Master's thesis defence: Srovnání výkonnosti mladých zápasníku s ostatními žáky stejného věku | Theses on a related topic

399.
Wiesner, David
Faculty: Faculty of Informatics
Year: 2018, studies completed, degree conferred: Mgr.
Programme/field: Informatics / Parallel and Distributed Systems
Master's thesis defence: Paralelizace obrazového simulátoru buněčných populací | Theses on a related topic

400.
Zadina, Daniel
Faculty: Faculty of Sports Studies
Year: 2024, studies completed, degree conferred: Bc.
Programme/field: Physical Education and Sport / English Language for Education, Physical Education and Sport
Bachelor's thesis defence: Porovnání vybraných motorických schopností hráčů ledního hokeje a fotbalu ve věku 11-12 let | Theses on a related topic