Theses on a related topic (having the same keywords):
verification witnesses, software verification, witness validation, program analysis, klee, symbolic executionKeywords ordered alphabetically | Keywords ordered by occurrence rate
1.
Ayaziová, Paulína
Faculty: Faculty of Informatics
Year: 2024, studies completed, degree conferred: Mgr.
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
Faculty: Faculty of Informatics
Year: 2024, studies completed, degree conferred: Mgr.
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
2.
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
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
3.
Kumor, Kristián
Faculty: Faculty of Informatics
Year: 2024, studies under way
Programme/field: Theoretical computer science / Principles of programming languages
Master's thesis defence: Compact Symbolic Execution in Slowbeast | Theses on a related topic
Faculty: Faculty of Informatics
Year: 2024, studies under way
Programme/field: Theoretical computer science / Principles of programming languages
Master's thesis defence: Compact Symbolic Execution in Slowbeast | Theses on a related topic
4.
Lauko, Henrich
Faculty: Faculty of Informatics
Year: 2024, studies completed, degree conferred: Ph.D.
Programme/field: Computer Science / Computing Technology and Methodology
Doctoral thesis defence: Abstraction via Program Transformation | Theses on a related topic
Faculty: Faculty of Informatics
Year: 2024, studies completed, degree conferred: Ph.D.
Programme/field: Computer Science / Computing Technology and Methodology
Doctoral thesis defence: Abstraction via Program Transformation | Theses on a related topic
5.
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
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
6.
Šimáček, Michael
Faculty: Faculty of Informatics
Year: 2018, studies completed, degree conferred: Mgr.
Programme/field: Applied Informatics / Applied Informatics
Master's thesis defence: Symbolic-size Memory Allocation Support for Klee | Theses on a related topic
Faculty: Faculty of Informatics
Year: 2018, studies completed, degree conferred: Mgr.
Programme/field: Applied Informatics / Applied Informatics
Master's thesis defence: Symbolic-size Memory Allocation Support for Klee | Theses on a related topic
7.
Štafa, Adam
Faculty: Faculty of Informatics
Year: 2023, studies completed, degree conferred: Bc.
Programme/field: Informatics / Informatics
Bachelor's thesis defence: Symbiosis of Symbolic Execution and Fuzzing | Theses on a related topic
Faculty: Faculty of Informatics
Year: 2023, studies completed, degree conferred: Bc.
Programme/field: Informatics / Informatics
Bachelor's thesis defence: Symbiosis of Symbolic Execution and Fuzzing | Theses on a related topic
8.
Štill, Vladimír
Faculty: Faculty of Informatics
Year: 2020, studies completed, degree conferred: Ph.D.
Programme/field: Informatics (4-years) / Computer Systems and Technologies
Doctoral thesis defence: Analysis of Parallel C++ Programs | Theses on a related topic
Faculty: Faculty of Informatics
Year: 2020, studies completed, degree conferred: Ph.D.
Programme/field: Informatics (4-years) / Computer Systems and Technologies
Doctoral thesis defence: Analysis of Parallel C++ Programs | Theses on a related topic
9.
Toman, Viktor
Faculty: Faculty of Informatics
Year: 2014, studies completed, degree conferred: Bc.
Programme/field: Informatics / Mathematical Informatics
Bachelor's thesis defence: Paralelní volání SMT solverů v nástroji Bugst | Theses on a related topic
Faculty: Faculty of Informatics
Year: 2014, studies completed, degree conferred: Bc.
Programme/field: Informatics / Mathematical Informatics
Bachelor's thesis defence: Paralelní volání SMT solverů v nástroji Bugst | Theses on a related topic
10.
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
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
11.
Č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
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
12.
Havel, Vojtěch
Faculty: Faculty of Informatics
Year: 2014, studies completed, degree conferred: Mgr.
Programme/field: Informatics / Parallel and Distributed Systems
Master's thesis defence: Generic Platform for Explicit-Symbolic Verification | Theses on a related topic
Faculty: Faculty of Informatics
Year: 2014, studies completed, degree conferred: Mgr.
Programme/field: Informatics / Parallel and Distributed Systems
Master's thesis defence: Generic Platform for Explicit-Symbolic Verification | Theses on a related topic
13.
Herčko, Alex
Faculty: Faculty of Informatics
Year: 2023, studies completed, degree conferred: Bc.
Programme/field: Informatics / Informatics
Bachelor's thesis defence: Installation and Extension of VerifierCloud | Theses on a related topic
Faculty: Faculty of Informatics
Year: 2023, studies completed, degree conferred: Bc.
Programme/field: Informatics / Informatics
Bachelor's thesis defence: Installation and Extension of VerifierCloud | Theses on a related topic
14.
Hruška, Peter
Faculty: Faculty of Informatics
Year: 2013, studies completed, degree conferred: Mgr.
Programme/field: Informatics / Computer Systems
Master's thesis defence: Rozšíření nástroje pro symbolickou exekuci KLEE | Theses on a related topic
Faculty: Faculty of Informatics
Year: 2013, studies completed, degree conferred: Mgr.
Programme/field: Informatics / Computer Systems
Master's thesis defence: Rozšíření nástroje pro symbolickou exekuci KLEE | Theses on a related topic
15.
Chalupa, Marek
Faculty: Faculty of Informatics
Year: 2016, studies completed, degree conferred: Mgr.
Programme/field: Informatics / Theoretical Informatics
Master's thesis defence: Slicing of LLVM Bitcode | Theses on a related topic
Faculty: Faculty of Informatics
Year: 2016, studies completed, degree conferred: Mgr.
Programme/field: Informatics / Theoretical Informatics
Master's thesis defence: Slicing of LLVM Bitcode | Theses on a related topic
16.
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
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
17.
Chalupa, Marek
Faculty: Faculty of Informatics
Year: 2022, studies completed, degree conferred: Ph.D.
Programme/field: Computer Science / Fundamentals of Computer Science
Doctoral thesis defence: Program Slicing and Symbolic Execution for Verification | Theses on a related topic
Faculty: Faculty of Informatics
Year: 2022, studies completed, degree conferred: Ph.D.
Programme/field: Computer Science / Fundamentals of Computer Science
Doctoral thesis defence: Program Slicing and Symbolic Execution for Verification | Theses on a related topic
18.
Jašek, Tomáš
Faculty: Faculty of Informatics
Year: 2021, studies completed, degree conferred: Mgr.
Programme/field: Informatics / Parallel and Distributed Systems
Master's thesis defence: Verification of Memory Safety with Predator and Symbiotic | Theses on a related topic
Faculty: Faculty of Informatics
Year: 2021, studies completed, degree conferred: Mgr.
Programme/field: Informatics / Parallel and Distributed Systems
Master's thesis defence: Verification of Memory Safety with Predator and Symbiotic | Theses on a related topic
19.
Kakaš, Richard
Faculty: Faculty of Informatics
Year: 2018, studies completed, degree conferred: Mgr.
Programme/field: Informatics / Parallel and Distributed Systems
Master's thesis defence: Automatizovaná paralelizace zpracování vstupních dat na základě kauzality | Theses on a related topic
Faculty: Faculty of Informatics
Year: 2018, studies completed, degree conferred: Mgr.
Programme/field: Informatics / Parallel and Distributed Systems
Master's thesis defence: Automatizovaná paralelizace zpracování vstupních dat na základě kauzality | Theses on a related topic
20.
Kučera, Martin
Faculty: Faculty of Informatics
Year: 2014, studies completed, degree conferred: Bc.
Programme/field: Informatics / Mathematical Informatics
Bachelor's thesis defence: Znovupoužití známých výsledků SMT dotazů | Theses on a related topic
Faculty: Faculty of Informatics
Year: 2014, studies completed, degree conferred: Bc.
Programme/field: Informatics / Mathematical Informatics
Bachelor's thesis defence: Znovupoužití známých výsledků SMT dotazů | Theses on a related topic
21.
Laga, Stanislav
Faculty: Faculty of Arts
Year: 2011, studies completed, degree conferred: Mgr.
Programme/field: Philosophy / Philosophy
Master's thesis defence: Anticipace principů moderního umění v díle Friedricha Nietzscheho | Theses on a related topic
Faculty: Faculty of Arts
Year: 2011, studies completed, degree conferred: Mgr.
Programme/field: Philosophy / Philosophy
Master's thesis defence: Anticipace principů moderního umění v díle Friedricha Nietzscheho | Theses on a related topic
22.
Lenčo, Milan
Faculty: Faculty of Informatics
Year: 2015, studies completed, degree conferred: Mgr.
Programme/field: Informatics / Parallel and Distributed Systems
Master's thesis defence: Verification of Name Service Cache Daemon with DIVINE Model Checker | Theses on a related topic
Faculty: Faculty of Informatics
Year: 2015, studies completed, degree conferred: Mgr.
Programme/field: Informatics / Parallel and Distributed Systems
Master's thesis defence: Verification of Name Service Cache Daemon with DIVINE Model Checker | Theses on a related topic
23.
Mészaroš, Tomáš
Faculty: Faculty of Informatics
Year: 2020, studies terminated for failure to fulfill study requirements
Programme/field: Applied Informatics / Applied Informatics
Master's thesis defence: Extracting Parts of Programs into Separate Binaries | Theses on a related topic
Faculty: Faculty of Informatics
Year: 2020, studies terminated for failure to fulfill study requirements
Programme/field: Applied Informatics / Applied Informatics
Master's thesis defence: Extracting Parts of Programs into Separate Binaries | Theses on a related topic
24.
Milata, Martin
Faculty: Faculty of Informatics
Year: 2013, studies completed, degree conferred: Mgr.
Programme/field: Informatics / Theoretical Informatics
Master's thesis defence: Execution synthesis: formal description and core dump interface | Theses on a related topic
Faculty: Faculty of Informatics
Year: 2013, studies completed, degree conferred: Mgr.
Programme/field: Informatics / Theoretical Informatics
Master's thesis defence: Execution synthesis: formal description and core dump interface | Theses on a related topic
25.
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
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
26.
Řechtáčková, Anna
Faculty: Faculty of Informatics
Year: 2020, studies completed, degree conferred: Bc.
Programme/field: Applied Informatics / Applied Informatics
Bachelor's thesis defence: Improving out-of-bound access checking in Symbiotic | Theses on a related topic
Faculty: Faculty of Informatics
Year: 2020, studies completed, degree conferred: Bc.
Programme/field: Applied Informatics / Applied Informatics
Bachelor's thesis defence: Improving out-of-bound access checking in Symbiotic | Theses on a related topic
27.
Řechtáčková, Anna
Faculty: Faculty of Informatics
Year: 2023, studies completed, degree conferred: Mgr.
Programme/field: Theoretical computer science / Principles of programming languages
Master's thesis defence: Detecting code quality defects in students’ solutions | Theses on a related topic
Faculty: Faculty of Informatics
Year: 2023, studies completed, degree conferred: Mgr.
Programme/field: Theoretical computer science / Principles of programming languages
Master's thesis defence: Detecting code quality defects in students’ solutions | Theses on a related topic
28.
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
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
29.
Slimák, Ondřej
Faculty: Faculty of Informatics
Year: 2022, studies completed, degree conferred: Mgr.
Programme/field: Software systems and services management / Software Systems Development Management
Master's thesis defence: Source Generators in C# | Theses on a related topic
Faculty: Faculty of Informatics
Year: 2022, studies completed, degree conferred: Mgr.
Programme/field: Software systems and services management / Software Systems Development Management
Master's thesis defence: Source Generators in C# | Theses on a related topic
30.
Šmíd, Jan
Faculty: Faculty of Informatics
Year: 2024, studies completed, degree conferred: Bc.
Programme/field: Programming and development / Programming and development
Bachelor's thesis defence: Počítání kroků výpočtu pro jazyk Python | Theses on a related topic
Faculty: Faculty of Informatics
Year: 2024, studies completed, degree conferred: Bc.
Programme/field: Programming and development / Programming and development
Bachelor's thesis defence: Počítání kroků výpočtu pro jazyk Python | Theses on a related topic
31.
Štill, Vladimír
Faculty: Faculty of Informatics
Year: 2018, studies completed, degree conferred: RNDr.
Programme/field: Informatics / Parallel and Distributed Systems
Advanced Master's thesis defence: Memory-Model-Aware Analysis of Parallel Programs | Theses on a related topic
Faculty: Faculty of Informatics
Year: 2018, studies completed, degree conferred: RNDr.
Programme/field: Informatics / Parallel and Distributed Systems
Advanced Master's thesis defence: Memory-Model-Aware Analysis of Parallel Programs | Theses on a related topic
32.
Trembecký, Richard
Faculty: Faculty of Informatics
Year: 2016, studies completed, degree conferred: Bc.
Programme/field: Applied Informatics / Applied Informatics
Bachelor's thesis defence: Portování nástroje Symbiotic na LLVM 3.8 | Theses on a related topic
Faculty: Faculty of Informatics
Year: 2016, studies completed, degree conferred: Bc.
Programme/field: Applied Informatics / Applied Informatics
Bachelor's thesis defence: Portování nástroje Symbiotic na LLVM 3.8 | Theses on a related topic
33.
Trtík, Marek
Faculty: Faculty of Informatics
Year: 2014, studies completed, degree conferred: Ph.D.
Programme/field: Informatics (4-years) / Informatics
Doctoral thesis defence: Symbolic Execution and Program Loops | Theses on a related topic
Faculty: Faculty of Informatics
Year: 2014, studies completed, degree conferred: Ph.D.
Programme/field: Informatics (4-years) / Informatics
Doctoral thesis defence: Symbolic Execution and Program Loops | Theses on a related topic
34.
Vitovská, Martina
Faculty: Faculty of Informatics
Year: 2018, studies completed, degree conferred: Mgr.
Programme/field: Applied Informatics / Applied Informatics
Master's thesis defence: Instrumentation of LLVM IR | Theses on a related topic
Faculty: Faculty of Informatics
Year: 2018, studies completed, degree conferred: Mgr.
Programme/field: Applied Informatics / Applied Informatics
Master's thesis defence: Instrumentation of LLVM IR | Theses on a related topic