Práce na příbuzné téma (mají shodná klíčová slova):

software reliability, synthesis, c++, klee, algorithms, static code analysis, verification, symbiotic

Klíčová slova abecedně | Klíčová slova dle četnosti

1.
Jašek, Tomáš
Fakulta: Fakulta informatiky
Rok: 2021, studium úspěšně absolvováno, udělen titul: Mgr.
Program/obor Informatika / Paralelní a distribuované systémy
Obhajoba diplomové práce: Verification of Memory Safety with Predator and Symbiotic | Práce na příbuzné téma Zobrazit popisek

2.
Novák, Jakub
Fakulta: Fakulta informatiky
Rok: 2020, studium úspěšně absolvováno, udělen titul: Bc.
Program/obor Aplikovaná informatika / Aplikovaná informatika
Obhajoba bakalářské práce: Improvements of Memory Management in KLEE | Práce na příbuzné téma

3.
Jašek, Tomáš
Fakulta: Fakulta informatiky
Rok: 2018, studium úspěšně absolvováno, udělen titul: Bc.
Program/obor Informatika / Paralelní a distribuované systémy
Obhajoba bakalářské práce: Improvements of reaching definitions analysis in Symbiotic | Práce na příbuzné téma

4.
Kejstová, Katarína
Fakulta: Fakulta informatiky
Rok: 2017, studium úspěšně absolvováno, udělen titul: Bc.
Program/obor Informatika / Paralelní a distribuované systémy
Obhajoba bakalářské práce: Virtual File System in DIVINE 4 | Práce na příbuzné téma

5.
Kejstová, Katarína
Fakulta: Fakulta informatiky
Rok: 2019, studium úspěšně absolvováno, udělen titul: Mgr.
Program/obor Informatika / Paralelní a distribuované systémy
Obhajoba diplomové práce: Model Checking with System Call Traces | Práce na příbuzné téma

6.
Konicar, Robert
Fakulta: Fakulta informatiky
Rok: 2022, studium úspěšně absolvováno, udělen titul: Bc.
Program/obor Informatika / Matematická informatika
Obhajoba bakalářské práce: A Nondeterministic File System Model for DiOS | Práce na příbuzné téma

7.
Krchňák, Tomáš
Fakulta: Fakulta informatiky
Rok: 2023, studium úspěšně absolvováno, udělen titul: Bc.
Program/obor Aplikovaná informatika / Aplikovaná informatika
Obhajoba bakalářské práce: Proxying, recording and replaying syscalls in DiOS | Práce na příbuzné téma

8.
Šimáček, Michael
Fakulta: Fakulta informatiky
Rok: 2018, studium úspěšně absolvováno, udělen titul: Mgr.
Program/obor Aplikovaná informatika / Aplikovaná informatika
Obhajoba diplomové práce: Symbolic-size Memory Allocation Support for Klee | Práce na příbuzné téma

9.
Trembecký, Richard
Fakulta: Fakulta informatiky
Rok: 2016, studium úspěšně absolvováno, udělen titul: Bc.
Program/obor Aplikovaná informatika / Aplikovaná informatika
Obhajoba bakalářské práce: Portování nástroje Symbiotic na LLVM 3.8 | Práce na příbuzné téma

10.
Abaffy, Michal
Fakulta: Fakulta informatiky
Rok: 2013, studium úspěšně absolvováno, udělen titul: Mgr.
Program/obor Informatika / Teoretická informatika
Obhajoba diplomové práce: Patrolovací hry na grafech | Práce na příbuzné téma

11.
Aksu Tvarůžková, Barbora roz. Tvarůžková
Fakulta: Farmaceutická fakulta
Rok: 2022, studium úspěšně absolvováno, udělen titul: Mgr.
Program/obor Farmacie / Farmacie
Obhajoba diplomové práce: Syntéza látek s potenciálním antimikrobiálním účinkem XXV. | Práce na příbuzné téma

12.
Ayaziová, Paulína
Fakulta: Fakulta informatiky
Rok: 2022, studium úspěšně absolvováno, udělen titul: Bc.
Program/obor Informatika / Umělá inteligence a zpracování přirozeného jazyka
Obhajoba bakalářské práce: Klee-Based Error Witness Checker | Práce na příbuzné téma

13.
Babiak, Michal
Fakulta: Přírodovědecká fakulta
Rok: 2008, studium úspěšně absolvováno, udělen titul: Bc.
Program/obor Chemie / Chemie
Obhajoba bakalářské práce: Komplexy platiny s dusíkatými ligandy | Práce na příbuzné téma

14.
Babič, Petr
Fakulta: Fakulta informatiky
Rok: 2024, studium úspěšně absolvováno, udělen titul: Bc.
Program/obor Programování a vývoj aplikací / Programování a vývoj aplikací
Obhajoba bakalářské práce: Shader graph module for Age | Práce na příbuzné téma

15.
Bajerová, Kristýna
Fakulta: Farmaceutická fakulta
Rok: 2021, studium úspěšně absolvováno, udělen titul: Mgr.
Program/obor Farmacie / Farmacie
Obhajoba diplomové práce: Syntéza látek s potenciálním antimikrobiálním účinkem XXII. | Práce na příbuzné téma

16.
Bakalova, Viktoriia
Fakulta: Fakulta informatiky
Rok: 2016, studium úspěšně absolvováno, udělen titul: Bc.
Program/obor Informatika / Počítačové systémy a zpracování dat
Obhajoba bakalářské práce: Analýza požadavků aplikace na profil JVM | Práce na příbuzné téma

17.
Baliak, Patrik
Fakulta: Přírodovědecká fakulta
Rok: 2017, studium úspěšně absolvováno, udělen titul: Mgr.
Program/obor Chemie / Analytická chemie
Obhajoba diplomové práce: Nanočástice v molekulové spektroskopii | Práce na příbuzné téma

18.
Balík, Daniel
Fakulta: Fakulta informatiky
Rok: 2006, studium úspěšně absolvováno, udělen titul: Bc.
Program/obor Aplikovaná informatika / Aplikovaná informatika
Obhajoba bakalářské práce: 3D rekonstrukce a vizualizace zubních lišt | Práce na příbuzné téma

19.
Baran, Dušan
Fakulta: Fakulta informatiky
Rok: 2021, studium úspěšně absolvováno, udělen titul: Mgr.
Program/obor Informatika / Informační systémy
Obhajoba diplomové práce: Flow exporter for cloud environment | Práce na příbuzné téma

20.
Baranová, Zuzana
Fakulta: Fakulta informatiky
Rok: 2020, studium úspěšně absolvováno, udělen titul: Mgr.
Program/obor Aplikovaná informatika / Aplikovaná informatika
Obhajoba diplomové práce: Compiling Applications for Analysis with DIVINE | Práce na příbuzné téma

21.
Bártek, Filip
Fakulta: Fakulta informatiky
Rok: 2012, studium úspěšně absolvováno, udělen titul: Bc.
Program/obor Informatika / Matematická informatika
Obhajoba bakalářské práce: Realizace Rabinovy hry na konečných grafech | Práce na příbuzné téma

22.
Bartoňová, Karolina
Fakulta: Filozofická fakulta
Rok: 2007, studium úspěšně absolvováno, udělen titul: Bc.
Program/obor Obecná teorie a dějiny umění a kultury / Sdružená uměnovědná studia
Obhajoba bakalářské práce: Filozofická inspirace Bohumila Kubišty. Vlivy L.N.Tolstého a Arthura Schopenhauera | Práce na příbuzné téma

23.
Bartošek, Jan
Fakulta: Fakulta informatiky
Rok: 2023, studium úspěšně absolvováno, udělen titul: Ing.
Program/obor Softwarové inženýrství / Návrh a vývoj softwarových systémů
Obhajoba diplomové práce: Porovnání knihoven pro tvorbu GUI v C/C++ | Práce na příbuzné téma

24.
Baštan, Petr
Fakulta: Fakulta informatiky
Rok: 2014, studium neúspěšně ukončeno
Program/obor Aplikovaná informatika / Aplikovaná informatika
Obhajoba bakalářské práce: Biometric algorithms for iris recognition | Práce na příbuzné téma

25.
Bateľ, Jakub
Fakulta: Fakulta informatiky
Rok: 2022, studium úspěšně absolvováno, udělen titul: Mgr.
Program/obor Řízení softwarových systémů a služeb / Řízení vývoje softwarových systémů
Obhajoba diplomové práce: Catalogue of Anti-Patterns in Java Enterprise Development | Práce na příbuzné téma

26.
Batková, Karolína
Fakulta: Farmaceutická fakulta
Rok: 2021, studium úspěšně absolvováno, udělen titul: Mgr.
Program/obor Farmacie / Farmacie
Obhajoba diplomové práce: Syntéza látek s potenciálním antimikrobiálním účinkem XXI. | Práce na příbuzné téma

27.
Bayer, Jaroslav
Fakulta: Fakulta informatiky
Rok: 2006, studium úspěšně absolvováno, udělen titul: Bc.
Program/obor Aplikovaná informatika / Aplikovaná informatika
Obhajoba bakalářské práce: Nástroj pro automatickou tvorbu elektronické dokumentace pro programy v C++ | Práce na příbuzné téma

28.
Beľa, Martin
Fakulta: Fakulta informatiky
Rok: 2022, studium úspěšně absolvováno, udělen titul: Bc.
Program/obor Informatika / Informatika
Obhajoba bakalářské práce: Vulkan displej pre UltraGrid | Práce na příbuzné téma

29.
Bém, Petr
Fakulta: Fakulta informatiky
Rok: 2023, studium úspěšně absolvováno, udělen titul: Bc.
Program/obor Informatika / Informatika
Obhajoba bakalářské práce: Firmware for RoFICoM | Práce na příbuzné téma

30.
Benčo, Filip
Fakulta: Fakulta informatiky
Rok: 2012, studium úspěšně absolvováno, udělen titul: Bc.
Program/obor Informatika / Počítačová grafika a zpracování obrazu
Obhajoba bakalářské práce: Sestavování a vizualizace nábytkových souprav | Práce na příbuzné téma

31.
Blahoudek, František
Fakulta: Fakulta informatiky
Rok: 2009, studium úspěšně absolvováno, udělen titul: Bc.
Program/obor Aplikovaná informatika / Aplikovaná informatika
Obhajoba bakalářské práce: Nástroje pro automatickou analýzu dynamicky alokované paměti | Práce na příbuzné téma

32.
Blašková, Veronika
Fakulta: Ekonomicko-správní fakulta
Rok: 2010, studium úspěšně absolvováno, udělen titul: Ing.
Program/obor Hospodářská politika a správa / Veřejná ekonomika
Obhajoba diplomové práce: Ověřování projektů auditorem | Práce na příbuzné téma

33.
Blatná, Karolína
Fakulta: Přírodovědecká fakulta
Rok: 2020, studium úspěšně absolvováno, udělen titul: Bc.
Program/obor Biochemie / Biochemie
Obhajoba bakalářské práce: Syntéza a charakterizace bimetalických nanočástic pro studium fosforylovaných biomolekul metodou povrchem zesílené Ramanovy spektrometrie | Práce na příbuzné téma

34.
Boldareva, Daria
Fakulta: Přírodovědecká fakulta
Rok: 2020, studium úspěšně absolvováno, udělen titul: Bc.
Program/obor Chemie / Chemie
Obhajoba bakalářské práce: Syntéza nanočástic oxidů kovů s termoelektrickými vlastnostmi | Práce na příbuzné téma

35.
Bráblík, František
Fakulta: Fakulta informatiky
Rok: 2020, studium úspěšně absolvováno, udělen titul: Bc.
Program/obor Aplikovaná informatika / Aplikovaná informatika
Obhajoba bakalářské práce: Knihovna pro animaci grafu měnícího se v čase | Práce na příbuzné téma

36.
Brázdil, Tomáš
Fakulta: Fakulta informatiky
Rok: 2007, studium úspěšně absolvováno, udělen titul: Ph.D.
Program/obor Informatika / Informatika
Obhajoba disertační práce: Verification of Probabilistic Recursive Sequential Programs | Práce na příbuzné téma

37.
Brázdil, Tomáš
Fakulta: Fakulta informatiky
Rok: 2007, studium úspěšně absolvováno, udělen titul: RNDr.
Program/obor Informatika / Informatika
Obhajoba rigorózní práce: Verification of Probabilistic Recursive Sequential Programs | Práce na příbuzné téma

38.
Budáč, Jozef
Fakulta: Fakulta informatiky
Rok: 2007, studium úspěšně absolvováno, udělen titul: Bc.
Program/obor Aplikovaná informatika / Aplikovaná informatika
Obhajoba bakalářské práce: Implementace monitorovacího nástroje | Práce na příbuzné téma

39.
Bugárová, Renáta
Fakulta: Pedagogická fakulta
Rok: 2016, studium úspěšně absolvováno, udělen titul: Bc.
Program/obor Specializace v pedagogice / Pedagogické asistentství chemie pro základní školy, Pedagogické asistentství přírodopisu pro základní školy
Obhajoba bakalářské práce: Syntéza témat vybraných předmětů na ZŠ ve vztahu k učivu chemie 9. ročníku | Práce na příbuzné téma

40.
Burda, Daniel
Fakulta: Přírodovědecká fakulta
Rok: 2016, studium úspěšně absolvováno, udělen titul: Bc.
Program/obor Aplikovaná fyzika / Nanotechnologie - aplikovaná fyzika
Obhajoba bakalářské práce: Růst grafénu pomocí chemické depozice z plynné fáze za atmosférického tlaku | Práce na příbuzné téma

41.
Bušová, Jitka
Fakulta: Přírodovědecká fakulta
Rok: 2022, studium úspěšně absolvováno, udělen titul: Bc.
Program/obor Chemie / Chemie
Obhajoba bakalářské práce: Studium nehydrolytických metod přípravy sloučenin s vazebným motivem Al-O-B | Práce na příbuzné téma

42.
Cisko, František
Fakulta: Fakulta informatiky
Rok: 2015, studium úspěšně absolvováno, udělen titul: Mgr.
Program/obor Informatika / Počítačová grafika
Obhajoba diplomové práce: 3d interaktivní počítačová hra pro děti předškolního věku | Práce na příbuzné téma
Obhajoba diplomové práce: 3d interaktivní počítačová hra pro děti předškolního věku | Práce na příbuzné téma

43.
Čepela, Samuel
Fakulta: Fakulta informatiky
Rok: 2023, studium úspěšně absolvováno, udělen titul: Bc.
Program/obor Informatika / Informatika
Obhajoba bakalářské práce: Conflict-free guarding problems in the plane | Práce na příbuzné téma

44.
Černová, Lenka
Fakulta: Přírodovědecká fakulta
Rok: 2014, studium úspěšně absolvováno, udělen titul: Bc.
Program/obor Chemie / Chemie
Obhajoba bakalářské práce: Syntéza nových karbocyklických nukleosidových analogů | Práce na příbuzné téma

45.
Černová, Lenka
Fakulta: Přírodovědecká fakulta
Rok: 2016, studium úspěšně absolvováno, udělen titul: Mgr.
Program/obor Chemie / Organická chemie
Obhajoba diplomové práce: Syntéza nových karbocyklických nukleosidových analogů | Práce na příbuzné téma

46.
Dankovčíková, Zuzana
Fakulta: Fakulta informatiky
Rok: 2017, studium úspěšně absolvováno, udělen titul: Mgr.
Program/obor Aplikovaná informatika / Aplikovaná informatika
Obhajoba diplomové práce: Custom Roslyn Tool for Static Code Analysis | Práce na příbuzné téma

47.
Daubner, Lukáš
Fakulta: Fakulta informatiky
Rok: 2021, studium úspěšně absolvováno, udělen titul: Mgr.
Program/obor Počítačové systémy, komunikace a bezpečnost / Počítačové systémy, komunikace a bezpečnost
Obhajoba diplomové práce: Assurance of Forensic-Ready Software Systems | Práce na příbuzné téma

48.
Doležalová, Ivana
Fakulta: Právnická fakulta
Rok: 2023, studium úspěšně absolvováno, udělen titul: Mgr.
Program/obor Právo a právní věda / Právo
Obhajoba diplomové práce: Postup před zahájením trestního stíhání se zaměřením na policejní orgán | Práce na příbuzné téma

49.
Dosoudil, Jiří
Fakulta: Fakulta informatiky
Rok: 2010, studium úspěšně absolvováno, udělen titul: Bc.
Program/obor Aplikovaná informatika / Aplikovaná informatika
Obhajoba bakalářské práce: Automatizovaný nástroj pro databázovou synchronizaci | Práce na příbuzné téma

50.
Drajsajtlová, Kateřina
Fakulta: Filozofická fakulta
Rok: 2012, studium úspěšně absolvováno, udělen titul: Bc.
Program/obor Obecná teorie a dějiny umění a kultury / Teorie interaktivních médií
Obhajoba bakalářské práce: Světelný klavír v uměleckém díle Alexandera Nikolajeviče Skrjabina a Zdeňka Pešánka | Práce na příbuzné téma