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

static analysis, memory, klee, symbolic execution, verification, testing

Keywords ordered alphabetically | Keywords ordered by occurrence rate

1.
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 Display description

2.
Ayaziová, Paulína
Faculty: Faculty of Informatics
Year: 2022, studies completed, degree conferred: Bc.
Programme/field: Informatics / Artificial Intelligence and Natural Language Processing
Bachelor's thesis defence: Klee-Based Error Witness Checker | Theses on a related topic

3.
Čadek, Pavel
Faculty: Faculty of Informatics
Year: 2015, studies completed, degree conferred: Mgr.
Programme/field: Informatics / Theoretical Informatics
Master's thesis defence: Symbolic Loop Bound Analysis | Theses on a related topic

4.
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

5.
Konicar, Robert
Faculty: Faculty of Informatics
Year: 2022, studies completed, degree conferred: Bc.
Programme/field: Informatics / Mathematical Informatics
Bachelor's thesis defence: A Nondeterministic File System Model for DiOS | Theses on a related topic

6.
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

7.
Slabý, Jiří
Faculty: Faculty of Informatics
Year: 2014, studies completed, degree conferred: Ph.D.
Programme/field: Informatics (4-years) / Informatics
Doctoral thesis defence: Automatic Bug-finding Techniques for Large Software Projects | Theses on a related topic

8.
Šimša, Jiří
Faculty: Faculty of Informatics
Year: 2006, studies completed, degree conferred: Mgr.
Programme/field: Informatics / Informatics
Master's thesis defence: Monitorování chování systémů | Theses on a related topic

9.
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

10.
., Salim
Faculty: Faculty of Arts
Year: 2022, studies completed, degree conferred: Mgr.
Programme/field: English Language and Literature / English Language and Literature
Master's thesis defence: The Topic of Resistance in/within Contemporary British Drama Using Memory | Theses on a related topic

11.
Alešíková, Dagmar
Faculty: Faculty of Arts
Year: 2020, studies completed, degree conferred: Ph.D.
Programme/field: Philology (4-years) / German Literature
Doctoral thesis defence: Die Bedeutung philologischer Anspielungen im autobiographischen Holocaustwerk der Autorin Ruth Klüger und ihre historisch-faktische Relevanz | Theses on a related topic
Doctoral thesis defence: 'Das Fremde' und das 'Eigene' im Brennpunkt der Kritik autobiographischer Holocaust-Zeitzeugnisse: „weiter leben. Eine Jugend“ von Ruth Klüger und „Mein Leben“ von Marcel Reich-Ranicki | Theses on a related topic

12.
Alexová, Šárka
Faculty: Faculty of Education
Year: 2013, studies completed, degree conferred: Mgr.
Programme/field: Teacher Training for Secondary Schools / Special Education for Upper Secondary School Teachers, Teacher Training of Specialized Subjects for Secondary Schools – Specialisation in Services
Master's thesis defence: Analýza stylů učení a jejich možné využití při výuce odborných předmětů na střední škole. | Theses on a related topic

13.
Andrle, Jakub
Faculty: Faculty of Education
Year: 2020, studies completed, degree conferred: Bc.
Programme/field: Specialization in Education / Lower Secondary School Teacher Training in Civics, Lower Secondary School Teacher Training in Geography
Bachelor's thesis defence: Testování aplikací GPS v chytrých mobilních zařízeních | Theses on a related topic

14.
Antaš, Andrej
Faculty: Faculty of Informatics
Year: 2013, studies completed, degree conferred: Bc.
Programme/field: Informatics / Computer Systems and Data Processing
Bachelor's thesis defence: Improving test coverage of GNU coreutils | Theses on a related topic

15.
Anufrieva, Tatiana
Faculty: Faculty of Social Studies
Year: 2010, studies terminated for failure to fulfill study requirements
Programme/field: International Territorial Studies / European Studies, International Relations
Bachelor's thesis defence: Historický aspekt jako faktor ovlivňující současné polsko-ruské vztahy | Theses on a related topic

16.
Ayaziová, Paulína
Faculty: Faculty of Informatics
Year: 2024, studies under way
Programme/field: Theoretical computer science / Formal analysis of computer systems
Master's thesis defence: Validation of Violation Witnesses in Software Verification | Theses on a related topic

17.
Balek, Jan
Faculty: Faculty of Arts
Year: 2015, studies completed, degree conferred: Bc.
Programme/field: Philology / English Language and Literature
Bachelor's thesis defence: The Most Difficult Aspects of Learning The English Language for Grammar Schools Students | Theses on a related topic

18.
Balek, Jan
Faculty: Faculty of Arts
Year: 2018, 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: English Dialect Preferences of High School Students | Theses on a related topic

19.
Baranová, Zuzana
Faculty: Faculty of Informatics
Year: 2017, studies completed, degree conferred: Bc.
Programme/field: Applied Informatics / Applied Informatics
Bachelor's thesis defence: Static Analyser for BeakerLib Tests | Theses on a related topic

20.
Bárta, Petr
Faculty: Faculty of Sports Studies
Year: 2019, studies completed, degree conferred: Bc.
Programme/field: Physical Education and Sport / Regeneration and Nutrition in Sport
Bachelor's thesis defence: Změny v pohybovém aparátu související s poškozením měkkých struktur kolene | Theses on a related topic

21.
Bařinková, Aneta
Faculty: Faculty of Education
Year: 2014, studies completed, degree conferred: Bc.
Programme/field: Specialization in Education / Special Arts for Education
Bachelor's thesis defence: Vliv výtvarných aktivit na jedince s lehčím stupněm Alzheimerovy choroby | Theses on a related topic

22.
Baštan, Petr
Faculty: Faculty of Informatics
Year: 2014, studies terminated for failure to fulfill study requirements
Programme/field: Applied Informatics / Applied Informatics
Bachelor's thesis defence: Biometric algorithms for iris recognition | Theses on a related topic

23.
Bečárová, Kristína
Faculty: Faculty of Science
Year: 2017, studies completed, degree conferred: Mgr.
Programme/field: Experimental Biology / Special Biology (combination/specialization: Experimentální biologie živočichů a imunologie)
Master's thesis defence: Možnosti ochrany před klíšťaty - odborná analýza | Theses on a related topic

24.
Bednárek, Přemysl
Faculty: Faculty of Informatics
Year: 2024, studies under way
Programme/field: Informatics / Informatics
Bachelor's thesis defence: Web Application for Competitive Rubik's Cube Solving | Theses on a related topic

25.
Bednář, Jan
Faculty: Faculty of Sports Studies
Year: 2018, studies completed, degree conferred: Bc.
Programme/field: Physical Education and Sport / Physical Education and Sport (combination/specialization: Coaching)
Bachelor's thesis defence: Inovace testové baterie ve volejbale | Theses on a related topic

26.
Bejr, Daniel
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: Porovnání úrovně koordinačních a rychlostních schopností mladých fotbalistů na dvou rozdílných výkonnostních úrovních | Theses on a related topic

27.
Bělohlávková, Lenka
Faculty: Faculty of Medicine
Year: 2013, studies completed, degree conferred: Mgr.
Programme/field: Specializations in Health Science / Gerontology Nursing
Master's thesis defence: Znalosti sester v péči o seniory s demencí | Theses on a related topic

28.
Bendel, Martin
Faculty: Faculty of Informatics
Year: 2021, studies completed, degree conferred: Bc.
Programme/field: Applied Informatics / Applied Informatics
Bachelor's thesis defence: Experimental Evaluation of Risk-Averse Planners | Theses on a related topic

29.
Beránková, Anna maiden name: Matušková
Faculty: Faculty of Law
Year: 2020, studies completed, degree conferred: Mgr.
Programme/field: Law and Legal Science / Law
Master's thesis defence: Testování zboží a služeb podnikatelů jako nekalosoutěžní jednání? | Theses on a related topic

30.
Bernatová, Karolína
Faculty: Faculty of Social Studies
Year: 2019, studies completed, degree conferred: Mgr.
Programme/field: Psychology / Psychology
Master's thesis defence: Efekt sdělení účelu použitých metod na výkon v psychologických metodách: Příklad ROCF | Theses on a related topic

31.
Beyerová, Václava
Faculty: Faculty of Arts
Year: 2017, studies completed, degree conferred: Mgr.
Programme/field: Philology / German Language and Literature
Master's thesis defence: Trauma und Gedächtnis. Judith W. Taschlers Roman ohne U. | Theses on a related topic

32.
Biedlová, Kamila maiden name: Hemrová
Faculty: Faculty of Arts
Year: 2014, studies completed, degree conferred: Mgr.
Programme/field: Teacher Training for Secondary Schools / Upper Secondary School Teacher Training in Estetic Education
Master's thesis defence: Využití lidových řemesel v systému předškolního vzdělávání | Theses on a related topic

33.
Blahoudek, František
Faculty: Faculty of Informatics
Year: 2009, studies completed, degree conferred: Bc.
Programme/field: Applied Informatics / Applied Informatics
Bachelor's thesis defence: Nástroje pro automatickou analýzu dynamicky alokované paměti | Theses on a related topic

34.
Blahútová, Andrea
Faculty: Faculty of Science
Year: 2015, studies completed, degree conferred: Bc.
Programme/field: Geography and Cartography / English Language and Literature, Geography and Cartography with a view to Education
Bachelor's thesis defence: Analýza výsledků přijímacího testu ze zeměpisu | Theses on a related topic

35.
Blašková, Veronika
Faculty: Faculty of Economics and Administration
Year: 2010, studies completed, degree conferred: Ing.
Programme/field: Economic Policy and Administration / Public Economics
Master's thesis defence: Ověřování projektů auditorem | Theses on a related topic

36.
Brauner, Bronislav
Faculty: Faculty of Informatics
Year: 2013, studies completed, degree conferred: Bc.
Programme/field: Applied Informatics / Applied Informatics
Bachelor's thesis defence: Data mining z grafů | Theses on a related topic

37.
Brázdil, Tomáš
Faculty: Faculty of Informatics
Year: 2007, studies completed, degree conferred: Ph.D.
Programme/field: Informatics / Informatics
Doctoral thesis defence: Verification of Probabilistic Recursive Sequential Programs | Theses on a related topic

38.
Brázdil, Tomáš
Faculty: Faculty of Informatics
Year: 2007, studies completed, degree conferred: RNDr.
Programme/field: Informatics / Informatics
Advanced Master's thesis defence: Verification of Probabilistic Recursive Sequential Programs | Theses on a related topic

39.
Brózman, Ondřej
Faculty: Faculty of Science
Year: 2013, studies completed, degree conferred: Bc.
Programme/field: Experimental Biology / Special Biology (combination/specialization: Ecotoxicology)
Bachelor's thesis defence: Nové metody stanovení genotoxicity v ekotoxikologii | Theses on a related topic

40.
Brukner, Tomáš
Faculty: Faculty of Informatics
Year: 2016, studies completed, degree conferred: Mgr.
Programme/field: Informatics / Parallel and Distributed Systems
Master's thesis defence: A Common Framework for Inquiries about Program Properties | Theses on a related topic

41.
Březina, Pavel
Faculty: Faculty of Informatics
Year: 2012, studies completed, degree conferred: Bc.
Programme/field: Applied Informatics / Applied Informatics
Bachelor's thesis defence: Talloc - a hiearchical memory allocator | Theses on a related topic

42.
Březinová, Jana
Faculty: Faculty of Education
Year: 2007, studies completed, degree conferred: Bc.
Programme/field: Specialization in Education / Teacher Training in Foreign Languages - English Language
Bachelor's thesis defence: Storyline in teaching English to young learners | Theses on a related topic

43.
Březinová, Jana
Faculty: Faculty of Education
Year: 2009, studies completed, degree conferred: Mgr.
Programme/field: Teacher Training for Primary and Lower Secondary Schools / Lower Secondary School and Language School Teacher Training in English Language
Master's thesis defence: Interactive Whiteboard in Teaching English to Young Learners | Theses on a related topic

44.
Budáč, Jozef
Faculty: Faculty of Informatics
Year: 2007, studies completed, degree conferred: Bc.
Programme/field: Applied Informatics / Applied Informatics
Bachelor's thesis defence: Implementace monitorovacího nástroje | Theses on a related topic

45.
Bujňáková, Anna
Faculty: Faculty of Arts
Year: 2014, studies completed, degree conferred: Bc.
Programme/field: General Theory and History of Arts and Culture / History of Arts
Bachelor's thesis defence: Rola a vývoj spomienky v diele Jindřicha Štyrského | Theses on a related topic

46.
Burešová, Lenka
Faculty: Faculty of Education
Year: 2019, studies completed, degree conferred: Mgr.
Programme/field: Teacher Training for Secondary Schools / Gallery Education and Arts Facilitation, Secondary School Teacher Training in Arts
Master's thesis defence: Fenomén horror vacui (možnosti jeho překonávání i zdroj umělecko-pedagogické inspirace) | Theses on a related topic

47.
Buřt, Lukáš
Faculty: Faculty of Sports Studies
Year: 2015, studies completed, degree conferred: Mgr.
Programme/field: Physical Education and Sport / Lower and Upper Secondary School Teacher Training in Physical Education, Lower Secondary School Teacher Training in Civics
Master's thesis defence: Optimalizace tréninkového zatížení rozehrávaček v ženském basketbalu ve výkonnostní kategorii | Theses on a related topic

48.
Byrtusová, Tereza
Faculty: Faculty of Education
Year: 2021, studies completed, degree conferred: Bc.
Programme/field: German Language for Education / German Language for Education
Bachelor's thesis defence: Výzkum vývoje narativní kompetence u dětí | Theses on a related topic

49.
Čekovský, Filip
Faculty: Faculty of Informatics
Year: 2020, studies completed, degree conferred: Mgr.
Programme/field: Informatics / Computer Systems
Master's thesis defence: Automated Testing of Anasoft's EMANS Product Lines | Theses on a related topic

50.
Černý, Jiří
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: Monitorování tělesného rozvoje a pohybové výkonnosti studentů 4. ročníku SOŠ | Theses on a related topic