Práce na příbuzné téma (mají shodná klíčová slova):
specifikacia funkcnych poziadaviek, divine, specifikacne vzory, overovanie modelu, linearna temporalna logika, disrespectKlíčová slova abecedně | Klíčová slova dle četnosti
1.
Baranová, Zuzana
Fakulta: Fakulta informatiky
Rok: 2020, studium úspěšně absolvováno, udělen titul: Mgr.
Program/obor Aplikovaná informatika / Aplikovaná informatika
Obhajoba diplomové práce: Compiling Applications for Analysis with DIVINE | Práce na příbuzné téma
Fakulta: Fakulta informatiky
Rok: 2020, studium úspěšně absolvováno, udělen titul: Mgr.
Program/obor Aplikovaná informatika / Aplikovaná informatika
Obhajoba diplomové práce: Compiling Applications for Analysis with DIVINE | Práce na příbuzné téma
2.
Bednářová, Hana
Fakulta: Fakulta sociálních studií
Rok: 2008, studium úspěšně absolvováno, udělen titul: Bc.
Program/obor Mediální a komunikační studia / Mediální studia a žurnalistika (kombinace/zaměření: Žurnalistika), Politologie
Obhajoba bakalářské práce: Návraty ke kořenům – série publicistických rozhovorů se slavnými rodáky Zlínského okresu | Práce na příbuzné téma
Fakulta: Fakulta sociálních studií
Rok: 2008, studium úspěšně absolvováno, udělen titul: Bc.
Program/obor Mediální a komunikační studia / Mediální studia a žurnalistika (kombinace/zaměření: Žurnalistika), Politologie
Obhajoba bakalářské práce: Návraty ke kořenům – série publicistických rozhovorů se slavnými rodáky Zlínského okresu | Práce na příbuzné téma
3.
Beneš, Nikola
Fakulta: Fakulta informatiky
Rok: 2005, studium úspěšně absolvováno, udělen titul: Bc.
Program/obor Informatika / Informatika
Obhajoba bakalářské práce: Modelování pro verifikační nástroj DiVinE
Fakulta: Fakulta informatiky
Rok: 2005, studium úspěšně absolvováno, udělen titul: Bc.
Program/obor Informatika / Informatika
Obhajoba bakalářské práce: Modelování pro verifikační nástroj DiVinE
4.
Beneš, Nikola
Fakulta: Fakulta informatiky
Rok: 2007, studium úspěšně absolvováno, udělen titul: Mgr.
Program/obor Informatika / Informatika
Obhajoba diplomové práce: Ověřování interaktivních vlastností komponentových systémů | Práce na příbuzné téma
Fakulta: Fakulta informatiky
Rok: 2007, studium úspěšně absolvováno, udělen titul: Mgr.
Program/obor Informatika / Informatika
Obhajoba diplomové práce: Ověřování interaktivních vlastností komponentových systémů | Práce na příbuzné téma
5.
Bezděk, Peter
Fakulta: Fakulta informatiky
Rok: 2005, studium úspěšně absolvováno, udělen titul: Bc.
Program/obor Informatika / Informatika
Obhajoba bakalářské práce: Modelování pro verifikační nástroj DiVinE
Fakulta: Fakulta informatiky
Rok: 2005, studium úspěšně absolvováno, udělen titul: Bc.
Program/obor Informatika / Informatika
Obhajoba bakalářské práce: Modelování pro verifikační nástroj DiVinE
6.
Bezděk, Peter
Fakulta: Fakulta informatiky
Rok: 2009, studium úspěšně absolvováno, udělen titul: Mgr.
Program/obor Informatika / Informatika
Obhajoba diplomové práce: LTL atraktory | Práce na příbuzné téma
Fakulta: Fakulta informatiky
Rok: 2009, studium úspěšně absolvováno, udělen titul: Mgr.
Program/obor Informatika / Informatika
Obhajoba diplomové práce: LTL atraktory | Práce na příbuzné téma
7.
Budáč, Jozef
Fakulta: Fakulta informatiky
Rok: 2007, studium úspěšně absolvováno, udělen titul: Bc.
Program/obor Aplikovaná informatika / Aplikovaná informatika
Obhajoba bakalářské práce: Implementace monitorovacího nástroje | Práce na příbuzné téma
Fakulta: Fakulta informatiky
Rok: 2007, studium úspěšně absolvováno, udělen titul: Bc.
Program/obor Aplikovaná informatika / Aplikovaná informatika
Obhajoba bakalářské práce: Implementace monitorovacího nástroje | Práce na příbuzné téma
8.
Burget, Rostislav
Fakulta: Fakulta informatiky
Rok: 2013, studium úspěšně absolvováno, udělen titul: Bc.
Program/obor Aplikovaná informatika / Aplikovaná informatika
Obhajoba bakalářské práce: Experimentální vyhodnocení robustnosti verifikačního nástroje DiVinE | Práce na příbuzné téma
Obhajoba bakalářské práce: Experimentální vyhodnocení robustnosti verifikačního nástroje DiVinE | Práce na příbuzné téma
Fakulta: Fakulta informatiky
Rok: 2013, studium úspěšně absolvováno, udělen titul: Bc.
Program/obor Aplikovaná informatika / Aplikovaná informatika
Obhajoba bakalářské práce: Experimentální vyhodnocení robustnosti verifikačního nástroje DiVinE | Práce na příbuzné téma
Obhajoba bakalářské práce: Experimentální vyhodnocení robustnosti verifikačního nástroje DiVinE | Práce na příbuzné téma
9.
Čermák, Jiří
Fakulta: Fakulta informatiky
Rok: 2010, studium úspěšně absolvováno, udělen titul: Bc.
Program/obor Informatika / Informatika
Obhajoba bakalářské práce: Porovnání modelovacích schopností verifikačních nástrojů | Práce na příbuzné téma
Fakulta: Fakulta informatiky
Rok: 2010, studium úspěšně absolvováno, udělen titul: Bc.
Program/obor Informatika / Informatika
Obhajoba bakalářské práce: Porovnání modelovacích schopností verifikačních nástrojů | Práce na příbuzné téma
10.
Forejt, Vojtěch
Fakulta: Fakulta informatiky
Rok: 2006, studium úspěšně absolvováno, udělen titul: Bc.
Program/obor Informatika / Informatika
Obhajoba bakalářské práce: Graficke rozhraní pro komunikaci s nástrojem DiVinE | Práce na příbuzné téma
Fakulta: Fakulta informatiky
Rok: 2006, studium úspěšně absolvováno, udělen titul: Bc.
Program/obor Informatika / Informatika
Obhajoba bakalářské práce: Graficke rozhraní pro komunikaci s nástrojem DiVinE | Práce na příbuzné téma
11.
Frnoch, Vojtěch
Fakulta: Fakulta informatiky
Rok: 2018, studium úspěšně absolvováno, udělen titul: Mgr.
Program/obor Aplikovaná informatika / Aplikovaná informatika
Obhajoba diplomové práce: Grafické rozhraní pro simulátor C++ programů | Práce na příbuzné téma
Fakulta: Fakulta informatiky
Rok: 2018, studium úspěšně absolvováno, udělen titul: Mgr.
Program/obor Aplikovaná informatika / Aplikovaná informatika
Obhajoba diplomové práce: Grafické rozhraní pro simulátor C++ programů | Práce na příbuzné téma
12.
Gajdoš, Andrej
Fakulta: Fakulta informatiky
Rok: 2013, studium úspěšně absolvováno, udělen titul: Bc.
Program/obor Aplikovaná informatika / Aplikovaná informatika
Obhajoba bakalářské práce: Testování grafických uživatelských rozhraní | Práce na příbuzné téma
Fakulta: Fakulta informatiky
Rok: 2013, studium úspěšně absolvováno, udělen titul: Bc.
Program/obor Aplikovaná informatika / Aplikovaná informatika
Obhajoba bakalářské práce: Testování grafických uživatelských rozhraní | Práce na příbuzné téma
13.
Gajdoš, Daniel
Fakulta: Fakulta informatiky
Rok: 2006, studium úspěšně absolvováno, udělen titul: Bc.
Program/obor Informatika / Informatika
Obhajoba bakalářské práce: PVM rozhraní pro DiVinE | Práce na příbuzné téma
Fakulta: Fakulta informatiky
Rok: 2006, studium úspěšně absolvováno, udělen titul: Bc.
Program/obor Informatika / Informatika
Obhajoba bakalářské práce: PVM rozhraní pro DiVinE | Práce na příbuzné téma
14.
Havel, Vojtěch
Fakulta: Fakulta informatiky
Rok: 2012, studium úspěšně absolvováno, udělen titul: Bc.
Program/obor Informatika / Paralelní a distribuované systémy
Obhajoba bakalářské práce: Relaxed Memory Models in DiVinE | Práce na příbuzné téma
Fakulta: Fakulta informatiky
Rok: 2012, studium úspěšně absolvováno, udělen titul: Bc.
Program/obor Informatika / Paralelní a distribuované systémy
Obhajoba bakalářské práce: Relaxed Memory Models in DiVinE | Práce na příbuzné téma
15.
Havel, Vojtěch
Fakulta: Fakulta informatiky
Rok: 2014, studium úspěšně absolvováno, udělen titul: Mgr.
Program/obor Informatika / Paralelní a distribuované systémy
Obhajoba diplomové práce: Generic Platform for Explicit-Symbolic Verification | Práce na příbuzné téma
Fakulta: Fakulta informatiky
Rok: 2014, studium úspěšně absolvováno, udělen titul: Mgr.
Program/obor Informatika / Paralelní a distribuované systémy
Obhajoba diplomové práce: Generic Platform for Explicit-Symbolic Verification | Práce na příbuzné téma
16.
Havlíček, Jan
Fakulta: Fakulta informatiky
Rok: 2013, studium úspěšně absolvováno, udělen titul: Mgr.
Program/obor Informatika / Paralelní a distribuované systémy
Obhajoba diplomové práce: Untimed LTL Model Checking of Timed Automata | Práce na příbuzné téma
Fakulta: Fakulta informatiky
Rok: 2013, studium úspěšně absolvováno, udělen titul: Mgr.
Program/obor Informatika / Paralelní a distribuované systémy
Obhajoba diplomové práce: Untimed LTL Model Checking of Timed Automata | Práce na příbuzné téma
17.
Janoušek, Tomáš
Fakulta: Fakulta informatiky
Rok: 2010, studium úspěšně absolvováno, udělen titul: Bc.
Program/obor Aplikovaná informatika / Aplikovaná informatika
Obhajoba bakalářské práce: Návrh modelovacího jazyka nástroje DiVinE | Práce na příbuzné téma
Fakulta: Fakulta informatiky
Rok: 2010, studium úspěšně absolvováno, udělen titul: Bc.
Program/obor Aplikovaná informatika / Aplikovaná informatika
Obhajoba bakalářské práce: Návrh modelovacího jazyka nástroje DiVinE | Práce na příbuzné téma
18.
Kadaši, Jakub
Fakulta: Fakulta informatiky
Rok: 2017, studium úspěšně absolvováno, udělen titul: Bc.
Program/obor Informatika / Počítačové systémy a zpracování dat
Obhajoba bakalářské práce: Verifikace paralelní hashovací tabulky z knihovny Folly | Práce na příbuzné téma
Fakulta: Fakulta informatiky
Rok: 2017, studium úspěšně absolvováno, udělen titul: Bc.
Program/obor Informatika / Počítačové systémy a zpracování dat
Obhajoba bakalářské práce: Verifikace paralelní hashovací tabulky z knihovny Folly | Práce na příbuzné téma
19.
Kejstová, Katarína
Fakulta: Fakulta informatiky
Rok: 2017, studium úspěšně absolvováno, udělen titul: Bc.
Program/obor Informatika / Paralelní a distribuované systémy
Obhajoba bakalářské práce: Virtual File System in DIVINE 4 | Práce na příbuzné téma
Fakulta: Fakulta informatiky
Rok: 2017, studium úspěšně absolvováno, udělen titul: Bc.
Program/obor Informatika / Paralelní a distribuované systémy
Obhajoba bakalářské práce: Virtual File System in DIVINE 4 | Práce na příbuzné téma
20.
Kejstová, Katarína
Fakulta: Fakulta informatiky
Rok: 2019, studium úspěšně absolvováno, udělen titul: Mgr.
Program/obor Informatika / Paralelní a distribuované systémy
Obhajoba diplomové práce: Model Checking with System Call Traces | Práce na příbuzné téma
Fakulta: Fakulta informatiky
Rok: 2019, studium úspěšně absolvováno, udělen titul: Mgr.
Program/obor Informatika / Paralelní a distribuované systémy
Obhajoba diplomové práce: Model Checking with System Call Traces | Práce na příbuzné téma
21.
Konicar, Robert
Fakulta: Fakulta informatiky
Rok: 2022, studium úspěšně absolvováno, udělen titul: Bc.
Program/obor Informatika / Matematická informatika
Obhajoba bakalářské práce: A Nondeterministic File System Model for DiOS | Práce na příbuzné téma
Fakulta: Fakulta informatiky
Rok: 2022, studium úspěšně absolvováno, udělen titul: Bc.
Program/obor Informatika / Matematická informatika
Obhajoba bakalářské práce: A Nondeterministic File System Model for DiOS | Práce na příbuzné téma
22.
Kratochvílová, Pavla
Fakulta: Fakulta informatiky
Rok: 2015, studium úspěšně absolvováno, udělen titul: Bc.
Program/obor Informatika / Matematická informatika
Obhajoba bakalářské práce: Modelování stateflow diagramů pro účely verifikace | Práce na příbuzné téma
Obhajoba bakalářské práce: Modelování stateflow diagramů pro účely verifikace | Práce na příbuzné téma
Fakulta: Fakulta informatiky
Rok: 2015, studium úspěšně absolvováno, udělen titul: Bc.
Program/obor Informatika / Matematická informatika
Obhajoba bakalářské práce: Modelování stateflow diagramů pro účely verifikace | Práce na příbuzné téma
Obhajoba bakalářské práce: Modelování stateflow diagramů pro účely verifikace | Práce na příbuzné téma
23.
Krčál, Jan
Fakulta: Fakulta informatiky
Rok: 2007, studium úspěšně absolvováno, udělen titul: Bc.
Program/obor Informatika / Informatika
Obhajoba bakalářské práce: Motifs in State Spaces | Práce na příbuzné téma
Fakulta: Fakulta informatiky
Rok: 2007, studium úspěšně absolvováno, udělen titul: Bc.
Program/obor Informatika / Informatika
Obhajoba bakalářské práce: Motifs in State Spaces | Práce na příbuzné téma
24.
Krchňák, Tomáš
Fakulta: Fakulta informatiky
Rok: 2023, studium úspěšně absolvováno, udělen titul: Bc.
Program/obor Aplikovaná informatika / Aplikovaná informatika
Obhajoba bakalářské práce: Proxying, recording and replaying syscalls in DiOS | Práce na příbuzné téma
Fakulta: Fakulta informatiky
Rok: 2023, studium úspěšně absolvováno, udělen titul: Bc.
Program/obor Aplikovaná informatika / Aplikovaná informatika
Obhajoba bakalářské práce: Proxying, recording and replaying syscalls in DiOS | Práce na příbuzné téma
25.
Kriho, Jan
Fakulta: Fakulta informatiky
Rok: 2011, studium úspěšně absolvováno, udělen titul: Bc.
Program/obor Informatika / Paralelní a distribuované systémy
Obhajoba bakalářské práce: Post-mortem analýza stavového prostoru | Práce na příbuzné téma
Fakulta: Fakulta informatiky
Rok: 2011, studium úspěšně absolvováno, udělen titul: Bc.
Program/obor Informatika / Paralelní a distribuované systémy
Obhajoba bakalářské práce: Post-mortem analýza stavového prostoru | Práce na příbuzné téma
26.
Kriho, Jan
Fakulta: Fakulta informatiky
Rok: 2014, studium úspěšně absolvováno, udělen titul: Mgr.
Program/obor Informatika / Paralelní a distribuované systémy
Obhajoba diplomové práce: Enhanced parser for DVE modelling language | Práce na příbuzné téma
Fakulta: Fakulta informatiky
Rok: 2014, studium úspěšně absolvováno, udělen titul: Mgr.
Program/obor Informatika / Paralelní a distribuované systémy
Obhajoba diplomové práce: Enhanced parser for DVE modelling language | Práce na příbuzné téma
27.
Křivánek, Milan
Fakulta: Fakulta informatiky
Rok: 2011, studium úspěšně absolvováno, udělen titul: Mgr.
Program/obor Informatika / Paralelní a distribuované systémy
Obhajoba diplomové práce: Verifikační nástroj pro komponentové systémy | Práce na příbuzné téma
Fakulta: Fakulta informatiky
Rok: 2011, studium úspěšně absolvováno, udělen titul: Mgr.
Program/obor Informatika / Paralelní a distribuované systémy
Obhajoba diplomové práce: Verifikační nástroj pro komponentové systémy | Práce na příbuzné téma
28.
Kučera, Tadeáš
Fakulta: Přírodovědecká fakulta
Rok: 2019, studium úspěšně absolvováno, udělen titul: Mgr.
Program/obor Matematika / Matematika s informatikou
Obhajoba diplomové práce: API pro monitorování chování programů v kontextu nástroje DIVINE | Práce na příbuzné téma
Fakulta: Přírodovědecká fakulta
Rok: 2019, studium úspěšně absolvováno, udělen titul: Mgr.
Program/obor Matematika / Matematika s informatikou
Obhajoba diplomové práce: API pro monitorování chování programů v kontextu nástroje DIVINE | Práce na příbuzné téma
29.
Kudrnáčová, Jitka
Fakulta: Fakulta informatiky
Rok: 2006, studium úspěšně absolvováno, udělen titul: Bc.
Program/obor Informatika / Informatika
Obhajoba bakalářské práce: Kešování stavů pod DiVinE | Práce na příbuzné téma
Fakulta: Fakulta informatiky
Rok: 2006, studium úspěšně absolvováno, udělen titul: Bc.
Program/obor Informatika / Informatika
Obhajoba bakalářské práce: Kešování stavů pod DiVinE | Práce na příbuzné téma
30.
Lamr, Tomáš
Fakulta: Fakulta informatiky
Rok: 2009, studium úspěšně absolvováno, udělen titul: Mgr.
Program/obor Aplikovaná informatika / Aplikovaná informatika
Obhajoba diplomové práce: Akcelerace procesu verifikace pomocí grafické karty | Práce na příbuzné téma
Fakulta: Fakulta informatiky
Rok: 2009, studium úspěšně absolvováno, udělen titul: Mgr.
Program/obor Aplikovaná informatika / Aplikovaná informatika
Obhajoba diplomové práce: Akcelerace procesu verifikace pomocí grafické karty | Práce na příbuzné téma
31.
Lapáček, Vladimír
Fakulta: Fakulta informatiky
Rok: 2005, studium úspěšně absolvováno, udělen titul: Mgr.
Program/obor Informatika / Informatika
Obhajoba diplomové práce: DiVinE - modul pro swapování stavů do sítě
Fakulta: Fakulta informatiky
Rok: 2005, studium úspěšně absolvováno, udělen titul: Mgr.
Program/obor Informatika / Informatika
Obhajoba diplomové práce: DiVinE - modul pro swapování stavů do sítě
32.
Láska, Ľuboš
Fakulta: Fakulta informatiky
Rok: 2010, studium úspěšně absolvováno, udělen titul: Bc.
Program/obor Aplikovaná informatika / Aplikovaná informatika
Obhajoba bakalářské práce: Modelování parametrizovaných systémů v jazyce DiVinE | Práce na příbuzné téma
Obhajoba bakalářské práce: Analýza a hodnocení webových stránek veřejné správy | Práce na příbuzné téma
Obhajoba bakalářské práce: Analýza a hodnocení webových stránek veřejné správy | Práce na příbuzné téma
Fakulta: Fakulta informatiky
Rok: 2010, studium úspěšně absolvováno, udělen titul: Bc.
Program/obor Aplikovaná informatika / Aplikovaná informatika
Obhajoba bakalářské práce: Modelování parametrizovaných systémů v jazyce DiVinE | Práce na příbuzné téma
Obhajoba bakalářské práce: Analýza a hodnocení webových stránek veřejné správy | Práce na příbuzné téma
Obhajoba bakalářské práce: Analýza a hodnocení webových stránek veřejné správy | Práce na příbuzné téma
33.
Lauko, Henrich
Fakulta: Fakulta informatiky
Rok: 2018, studium úspěšně absolvováno, udělen titul: Mgr.
Program/obor Informatika / Paralelní a distribuované systémy
Obhajoba diplomové práce: Symbolic Model Checking via Program Transformations | Práce na příbuzné téma
Fakulta: Fakulta informatiky
Rok: 2018, studium úspěšně absolvováno, udělen titul: Mgr.
Program/obor Informatika / Paralelní a distribuované systémy
Obhajoba diplomové práce: Symbolic Model Checking via Program Transformations | Práce na příbuzné téma
34.
Lauko, Henrich
Fakulta: Fakulta informatiky
Rok: 2020, studium úspěšně absolvováno, udělen titul: Mgr.
Program/obor Teoretická informatika / Teoretická informatika
Obhajoba diplomové práce: Abstractions via Program Transformations | Práce na příbuzné téma
Fakulta: Fakulta informatiky
Rok: 2020, studium úspěšně absolvováno, udělen titul: Mgr.
Program/obor Teoretická informatika / Teoretická informatika
Obhajoba diplomové práce: Abstractions via Program Transformations | Práce na příbuzné téma
35.
Lauko, Henrich
Fakulta: Fakulta informatiky
Rok: 2024, studium úspěšně absolvováno, udělen titul: Ph.D.
Program/obor Informatika / Technologie a metodologie počítačových systémů
Obhajoba disertační práce: Abstraction via Program Transformation | Práce na příbuzné téma
Fakulta: Fakulta informatiky
Rok: 2024, studium úspěšně absolvováno, udělen titul: Ph.D.
Program/obor Informatika / Technologie a metodologie počítačových systémů
Obhajoba disertační práce: Abstraction via Program Transformation | Práce na příbuzné téma
36.
Laurinčík, Tomáš
Fakulta: Fakulta informatiky
Rok: 2007, studium úspěšně absolvováno, udělen titul: Bc.
Program/obor Informatika / Informatika
Obhajoba bakalářské práce: Prevodník formulí lineárneho mu-kalkulu na Buchi automaty | Práce na příbuzné téma
Fakulta: Fakulta informatiky
Rok: 2007, studium úspěšně absolvováno, udělen titul: Bc.
Program/obor Informatika / Informatika
Obhajoba bakalářské práce: Prevodník formulí lineárneho mu-kalkulu na Buchi automaty | Práce na příbuzné téma
37.
Lenčo, Milan
Fakulta: Fakulta informatiky
Rok: 2015, studium úspěšně absolvováno, udělen titul: Mgr.
Program/obor Informatika / Paralelní a distribuované systémy
Obhajoba diplomové práce: Verification of Name Service Cache Daemon with DIVINE Model Checker | Práce na příbuzné téma
Fakulta: Fakulta informatiky
Rok: 2015, studium úspěšně absolvováno, udělen titul: Mgr.
Program/obor Informatika / Paralelní a distribuované systémy
Obhajoba diplomové práce: Verification of Name Service Cache Daemon with DIVINE Model Checker | Práce na příbuzné téma
38.
Matoušek, Adam
Fakulta: Fakulta informatiky
Rok: 2018, studium úspěšně absolvováno, udělen titul: Bc.
Program/obor Informatika / Počítačové systémy a zpracování dat
Obhajoba bakalářské práce: Metadata paměti programu v nástroji DIVINE | Práce na příbuzné téma
Fakulta: Fakulta informatiky
Rok: 2018, studium úspěšně absolvováno, udělen titul: Bc.
Program/obor Informatika / Počítačové systémy a zpracování dat
Obhajoba bakalářské práce: Metadata paměti programu v nástroji DIVINE | Práce na příbuzné téma
39.
Matúška, Peter
Fakulta: Fakulta informatiky
Rok: 2010, studium úspěšně absolvováno, udělen titul: Bc.
Program/obor Aplikovaná informatika / Aplikovaná informatika
Obhajoba bakalářské práce: Knihovna pro komprimované ukládání stavových prostorů na disk | Práce na příbuzné téma
Fakulta: Fakulta informatiky
Rok: 2010, studium úspěšně absolvováno, udělen titul: Bc.
Program/obor Aplikovaná informatika / Aplikovaná informatika
Obhajoba bakalářské práce: Knihovna pro komprimované ukládání stavových prostorů na disk | Práce na příbuzné téma
40.
Menšík, Petr
Fakulta: Fakulta informatiky
Rok: 2008, studium úspěšně absolvováno, udělen titul: Bc.
Program/obor Aplikovaná informatika / Aplikovaná informatika
Obhajoba bakalářské práce: Modelování pravděpodobnostních systémů v jazyce DiVinE | Práce na příbuzné téma
Fakulta: Fakulta informatiky
Rok: 2008, studium úspěšně absolvováno, udělen titul: Bc.
Program/obor Aplikovaná informatika / Aplikovaná informatika
Obhajoba bakalářské práce: Modelování pravděpodobnostních systémů v jazyce DiVinE | Práce na příbuzné téma
41.
Mičan, Pavel
Fakulta: Fakulta informatiky
Rok: 2014, studium neúspěšně ukončeno
Program/obor Aplikovaná informatika / Aplikovaná informatika
Obhajoba diplomové práce: Trading space for time in explicit-state model checking | Práce na příbuzné téma
Fakulta: Fakulta informatiky
Rok: 2014, studium neúspěšně ukončeno
Program/obor Aplikovaná informatika / Aplikovaná informatika
Obhajoba diplomové práce: Trading space for time in explicit-state model checking | Práce na příbuzné téma
42.
Moráček, Martin
Fakulta: Fakulta informatiky
Rok: 2010, studium úspěšně absolvováno, udělen titul: Bc.
Program/obor Informatika / Informatika
Obhajoba bakalářské práce: Simulátor pro modelovací jazyk nástroje DiVinE | Práce na příbuzné téma
Fakulta: Fakulta informatiky
Rok: 2010, studium úspěšně absolvováno, udělen titul: Bc.
Program/obor Informatika / Informatika
Obhajoba bakalářské práce: Simulátor pro modelovací jazyk nástroje DiVinE | Práce na příbuzné téma
43.
Novosad, Jiří
Fakulta: Fakulta informatiky
Rok: 2009, studium úspěšně absolvováno, udělen titul: Bc.
Program/obor Informatika / Informatika
Obhajoba bakalářské práce: Knihovna pro časově efektivní ukládání stavových prostorů na pevný disk | Práce na příbuzné téma
Fakulta: Fakulta informatiky
Rok: 2009, studium úspěšně absolvováno, udělen titul: Bc.
Program/obor Informatika / Informatika
Obhajoba bakalářské práce: Knihovna pro časově efektivní ukládání stavových prostorů na pevný disk | Práce na příbuzné téma
44.
Novosad, Jiří
Fakulta: Fakulta informatiky
Rok: 2012, studium úspěšně absolvováno, udělen titul: Mgr.
Program/obor Informatika / Paralelní a distribuované systémy
Obhajoba diplomové práce: Predicate Abstraction of DiVinE Models | Práce na příbuzné téma
Fakulta: Fakulta informatiky
Rok: 2012, studium úspěšně absolvováno, udělen titul: Mgr.
Program/obor Informatika / Paralelní a distribuované systémy
Obhajoba diplomové práce: Predicate Abstraction of DiVinE Models | Práce na příbuzné téma
45.
Písařová, Andrea
Fakulta: Pedagogická fakulta
Rok: 2013, studium úspěšně absolvováno, udělen titul: Bc.
Program/obor Specializace v pedagogice / Lektorství cizího jazyka - anglický jazyk
Obhajoba bakalářské práce: Men against Gods: Marlowe's Doctor Faustus | Práce na příbuzné téma
Fakulta: Pedagogická fakulta
Rok: 2013, studium úspěšně absolvováno, udělen titul: Bc.
Program/obor Specializace v pedagogice / Lektorství cizího jazyka - anglický jazyk
Obhajoba bakalářské práce: Men against Gods: Marlowe's Doctor Faustus | Práce na příbuzné téma
46.
Plášil, Roman
Fakulta: Fakulta informatiky
Rok: 2008, studium úspěšně absolvováno, udělen titul: Bc.
Program/obor Informatika / Informatika
Obhajoba bakalářské práce: Grafický editor parametrizovaných modelů pro DiVinE | Práce na příbuzné téma
Fakulta: Fakulta informatiky
Rok: 2008, studium úspěšně absolvováno, udělen titul: Bc.
Program/obor Informatika / Informatika
Obhajoba bakalářské práce: Grafický editor parametrizovaných modelů pro DiVinE | Práce na příbuzné téma
47.
Plášil, Roman
Fakulta: Fakulta informatiky
Rok: 2011, studium úspěšně absolvováno, udělen titul: Mgr.
Program/obor Informatika / Paralelní a distribuované systémy
Obhajoba diplomové práce: Vysvětlování protipříkladů v nástroji DiVinE | Práce na příbuzné téma
Fakulta: Fakulta informatiky
Rok: 2011, studium úspěšně absolvováno, udělen titul: Mgr.
Program/obor Informatika / Paralelní a distribuované systémy
Obhajoba diplomové práce: Vysvětlování protipříkladů v nástroji DiVinE | Práce na příbuzné téma
48.
Plotěný, Ondřej
Fakulta: Fakulta informatiky
Rok: 2008, studium neúspěšně ukončeno
Program/obor Aplikovaná informatika / Aplikovaná informatika
Obhajoba bakalářské práce: Vytvoření modelu výtahů se sběrným řízením | Práce na příbuzné téma
Fakulta: Fakulta informatiky
Rok: 2008, studium neúspěšně ukončeno
Program/obor Aplikovaná informatika / Aplikovaná informatika
Obhajoba bakalářské práce: Vytvoření modelu výtahů se sběrným řízením | Práce na příbuzné téma
49.
Plotěný, Ondřej
Fakulta: Fakulta informatiky
Rok: 2010, studium úspěšně absolvováno, udělen titul: Bc.
Program/obor Aplikovaná informatika / Aplikovaná informatika
Obhajoba bakalářské práce: Vytvoření modelu výtahů se sběrným řízením | Práce na příbuzné téma
Fakulta: Fakulta informatiky
Rok: 2010, studium úspěšně absolvováno, udělen titul: Bc.
Program/obor Aplikovaná informatika / Aplikovaná informatika
Obhajoba bakalářské práce: Vytvoření modelu výtahů se sběrným řízením | Práce na příbuzné téma
50.
Pšorn Zákopčanová, Kristína
Fakulta: Fakulta informatiky
Rok: 2015, studium úspěšně absolvováno, udělen titul: Bc.
Program/obor Aplikovaná informatika / Aplikovaná informatika
Obhajoba bakalářské práce: On Chaining Divine and Prism Model Checkers | Práce na příbuzné téma
Fakulta: Fakulta informatiky
Rok: 2015, studium úspěšně absolvováno, udělen titul: Bc.
Program/obor Aplikovaná informatika / Aplikovaná informatika
Obhajoba bakalářské práce: On Chaining Divine and Prism Model Checkers | Práce na příbuzné téma