|
  Thesis title |
Year of announcement |
Year of defence |
Thesis type |
Thesis discipline | Supervisor |
Author |
Announced |
Assigned | Department |
Faculty |
 |
Dynamic Analysis for Finding Endianity Bugs |
2017/2018 |
2017/2018 |
diploma thesis |
ISS | doc. RNDr. Pavel Parízek, Ph.D. |
hidden |
28.11.2017 |
29.11.2017 | Katedra distribuovaných a spolehlivých systémů (32-KDSS) |
MFF |
|
Automated detection of vulnerabilities in web applications |
2008/2009 |
2008/2009 |
Bachelor's thesis |
ISPS | doc. RNDr. Pavel Parízek, Ph.D. |
hidden |
20.10.2008 |
20.10.2008 | Katedra softwarového inženýrství (32-KSI) |
MFF |
|
Checking Compliance of Java Implementation with TBP Specification |
2008/2009 |
2009/2010 |
diploma thesis |
| doc. RNDr. Pavel Parízek, Ph.D. |
hidden |
12.10.2008 |
06.05.2009 | Katedra softwarového inženýrství (32-KSI) |
MFF |
|
Extending the Infrastructure for Debugging C/C++ Programs with Directed Tests |
2025/2026 |
|
diploma thesis |
| doc. RNDr. Pavel Parízek, Ph.D. |
Bc. Roman Vašut |
24.10.2025 |
03.11.2025 | Katedra distribuovaných a spolehlivých systémů (32-KDSS) |
MFF |
|
Grammar to JetBrains MPS Convertor |
2015/2016 |
2015/2016 |
diploma thesis |
ISS | doc. RNDr. Pavel Parízek, Ph.D. |
hidden |
12.04.2016 |
12.04.2016 | Katedra distribuovaných a spolehlivých systémů (32-KDSS) |
MFF |
|
Dynamic Analysis Framework for C#/.NET Programs |
2018/2019 |
2019/2020 |
diploma thesis |
ISS | doc. RNDr. Pavel Parízek, Ph.D. |
hidden |
20.11.2018 |
05.12.2018 | Katedra distribuovaných a spolehlivých systémů (32-KDSS) |
MFF |
|
Interactive Data Visualization Tool |
2006/2007 |
2007/2008 |
Bachelor's thesis |
IOI | doc. RNDr. Pavel Parízek, Ph.D. |
hidden |
17.10.2006 |
06.12.2007 | Katedra softwarového inženýrství (32-KSI) |
MFF |
|
Read-only types and purity for DOT |
2015/2016 |
2023/2024 |
dissertation |
P4I2 | doc. RNDr. Pavel Parízek, Ph.D. |
hidden |
24.03.2016 |
03.10.2016 | Katedra distribuovaných a spolehlivých systémů (32-KDSS) |
MFF |
|
Scalable and precise analysis of data lineage in complex software systems |
2021/2022 |
|
dissertation |
4I2 | doc. RNDr. Pavel Parízek, Ph.D. |
|
06.04.2018 |
Ne | Katedra distribuovaných a spolehlivých systémů (32-KDSS) |
MFF |
|
Domain-Specific Language for Learning Programming |
2013/2014 |
2015/2016 |
diploma thesis |
ISS | doc. RNDr. Pavel Parízek, Ph.D. |
Mgr. Jonáš Klimeš |
09.05.2014 |
14.05.2014 | Katedra distribuovaných a spolehlivých systémů (32-KDSS) |
MFF |
|
Analyzing Data Lineage in Database Frameworks |
2018/2019 |
2018/2019 |
diploma thesis |
| doc. RNDr. Pavel Parízek, Ph.D. |
hidden |
11.10.2018 |
25.10.2018 | Katedra distribuovaných a spolehlivých systémů (32-KDSS) |
MFF |
|
Data Lineage Analysis for PySpark and Python ORM Libraries |
2021/2022 |
2022/2023 |
diploma thesis |
ISDP | doc. RNDr. Pavel Parízek, Ph.D. |
hidden |
09.05.2022 |
09.05.2022 | Katedra distribuovaných a spolehlivých systémů (32-KDSS) |
MFF |
|
Data Lineage Analysis Service for Embedded Code |
2021/2022 |
2022/2023 |
diploma thesis |
ISDP | doc. RNDr. Pavel Parízek, Ph.D. |
hidden |
12.01.2022 |
12.01.2022 | Katedra distribuovaných a spolehlivých systémů (32-KDSS) |
MFF |
|
System for administration of members, activities and attendance |
2007/2008 |
|
Bachelor's thesis |
ISPS | doc. RNDr. Pavel Parízek, Ph.D. |
hidden |
29.10.2007 |
12.11.2007 | Katedra softwarového inženýrství (32-KSI) |
MFF |
|
Verification Runtime for SOFA |
2007/2008 |
|
diploma thesis |
| doc. RNDr. Pavel Parízek, Ph.D. |
hidden |
20.09.2007 |
01.11.2007 | Katedra softwarového inženýrství (32-KSI) |
MFF |
|
Data Lineage Analysis of Frameworks with Complex Interaction Patterns |
2019/2020 |
2019/2020 |
diploma thesis |
ISS | doc. RNDr. Pavel Parízek, Ph.D. |
hidden |
08.01.2020 |
08.01.2020 | Katedra distribuovaných a spolehlivých systémů (32-KDSS) |
MFF |
|
Web System for Crowdfunding Based on Selling Items with Custom Imprint |
2013/2014 |
2015/2016 |
diploma thesis |
ISS | doc. RNDr. Pavel Parízek, Ph.D. |
hidden |
29.08.2014 |
01.09.2014 | Katedra distribuovaných a spolehlivých systémů (32-KDSS) |
MFF |
|
Querying NoSQL databases in MPS |
2012/2013 |
|
diploma thesis |
| doc. RNDr. Pavel Parízek, Ph.D. |
hidden |
13.06.2013 |
13.06.2013 | Katedra distribuovaných a spolehlivých systémů (32-KDSS) |
MFF |
|
A Basis of Static Analysis Library for C# Programs |
2024/2025 |
|
Bachelor's thesis |
| doc. RNDr. Pavel Parízek, Ph.D. |
Jan Franěk |
30.05.2024 |
27.06.2024 | Katedra distribuovaných a spolehlivých systémů (32-KDSS) |
MFF |
|
Debugging Support for Static Analysis Library WALA |
2019/2020 |
2020/2021 |
diploma thesis |
ISS | doc. RNDr. Pavel Parízek, Ph.D. |
Mgr. Filip Havel |
08.04.2020 |
21.05.2020 | Katedra distribuovaných a spolehlivých systémů (32-KDSS) |
MFF |
|
Frege IDE with JetBrains MPS |
2015/2016 |
2017/2018 |
diploma thesis |
ISDI | doc. RNDr. Pavel Parízek, Ph.D. |
hidden |
17.05.2016 |
01.06.2016 | Katedra distribuovaných a spolehlivých systémů (32-KDSS) |
MFF |
|
Data Lineage Analysis for Databricks platform |
2022/2023 |
2022/2023 |
diploma thesis |
ISDP | doc. RNDr. Pavel Parízek, Ph.D. |
hidden |
20.10.2022 |
21.10.2022 | Katedra distribuovaných a spolehlivých systémů (32-KDSS) |
MFF |
|
Extracting Information from Database Modeling Tools |
2018/2019 |
2018/2019 |
Bachelor's thesis |
| doc. RNDr. Pavel Parízek, Ph.D. |
hidden |
28.10.2018 |
31.10.2018 | Katedra distribuovaných a spolehlivých systémů (32-KDSS) |
MFF |
|
Data Lineage Analysis for Qlik Sense |
2019/2020 |
2019/2020 |
Bachelor's thesis |
ISDI | doc. RNDr. Pavel Parízek, Ph.D. |
hidden |
18.10.2019 |
31.10.2019 | Katedra distribuovaných a spolehlivých systémů (32-KDSS) |
MFF |
|
Extending C# with a Library of Functional Programming Concepts |
2019/2020 |
2019/2020 |
diploma thesis |
| doc. RNDr. Pavel Parízek, Ph.D. |
hidden |
12.03.2020 |
12.03.2020 | Katedra distribuovaných a spolehlivých systémů (32-KDSS) |
MFF |
|
Java Bytecode Preprocessor for Program Verification Tools |
2014/2015 |
2015/2016 |
diploma thesis |
ISS | doc. RNDr. Pavel Parízek, Ph.D. |
hidden |
27.04.2015 |
11.06.2015 | Katedra distribuovaných a spolehlivých systémů (32-KDSS) |
MFF |
|
String Analysis for Code Contracts |
2014/2015 |
2015/2016 |
diploma thesis |
ISS | doc. RNDr. Pavel Parízek, Ph.D. |
hidden |
16.02.2015 |
16.02.2015 | Katedra distribuovaných a spolehlivých systémů (32-KDSS) |
MFF |
|
Balancing Keyword-Based Data and Queries in Distributed Storage Systems |
2019/2020 |
2019/2020 |
diploma thesis |
ISDI | doc. RNDr. Pavel Parízek, Ph.D. |
hidden |
30.10.2019 |
02.11.2019 | Katedra distribuovaných a spolehlivých systémů (32-KDSS) |
MFF |
|
Math Exam Scanner for Automated Results Evaluation |
2025/2026 |
|
Bachelor's thesis |
| doc. RNDr. Pavel Parízek, Ph.D. |
Michael Bohin |
30.09.2025 |
13.10.2025 | Katedra distribuovaných a spolehlivých systémů (32-KDSS) |
MFF |
|
Runtime Checking of Privacy and Security Contracts in Dynamic Architectures |
2017/2018 |
2017/2018 |
diploma thesis |
ISS | doc. RNDr. Pavel Parízek, Ph.D. |
hidden |
17.01.2018 |
30.01.2018 | Katedra distribuovaných a spolehlivých systémů (32-KDSS) |
MFF |
|
Monitoring Support for Manta Flow Agent in Cloud-Based Architecture |
2021/2022 |
2021/2022 |
diploma thesis |
ISS | doc. RNDr. Pavel Parízek, Ph.D. |
Mgr. Roman Firment |
29.06.2021 |
30.06.2021 | Katedra distribuovaných a spolehlivých systémů (32-KDSS) |
MFF |
|
Fuzz testing of network subsystem in PikeOS |
2022/2023 |
2023/2024 |
Bachelor's thesis |
IPP2 | doc. RNDr. Pavel Parízek, Ph.D. |
hidden |
19.09.2022 |
19.09.2022 | Katedra distribuovaných a spolehlivých systémů (32-KDSS) |
MFF |
|
Debugging Large and Long-Running Applications Using Generated Tests |
2023/2024 |
2024/2025 |
diploma thesis |
ISWSP | doc. RNDr. Pavel Parízek, Ph.D. |
hidden |
07.11.2023 |
09.11.2023 | Katedra distribuovaných a spolehlivých systémů (32-KDSS) |
MFF |
|
Extending Data Lineage Analysis Towards .NET Frameworks |
2019/2020 |
2020/2021 |
diploma thesis |
ISDI | doc. RNDr. Pavel Parízek, Ph.D. |
hidden |
20.05.2020 |
27.05.2020 | Katedra distribuovaných a spolehlivých systémů (32-KDSS) |
MFF |
|
Automated Program Minimization With Preserving of Runtime Errors |
2020/2021 |
2020/2021 |
Bachelor's thesis |
IPSS | doc. RNDr. Pavel Parízek, Ph.D. |
hidden |
07.09.2020 |
15.09.2020 | Katedra distribuovaných a spolehlivých systémů (32-KDSS) |
MFF |
|
Traffic monitoring in TCP/IP networks |
2006/2007 |
2008/2009 |
Bachelor's thesis |
ISPS | doc. RNDr. Pavel Parízek, Ph.D. |
hidden |
09.10.2006 |
16.10.2006 | Katedra softwarového inženýrství (32-KSI) |
MFF |
|
Software for centralized management of computer networks |
2006/2007 |
|
Bachelor's thesis |
ISPS | doc. RNDr. Pavel Parízek, Ph.D. |
hidden |
09.10.2006 |
16.10.2006 | Katedra softwarového inženýrství (32-KSI) |
MFF |
|
Performance and Usability Improvements for Data Lineage Analysis of C# Programs |
2022/2023 |
2023/2024 |
diploma thesis |
| doc. RNDr. Pavel Parízek, Ph.D. |
Mgr. Jan Kleprlík |
13.12.2022 |
13.12.2022 | Katedra distribuovaných a spolehlivých systémů (32-KDSS) |
MFF |
|
Unified architecture for database scanners in Manta Flow |
2023/2024 |
|
diploma thesis |
| doc. RNDr. Pavel Parízek, Ph.D. |
hidden |
23.10.2023 |
24.10.2023 | Katedra distribuovaných a spolehlivých systémů (32-KDSS) |
MFF |
|
Program Verification Using Finite Abstraction and Logics |
2012/2013 |
|
dissertation |
4I2 | doc. RNDr. Pavel Parízek, Ph.D. |
hidden |
15.04.2013 |
27.09.2013 | Katedra distribuovaných a spolehlivých systémů (32-KDSS) |
MFF |
|
Design and implementation of a language for code-golf challenge |
2015/2016 |
2015/2016 |
Bachelor's thesis |
IPSS | doc. RNDr. Pavel Parízek, Ph.D. |
hidden |
21.04.2016 |
12.05.2016 | Katedra distribuovaných a spolehlivých systémů (32-KDSS) |
MFF |
|
Precise and Efficient Incremental Update of Data Lineage Graph |
2020/2021 |
2021/2022 |
diploma thesis |
ISS | doc. RNDr. Pavel Parízek, Ph.D. |
Mgr. Josef Kumstýř |
26.02.2021 |
26.02.2021 | Katedra distribuovaných a spolehlivých systémů (32-KDSS) |
MFF |
|
Extending Data Lineage Analysis for Python with Runtime Types |
2022/2023 |
2023/2024 |
diploma thesis |
| doc. RNDr. Pavel Parízek, Ph.D. |
Mgr. Václav Luňák |
08.06.2023 |
14.06.2023 | Katedra distribuovaných a spolehlivých systémů (32-KDSS) |
MFF |
|
Using Java PathFinder for Construction of Abstractions of Java Programs |
2006/2007 |
2008/2009 |
diploma thesis |
| doc. RNDr. Pavel Parízek, Ph.D. |
hidden |
03.10.2006 |
12.12.2006 | Katedra softwarového inženýrství (32-KSI) |
MFF |
|
Monitoring Tool for Distributed Java Applications |
2015/2016 |
2016/2017 |
diploma thesis |
ISS | doc. RNDr. Pavel Parízek, Ph.D. |
hidden |
04.02.2016 |
14.03.2016 | Katedra distribuovaných a spolehlivých systémů (32-KDSS) |
MFF |
|
Extending Data Lineage Analysis Platform with Support for Dependency Injection Frameworks |
2020/2021 |
2020/2021 |
diploma thesis |
ISDI | doc. RNDr. Pavel Parízek, Ph.D. |
hidden |
29.10.2020 |
29.10.2020 | Katedra distribuovaných a spolehlivých systémů (32-KDSS) |
MFF |
|
Soothsharp: A C#-to-Viper translator |
2016/2017 |
2016/2017 |
diploma thesis |
ISDI | doc. RNDr. Pavel Parízek, Ph.D. |
Mgr. Petr Hudeček |
12.10.2016 |
13.10.2016 | Katedra distribuovaných a spolehlivých systémů (32-KDSS) |
MFF |
|
Dynamic adaptive optimizations in JIT compiler for R |
2014/2015 |
|
diploma thesis |
| doc. RNDr. Pavel Parízek, Ph.D. |
hidden |
07.10.2014 |
22.10.2014 | Katedra distribuovaných a spolehlivých systémů (32-KDSS) |
MFF |
|
Extending Mainstream Programming Languages to Simplify Construction of Reliable Software Systems |
2017/2018 |
|
dissertation |
4I2 | doc. RNDr. Pavel Parízek, Ph.D. |
hidden |
19.04.2018 |
27.09.2018 | Katedra distribuovaných a spolehlivých systémů (32-KDSS) |
MFF |
|
Distributed hash table for BitTorrent client |
2006/2007 |
2006/2007 |
Bachelor's thesis |
IOI | doc. RNDr. Pavel Parízek, Ph.D. |
hidden |
10.11.2006 |
11.11.2006 | Katedra softwarového inženýrství (32-KSI) |
MFF |
Results 1-50 of 50 1 next
|
