Theses on a related topic (having the same keywords):

software verification, .net c#, benchmarking, benchexec, verifiercloud, asp.net core, distributed execution, docker, gitlab ci/cd

Keywords ordered alphabetically | Keywords ordered by occurrence rate

1.
Bartoš, Štefan
Faculty: Faculty of Informatics
Year: 2020, studies completed, degree conferred: Mgr.
Programme/field: Applied Informatics / Applied Informatics
Master's thesis defence: Web application for collection and visualization of sensor data | Theses on a related topic Display description

2.
Král, Adam
Faculty: Faculty of Informatics
Year: 2019, studies completed, degree conferred: Mgr.
Programme/field: Applied Informatics / Applied Informatics
Master's thesis defence: Generátor aplikačních rozhraní v Go | Theses on a related topic

3.
Ludvigh, Richard
Faculty: Faculty of Informatics
Year: 2015, studies completed, degree conferred: Bc.
Programme/field: Applied Informatics / Applied Informatics
Bachelor's thesis defence: Vývoj prostředí pro testování výkonu různých implementací Ruby | Theses on a related topic

4.
Molčány, Márius
Faculty: Faculty of Informatics
Year: 2020, studies completed, degree conferred: Bc.
Programme/field: Applied Informatics / Applied Informatics
Bachelor's thesis defence: Platforma pre správu zabudovaných zariadení | Theses on a related topic

5.
Andicsová, Patrícia
Faculty: Faculty of Informatics
Year: 2022, studies completed, degree conferred: Bc.
Programme/field: Applied Informatics / Applied Informatics
Bachelor's thesis defence: Webová aplikácia pre správu športovej súťaže | Theses on a related topic

6.
Ayaziová, Paulína
Faculty: Faculty of Informatics
Year: 2022, studies completed, degree conferred: Bc.
Programme/field: Informatics / Artificial Intelligence and Natural Language Processing
Bachelor's thesis defence: Klee-Based Error Witness Checker | Theses on a related topic

7.
Ayaziová, Paulína
Faculty: Faculty of Informatics
Year: 2024, studies under way
Programme/field: Theoretical computer science / Formal analysis of computer systems
Master's thesis defence: Validation of Violation Witnesses in Software Verification | Theses on a related topic

8.
Baláž, Dominik
Faculty: Faculty of Informatics
Year: 2024, studies under way
Programme/field: Software systems and services management / Services development management
Master's thesis defence: Design of 5G Laboratory | Theses on a related topic
Master's thesis defence: Design of 5G Laboratory | Theses on a related topic

9.
Bárnetová, Pavla
Faculty: Faculty of Arts
Year: 2012, studies completed, degree conferred: Bc.
Programme/field: Information and Library Studies / Information and Library Studies
Bachelor's thesis defence: Význam Benchmarkingovoho měření pro vybrané veřejné knihovny, zaměření na parametry související s poskytováním služeb | Theses on a related topic

10.
Bartoňková, Lucie
Faculty: Faculty of Informatics
Year: 2021, studies completed, degree conferred: Mgr.
Programme/field: Applied Informatics / Service Science, Management and Engineering
Master's thesis defence: Vizualizace městských dat | Theses on a related topic

11.
Benáček, Jiří
Faculty: Faculty of Economics and Administration
Year: 2015, studies completed, degree conferred: Bc.
Programme/field: Economic Policy and Administration / Public Economics and Administration
Bachelor's thesis defence: Řízení kvality ve veřejné správě - potenciál a meze (PŘÍPADOVÁ STUDIE) | Theses on a related topic
Bachelor's thesis defence: Řízení kvality ve veřejné správě - potenciál a meze (PŘÍPADOVÁ STUDIE) | Theses on a related topic

12.
Bielik, David Alexander
Faculty: Faculty of Informatics
Year: 2019, studies completed, degree conferred: Bc.
Programme/field: Applied Informatics / Applied Informatics
Bachelor's thesis defence: Design and implementation of an iOS notification system | Theses on a related topic

13.
Bőhm, Marek
Faculty: Faculty of Informatics
Year: 2019, studies completed, degree conferred: Mgr.
Programme/field: Applied Informatics / Service Science, Management and Engineering
Master's thesis defence: Recent Approaches to Web Service Implementation | Theses on a related topic
Master's thesis defence: Recent Approaches to Web Service Implementation | Theses on a related topic

14.
Bortsov, Vitalii
Faculty: Faculty of Informatics
Year: 2024, studies completed, degree conferred: Bc.
Programme/field: Informatics / Informatics
Bachelor's thesis defence: Portál práce | Theses on a related topic

15.
Borůvková, Anna
Faculty: Faculty of Social Studies
Year: 2018, studies completed, degree conferred: Mgr.
Programme/field: Social Policy and Social Work / Public Policy and Human Resources (combination/specialization: Personnel Management and Organizational Development)
Master's thesis defence: Návrh adaptačního procesu ve vybrané firmě | Theses on a related topic

16.
Brázda, Jan
Faculty: Faculty of Informatics
Year: 2023, studies completed, degree conferred: Bc.
Programme/field: Informatics / Informatics
Bachelor's thesis defence: Collection and Evaluation of Monitoring Data from the Kubernetes Environment | Theses on a related topic

17.
Brázdil, Petr
Faculty: Faculty of Informatics
Year: 2016, studies completed, degree conferred: Mgr.
Programme/field: Applied Informatics / Service Science, Management and Engineering
Master's thesis defence: Infrastruktura pro produkční prostředí služby SynergyKit | Theses on a related topic

18.
Brzobohatá, Zuzana
Faculty: Faculty of Economics and Administration
Year: 2011, studies completed, degree conferred: Bc.
Programme/field: Economy and Management / Management
Bachelor's thesis defence: Optimalizace organizační struktury | Theses on a related topic

19.
Bugoš, Filip
Faculty: Faculty of Informatics
Year: 2023, studies completed, degree conferred: Bc.
Programme/field: Informatics / Informatics
Bachelor's thesis defence: Module Manager for Complex Tax Software | Theses on a related topic

20.
Burdová, Radka
Faculty: Faculty of Economics and Administration
Year: 2014, studies completed, degree conferred: Ing.
Programme/field: Finance and Accounting / Finance
Master's thesis defence: Hodnocení výkonnosti podniku v textilním průmyslu | Theses on a related topic

21.
Burgr, Ladislav
Faculty: Faculty of Informatics
Year: 2023, studies completed, degree conferred: Bc.
Programme/field: Informatics / Informatics
Bachelor's thesis defence: Analýza open-source headless CMS a implementace řešení | Theses on a related topic

22.
Cisariková, Anna
Faculty: Faculty of Social Studies
Year: 2009, studies completed, degree conferred: Mgr.
Programme/field: International Territorial Studies / European Studies
Master's thesis defence: Vplyv europeizácie na politiku výskumu a vývoja v Českej republike | Theses on a related topic

23.
Čajkovský, Pavol
Faculty: Faculty of Informatics
Year: 2024, studies under way
Programme/field: Programming and development / Programming and development
Bachelor's thesis defence: System for planning and managing lessons within the dance club | Theses on a related topic

24.
Čecháček, Jakub
Faculty: Faculty of Informatics
Year: 2019, studies completed, degree conferred: Mgr.
Programme/field: Informatics / Information Systems
Master's thesis defence: Integrating Apiman gateway with OpenShift | Theses on a related topic
Master's thesis defence: Integrating Apiman gateway with OpenShift | Theses on a related topic

25.
Čermák, Andrej
Faculty: Faculty of Informatics
Year: 2021, studies completed, degree conferred: Bc.
Programme/field: Informatics / Mathematical Informatics
Bachelor's thesis defence: Lightweight portal for MetaCentrum Cloud | Theses on a related topic

26.
Čimbora, Matej
Faculty: Faculty of Informatics
Year: 2015, studies completed, degree conferred: Mgr.
Programme/field: Applied Informatics / Applied Informatics
Master's thesis defence: Usability improvements of OptaPlanner Benchmarker | Theses on a related topic

27.
Čižmár, Jan
Faculty: Faculty of Informatics
Year: 2020, studies completed, degree conferred: Mgr.
Programme/field: Applied Informatics / Service Science, Management and Engineering
Master's thesis defence: Interaktivní lokalizační framework pro vývoj aplikací v jazyku JavaScript | Theses on a related topic

28.
Dančák, Břetislav
Faculty: Faculty of Informatics
Year: 2022, studies completed, degree conferred: Bc.
Programme/field: Informatics / Computer Graphics and Image Processing
Bachelor's thesis defence: Mapová aplikace MUNI | Theses on a related topic

29.
Davídková, Martina
Faculty: Faculty of Economics and Administration
Year: 2013, studies completed, degree conferred: Ing.
Programme/field: Economy and Management / Business Management
Master's thesis defence: Finanční měření konkurenceschopnosti podniku | Theses on a related topic

30.
Dipčár, Matej
Faculty: Faculty of Informatics
Year: 2024, studies under way
Programme/field: Informatics / Informatics
Bachelor's thesis defence: Backend patient API for AICope project | Theses on a related topic

31.
Dobrovolná, Lenka
Faculty: Faculty of Economics and Administration
Year: 2016, studies completed, degree conferred: Bc.
Programme/field: Economy and Management / Business Management
Bachelor's thesis defence: Analýza konkurence | Theses on a related topic

32.
Doležalová, Michaela
Faculty: Faculty of Informatics
Year: 2022, studies completed, degree conferred: Bc.
Programme/field: Applied Informatics / Applied Informatics
Bachelor's thesis defence: Selected Security Aspects of Docker | Theses on a related topic

33.
Dopjera, Norbert
Faculty: Faculty of Informatics
Year: 2022, studies completed, degree conferred: Mgr.
Programme/field: Software systems and services management / Software Systems Development Management
Master's thesis defence: Implementácia TES API pre Galaxy Pulsar | Theses on a related topic

34.
Drobný, Adam
Faculty: Faculty of Informatics
Year: 2024, studies under way
Programme/field: Programming and development / Programming and development
Bachelor's thesis defence: Graphical client application of the CoPAS platform | Theses on a related topic

35.
Dufek, Jaroslav
Faculty: Faculty of Informatics
Year: 2017, studies completed, degree conferred: Mgr.
Programme/field: Applied Informatics / Service Science, Management and Engineering
Master's thesis defence: Monitorovací rozšíření pro platformu mikroslužeb SilverWare | Theses on a related topic

36.
Ďurčo, Marián
Faculty: Faculty of Informatics
Year: 2020, studies completed, degree conferred: Mgr.
Programme/field: Applied Informatics / Service Science, Management and Engineering
Master's thesis defence: Bezpečné uživatelsky jednoduché výpočty akcelerované na GPU v české akademické eInfrastruktuře | Theses on a related topic

37.
Elznic, Marek
Faculty: Faculty of Social Studies
Year: 2007, studies completed, degree conferred: Mgr.
Programme/field: Social Policy and Social Work / Social Policy and Social Work
Master's thesis defence: Public Management a reforma veřejných služeb zaměstnanosti | Theses on a related topic

38.
Fabo, Jakub
Faculty: Faculty of Informatics
Year: 2020, studies completed, degree conferred: Bc.
Programme/field: Applied Informatics / Applied Informatics
Bachelor's thesis defence: Impact of virtualization on benchmark accuracy | Theses on a related topic

39.
Fabo, Jakub
Faculty: Faculty of Informatics
Year: 2024, studies under way
Programme/field: Artificial intelligence and data processing / Big data
Master's thesis defence: Impact of Nested Virtualization to Benchmark Accuracy | Theses on a related topic

40.
Falešník, Tomáš
Faculty: Faculty of Informatics
Year: 2024, studies under way
Programme/field: Programming and development / Programming and development
Bachelor's thesis defence: Simplifying Technical Environment of Cybersecurity Hands-On Classes with Containers | Theses on a related topic

41.
Fedor, Jaroslav
Faculty: Faculty of Informatics
Year: 2017, studies completed, degree conferred: Bc.
Programme/field: Applied Informatics / Applied Informatics
Bachelor's thesis defence: Systém kontinuální integrace pro rychlý vývoj webových aplikací | Theses on a related topic

42.
Fedorko, Frederik
Faculty: Faculty of Informatics
Year: 2024, studies completed, degree conferred: Bc.
Programme/field: Informatics / Informatics
Bachelor's thesis defence: Automated component-based build of CoPAS modules | Theses on a related topic

43.
Fialová, Patrícia
Faculty: Faculty of Economics and Administration
Year: 2017, studies completed, degree conferred: Ing.
Programme/field: Economy and Management / Business Management
Master's thesis defence: Návrh systému sledování výkonnosti dodavatelského řetězce | Theses on a related topic

44.
Fridrich, Marek
Faculty: Faculty of Informatics
Year: 2019, studies completed, degree conferred: Bc.
Programme/field: Informatics / Computer Networks and Communication
Bachelor's thesis defence: Framework pre vyvíjanie systémov na udeľovanie dosiahnutých úspechov | Theses on a related topic

45.
Fryš, Jakub
Faculty: Faculty of Arts
Year: 2015, studies completed, degree conferred: Bc.
Programme/field: Information and Library Studies / Information and Library Studies
Bachelor's thesis defence: Analýza ročních výkazů českých akademických knihoven od roku 2001 | Theses on a related topic

46.
Frýželková, Šárka
Faculty: Faculty of Economics and Administration
Year: 2015, studies completed, degree conferred: Ing.
Programme/field: Economic Policy and Administration / Regional Development and Administration
Master's thesis defence: Analýza způsobu víceletého rozpočtování ve vybraných obcích | Theses on a related topic

47.
Fuková, Martina
Faculty: Faculty of Economics and Administration
Year: 2007, studies completed, degree conferred: Bc.
Programme/field: Economic Policy and Administration / Public Economics and Administration (combination/specialization: Public Economy and Administration_T)
Bachelor's thesis defence: Analýza nástrojů řízení a zvyšování kvality obce s rozšířenou působností (na příkladu obce v Jihočeském kraji) | Theses on a related topic

48.
Fuková, Martina
Faculty: Faculty of Economics and Administration
Year: 2010, studies completed, degree conferred: Ing.
Programme/field: Economic Policy and Administration / Public Economics and Administration (combination/specialization: Veřejná správa)
Master's thesis defence: Politika a cíle podpory jakosti ve veřejné správě v ČR a na Slovensku | Theses on a related topic

49.
Geržičák, Daniel
Faculty: Faculty of Informatics
Year: 2024, studies under way
Programme/field: Cybersecurity / Cybersecurity
Bachelor's thesis defence: Scalable Training Environment for Personalized Hands-On Cybersecurity Challenges | Theses on a related topic

50.
Gilyazova, Elmira
Faculty: Faculty of Economics and Administration
Year: 2014, studies completed, degree conferred: Ing.
Programme/field: Finance and Accounting / Finance
Master's thesis defence: Řízení finanční výkonnosti komerčních bank | Theses on a related topic