|
  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 |
 |
Benchi: Měření výkonnosti CHC řešiče |
2025/2026 |
|
bakalářská práce |
IPP3 | doc. RNDr. Jan Kofroň, Ph.D. |
skrytý |
26.11.2025 |
27.11.2025 | Katedra distribuovaných a spolehlivých systémů (32-KDSS) |
MFF |
|
Podpora jazyku Promela v moderním IDE |
2025/2026 |
|
bakalářská práce |
IPP3 | doc. RNDr. Jan Kofroň, Ph.D. |
skrytý |
19.11.2025 |
24.11.2025 | Katedra distribuovaných a spolehlivých systémů (32-KDSS) |
MFF |
|
Techniky pro ověřování ekvivalence překladačových optimalizací |
2025/2026 |
|
bakalářská práce |
IPA, IPP | doc. RNDr. Jan Kofroň, Ph.D. |
|
18.09.2025 |
Ne | Katedra distribuovaných a spolehlivých systémů (32-KDSS) |
MFF |
|
Podpora práce s pamětí (heap) v nástroji Hornix |
2025/2026 |
|
diplomová práce |
ISWSP, ISWSPA | doc. RNDr. Jan Kofroň, Ph.D. |
|
18.09.2025 |
Ne | Katedra distribuovaných a spolehlivých systémů (32-KDSS) |
MFF |
|
Generování důkazů nesplnitelnosti v SMT řešiči Yaga |
2024/2025 |
|
bakalářská práce |
IPP | doc. RNDr. Jan Kofroň, Ph.D. |
skrytý |
05.08.2025 |
06.08.2025 | Katedra distribuovaných a spolehlivých systémů (32-KDSS) |
MFF |
|
Sběr a vizualizace dat pro Yaga SMT řešič |
2024/2025 |
2024/2025 |
bakalářská práce |
IPP2 | doc. RNDr. Jan Kofroň, Ph.D. |
skrytý |
26.05.2025 |
27.05.2025 | Katedra distribuovaných a spolehlivých systémů (32-KDSS) |
MFF |
|
NextNonce: Cryptocurrency monitor |
2025/2026 |
2024/2025 |
bakalářská práce |
IPP2 | doc. RNDr. Jan Kofroň, Ph.D. |
Bc. Oleksandr Yuriichuk |
19.05.2025 |
27.05.2025 | Katedra distribuovaných a spolehlivých systémů (32-KDSS) |
MFF |
|
Interpolation Support for Yaga SMT Solver |
2024/2025 |
2025/2026 |
diplomová práce |
ISDP | doc. RNDr. Jan Kofroň, Ph.D. |
skrytý |
17.04.2025 |
22.04.2025 | Katedra distribuovaných a spolehlivých systémů (32-KDSS) |
MFF |
|
StreetConquer – vizualizácia navšívených ulíc |
2024/2025 |
2024/2025 |
bakalářská práce |
IPP | doc. RNDr. Jan Kofroň, Ph.D. |
Bc. Adela Glavová |
15.04.2025 |
17.04.2025 | Katedra distribuovaných a spolehlivých systémů (32-KDSS) |
MFF |
|
Processing e-Resources Usage Data using LLM Agents |
2024/2025 |
2024/2025 |
diplomová práce |
ISDP | doc. RNDr. Jan Kofroň, Ph.D. |
skrytý |
28.03.2025 |
02.04.2025 | Katedra distribuovaných a spolehlivých systémů (32-KDSS) |
MFF |
|
Integrovaný vyhledávač spojení v regionální dopravě |
2024/2025 |
2024/2025 |
bakalářská práce |
IPP | doc. RNDr. Jan Kofroň, Ph.D. |
skrytý |
27.09.2024 |
10.10.2024 | Katedra distribuovaných a spolehlivých systémů (32-KDSS) |
MFF |
|
Průvodce a gamifikace pro Uneeqly |
2024/2025 |
|
bakalářská práce |
IPP | doc. RNDr. Jan Kofroň, Ph.D. |
Dmitrii Egorov |
25.09.2024 |
27.09.2024 | Katedra distribuovaných a spolehlivých systémů (32-KDSS) |
MFF |
|
Support for Uninterpreted Functions in Yaga SMT Solver |
2023/2024 |
2023/2024 |
bakalářská práce |
IPP3 | doc. RNDr. Jan Kofroň, Ph.D. |
Bc. Milan Malačka |
02.04.2024 |
09.04.2024 | Katedra distribuovaných a spolehlivých systémů (32-KDSS) |
MFF |
|
Verification of LLVM bit-code via a system of Constrained Horn Clauses |
2023/2024 |
2024/2025 |
diplomová práce |
ISWSP | doc. RNDr. Jan Kofroň, Ph.D. |
skrytý |
02.04.2024 |
15.04.2024 | Katedra distribuovaných a spolehlivých systémů (32-KDSS) |
MFF |
|
IncomeMate |
2023/2024 |
2023/2024 |
bakalářská práce |
IPP | doc. RNDr. Jan Kofroň, Ph.D. |
skrytý |
04.03.2024 |
05.03.2024 | Katedra distribuovaných a spolehlivých systémů (32-KDSS) |
MFF |
|
The PD-KIND algorithm in the Golem CHC solver |
2023/2024 |
2024/2025 |
bakalářská práce |
I | doc. RNDr. Jan Kofroň, Ph.D. |
skrytý |
06.02.2024 |
11.03.2024 | Katedra distribuovaných a spolehlivých systémů (32-KDSS) |
MFF |
|
Loop Analysis for LLVM IR Translation Validation Framework |
2022/2023 |
2023/2024 |
bakalářská práce |
IPP1 | doc. RNDr. Jan Kofroň, Ph.D. |
skrytý |
17.03.2023 |
24.03.2023 | Katedra distribuovaných a spolehlivých systémů (32-KDSS) |
MFF |
|
Statická analýza NumPy programů |
2022/2023 |
2022/2023 |
bakalářská práce |
IPP3 | doc. RNDr. Jan Kofroň, Ph.D. |
skrytý |
16.03.2023 |
24.03.2023 | Katedra distribuovaných a spolehlivých systémů (32-KDSS) |
MFF |
|
Vizualizácia výsledkov SMT riešičov |
2022/2023 |
2022/2023 |
bakalářská práce |
IPP | doc. RNDr. Jan Kofroň, Ph.D. |
skrytý |
07.02.2023 |
09.02.2023 | Katedra distribuovaných a spolehlivých systémů (32-KDSS) |
MFF |
|
Predikce délky trvání datového profilování |
2022/2023 |
2023/2024 |
bakalářská práce |
IPP2 | doc. RNDr. Jan Kofroň, Ph.D. |
skrytý |
05.01.2023 |
05.01.2023 | Katedra distribuovaných a spolehlivých systémů (32-KDSS) |
MFF |
|
Správca športových súťaží |
2021/2022 |
2021/2022 |
bakalářská práce |
IPP | doc. RNDr. Jan Kofroň, Ph.D. |
Mgr. Ricardo Bolemant |
21.02.2022 |
22.02.2022 | Katedra distribuovaných a spolehlivých systémů (32-KDSS) |
MFF |
|
Systém pre rezerváciu chát |
2021/2022 |
2021/2022 |
diplomová práce |
ISDI | doc. RNDr. Jan Kofroň, Ph.D. |
skrytý |
29.10.2021 |
02.11.2021 | Katedra distribuovaných a spolehlivých systémů (32-KDSS) |
MFF |
|
Mobilná aplikácia pre rodiny |
2021/2022 |
2021/2022 |
bakalářská práce |
IOI | doc. RNDr. Jan Kofroň, Ph.D. |
Bc. Tomáš Kuraňko |
27.10.2021 |
01.11.2021 | Katedra distribuovaných a spolehlivých systémů (32-KDSS) |
MFF |
|
REST API pro SAP Business One a jeho využití v praxi |
2020/2021 |
2020/2021 |
bakalářská práce |
ISDI | doc. RNDr. Jan Kofroň, Ph.D. |
skrytý |
29.10.2020 |
29.10.2020 | Katedra distribuovaných a spolehlivých systémů (32-KDSS) |
MFF |
|
Nákupní mapa |
2020/2021 |
2022/2023 |
bakalářská práce |
ISDI | doc. RNDr. Jan Kofroň, Ph.D. |
skrytý |
19.10.2020 |
19.10.2020 | Katedra distribuovaných a spolehlivých systémů (32-KDSS) |
MFF |
|
Aplikace pro správu výukových kurzů |
2020/2021 |
2020/2021 |
bakalářská práce |
ISDI | doc. RNDr. Jan Kofroň, Ph.D. |
skrytý |
02.10.2020 |
07.10.2020 | Katedra distribuovaných a spolehlivých systémů (32-KDSS) |
MFF |
|
STP řešič pro OpenSMT |
2019/2020 |
2019/2020 |
bakalářská práce |
IOI | doc. RNDr. Jan Kofroň, Ph.D. |
skrytý |
14.04.2020 |
23.04.2020 | Katedra distribuovaných a spolehlivých systémů (32-KDSS) |
MFF |
|
Využití strojového učení pro predikci výsledku tenisového utkání v jeho průběhu |
2019/2020 |
2019/2020 |
bakalářská práce |
IOI | doc. RNDr. Jan Kofroň, Ph.D. |
skrytý |
09.04.2020 |
10.04.2020 | Katedra distribuovaných a spolehlivých systémů (32-KDSS) |
MFF |
|
DiaSynth - Syntezátor audia pomocí diagramů, přehrávač a analyzátor |
2019/2020 |
2020/2021 |
bakalářská práce |
I | doc. RNDr. Jan Kofroň, Ph.D. |
skrytý |
05.02.2020 |
06.02.2020 | Katedra distribuovaných a spolehlivých systémů (32-KDSS) |
MFF |
|
Anomaly detection for stock market trading data |
2019/2020 |
2019/2020 |
bakalářská práce |
IOI | doc. RNDr. Jan Kofroň, Ph.D. |
skrytý |
21.10.2019 |
22.10.2019 | Katedra distribuovaných a spolehlivých systémů (32-KDSS) |
MFF |
|
Cube Fighter |
2018/2019 |
2018/2019 |
bakalářská práce |
IPSS | doc. RNDr. Jan Kofroň, Ph.D. |
skrytý |
09.05.2019 |
13.05.2019 | Katedra distribuovaných a spolehlivých systémů (32-KDSS) |
MFF |
|
Správa dát fariem |
2018/2019 |
2018/2019 |
bakalářská práce |
I | doc. RNDr. Jan Kofroň, Ph.D. |
skrytý |
24.04.2019 |
24.04.2019 | Katedra distribuovaných a spolehlivých systémů (32-KDSS) |
MFF |
|
Výuka programovania |
2018/2019 |
2018/2019 |
bakalářská práce |
| doc. RNDr. Jan Kofroň, Ph.D. |
skrytý |
31.10.2018 |
31.10.2018 | Katedra distribuovaných a spolehlivých systémů (32-KDSS) |
MFF |
|
Detekce a rozpoznání obličeje |
2018/2019 |
2018/2019 |
bakalářská práce |
ISDI | doc. RNDr. Jan Kofroň, Ph.D. |
skrytý |
25.10.2018 |
25.10.2018 | Katedra distribuovaných a spolehlivých systémů (32-KDSS) |
MFF |
|
Forced Alignment via Neural Networks |
2017/2018 |
2019/2020 |
diplomová práce |
IPGVPH | doc. RNDr. Jan Kofroň, Ph.D. |
skrytý |
12.04.2018 |
23.04.2018 | Katedra distribuovaných a spolehlivých systémů (32-KDSS) |
MFF |
|
Mobilná aplikácia na sledovanie pohybu vtákov |
2017/2018 |
|
diplomová práce |
ISDI | doc. RNDr. Jan Kofroň, Ph.D. |
skrytý |
05.01.2018 |
08.01.2018 | Katedra distribuovaných a spolehlivých systémů (32-KDSS) |
MFF |
|
Interaktivní hra na platformu Android |
2017/2018 |
2018/2019 |
bakalářská práce |
ISDI | doc. RNDr. Jan Kofroň, Ph.D. |
skrytý |
18.12.2017 |
20.12.2017 | Katedra distribuovaných a spolehlivých systémů (32-KDSS) |
MFF |
|
Analýza letových dat |
2017/2018 |
2017/2018 |
bakalářská práce |
IPSS | doc. RNDr. Jan Kofroň, Ph.D. |
skrytý |
11.12.2017 |
11.12.2017 | Katedra distribuovaných a spolehlivých systémů (32-KDSS) |
MFF |
|
Mobilní aplikace pro jídelny |
2016/2017 |
2017/2018 |
bakalářská práce |
IOI | doc. RNDr. Jan Kofroň, Ph.D. |
skrytý |
20.04.2017 |
20.04.2017 | Katedra distribuovaných a spolehlivých systémů (32-KDSS) |
MFF |
|
Anzora: Zotero klient pro Android |
2016/2017 |
2016/2017 |
diplomová práce |
ISS | doc. RNDr. Jan Kofroň, Ph.D. |
skrytý |
03.11.2016 |
03.11.2016 | Katedra distribuovaných a spolehlivých systémů (32-KDSS) |
MFF |
|
Ověřování asercí kódu pomocí zpětné symbolické exekuce |
2015/2016 |
2016/2017 |
diplomová práce |
ISDI | doc. RNDr. Jan Kofroň, Ph.D. |
skrytý |
09.06.2016 |
09.06.2016 | Katedra distribuovaných a spolehlivých systémů (32-KDSS) |
MFF |
|
Effective Automated Software Verification: A Multilayered Approach |
2016/2017 |
2022/2023 |
disertační práce |
P4I2 | doc. RNDr. Jan Kofroň, Ph.D. |
skrytý |
14.04.2016 |
03.10.2016 | Katedra distribuovaných a spolehlivých systémů (32-KDSS) |
MFF |
|
Analysis of Interface Automata with On-Demand Replication |
2015/2016 |
2015/2016 |
rigorózní práce |
ISS | doc. RNDr. Jan Kofroň, Ph.D. |
skrytý |
11.04.2016 |
11.04.2016 | Katedra softwarového inženýrství (32-KSI) |
MFF |
|
Methods for reduction of Craig's interpolant size using partial variable assignment |
2015/2016 |
2015/2016 |
diplomová práce |
ITI | doc. RNDr. Jan Kofroň, Ph.D. |
skrytý |
17.03.2016 |
24.03.2016 | Katedra distribuovaných a spolehlivých systémů (32-KDSS) |
MFF |
|
Rozvrhová aplikace pro Android |
2015/2016 |
2015/2016 |
bakalářská práce |
IOI | doc. RNDr. Jan Kofroň, Ph.D. |
skrytý |
29.01.2016 |
01.02.2016 | Katedra distribuovaných a spolehlivých systémů (32-KDSS) |
MFF |
|
Podpora fraktúr pre jbox2d engine |
2014/2015 |
2014/2015 |
bakalářská práce |
IP | doc. RNDr. Jan Kofroň, Ph.D. |
skrytý |
22.05.2015 |
22.05.2015 | Katedra distribuovaných a spolehlivých systémů (32-KDSS) |
MFF |
|
Výuková aplikace pro malé děti |
2014/2015 |
2014/2015 |
bakalářská práce |
IOI | doc. RNDr. Jan Kofroň, Ph.D. |
Mgr. Anikó Kuklisová |
20.04.2015 |
20.04.2015 | Katedra distribuovaných a spolehlivých systémů (32-KDSS) |
MFF |
|
Multiplatformní mobilní aplikace databázového systému Matylda |
2014/2015 |
2015/2016 |
diplomová práce |
ISS | doc. RNDr. Jan Kofroň, Ph.D. |
skrytý |
20.02.2015 |
20.02.2015 | Katedra distribuovaných a spolehlivých systémů (32-KDSS) |
MFF |
|
Employing runtime data in static analysis |
2014/2015 |
|
bakalářská práce |
I | doc. RNDr. Jan Kofroň, Ph.D. |
skrytý |
20.11.2014 |
21.11.2014 | Katedra distribuovaných a spolehlivých systémů (32-KDSS) |
MFF |
|
KarlFTP: FTP klient pre mobilné zariadenia so systémom Android |
2013/2014 |
2013/2014 |
bakalářská práce |
ISPS | doc. RNDr. Jan Kofroň, Ph.D. |
skrytý |
17.04.2014 |
17.04.2014 | Katedra distribuovaných a spolehlivých systémů (32-KDSS) |
MFF |
Výsledky 1-50 z 87 1 2 další
|
