Práce na příbuzné téma (mají shodná klíčová slova):
sbt-fizzer, fuzzing, dynamic program analysis, instrumentation, llvm, test-comp, grey-box fuzzingKlíčová slova abecedně | Klíčová slova dle četnosti
1.
Š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
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
2.
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
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
3.
Benčík, Peter
Fakulta: Fakulta informatiky
Rok: 2019, studium úspěšně absolvováno, udělen titul: Mgr.
Program/obor Informatika / Bezpečnost informačních technologií
Obhajoba diplomové práce: APDUFuzzer: blackbox recovery of smartcard API | Práce na příbuzné téma
Fakulta: Fakulta informatiky
Rok: 2019, studium úspěšně absolvováno, udělen titul: Mgr.
Program/obor Informatika / Bezpečnost informačních technologií
Obhajoba diplomové práce: APDUFuzzer: blackbox recovery of smartcard API | Práce na příbuzné téma
4.
Brukner, Tomáš
Fakulta: Fakulta informatiky
Rok: 2013, studium úspěšně absolvováno, udělen titul: Bc.
Program/obor Informatika / Paralelní a distribuované systémy
Obhajoba bakalářské práce: Integer abstract domains | Práce na příbuzné téma
Fakulta: Fakulta informatiky
Rok: 2013, studium úspěšně absolvováno, udělen titul: Bc.
Program/obor Informatika / Paralelní a distribuované systémy
Obhajoba bakalářské práce: Integer abstract domains | Práce na příbuzné téma
5.
Brukner, Tomáš
Fakulta: Fakulta informatiky
Rok: 2016, studium úspěšně absolvováno, udělen titul: Mgr.
Program/obor Informatika / Paralelní a distribuované systémy
Obhajoba diplomové práce: A Common Framework for Inquiries about Program Properties | Práce na příbuzné téma
Fakulta: Fakulta informatiky
Rok: 2016, studium úspěšně absolvováno, udělen titul: Mgr.
Program/obor Informatika / Paralelní a distribuované systémy
Obhajoba diplomové práce: A Common Framework for Inquiries about Program Properties | Práce na příbuzné téma
6.
Cienciala, Jan
Fakulta: Lékařská fakulta
Rok: 2008, studium úspěšně absolvováno, udělen titul: Ph.D.
Program/obor Všeobecné lékařství / Chirurgie
Obhajoba disertační práce: Ověření stabilizace degenerativních změn páteře systémem Dynesys | Práce na příbuzné téma
Fakulta: Lékařská fakulta
Rok: 2008, studium úspěšně absolvováno, udělen titul: Ph.D.
Program/obor Všeobecné lékařství / Chirurgie
Obhajoba disertační práce: Ověření stabilizace degenerativních změn páteře systémem Dynesys | Práce na příbuzné téma
7.
Čtveráčková, Petra
Fakulta: Filozofická fakulta
Rok: 2020, studium úspěšně absolvováno, udělen titul: Mgr.
Program/obor Obecná teorie a dějiny umění a kultury / Hudební věda
Obhajoba diplomové práce: Skladatelská tvorba Václava Kaprála se zaměřením na instrumentaci vybraných děl | Práce na příbuzné téma
Fakulta: Filozofická fakulta
Rok: 2020, studium úspěšně absolvováno, udělen titul: Mgr.
Program/obor Obecná teorie a dějiny umění a kultury / Hudební věda
Obhajoba diplomové práce: Skladatelská tvorba Václava Kaprála se zaměřením na instrumentaci vybraných děl | Práce na příbuzné téma
8.
Dupal, Jan
Fakulta: Fakulta informatiky
Rok: 2013, studium úspěšně absolvováno, udělen titul: Bc.
Program/obor Informatika / Paralelní a distribuované systémy
Obhajoba bakalářské práce: Reduced product of abstract domains | Práce na příbuzné téma
Fakulta: Fakulta informatiky
Rok: 2013, studium úspěšně absolvováno, udělen titul: Bc.
Program/obor Informatika / Paralelní a distribuované systémy
Obhajoba bakalářské práce: Reduced product of abstract domains | Práce na příbuzné téma
9.
Flor, David
Fakulta: Fakulta informatiky
Rok: 2023, 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: Extension of fuzzing for Linux disk encryption | Práce na příbuzné téma
Fakulta: Fakulta informatiky
Rok: 2023, 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: Extension of fuzzing for Linux disk encryption | Práce na příbuzné téma
10.
Glozar, Tomáš
Fakulta: Fakulta informatiky
Rok: 2022, studium úspěšně absolvováno, udělen titul: Bc.
Program/obor Informatika / Informatika
Obhajoba bakalářské práce: Enhancing DiffKemp to Support Generic Projects | Práce na příbuzné téma
Fakulta: Fakulta informatiky
Rok: 2022, studium úspěšně absolvováno, udělen titul: Bc.
Program/obor Informatika / Informatika
Obhajoba bakalářské práce: Enhancing DiffKemp to Support Generic Projects | Práce na příbuzné téma
11.
Hanulíková, Veronika
Fakulta: Fakulta informatiky
Rok: 2022, studium úspěšně absolvováno, udělen titul: Bc.
Program/obor Informatika / Informatika
Obhajoba bakalářské práce: Fuzzing of the OpenSC Project | Práce na příbuzné téma
Fakulta: Fakulta informatiky
Rok: 2022, studium úspěšně absolvováno, udělen titul: Bc.
Program/obor Informatika / Informatika
Obhajoba bakalářské práce: Fuzzing of the OpenSC Project | Práce na příbuzné téma
12.
Havel, Vojtěch
Fakulta: Fakulta informatiky
Rok: 2014, studium úspěšně absolvováno, udělen titul: Mgr.
Program/obor Informatika / Paralelní a distribuované systémy
Obhajoba diplomové práce: Generic Platform for Explicit-Symbolic Verification | Práce na příbuzné téma
Fakulta: Fakulta informatiky
Rok: 2014, studium úspěšně absolvováno, udělen titul: Mgr.
Program/obor Informatika / Paralelní a distribuované systémy
Obhajoba diplomové práce: Generic Platform for Explicit-Symbolic Verification | Práce na příbuzné téma
13.
Hegrová, Markéta
Fakulta: Pedagogická fakulta
Rok: 2008, studium úspěšně absolvováno, udělen titul: Ph.D.
Program/obor Specializace v pedagogice / Hudební teorie a pedagogika
Obhajoba disertační práce: Orchestrální tvorba Ctirada Kohoutka | Práce na příbuzné téma
Fakulta: Pedagogická fakulta
Rok: 2008, studium úspěšně absolvováno, udělen titul: Ph.D.
Program/obor Specializace v pedagogice / Hudební teorie a pedagogika
Obhajoba disertační práce: Orchestrální tvorba Ctirada Kohoutka | Práce na příbuzné téma
14.
Chalupa, Marek
Fakulta: Fakulta informatiky
Rok: 2016, studium úspěšně absolvováno, udělen titul: Mgr.
Program/obor Informatika / Teoretická informatika
Obhajoba diplomové práce: Slicing of LLVM Bitcode | Práce na příbuzné téma
Fakulta: Fakulta informatiky
Rok: 2016, studium úspěšně absolvováno, udělen titul: Mgr.
Program/obor Informatika / Teoretická informatika
Obhajoba diplomové práce: Slicing of LLVM Bitcode | Práce na příbuzné téma
15.
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
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
16.
Klempířová, Karolína
Fakulta: Přírodovědecká fakulta
Rok: 2017, studium úspěšně absolvováno, udělen titul: Bc.
Program/obor Matematika / Hudební výchova se zaměřením na vzdělávání, Matematika se zaměřením na vzdělávání
Obhajoba bakalářské práce: Úpravy děl pro mládežnické orchestry | Práce na příbuzné téma
Fakulta: Přírodovědecká fakulta
Rok: 2017, studium úspěšně absolvováno, udělen titul: Bc.
Program/obor Matematika / Hudební výchova se zaměřením na vzdělávání, Matematika se zaměřením na vzdělávání
Obhajoba bakalářské práce: Úpravy děl pro mládežnické orchestry | Práce na příbuzné téma
17.
Klouček, Ladislav
Fakulta: Přírodovědecká fakulta
Rok: 2020, studium úspěšně absolvováno, udělen titul: Bc.
Program/obor Chemie / Analytický chemik - manažer chemické laboratoře
Obhajoba bakalářské práce: Analytická chromatografie cukrů | Práce na příbuzné téma
Fakulta: Přírodovědecká fakulta
Rok: 2020, studium úspěšně absolvováno, udělen titul: Bc.
Program/obor Chemie / Analytický chemik - manažer chemické laboratoře
Obhajoba bakalářské práce: Analytická chromatografie cukrů | Práce na příbuzné téma
18.
Korenčik, 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: Decompiling Binaries into LLVM IR Using McSema and Dyninst | Práce na příbuzné téma
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: Decompiling Binaries into LLVM IR Using McSema and Dyninst | Práce na příbuzné téma
19.
Krajíček, Ondřej
Fakulta: Fakulta informatiky
Rok: 2008, studium úspěšně absolvováno, udělen titul: RNDr.
Program/obor Informatika / Informatika
Obhajoba rigorózní práce: Grid Infrastructure Monitoring on the Service Oriented Computational Grids | Práce na příbuzné téma
Fakulta: Fakulta informatiky
Rok: 2008, studium úspěšně absolvováno, udělen titul: RNDr.
Program/obor Informatika / Informatika
Obhajoba rigorózní práce: Grid Infrastructure Monitoring on the Service Oriented Computational Grids | Práce na příbuzné téma
20.
Krempl, Ivo
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: Spektroskopie laserem buzeného plazmatu LIBS pro mapování geologických materiálů | Práce na příbuzné téma
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: Spektroskopie laserem buzeného plazmatu LIBS pro mapování geologických materiálů | Práce na příbuzné téma
21.
Kuhejda, Ondřej
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: Synthesizing grammar of smart card commands | Práce na příbuzné téma
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: Synthesizing grammar of smart card commands | Práce na příbuzné téma
22.
Kusý, Petr
Fakulta: Přírodovědecká fakulta
Rok: 2009, studium úspěšně absolvováno, udělen titul: Ph.D.
Program/obor Chemie (čtyřleté) / Analytická chemie
Obhajoba disertační práce: Microanalytical systems for coupling with mass spectrometry | Práce na příbuzné téma
Fakulta: Přírodovědecká fakulta
Rok: 2009, studium úspěšně absolvováno, udělen titul: Ph.D.
Program/obor Chemie (čtyřleté) / Analytická chemie
Obhajoba disertační práce: Microanalytical systems for coupling with mass spectrometry | Práce na příbuzné téma
23.
Lauko, Henrich
Fakulta: Fakulta informatiky
Rok: 2018, studium úspěšně absolvováno, udělen titul: Mgr.
Program/obor Informatika / Paralelní a distribuované systémy
Obhajoba diplomové práce: Symbolic Model Checking via Program Transformations | Práce na příbuzné téma
Fakulta: Fakulta informatiky
Rok: 2018, studium úspěšně absolvováno, udělen titul: Mgr.
Program/obor Informatika / Paralelní a distribuované systémy
Obhajoba diplomové práce: Symbolic Model Checking via Program Transformations | Práce na příbuzné téma
24.
Lauko, Henrich
Fakulta: Fakulta informatiky
Rok: 2020, studium úspěšně absolvováno, udělen titul: Mgr.
Program/obor Teoretická informatika / Teoretická informatika
Obhajoba diplomové práce: Abstractions via Program Transformations | Práce na příbuzné téma
Fakulta: Fakulta informatiky
Rok: 2020, studium úspěšně absolvováno, udělen titul: Mgr.
Program/obor Teoretická informatika / Teoretická informatika
Obhajoba diplomové práce: Abstractions via Program Transformations | Práce na příbuzné téma
25.
Lauko, Henrich
Fakulta: Fakulta informatiky
Rok: 2024, studium úspěšně absolvováno, udělen titul: Ph.D.
Program/obor Informatika / Technologie a metodologie počítačových systémů
Obhajoba disertační práce: Abstraction via Program Transformation | Práce na příbuzné téma
Fakulta: Fakulta informatiky
Rok: 2024, studium úspěšně absolvováno, udělen titul: Ph.D.
Program/obor Informatika / Technologie a metodologie počítačových systémů
Obhajoba disertační práce: Abstraction via Program Transformation | Práce na příbuzné téma
26.
Lenčo, Milan
Fakulta: Fakulta informatiky
Rok: 2015, studium úspěšně absolvováno, udělen titul: Mgr.
Program/obor Informatika / Paralelní a distribuované systémy
Obhajoba diplomové práce: Verification of Name Service Cache Daemon with DIVINE Model Checker | Práce na příbuzné téma
Fakulta: Fakulta informatiky
Rok: 2015, studium úspěšně absolvováno, udělen titul: Mgr.
Program/obor Informatika / Paralelní a distribuované systémy
Obhajoba diplomové práce: Verification of Name Service Cache Daemon with DIVINE Model Checker | Práce na příbuzné téma
27.
Linhart, Lukáš
Fakulta: Fakulta informatiky
Rok: 2017, studium neúspěšně ukončeno
Program/obor Informatika / Počítačové systémy a zpracování dat
Obhajoba bakalářské práce: Automatické hledání chyb ve zdrojových kódech pomocí symbolické exekuce | Práce na příbuzné téma
Fakulta: Fakulta informatiky
Rok: 2017, studium neúspěšně ukončeno
Program/obor Informatika / Počítačové systémy a zpracování dat
Obhajoba bakalářské práce: Automatické hledání chyb ve zdrojových kódech pomocí symbolické exekuce | Práce na příbuzné téma
28.
Mészaroš, Tomáš
Fakulta: Fakulta informatiky
Rok: 2020, studium neúspěšně ukončeno
Program/obor Aplikovaná informatika / Aplikovaná informatika
Obhajoba diplomové práce: Extracting Parts of Programs into Separate Binaries | Práce na příbuzné téma
Fakulta: Fakulta informatiky
Rok: 2020, studium neúspěšně ukončeno
Program/obor Aplikovaná informatika / Aplikovaná informatika
Obhajoba diplomové práce: Extracting Parts of Programs into Separate Binaries | Práce na příbuzné téma
29.
Mihalkovič, Vincent
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: Dekompilační nástroje založené na LLVM | Práce na příbuzné téma
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: Dekompilační nástroje založené na LLVM | Práce na příbuzné téma
30.
Mihalkovič, Vincent
Fakulta: Fakulta informatiky
Rok: 2023, studium úspěšně absolvováno, udělen titul: Mgr.
Program/obor Teoretická informatika / Principy programovacích jazyků
Obhajoba diplomové práce: Improved translation of LLVM IR code to C | Práce na příbuzné téma
Fakulta: Fakulta informatiky
Rok: 2023, studium úspěšně absolvováno, udělen titul: Mgr.
Program/obor Teoretická informatika / Principy programovacích jazyků
Obhajoba diplomové práce: Improved translation of LLVM IR code to C | Práce na příbuzné téma
31.
Miková, Petra
Fakulta: Fakulta informatiky
Rok: 2018, studium úspěšně absolvováno, udělen titul: Bc.
Program/obor Aplikovaná informatika / Aplikovaná informatika
Obhajoba bakalářské práce: Decompilation of restored in-memory class fragments in running JVM | Práce na příbuzné téma
Fakulta: Fakulta informatiky
Rok: 2018, studium úspěšně absolvováno, udělen titul: Bc.
Program/obor Aplikovaná informatika / Aplikovaná informatika
Obhajoba bakalářské práce: Decompilation of restored in-memory class fragments in running JVM | Práce na příbuzné téma
32.
Mrázek, Jan
Fakulta: Fakulta informatiky
Rok: 2016, studium úspěšně absolvováno, udělen titul: Bc.
Program/obor Informatika / Paralelní a distribuované systémy
Obhajoba bakalářské práce: Caching SMT Queries in SymDivine | Práce na příbuzné téma
Fakulta: Fakulta informatiky
Rok: 2016, studium úspěšně absolvováno, udělen titul: Bc.
Program/obor Informatika / Paralelní a distribuované systémy
Obhajoba bakalářské práce: Caching SMT Queries in SymDivine | Práce na příbuzné téma
33.
Novotný, Aleš
Fakulta: Filozofická fakulta
Rok: 2012, studium úspěšně absolvováno, udělen titul: Mgr.
Program/obor Obecná teorie a dějiny umění a kultury / Hudební věda
Obhajoba diplomové práce: Dechová harmonie v Dvořákových symfoniích a symfonických básních / analyticko srovnávací studie/ | Práce na příbuzné téma
Fakulta: Filozofická fakulta
Rok: 2012, studium úspěšně absolvováno, udělen titul: Mgr.
Program/obor Obecná teorie a dějiny umění a kultury / Hudební věda
Obhajoba diplomové práce: Dechová harmonie v Dvořákových symfoniích a symfonických básních / analyticko srovnávací studie/ | Práce na příbuzné téma
34.
Oravec, Roman
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í kyberbezpečnosti
Obhajoba diplomové práce: Modern obfuscation techniques | Práce na příbuzné téma
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í kyberbezpečnosti
Obhajoba diplomové práce: Modern obfuscation techniques | Práce na příbuzné téma
35.
Ostrý, František
Fakulta: Pedagogická fakulta
Rok: 2019, studium úspěšně absolvováno, udělen titul: Ph.D.
Program/obor Specializace v pedagogice / Hudební teorie a pedagogika
Obhajoba disertační práce: Instrumentální styl Jakuba Jana Ryby se zaměřením na tvorbu orchestrální | Práce na příbuzné téma
Fakulta: Pedagogická fakulta
Rok: 2019, studium úspěšně absolvováno, udělen titul: Ph.D.
Program/obor Specializace v pedagogice / Hudební teorie a pedagogika
Obhajoba disertační práce: Instrumentální styl Jakuba Jana Ryby se zaměřením na tvorbu orchestrální | Práce na příbuzné téma
36.
Paclová, Šárka
Fakulta: Přírodovědecká fakulta
Rok: 2008, studium úspěšně absolvováno, udělen titul: Bc.
Program/obor Aplikovaná fyzika / Lékařská fyzika
Obhajoba bakalářské práce: Požadavky na znalosti lékařské přístrojové techniky a situace ve zdravotnické praxi u bakalářského oboru Všeobecná zdravotní sestra | Práce na příbuzné téma
Fakulta: Přírodovědecká fakulta
Rok: 2008, studium úspěšně absolvováno, udělen titul: Bc.
Program/obor Aplikovaná fyzika / Lékařská fyzika
Obhajoba bakalářské práce: Požadavky na znalosti lékařské přístrojové techniky a situace ve zdravotnické praxi u bakalářského oboru Všeobecná zdravotní sestra | Práce na příbuzné téma
37.
Paclová, Šárka
Fakulta: Přírodovědecká fakulta
Rok: 2010, studium úspěšně absolvováno, udělen titul: Mgr.
Program/obor Fyzika / Biofyzika (kombinace/zaměření: Aplikovaná biofyzika)
Obhajoba diplomové práce: Návrh podrobného sylabu výuky lékařské biofyziky pro studující oboru Všeobecná sestra | Práce na příbuzné téma
Fakulta: Přírodovědecká fakulta
Rok: 2010, studium úspěšně absolvováno, udělen titul: Mgr.
Program/obor Fyzika / Biofyzika (kombinace/zaměření: Aplikovaná biofyzika)
Obhajoba diplomové práce: Návrh podrobného sylabu výuky lékařské biofyziky pro studující oboru Všeobecná sestra | Práce na příbuzné téma
38.
Plšek, Radim
Fakulta: Filozofická fakulta
Rok: 2013, studium úspěšně absolvováno, udělen titul: Bc.
Program/obor Obecná teorie a dějiny umění a kultury / Hudební věda
Obhajoba bakalářské práce: Úloha lesního rohu v instrumentaci orchestrálních a komorních partitur Leoše Janáčka | Práce na příbuzné téma
Fakulta: Filozofická fakulta
Rok: 2013, studium úspěšně absolvováno, udělen titul: Bc.
Program/obor Obecná teorie a dějiny umění a kultury / Hudební věda
Obhajoba bakalářské práce: Úloha lesního rohu v instrumentaci orchestrálních a komorních partitur Leoše Janáčka | Práce na příbuzné téma
39.
Pribula, Dávid
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: Využití nástrojů pro souborový fuzzing ve vývojovém procesu | Práce na příbuzné téma
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: Využití nástrojů pro souborový fuzzing ve vývojovém procesu | Práce na příbuzné téma
40.
Rao, Arvind
Fakulta: Fakulta informatiky
Rok: 2019, studium úspěšně absolvováno, udělen titul: Mgr.
Program/obor Informatika / Bezpečnost informačních technologií (angl.)
Obhajoba diplomové práce: Linux Kernel System Call Fuzzing | Práce na příbuzné téma
Fakulta: Fakulta informatiky
Rok: 2019, studium úspěšně absolvováno, udělen titul: Mgr.
Program/obor Informatika / Bezpečnost informačních technologií (angl.)
Obhajoba diplomové práce: Linux Kernel System Call Fuzzing | Práce na příbuzné téma
41.
Ročkai, Petr
Fakulta: Fakulta informatiky
Rok: 2015, studium úspěšně absolvováno, udělen titul: Ph.D.
Program/obor Informatika (čtyřleté) / Počítačové systémy a technologie
Obhajoba disertační práce: Model Checking Software | Práce na příbuzné téma
Fakulta: Fakulta informatiky
Rok: 2015, studium úspěšně absolvováno, udělen titul: Ph.D.
Program/obor Informatika (čtyřleté) / Počítačové systémy a technologie
Obhajoba disertační práce: Model Checking Software | Práce na příbuzné téma
42.
Řechtáčková, Anna
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: Improving out-of-bound access checking in Symbiotic | Práce na příbuzné téma
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: Improving out-of-bound access checking in Symbiotic | Práce na příbuzné téma
43.
Římanová, Adéla
Fakulta: Lékařská fakulta
Rok: 2021, studium úspěšně absolvováno, udělen titul: Bc.
Program/obor Specializace ve zdravotnictví / Radiologický asistent
Obhajoba bakalářské práce: Dynamická scintigrafie u poruch drenáže vývodných cest močovýc | Práce na příbuzné téma
Fakulta: Lékařská fakulta
Rok: 2021, studium úspěšně absolvováno, udělen titul: Bc.
Program/obor Specializace ve zdravotnictví / Radiologický asistent
Obhajoba bakalářské práce: Dynamická scintigrafie u poruch drenáže vývodných cest močovýc | Práce na příbuzné téma
44.
Sedláček, Jindřich
Fakulta: Fakulta informatiky
Rok: 2024, studium úspěšně absolvováno, udělen titul: Bc.
Program/obor Informatika / Informatika
Obhajoba bakalářské práce: May-Happen-in-Parallel Analysis for Slicing of Parallel Programs | Práce na příbuzné téma
Fakulta: Fakulta informatiky
Rok: 2024, studium úspěšně absolvováno, udělen titul: Bc.
Program/obor Informatika / Informatika
Obhajoba bakalářské práce: May-Happen-in-Parallel Analysis for Slicing of Parallel Programs | Práce na příbuzné téma
45.
Stárek, Jan
Fakulta: Fakulta informatiky
Rok: 2020, studium úspěšně absolvováno, udělen titul: Mgr.
Program/obor Aplikovaná informatika / Aplikovaná informatika
Obhajoba diplomové práce: Fuzz testování webových aplikačních rozhraní | Práce na příbuzné téma
Fakulta: Fakulta informatiky
Rok: 2020, studium úspěšně absolvováno, udělen titul: Mgr.
Program/obor Aplikovaná informatika / Aplikovaná informatika
Obhajoba diplomové práce: Fuzz testování webových aplikačních rozhraní | Práce na příbuzné téma
46.
Šárník, Jakub
Fakulta: Fakulta informatiky
Rok: 2022, studium úspěšně absolvováno, udělen titul: Bc.
Program/obor Aplikovaná informatika / Aplikovaná informatika
Obhajoba bakalářské práce: Automatická analýza neúplných programů | Práce na příbuzné téma
Fakulta: Fakulta informatiky
Rok: 2022, studium úspěšně absolvováno, udělen titul: Bc.
Program/obor Aplikovaná informatika / Aplikovaná informatika
Obhajoba bakalářské práce: Automatická analýza neúplných programů | Práce na příbuzné téma
47.
Štill, Vladimír
Fakulta: Fakulta informatiky
Rok: 2016, studium úspěšně absolvováno, udělen titul: Mgr.
Program/obor Informatika / Paralelní a distribuované systémy
Obhajoba diplomové práce: LLVM Transformations for Model Checking | Práce na příbuzné téma
Fakulta: Fakulta informatiky
Rok: 2016, studium úspěšně absolvováno, udělen titul: Mgr.
Program/obor Informatika / Paralelní a distribuované systémy
Obhajoba diplomové práce: LLVM Transformations for Model Checking | Práce na příbuzné téma
48.
Štill, Vladimír
Fakulta: Fakulta informatiky
Rok: 2020, studium úspěšně absolvováno, udělen titul: Ph.D.
Program/obor Informatika (čtyřleté) / Počítačové systémy a technologie
Obhajoba disertační práce: Analysis of Parallel C++ Programs | Práce na příbuzné téma
Fakulta: Fakulta informatiky
Rok: 2020, studium úspěšně absolvováno, udělen titul: Ph.D.
Program/obor Informatika (čtyřleté) / Počítačové systémy a technologie
Obhajoba disertační práce: Analysis of Parallel C++ Programs | Práce na příbuzné téma
49.
Štill, Vladimír
Fakulta: Fakulta informatiky
Rok: 2018, studium úspěšně absolvováno, udělen titul: RNDr.
Program/obor Informatika / Paralelní a distribuované systémy
Obhajoba rigorózní práce: Memory-Model-Aware Analysis of Parallel Programs | Práce na příbuzné téma
Fakulta: Fakulta informatiky
Rok: 2018, studium úspěšně absolvováno, udělen titul: RNDr.
Program/obor Informatika / Paralelní a distribuované systémy
Obhajoba rigorózní práce: Memory-Model-Aware Analysis of Parallel Programs | Práce na příbuzné téma
50.
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
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