Název práce | Rok vypsání | Rok obhájení | Typ práce | Obor práce | Vedoucí / školitel | Řešitel | Vypsáno | Zadáno | Ústav | Fakulta | |
Data Lineage Analysis of Frameworks with Complex Interaction Patterns | 2019/2020 | 2019/2020 | diplomová práce | ISS | doc. RNDr. Pavel Parízek, Ph.D. | skrytý | 08.01.2020 | 08.01.2020 | Katedra distribuovaných a spolehlivých systémů (32-KDSS) | MFF | |
Data Lineage Analysis for Qlik Sense | 2019/2020 | 2019/2020 | bakalářská práce | ISDI | doc. RNDr. Pavel Parízek, Ph.D. | skrytý | 18.10.2019 | 31.10.2019 | Katedra distribuovaných a spolehlivých systémů (32-KDSS) | MFF | |
Dynamic Analysis Framework for C#/.NET Programs | 2018/2019 | 2019/2020 | diplomová práce | ISS | doc. RNDr. Pavel Parízek, Ph.D. | skrytý | 20.11.2018 | 05.12.2018 | 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 | diplomová práce | ISS | doc. RNDr. Pavel Parízek, Ph.D. | skrytý | 17.01.2018 | 30.01.2018 | Katedra distribuovaných a spolehlivých systémů (32-KDSS) | MFF | |
Extending Data Lineage Analysis Towards .NET Frameworks | 2019/2020 | 2020/2021 | diplomová práce | ISDI | doc. RNDr. Pavel Parízek, Ph.D. | skrytý | 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 | bakalářská práce | IPSS | doc. RNDr. Pavel Parízek, Ph.D. | skrytý | 07.09.2020 | 15.09.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 | diplomová práce | doc. RNDr. Pavel Parízek, Ph.D. | skrytý | 12.03.2020 | 12.03.2020 | Katedra distribuovaných a spolehlivých systémů (32-KDSS) | MFF | ||
Checking Compliance of Java Implementation with TBP Specification | 2008/2009 | 2009/2010 | diplomová práce | doc. RNDr. Pavel Parízek, Ph.D. | skrytý | 12.10.2008 | 06.05.2009 | Katedra softwarového inženýrství (32-KSI) | MFF | ||
Using Java PathFinder for Construction of Abstractions of Java Programs | 2006/2007 | 2008/2009 | diplomová práce | doc. RNDr. Pavel Parízek, Ph.D. | skrytý | 03.10.2006 | 12.12.2006 | Katedra softwarového inženýrství (32-KSI) | MFF | ||
Odstraňování chyb ve rozsáhlých a dlouho-běžících aplikacích s využitím generovaných testů | 2023/2024 | diplomová práce | doc. RNDr. Pavel Parízek, Ph.D. | skrytý | 07.11.2023 | 09.11.2023 | Katedra distribuovaných a spolehlivých systémů (32-KDSS) | MFF | |||
Sledování provozu v TCP/IP sítích | 2006/2007 | 2008/2009 | bakalářská práce | ISPS | doc. RNDr. Pavel Parízek, Ph.D. | skrytý | 09.10.2006 | 16.10.2006 | Katedra softwarového inženýrství (32-KSI) | MFF | |
Distribuovaná hašovací tabulka pro klienta protokolu BitTorrent | 2006/2007 | 2006/2007 | bakalářská práce | IOI | doc. RNDr. Pavel Parízek, Ph.D. | skrytý | 10.11.2006 | 11.11.2006 | Katedra softwarového inženýrství (32-KSI) | MFF | |
Software pro centralizovanou správu počítačových sítí | 2006/2007 | bakalářská práce | ISPS | doc. RNDr. Pavel Parízek, Ph.D. | skrytý | 09.10.2006 | 16.10.2006 | Katedra softwarového inženýrství (32-KSI) | MFF | ||
Zvyšování kvality kódu pomocí statické analýzy a syntézy programů | 2015/2016 | disertační práce | 4I2 | doc. RNDr. Pavel Parízek, Ph.D. | skrytý | 24.03.2016 | 03.10.2016 | Katedra distribuovaných a spolehlivých systémů (32-KDSS) | MFF | ||
Návrh a implementace jazyka pro code-golf challenge | 2015/2016 | 2015/2016 | bakalářská práce | IPSS | doc. RNDr. Pavel Parízek, Ph.D. | skrytý | 21.04.2016 | 12.05.2016 | Katedra distribuovaných a spolehlivých systémů (32-KDSS) | MFF | |
Dynamic Analysis for Finding Endianity Bugs | 2017/2018 | 2017/2018 | diplomová práce | ISS | doc. RNDr. Pavel Parízek, Ph.D. | skrytý | 28.11.2017 | 29.11.2017 | Katedra distribuovaných a spolehlivých systémů (32-KDSS) | MFF | |
Monitoring Tool for Distributed Java Applications | 2015/2016 | 2016/2017 | diplomová práce | ISS | doc. RNDr. Pavel Parízek, Ph.D. | skrytý | 04.02.2016 | 14.03.2016 | Katedra distribuovaných a spolehlivých systémů (32-KDSS) | MFF | |
Analyzing Data Lineage in Database Frameworks | 2018/2019 | 2018/2019 | diplomová práce | doc. RNDr. Pavel Parízek, Ph.D. | skrytý | 11.10.2018 | 25.10.2018 | Katedra distribuovaných a spolehlivých systémů (32-KDSS) | MFF | ||
Data Lineage Analysis Service for Embedded Code | 2021/2022 | 2022/2023 | diplomová práce | ISDP | doc. RNDr. Pavel Parízek, Ph.D. | skrytý | 12.01.2022 | 12.01.2022 | Katedra distribuovaných a spolehlivých systémů (32-KDSS) | MFF | |
Interactive Data Visualization Tool | 2006/2007 | 2007/2008 | bakalářská práce | IOI | doc. RNDr. Pavel Parízek, Ph.D. | skrytý | 17.10.2006 | 06.12.2007 | Katedra softwarového inženýrství (32-KSI) | MFF | |
Jednotná architektura pro skenery databází v Manta Flow | 2023/2024 | diplomová práce | doc. RNDr. Pavel Parízek, Ph.D. | skrytý | 23.10.2023 | 24.10.2023 | Katedra distribuovaných a spolehlivých systémů (32-KDSS) | MFF | |||
Soothsharp: A C#-to-Viper translator | 2016/2017 | 2016/2017 | diplomová práce | 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 | |
Automatická detekcia zraniteľností vo webových aplikáciach | 2008/2009 | 2008/2009 | bakalářská práce | ISPS | doc. RNDr. Pavel Parízek, Ph.D. | skrytý | 20.10.2008 | 20.10.2008 | Katedra softwarového inženýrství (32-KSI) | MFF | |
String Analysis for Code Contracts | 2014/2015 | 2015/2016 | diplomová práce | ISS | doc. RNDr. Pavel Parízek, Ph.D. | skrytý | 16.02.2015 | 16.02.2015 | Katedra distribuovaných a spolehlivých systémů (32-KDSS) | MFF | |
Dynamic adaptive optimizations in JIT compiler for R | 2014/2015 | diplomová práce | doc. RNDr. Pavel Parízek, Ph.D. | skrytý | 07.10.2014 | 22.10.2014 | 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 | diplomová práce | ISDI | doc. RNDr. Pavel Parízek, Ph.D. | skrytý | 30.10.2019 | 02.11.2019 | 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 | diplomová práce | ISDI | doc. RNDr. Pavel Parízek, Ph.D. | skrytý | 29.10.2020 | 29.10.2020 | Katedra distribuovaných a spolehlivých systémů (32-KDSS) | MFF | |
Data Lineage Analysis for PySpark and Python ORM Libraries | 2021/2022 | 2022/2023 | diplomová práce | ISDP | doc. RNDr. Pavel Parízek, Ph.D. | skrytý | 09.05.2022 | 09.05.2022 | Katedra distribuovaných a spolehlivých systémů (32-KDSS) | MFF | |
Extracting Information from Database Modeling Tools | 2018/2019 | 2018/2019 | bakalářská práce | doc. RNDr. Pavel Parízek, Ph.D. | skrytý | 28.10.2018 | 31.10.2018 | Katedra distribuovaných a spolehlivých systémů (32-KDSS) | MFF | ||
Systém pro správu docházky s evidencí osob a činností | 2007/2008 | bakalářská práce | ISPS | doc. RNDr. Pavel Parízek, Ph.D. | skrytý | 29.10.2007 | 12.11.2007 | Katedra softwarového inženýrství (32-KSI) | MFF | ||
Monitoring Support for Manta Flow Agent in Cloud-Based Architecture | 2021/2022 | 2021/2022 | diplomová práce | 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 | |
Frege IDE with JetBrains MPS | 2015/2016 | 2017/2018 | diplomová práce | ISDI | doc. RNDr. Pavel Parízek, Ph.D. | skrytý | 17.05.2016 | 01.06.2016 | Katedra distribuovaných a spolehlivých systémů (32-KDSS) | MFF | |
Grammar to JetBrains MPS Convertor | 2015/2016 | 2015/2016 | diplomová práce | ISS | doc. RNDr. Pavel Parízek, Ph.D. | skrytý | 12.04.2016 | 12.04.2016 | Katedra distribuovaných a spolehlivých systémů (32-KDSS) | MFF | |
Verification Runtime for SOFA | 2007/2008 | diplomová práce | doc. RNDr. Pavel Parízek, Ph.D. | skrytý | 20.09.2007 | 01.11.2007 | Katedra softwarového inženýrství (32-KSI) | MFF | |||
Preprocesor Java bytecode pro verifikační nástroje | 2014/2015 | 2015/2016 | diplomová práce | ISS | doc. RNDr. Pavel Parízek, Ph.D. | skrytý | 27.04.2015 | 11.06.2015 | Katedra distribuovaných a spolehlivých systémů (32-KDSS) | MFF | |
Program Verification Using Finite Abstraction and Logics | 2012/2013 | disertační práce | 4I2 | doc. RNDr. Pavel Parízek, Ph.D. | skrytý | 15.04.2013 | 27.09.2013 | Katedra distribuovaných a spolehlivých systémů (32-KDSS) | MFF | ||
Škálovatelná a přesná analýza původu dat ve složitých softwarových systémech | 2021/2022 | disertační práce | 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 | diplomová práce | 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 | |
Rozšíření běžných programovacích jazyků pro zjednodušení vývoje spolehlivých softwarových systémů | 2017/2018 | disertační práce | 4I2 | doc. RNDr. Pavel Parízek, Ph.D. | skrytý | 19.04.2018 | 27.09.2018 | 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 | diplomová práce | ISS | doc. RNDr. Pavel Parízek, Ph.D. | skrytý | 29.08.2014 | 01.09.2014 | Katedra distribuovaných a spolehlivých systémů (32-KDSS) | MFF | |
Querying NoSQL databases in MPS | 2012/2013 | diplomová práce | doc. RNDr. Pavel Parízek, Ph.D. | skrytý | 13.06.2013 | 13.06.2013 | Katedra distribuovaných a spolehlivých systémů (32-KDSS) | MFF | |||
Precise and Efficient Incremental Update of Data Lineage Graph | 2020/2021 | 2021/2022 | diplomová práce | 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 | |
Debugging Support for Static Analysis Library WALA | 2019/2020 | 2020/2021 | diplomová práce | 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 for Python with Runtime Types | 2022/2023 | 2023/2024 | diplomová práce | 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 | ||
Data Lineage Analysis for Databricks platform | 2022/2023 | 2022/2023 | diplomová práce | ISDP | doc. RNDr. Pavel Parízek, Ph.D. | skrytý | 20.10.2022 | 21.10.2022 | Katedra distribuovaných a spolehlivých systémů (32-KDSS) | MFF | |
Fuzz testing of network subsystem in PikeOS | 2022/2023 | 2023/2024 | bakalářská práce | IPP2 | doc. RNDr. Pavel Parízek, Ph.D. | skrytý | 19.09.2022 | 19.09.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 | diplomová práce | 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 |
Výsledky 1-47 z 47 1