Thesis title | Year of announcement | Year of defence | Thesis type | Thesis discipline | Supervisor | Author | Announced | Assigned | Department | Faculty | |
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 | ||
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 | ||
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 | |
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 | |
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 | |||
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 | ||
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 | ||
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 | |
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 | ||
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 | |||
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 | |
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 | |
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 | |||
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 | |
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 | |
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 | |
Improving code quality based on static program analysis and synthesis | 2015/2016 | dissertation | 4I2 | 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 | ||
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 | |
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 | |
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 | |
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 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 | |
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 | |
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 | |||
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 | ||
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 | ||
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 | ||
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 | |
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 | |
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 | |
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 | |
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 | ||
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 | |
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 | |
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 | |
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 | |
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 | |
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 | |
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 | |
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 | |
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 | |
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 | ||
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 | ||
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 | |||
Debugging Large and Long-Running Applications Using Generated Tests | 2023/2024 | diploma thesis | 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 |
Results 1-47 of 47 1