Thesis (Selection of subject)Thesis (Selection of subject)(version: 356)
List of assignments
   Login via CAS
--:--
 
 List of assignments
 
 
 
 
Change order to code - title
 
               
results per page
sort in descending ordersort in ascending orderTitle sort in descending ordersort in ascending orderYear of announcement sort in descending ordersort in ascending orderYear of defence Type of assignment Specialization sort in descending ordersort in ascending orderSupervisor sort in descending ordersort in ascending orderAuthor sort in descending ordersort in ascending orderAnnounced Assigned Department Faculty
detail 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
detail 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
detail Data Lineage Analysis Service for Embedded Code 2021/2022 diploma thesis 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
detail 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
detail 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
detail 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
detail Data Lineage Analysis for Databricks platform 2022/2023 diploma thesis 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
detail Fuzz testing of network subsystem in PikeOS 2022/2023 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
detail 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
detail 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
detail 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
detail 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
detail 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
detail 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
detail 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
detail 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
detail 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
detail 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
detail 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
detail 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
detail 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
detail 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
detail 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
detail 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
detail 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
detail 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
detail 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
detail 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
detail 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
detail Performance and Usability Improvements for Data Lineage Analysis of C# Programs 2022/2023 diploma thesis doc. RNDr. Pavel Parízek, Ph.D. Bc. Jan Kleprlík 13.12.2022 13.12.2022 Katedra distribuovaných a spolehlivých systémů (32-KDSS) MFF
detail 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
detail 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
detail Data Lineage Analysis for PySpark and Python ORM Libraries 2021/2022 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
detail 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
detail 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
detail 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
detail 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
detail 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
detail 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
detail 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
detail 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
detail 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
detail 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
detail 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
Results 1-44 of 44 1
 
Charles University | Information system of Charles University | http://www.cuni.cz/UKEN-329.html