Témata prací (Výběr práce)Témata prací (Výběr práce)(verze: 368)
Seznam prací
   Přihlásit přes CAS
Změnit třídění na kód - název
 
               
výsledků na stránku
seřadit sestupněseřadit vzestupněNázev práce seřadit sestupněseřadit vzestupněRok vypsání seřadit sestupněseřadit vzestupněRok obhájení Typ práce Obor práce seřadit sestupněseřadit vzestupněVedoucí / školitel seřadit sestupněseřadit vzestupněŘešitel seřadit sestupněseřadit vzestupněVypsáno Zadáno Ústav Fakulta
detail 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
detail 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
detail 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
detail 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
detail 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
detail 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
detail 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
detail 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
detail 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
detail 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
detail 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
detail 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
detail 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
detail 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
detail 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
detail 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
detail 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
detail 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
detail 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
detail 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
detail 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
detail 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
detail 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
detail 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
detail 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
detail 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
detail 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
detail 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
detail 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
detail 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
detail 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
detail 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
detail 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
detail 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
detail 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
detail 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
detail Š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
detail 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
detail 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
detail 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
detail 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
detail 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
detail 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
detail 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
detail 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
detail 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
detail 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
 
Univerzita Karlova | Informační systém UK