Thesis (Selection of subject)Thesis (Selection of subject)(version: 285)
List of assignments
   Login via CAS
  
                  
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 Program Verification Using Finite Abstraction and Logics 2012/2013 dissertation 4I2 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 Methods for using natural language specifications in software components development 2013/2014 dissertation 4I2 doc. RNDr. Petr Hnětynka, Ph.D. hidden 24.04.2013 27.09.2013 Katedra distribuovaných a spolehlivých systémů (32-KDSS) MFF
detail Improving code quality based on static program analysis and synthesis 2015/2016 dissertation 4I2 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 Mobile application for monitoring bird movements 2017/2018 diploma thesis ISDI RNDr. Jan Kofroň, Ph.D. hidden 05.01.2018 08.01.2018 Katedra distribuovaných a spolehlivých systémů (32-KDSS) MFF
detail Component-based design of smart cyber-physical systems 2014/2015 dissertation 4I2 doc. RNDr. Tomáš Bureš, Ph.D. hidden 26.01.2015 26.01.2015 Katedra distribuovaných a spolehlivých systémů (32-KDSS) MFF
detail Modeling and analysis of smart cyber-physical systems 2014/2015 dissertation 4I2 doc. RNDr. Tomáš Bureš, Ph.D. hidden 26.01.2015 26.01.2015 Katedra distribuovaných a spolehlivých systémů (32-KDSS) MFF
detail Pneumatic Circuit Simulator 2015/2016 Bachelor's thesis Mgr. Pavel Ježek, Ph.D. hidden 29.06.2016 29.06.2016 Katedra distribuovaných a spolehlivých systémů (32-KDSS) MFF
detail Jerry - keyboard and mouse sharing application 2018/2019 Bachelor's thesis Mgr. Pavel Ježek, Ph.D. hidden 03.07.2019 04.07.2019 Katedra distribuovaných a spolehlivých systémů (32-KDSS) MFF
detail Symbolic methods in software verification 2016/2017 dissertation 4I2 RNDr. Jan Kofroň, Ph.D. hidden 14.04.2016 03.10.2016 Katedra distribuovaných a spolehlivých systémů (32-KDSS) MFF
detail Cross-platform WPF implementation 2017/2018 diploma thesis Mgr. Pavel Ježek, Ph.D. hidden 08.03.2018 08.03.2018 Katedra distribuovaných a spolehlivých systémů (32-KDSS) MFF
detail C++ Runtime for HelenOS 2017/2018 diploma thesis ISS Mgr. Martin Děcký, Ph.D. hidden 30.04.2018 01.05.2018 Katedra distribuovaných a spolehlivých systémů (32-KDSS) MFF
detail Employing runtime data in static analysis 2014/2015 Bachelor's thesis I RNDr. Jan Kofroň, Ph.D. hidden 20.11.2014 21.11.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 prof. Ing. Petr Tůma, Dr. hidden 19.04.2018 27.09.2018 Katedra distribuovaných a spolehlivých systémů (32-KDSS) MFF
detail Configurable Serialization Library for .NET 2015/2016 Bachelor's thesis Mgr. Pavel Ježek, Ph.D. Kateřina Zákravská 29.09.2016 29.09.2016 Katedra distribuovaných a spolehlivých systémů (32-KDSS) MFF
detail Cube Fighter 2018/2019 Bachelor's thesis I RNDr. Jan Kofroň, Ph.D. hidden 09.05.2019 13.05.2019 Katedra distribuovaných a spolehlivých systémů (32-KDSS) MFF
detail Templating system for email management and generation 2018/2019 Bachelor's thesis Mgr. Pavel Ježek, Ph.D. hidden 13.03.2019 16.05.2019 Katedra distribuovaných a spolehlivých systémů (32-KDSS) MFF
detail PaunPacker - Texture Atlas Generator 2018/2019 Bachelor's thesis Mgr. Pavel Ježek, Ph.D. hidden 05.11.2018 16.05.2019 Katedra distribuovaných a spolehlivých systémů (32-KDSS) MFF
detail Performance Awareness in Adaptive Software Systems 2012/2013 dissertation 4I2 prof. Ing. Petr Tůma, Dr. RNDr. JUDr. Antonín Steinhauser 20.04.2013 27.09.2013 Katedra distribuovaných a spolehlivých systémů (32-KDSS) MFF
detail Personal Transport Information System 2016/2017 Bachelor's thesis Mgr. Pavel Ježek, Ph.D. hidden 07.11.2016 07.11.2016 Katedra distribuovaných a spolehlivých systémů (32-KDSS) MFF
detail UrhoRTS - Platform for Real-time Strategy Game Creation 2017/2018 Bachelor's thesis Mgr. Pavel Ježek, Ph.D. hidden 29.06.2018 29.06.2018 Katedra distribuovaných a spolehlivých systémů (32-KDSS) MFF
detail Computing cloud with an emphasis on resilience 2015/2016 Bachelor's thesis IOI RNDr. JUDr. Antonín Steinhauser hidden 29.09.2015 29.09.2015 Katedra distribuovaných a spolehlivých systémů (32-KDSS) MFF
detail Force alignment via neural networks 2017/2018 diploma thesis I RNDr. Jan Kofroň, Ph.D. hidden 12.04.2018 23.04.2018 Katedra distribuovaných a spolehlivých systémů (32-KDSS) MFF
detail Verification and prediction of properties of service-oriented system 2012/2013 dissertation 4I2 doc. Ing. Lubomír Bulej, Ph.D. hidden 18.09.2012 26.09.2012 Katedra distribuovaných a spolehlivých systémů (32-KDSS) MFF
detail Analyzing Data Lineage in Database Frameworks 2018/2019 diploma thesis 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 Applying Multilayer Modeling and Verification to All-Optical Computer Networks 2013/2014 dissertation 4I2 RNDr. Jan Kofroň, Ph.D. hidden 30.04.2013 27.09.2013 Katedra distribuovaných a spolehlivých systémů (32-KDSS) MFF
detail Framework and DSL for Ensemble-Based Access Control 2018/2019 diploma thesis doc. RNDr. Tomáš Bureš, Ph.D. Bc. Jan Matějek 31.05.2019 31.05.2019 Katedra distribuovaných a spolehlivých systémů (32-KDSS) MFF
detail Face detection and recognition 2018/2019 Bachelor's thesis RNDr. Jan Kofroň, Ph.D. hidden 25.10.2018 25.10.2018 Katedra distribuovaných a spolehlivých systémů (32-KDSS) MFF
detail Software Performance Assessment in Distributed Software Development 2019/2020 dissertation P4I2 prof. Ing. Petr Tůma, Dr. hidden 20.04.2019 08.07.2019 Katedra distribuovaných a spolehlivých systémů (32-KDSS) MFF
detail Latency aware deployment in the edge-cloud environment 2018/2019 diploma thesis doc. RNDr. Petr Hnětynka, Ph.D. hidden 08.02.2019 11.02.2019 Katedra distribuovaných a spolehlivých systémů (32-KDSS) MFF
detail Dynamic Analysis Framework for C#/.NET Programs 2018/2019 diploma thesis 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 Real-Time Position Tracking System 2017/2018 Bachelor's thesis doc. RNDr. Petr Hnětynka, Ph.D. hidden 03.11.2017 09.11.2017 Katedra distribuovaných a spolehlivých systémů (32-KDSS) MFF
detail Performance assessment of cloud applications 2017/2018 diploma thesis doc. RNDr. Tomáš Bureš, Ph.D. hidden 31.03.2018 04.04.2018 Katedra distribuovaných a spolehlivých systémů (32-KDSS) MFF
detail Cloud-based JDEECo simulator 2014/2015 diploma thesis doc. RNDr. Tomáš Bureš, Ph.D. hidden 10.11.2014 10.11.2014 Katedra distribuovaných a spolehlivých systémů (32-KDSS) MFF
Results 1-33 of 33 1
 
Charles University | Information system of Charles University | http://www.cuni.cz/UKEN-329.html