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

klee, static analysis, verification, testing, symbolic execution, symbiotic, pointer comparison

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

201.
Swiechová, Sabina
Fakulta: Pedagogická fakulta
Rok: 2021, studium úspěšně absolvováno, udělen titul: Bc.
Program/obor Předškolní a mimoškolní pedagogika / Učitelství pro mateřské školy
Obhajoba bakalářské práce: Úroveň matematických zkušenosti z oblasti geometrie jako součást připravenosti dětí pro vstup do školy | Práce na příbuzné téma Zobrazit popisek

202.
Sznapka, Jakub
Fakulta: Fakulta sportovních studií
Rok: 2022, studium úspěšně absolvováno, udělen titul: Bc.
Program/obor Osobní a kondiční trenér / Osobní a kondiční trenér
Obhajoba bakalářské práce: Úroveň kondičních schopností u výkonnostních hráčů fotbalu | Práce na příbuzné téma

203.
Šebestová, Simona
Fakulta: Pedagogická fakulta
Rok: 2007, studium úspěšně absolvováno, udělen titul: Mgr.
Program/obor Učitelství pro základní školy (pětileté) / Učitelství anglického jazyka a literatury pro základní školy, Učitelství českého jazyka a literatury pro základní školy
Obhajoba diplomové práce: Hodnocení výslovnosti ve výuce anglického jazyka | Práce na příbuzné téma

204.
Šejnohová, Jana
Fakulta: Právnická fakulta
Rok: 2022, studium úspěšně absolvováno, udělen titul: Mgr.
Program/obor Právo a právní věda / Právo
Obhajoba diplomové práce: Obnovování volného pohybu osob v Evropské unii omezeného pandemií covid-19 pomocí karantén, testů a očkování | Práce na příbuzné téma

205.
Šikyňa, Matúš
Fakulta: Fakulta informatiky
Rok: 2021, 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: Detection of Android Malware Using Machine Learning | Práce na příbuzné téma

206.
Šlancar, Tomáš
Fakulta: Fakulta informatiky
Rok: 2023, studium úspěšně absolvováno, udělen titul: Mgr.
Program/obor Počítačové systémy, komunikace a bezpečnost / Informační bezpečnost
Obhajoba diplomové práce: Mining usage of cryptographic primitives from executables | Práce na příbuzné téma

207.
Štafa, Adam
Fakulta: Fakulta informatiky
Rok: 2023, studium úspěšně absolvováno, udělen titul: Bc.
Program/obor Informatika / Informatika
Obhajoba bakalářské práce: Symbiosis of Symbolic Execution and Fuzzing | Práce na příbuzné téma

208.
Šťastný, Jan
Fakulta: Fakulta informatiky
Rok: 2008, studium úspěšně absolvováno, udělen titul: Bc.
Program/obor Aplikovaná informatika / Aplikovaná informatika
Obhajoba bakalářské práce: Nástroj na automatickou detekci chyb v jazyce C | Práce na příbuzné téma

209.
Štrofová, Zuzana
Fakulta: Fakulta sociálních studií
Rok: 2011, studium úspěšně absolvováno, udělen titul: Bc.
Program/obor Sociologie / Sociologie
Obhajoba bakalářské práce: "The Audit Society" and Its Effects on Governmentality and Regulation in Society | Práce na příbuzné téma

210.
Šuta, Matej
Fakulta: Fakulta informatiky
Rok: 2013, studium úspěšně absolvováno, udělen titul: Mgr.
Program/obor Aplikovaná informatika / Aplikovaná informatika
Obhajoba diplomové práce: String abstract domains | Práce na příbuzné téma

211.
Švihlík, Petr
Fakulta: Fakulta informatiky
Rok: 2011, studium úspěšně absolvováno, udělen titul: Bc.
Program/obor Aplikovaná informatika / Aplikovaná informatika
Obhajoba bakalářské práce: Development of a utility for filling databases | Práce na příbuzné téma

212.
Tatýrek, Ondřej
Fakulta: Fakulta informatiky
Rok: 2024, studium úspěšně absolvováno, udělen titul: Bc.
Program/obor Kyberbezpečnost / Kyberbezpečnost
Obhajoba bakalářské práce: Security Analysis of Oracle Vulnerabilities in Ethereum Smart Contracts | Práce na příbuzné téma

213.
Tischer, Robin
Fakulta: Fakulta sportovních studií
Rok: 2023, studium úspěšně absolvováno, udělen titul: Bc.
Program/obor Tělesná výchova a sport / Trenérství
Obhajoba bakalářské práce: Využití masážního válce jako kompenzační pomůcky u mládežnických hráčů ledního hokeje | Práce na příbuzné téma

214.
Toman, Michal
Fakulta: Fakulta informatiky
Rok: 2013, studium úspěšně absolvováno, udělen titul: Mgr.
Program/obor Aplikovaná informatika / Aplikovaná informatika
Obhajoba diplomové práce: LLVM IR service for Fedora | Práce na příbuzné téma

215.
Toman, Viktor
Fakulta: Fakulta informatiky
Rok: 2014, studium úspěšně absolvováno, udělen titul: Bc.
Program/obor Informatika / Matematická informatika
Obhajoba bakalářské práce: Paralelní volání SMT solverů v nástroji Bugst | Práce na příbuzné téma

216.
Tomovič, Lukáš
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: Slicing of Parallel Programs | Práce na příbuzné téma

217.
Trčka, Tomáš
Fakulta: Fakulta sportovních studií
Rok: 2020, studium úspěšně absolvováno, udělen titul: Bc.
Program/obor Tělesná výchova a sport / Tělesná výchova a sport (kombinace/zaměření: Trenérství)
Obhajoba bakalářské práce: Aplikace plyometrického tréninku dolních končetin u fotbalistů kategorie U15 | Práce na příbuzné téma

218.
Troják, Matej
Fakulta: Fakulta informatiky
Rok: 2020, studium úspěšně absolvováno, udělen titul: Mgr.
Program/obor Umělá inteligence a zpracování dat / Umělá inteligence a zpracování dat
Obhajoba diplomové práce: Formal Analysis of Rule-Based Models in Systems Biology | Práce na příbuzné téma

219.
Trtík, Marek
Fakulta: Fakulta informatiky
Rok: 2014, studium úspěšně absolvováno, udělen titul: Ph.D.
Program/obor Informatika (čtyřleté) / Informatika
Obhajoba disertační práce: Symbolic Execution and Program Loops | Práce na příbuzné téma

220.
Tůmová, Jana
Fakulta: Fakulta informatiky
Rok: 2013, studium úspěšně absolvováno, udělen titul: Ph.D.
Program/obor Informatika (čtyřleté) / Informatika
Obhajoba disertační práce: Quantitative Formal Methods for High-level Robot Path Planning | Práce na příbuzné téma

221.
Tušer, Adam
Fakulta: Filozofická fakulta
Rok: 2017, studium úspěšně absolvováno, udělen titul: Mgr.
Program/obor Učitelství pro střední školy / Učitelství anglického jazyka a literatury pro střední školy
Obhajoba diplomové práce: The Effects of Extended Testing Time on Writing Exams | Práce na příbuzné téma

222.
Tužil, Matěj
Fakulta: Fakulta informatiky
Rok: 2020, 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: Caché mocking framework | Práce na příbuzné téma

223.
Unčovský, Vít
Fakulta: Fakulta informatiky
Rok: 2024, studium úspěšně absolvováno, udělen titul: Bc.
Program/obor Informatika / Informatika
Obhajoba bakalářské práce: Efficient Verification of Multi-Objective Queries in Markov Decision Processes | Práce na příbuzné téma

224.
Urbánek, Tomáš
Fakulta: Fakulta sportovních studií
Rok: 2015, studium úspěšně absolvováno, udělen titul: Bc.
Program/obor Tělesná výchova a sport / Tělesná výchova a sport (kombinace/zaměření: Trenérství)
Obhajoba bakalářské práce: Testování pohybových schopností ve Freestyle na MTB | Práce na příbuzné téma

225.
Vacek, Václav
Fakulta: Fakulta informatiky
Rok: 2011, studium úspěšně absolvováno, udělen titul: Mgr.
Program/obor Informatika / Teoretická informatika
Obhajoba diplomové práce: New checkers for Sequence Chart Studio | Práce na příbuzné téma

226.
Varmužová, Lucie
Fakulta: Fakulta sportovních studií
Rok: 2007, studium úspěšně absolvováno, udělen titul: Mgr.
Program/obor Tělesná výchova a sport / Učitelství tělesné výchovy pro základní a střední školy (kombinace/zaměření: Sportovní edukace)
Obhajoba diplomové práce: Vliv hodnotových orientací na výkon v bowlingu žen | Práce na příbuzné téma

227.
Vaššová, Barbora
Fakulta: Fakulta informatiky
Rok: 2015, studium úspěšně absolvováno, udělen titul: Bc.
Program/obor Informatika / Počítačové sítě a komunikace
Obhajoba bakalářské práce: Verifikace protokolu AMQP | Práce na příbuzné téma

228.
Vejnár, Martin
Fakulta: Fakulta informatiky
Rok: 2011, studium úspěšně absolvováno, udělen titul: Mgr.
Program/obor Informatika / Teoretická informatika
Obhajoba diplomové práce: C++ support for Stanse | Práce na příbuzné téma

229.
Věncková, Karolína
Fakulta: Fakulta sportovních studií
Rok: 2023, studium úspěšně absolvováno, udělen titul: Bc.
Program/obor Tělesná výchova a sport / Matematika se zaměřením na vzdělávání, Tělesná výchova a sport
Obhajoba bakalářské práce: Rozvoj pohybových schopností a dovedností u hráček volejbalu vybrané věkové skupiny | Práce na příbuzné téma

230.
Vencl, Ondřej
Fakulta: Fakulta sportovních studií
Rok: 2016, studium úspěšně absolvováno, udělen titul: Bc.
Program/obor Tělesná výchova a sport / Tělesná výchova a sport (kombinace/zaměření: Trenérství)
Obhajoba bakalářské práce: Rozvoj rychlostních schopností a srovnání jejich úrovně mezi žáky FK Pardubice a žáky ZŠ Studánka Pardubice | Práce na příbuzné téma

231.
Vepřovský, Martin
Fakulta: Fakulta sportovních studií
Rok: 2014, studium úspěšně absolvováno, udělen titul: Bc.
Program/obor Tělesná výchova a sport / Tělesná výchova a sport (kombinace/zaměření: Rozhodčí ledního hokeje)
Obhajoba bakalářské práce: Kondiční a pohybová příprava rozhodčího ledního hokeje | Práce na příbuzné téma

232.
Vilček, Michal
Fakulta: Fakulta informatiky
Rok: 2016, studium úspěšně absolvováno, udělen titul: Bc.
Program/obor Aplikovaná informatika / Sociální informatika
Obhajoba bakalářské práce: Návrh uživatelského rozhraní pro orientační systém budov | Práce na příbuzné téma

233.
Višňovská, Ema
Fakulta: Fakulta sociálních studií
Rok: 2024, studium úspěšně absolvováno, udělen titul: Bc.
Program/obor Mezinárodní vztahy / Mezinárodní vztahy
Obhajoba bakalářské práce: The Biological Weapons Non-Proliferation Regime: Addressing its Deficiencies in the Contemporary World | Práce na příbuzné téma

234.
Vitovská, Martina
Fakulta: Fakulta informatiky
Rok: 2018, studium úspěšně absolvováno, udělen titul: Mgr.
Program/obor Aplikovaná informatika / Aplikovaná informatika
Obhajoba diplomové práce: Instrumentation of LLVM IR | Práce na příbuzné téma

235.
Vlček, Michal
Fakulta: Fakulta sportovních studií
Rok: 2016, studium úspěšně absolvováno, udělen titul: Bc.
Program/obor Tělesná výchova a sport / Animátor sportovních aktivit, Pedagogické asistentství přírodopisu pro základní školy
Obhajoba bakalářské práce: Analýza testování rovnováhových schopností | Práce na příbuzné téma

236.
Voda, Martin
Fakulta: Fakulta sportovních studií
Rok: 2015, studium úspěšně absolvováno, udělen titul: Bc.
Program/obor Tělesná výchova a sport / Tělesná výchova a sport (kombinace/zaměření: Trenérství)
Obhajoba bakalářské práce: Možnosti testování agility mladých fotbalistů
Obhajoba bakalářské práce: Možnosti testování agility mladých fotbalistů | Práce na příbuzné téma

237.
Voldánová, Jasmína
Fakulta: Fakulta sportovních studií
Rok: 2024, studium úspěšně absolvováno, udělen titul: Bc.
Program/obor Tělesná výchova a sport / Tělesná výchova a sport, Zeměpis se zaměřením na vzdělávání
Obhajoba bakalářské práce: Rozvoj motorických schopností volejbalistek věkové kategorie U11 | Práce na příbuzné téma

238.
Voříšek, Radek
Fakulta: Fakulta sportovních studií
Rok: 2010, studium úspěšně absolvováno, udělen titul: Bc.
Program/obor Tělesná výchova a sport / Tělesná výchova a sport (kombinace/zaměření: Management cestovního ruchu)
Obhajoba bakalářské práce: Porovnání vybraných rychlostních a silových ukazatelů předních českých a slovenských skokanů do dálky | Práce na příbuzné téma

239.
Vrbka, Jiří
Fakulta: Fakulta informatiky
Rok: 2024, 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: Low-Code Test Automation Studio | Práce na příbuzné téma

240.
Vrbka, Marek
Fakulta: Fakulta informatiky
Rok: 2023, studium úspěšně absolvováno, udělen titul: Mgr.
Program/obor Počítačové systémy, komunikace a bezpečnost / Hardwarové systémy
Obhajoba diplomové práce: Testing of Student Assignments in Embedded Course | Práce na příbuzné téma

241.
Vrzal, Michal
Fakulta: Fakulta sportovních studií
Rok: 2008, studium úspěšně absolvováno, udělen titul: Mgr.
Program/obor Tělesná výchova a sport / Učitelství tělesné výchovy pro základní a střední školy (kombinace/zaměření: Coaching)
Obhajoba diplomové práce: Srovnání výkonnosti mladých zápasníku s ostatními žáky stejného věku | Práce na příbuzné téma

242.
Zadina, Daniel
Fakulta: Fakulta sportovních studií
Rok: 2024, studium úspěšně absolvováno, udělen titul: Bc.
Program/obor Tělesná výchova a sport / Anglický jazyk se zaměřením na vzdělávání, Tělesná výchova a sport
Obhajoba bakalářské práce: Porovnání vybraných motorických schopností hráčů ledního hokeje a fotbalu ve věku 11-12 let | Práce na příbuzné téma

243.
Zahradníček, Martin
Fakulta: Fakulta informatiky
Rok: 2020, studium úspěšně absolvováno, udělen titul: Bc.
Program/obor Informatika / Matematická informatika
Obhajoba bakalářské práce: Algoritmická analýza populačních protokolů | Práce na příbuzné téma

244.
Zoubek, Petr
Fakulta: Fakulta sportovních studií
Rok: 2008, studium úspěšně absolvováno, udělen titul: Bc.
Program/obor Tělesná výchova a sport / Tělesná výchova a sport
Obhajoba bakalářské práce: Testování kondičních schopností starších žáků | Práce na příbuzné téma

245.
Zruban, Martin
Fakulta: Fakulta informatiky
Rok: 2013, studium úspěšně absolvováno, udělen titul: Mgr.
Program/obor Aplikovaná informatika / Aplikovaná informatika
Obhajoba diplomové práce: JMS-based test application for HornetQ fail-over testing | Práce na příbuzné téma

246.
Žáčik, Pavol
Fakulta: Fakulta informatiky
Rok: 2024, studium úspěšně absolvováno, udělen titul: Mgr.
Program/obor Počítačové systémy, komunikace a bezpečnost / Informační bezpečnost
Obhajoba diplomové práce: Analyzing semantic stability of cryptography libraries using Diffkemp | Práce na příbuzné téma

247.
Župa, Pavel
Fakulta: Fakulta informatiky
Rok: 2005, studium úspěšně absolvováno, udělen titul: Bc.
Program/obor Aplikovaná informatika / Aplikovaná informatika
Obhajoba bakalářské práce: Autorské a studentské nástroje pro e-learning | Práce na příbuzné téma