Práce na příbuzné téma (mají shodná klíčová slova):
divine, predicate abstraction, dve, model checking, counterexample guided abstraction refinement, ltlKlíčová slova abecedně | Klíčová slova dle četnosti
101.
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
102.
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
103.
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
104.
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
105.
Ročkai, Petr
Fakulta: Fakulta informatiky
Rok: 2008, studium úspěšně absolvováno, udělen titul: Bc.
Program/obor Informatika / Informatika
Obhajoba bakalářské práce: Multi-Threaded Nested DFS | 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: Multi-Threaded Nested DFS | Práce na příbuzné téma
106.
Ročkai, Petr
Fakulta: Fakulta informatiky
Rok: 2010, studium úspěšně absolvováno, udělen titul: Mgr.
Program/obor Informatika / Paralelní a distribuované systémy
Obhajoba diplomové práce: Partial Order Reduction in Parallel Model Checking | Práce na příbuzné téma
Fakulta: Fakulta informatiky
Rok: 2010, studium úspěšně absolvováno, udělen titul: Mgr.
Program/obor Informatika / Paralelní a distribuované systémy
Obhajoba diplomové práce: Partial Order Reduction in Parallel Model Checking | Práce na příbuzné téma
107.
Ročkai, Petr
Fakulta: Fakulta informatiky
Rok: 2015, studium úspěšně absolvováno, udělen titul: Ph.D.
Program/obor Informatika (čtyřleté) / Počítačové systémy a technologie
Obhajoba disertační práce: Model Checking Software | Práce na příbuzné téma
Fakulta: Fakulta informatiky
Rok: 2015, studium úspěšně absolvováno, udělen titul: Ph.D.
Program/obor Informatika (čtyřleté) / Počítačové systémy a technologie
Obhajoba disertační práce: Model Checking Software | Práce na příbuzné téma
108.
Ročkai, Petr
Fakulta: Fakulta informatiky
Rok: 2012, studium úspěšně absolvováno, udělen titul: RNDr.
Program/obor Informatika / Paralelní a distribuované systémy
Obhajoba rigorózní práce: Model Checking Software | Práce na příbuzné téma
Fakulta: Fakulta informatiky
Rok: 2012, studium úspěšně absolvováno, udělen titul: RNDr.
Program/obor Informatika / Paralelní a distribuované systémy
Obhajoba rigorózní práce: Model Checking Software | Práce na příbuzné téma
109.
Románek, Michal
Fakulta: Fakulta informatiky
Rok: 2019, studium úspěšně absolvováno, udělen titul: Mgr.
Program/obor Aplikovaná informatika / Aplikovaná informatika
Obhajoba diplomové práce: Translation of LTL to Semi-Deterministic Automata via Alternating Automata | Práce na příbuzné téma
Obhajoba diplomové práce: Translation of LTL to Semi-Deterministic Automata via Alternating Automata | Práce na příbuzné téma
Fakulta: Fakulta informatiky
Rok: 2019, studium úspěšně absolvováno, udělen titul: Mgr.
Program/obor Aplikovaná informatika / Aplikovaná informatika
Obhajoba diplomové práce: Translation of LTL to Semi-Deterministic Automata via Alternating Automata | Práce na příbuzné téma
Obhajoba diplomové práce: Translation of LTL to Semi-Deterministic Automata via Alternating Automata | Práce na příbuzné téma
110.
Rosecký, Václav
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: Kešování stavů při procházení stavových prostorů | 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: Kešování stavů při procházení stavových prostorů | Práce na příbuzné téma
111.
Rujbr, Vojtěch
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: Vliv specifikačních automatů na ověřování modelu | 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: Vliv specifikačních automatů na ověřování modelu | Práce na příbuzné téma
112.
Rujbr, Vojtěch
Fakulta: Fakulta informatiky
Rok: 2016, studium úspěšně absolvováno, udělen titul: Mgr.
Program/obor Aplikovaná informatika / Aplikovaná informatika
Obhajoba diplomové práce: Refined Büchi automata for faster model checking | Práce na příbuzné téma
Fakulta: Fakulta informatiky
Rok: 2016, studium úspěšně absolvováno, udělen titul: Mgr.
Program/obor Aplikovaná informatika / Aplikovaná informatika
Obhajoba diplomové práce: Refined Büchi automata for faster model checking | Práce na příbuzné téma
113.
Řehák, Vojtěch
Fakulta: Fakulta informatiky
Rok: 2007, studium úspěšně absolvováno, udělen titul: Ph.D.
Program/obor Informatika / Informatika
Obhajoba disertační práce: On Extensions of Process Rewrite Systems | Práce na příbuzné téma
Fakulta: Fakulta informatiky
Rok: 2007, studium úspěšně absolvováno, udělen titul: Ph.D.
Program/obor Informatika / Informatika
Obhajoba disertační práce: On Extensions of Process Rewrite Systems | Práce na příbuzné téma
114.
Řehák, Vojtěch
Fakulta: Fakulta informatiky
Rok: 2007, studium úspěšně absolvováno, udělen titul: RNDr.
Program/obor Informatika / Informatika
Obhajoba rigorózní práce: On Extensions of Process Rewrite Systems | Práce na příbuzné téma
Fakulta: Fakulta informatiky
Rok: 2007, studium úspěšně absolvováno, udělen titul: RNDr.
Program/obor Informatika / Informatika
Obhajoba rigorózní práce: On Extensions of Process Rewrite Systems | Práce na příbuzné téma
115.
Senko, Jakub
Fakulta: Fakulta informatiky
Rok: 2018, studium neúspěšně ukončeno
Program/obor Informatika / Počítačové systémy
Obhajoba diplomové práce: Formální návrh distribuované hašovací tabulky | Práce na příbuzné téma
Fakulta: Fakulta informatiky
Rok: 2018, studium neúspěšně ukončeno
Program/obor Informatika / Počítačové systémy
Obhajoba diplomové práce: Formální návrh distribuované hašovací tabulky | Práce na příbuzné téma
116.
Staňa, Tomáš
Fakulta: Fakulta informatiky
Rok: 2014, studium úspěšně absolvováno, udělen titul: Bc.
Program/obor Informatika / Matematická informatika
Obhajoba bakalářské práce: Runtime Verification of Linear Temporal Specifications with Degradation | Práce na příbuzné téma
Fakulta: Fakulta informatiky
Rok: 2014, studium úspěšně absolvováno, udělen titul: Bc.
Program/obor Informatika / Matematická informatika
Obhajoba bakalářské práce: Runtime Verification of Linear Temporal Specifications with Degradation | Práce na příbuzné téma
117.
Streck, Adam
Fakulta: Fakulta informatiky
Rok: 2011, studium úspěšně absolvováno, udělen titul: Bc.
Program/obor Informatika / Informatika
Obhajoba bakalářské práce: Estimace parametrů v diskrétních biologických modelech | Práce na příbuzné téma
Fakulta: Fakulta informatiky
Rok: 2011, studium úspěšně absolvováno, udělen titul: Bc.
Program/obor Informatika / Informatika
Obhajoba bakalářské práce: Estimace parametrů v diskrétních biologických modelech | Práce na příbuzné téma
118.
Streck, Adam
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: Efektivní identifikace parametrů genových regulačních sítí | 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: Efektivní identifikace parametrů genových regulačních sítí | Práce na příbuzné téma
119.
Strejček, Jan
Fakulta: Fakulta informatiky
Rok: 2007, studium úspěšně absolvováno, udělen titul: RNDr.
Program/obor Informatika / Informatika
Obhajoba rigorózní práce: Expressiveness and Model Checking of Temporal Logics | Práce na příbuzné téma
Fakulta: Fakulta informatiky
Rok: 2007, studium úspěšně absolvováno, udělen titul: RNDr.
Program/obor Informatika / Informatika
Obhajoba rigorózní práce: Expressiveness and Model Checking of Temporal Logics | Práce na příbuzné téma
120.
Suchomel, Vít
Fakulta: Fakulta informatiky
Rok: 2007, studium úspěšně absolvováno, udělen titul: Bc.
Program/obor Informatika / Informatika
Obhajoba bakalářské práce: Automatické testování nástroje DiVinE | 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: Automatické testování nástroje DiVinE | Práce na příbuzné téma
121.
Svoreňová, Mária
Fakulta: Fakulta informatiky
Rok: 2013, studium úspěšně absolvováno, udělen titul: RNDr.
Program/obor Informatika / Informatika
Obhajoba rigorózní práce: Formal Methods in Optimal Discrete Path Planning with Uncertainty | Práce na příbuzné téma
Fakulta: Fakulta informatiky
Rok: 2013, studium úspěšně absolvováno, udělen titul: RNDr.
Program/obor Informatika / Informatika
Obhajoba rigorózní práce: Formal Methods in Optimal Discrete Path Planning with Uncertainty | Práce na příbuzné téma
122.
Šárník, Jakub
Fakulta: Fakulta informatiky
Rok: 2022, studium úspěšně absolvováno, udělen titul: Bc.
Program/obor Aplikovaná informatika / Aplikovaná informatika
Obhajoba bakalářské práce: Automatická analýza neúplných programů | Práce na příbuzné téma
Fakulta: Fakulta informatiky
Rok: 2022, studium úspěšně absolvováno, udělen titul: Bc.
Program/obor Aplikovaná informatika / Aplikovaná informatika
Obhajoba bakalářské práce: Automatická analýza neúplných programů | Práce na příbuzné téma
123.
Šimša, Jiří
Fakulta: Fakulta informatiky
Rok: 2006, studium úspěšně absolvováno, udělen titul: Mgr.
Program/obor Informatika / Informatika
Obhajoba diplomové práce: Monitorování chování systémů | Práce na příbuzné téma
Fakulta: Fakulta informatiky
Rok: 2006, studium úspěšně absolvováno, udělen titul: Mgr.
Program/obor Informatika / Informatika
Obhajoba diplomové práce: Monitorování chování systémů | Práce na příbuzné téma
124.
Šmijáková, Eva
Fakulta: Fakulta informatiky
Rok: 2019, studium úspěšně absolvováno, udělen titul: Mgr.
Program/obor Aplikovaná informatika / Aplikovaná informatika
Obhajoba diplomové práce: Parallel Parameter Synthesis for Hybrid Systems | Práce na příbuzné téma
Fakulta: Fakulta informatiky
Rok: 2019, studium úspěšně absolvováno, udělen titul: Mgr.
Program/obor Aplikovaná informatika / Aplikovaná informatika
Obhajoba diplomové práce: Parallel Parameter Synthesis for Hybrid Systems | Práce na příbuzné téma
125.
Štefaňák, Filip
Fakulta: Fakulta informatiky
Rok: 2010, studium úspěšně absolvováno, udělen titul: Bc.
Program/obor Informatika / Informatika
Obhajoba bakalářské práce: Residue Component Synthesis for Handshake Composition | 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: Residue Component Synthesis for Handshake Composition | Práce na příbuzné téma
126.
Štill, Vladimír
Fakulta: Fakulta informatiky
Rok: 2020, studium úspěšně absolvováno, udělen titul: Ph.D.
Program/obor Informatika (čtyřleté) / Počítačové systémy a technologie
Obhajoba disertační práce: Analysis of Parallel C++ Programs | Práce na příbuzné téma
Fakulta: Fakulta informatiky
Rok: 2020, studium úspěšně absolvováno, udělen titul: Ph.D.
Program/obor Informatika (čtyřleté) / Počítačové systémy a technologie
Obhajoba disertační práce: Analysis of Parallel C++ Programs | Práce na příbuzné téma
127.
Štill, Vladimír
Fakulta: Fakulta informatiky
Rok: 2018, studium úspěšně absolvováno, udělen titul: RNDr.
Program/obor Informatika / Paralelní a distribuované systémy
Obhajoba rigorózní práce: Memory-Model-Aware Analysis of Parallel Programs | Práce na příbuzné téma
Fakulta: Fakulta informatiky
Rok: 2018, studium úspěšně absolvováno, udělen titul: RNDr.
Program/obor Informatika / Paralelní a distribuované systémy
Obhajoba rigorózní práce: Memory-Model-Aware Analysis of Parallel Programs | Práce na příbuzné téma
128.
Troják, Matej
Fakulta: Fakulta informatiky
Rok: 2020, studium úspěšně absolvováno, udělen titul: Mgr.
Program/obor Umělá inteligence a zpracování dat / Umělá inteligence a zpracování dat
Obhajoba diplomové práce: Formal Analysis of Rule-Based Models in Systems Biology | Práce na příbuzné téma
Fakulta: Fakulta informatiky
Rok: 2020, studium úspěšně absolvováno, udělen titul: Mgr.
Program/obor Umělá inteligence a zpracování dat / Umělá inteligence a zpracování dat
Obhajoba diplomové práce: Formal Analysis of Rule-Based Models in Systems Biology | Práce na příbuzné téma
129.
Tuček, Adam
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: Grafická reprezentace specifikačních vzorů pro temporální logiky | 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: Grafická reprezentace specifikačních vzorů pro temporální logiky | Práce na příbuzné téma
130.
Tuček, Adam
Fakulta: Fakulta informatiky
Rok: 2020, studium úspěšně absolvováno, udělen titul: Mgr.
Program/obor Informatika / Teoretická informatika
Obhajoba diplomové práce: Paritní hry | Práce na příbuzné téma
Obhajoba diplomové práce: Paritní hry | Práce na příbuzné téma
Fakulta: Fakulta informatiky
Rok: 2020, studium úspěšně absolvováno, udělen titul: Mgr.
Program/obor Informatika / Teoretická informatika
Obhajoba diplomové práce: Paritní hry | Práce na příbuzné téma
Obhajoba diplomové práce: Paritní hry | Práce na příbuzné téma
131.
Tůmová, Jana
Fakulta: Fakulta informatiky
Rok: 2009, studium úspěšně absolvováno, udělen titul: Mgr.
Program/obor Informatika / Informatika
Obhajoba diplomové práce: Verification of probabilistic systems against quantified linear properties | 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: Verification of probabilistic systems against quantified linear properties | Práce na příbuzné téma
132.
Tušil, Jan
Fakulta: Fakulta informatiky
Rok: 2015, studium úspěšně absolvováno, udělen titul: Bc.
Program/obor Informatika / Programovatelné technické struktury
Obhajoba bakalářské práce: Partial Order redukce pro LLVM | Práce na příbuzné téma
Fakulta: Fakulta informatiky
Rok: 2015, studium úspěšně absolvováno, udělen titul: Bc.
Program/obor Informatika / Programovatelné technické struktury
Obhajoba bakalářské práce: Partial Order redukce pro LLVM | Práce na příbuzné téma
133.
Vanický, Šimon
Fakulta: Fakulta informatiky
Rok: 2016, studium úspěšně absolvováno, udělen titul: Mgr.
Program/obor Informatika / Teoretická informatika
Obhajoba diplomové práce: Verifikace CTL vlastností v nástroji DiVinE | Práce na příbuzné téma
Obhajoba diplomové práce: Verifikace CTL vlastností v nástroji DiVinE | Práce na příbuzné téma
Obhajoba diplomové práce: Verifikace CTL vlastností v nástroji DiVinE | Práce na příbuzné téma
Fakulta: Fakulta informatiky
Rok: 2016, studium úspěšně absolvováno, udělen titul: Mgr.
Program/obor Informatika / Teoretická informatika
Obhajoba diplomové práce: Verifikace CTL vlastností v nástroji DiVinE | Práce na příbuzné téma
Obhajoba diplomové práce: Verifikace CTL vlastností v nástroji DiVinE | Práce na příbuzné téma
Obhajoba diplomové práce: Verifikace CTL vlastností v nástroji DiVinE | Práce na příbuzné téma
134.
Vejpustek, Tomáš
Fakulta: Fakulta informatiky
Rok: 2011, studium úspěšně absolvováno, udělen titul: Bc.
Program/obor Informatika / Matematická informatika
Obhajoba bakalářské práce: Visual Specification of Temporal Properties over Time Series | Práce na příbuzné téma
Fakulta: Fakulta informatiky
Rok: 2011, studium úspěšně absolvováno, udělen titul: Bc.
Program/obor Informatika / Matematická informatika
Obhajoba bakalářské práce: Visual Specification of Temporal Properties over Time Series | Práce na příbuzné téma
135.
Vozárová, Viktória
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: Craig's Interpolant in Model Checking Algorithms | 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: Craig's Interpolant in Model Checking Algorithms | Práce na příbuzné téma
136.
Weiser, Jiří
Fakulta: Fakulta informatiky
Rok: 2016, studium úspěšně absolvováno, udělen titul: Mgr.
Program/obor Aplikovaná informatika / Aplikovaná informatika
Obhajoba diplomové práce: TCP vrstva pro verifikační nástroj DIVINE | Práce na příbuzné téma
Fakulta: Fakulta informatiky
Rok: 2016, studium úspěšně absolvováno, udělen titul: Mgr.
Program/obor Aplikovaná informatika / Aplikovaná informatika
Obhajoba diplomové práce: TCP vrstva pro verifikační nástroj DIVINE | Práce na příbuzné téma
137.
Zbončáková, Tatiana
Fakulta: Fakulta informatiky
Rok: 2018, studium úspěšně absolvováno, udělen titul: Bc.
Program/obor Aplikovaná informatika / Aplikovaná informatika
Obhajoba bakalářské práce: Redukce omega-automatů s využitím Emerson-Lei akceptační podmínky | Práce na příbuzné téma
Fakulta: Fakulta informatiky
Rok: 2018, studium úspěšně absolvováno, udělen titul: Bc.
Program/obor Aplikovaná informatika / Aplikovaná informatika
Obhajoba bakalářské práce: Redukce omega-automatů s využitím Emerson-Lei akceptační podmínky | Práce na příbuzné téma
138.
Zich, Jakub
Fakulta: Fakulta informatiky
Rok: 2023, studium úspěšně absolvováno, udělen titul: Mgr.
Program/obor Řízení softwarových systémů a služeb / Řízení vývoje softwarových systémů
Obhajoba diplomové práce: Grafická reprezentace formulí logiky HCTL | Práce na příbuzné téma
Fakulta: Fakulta informatiky
Rok: 2023, studium úspěšně absolvováno, udělen titul: Mgr.
Program/obor Řízení softwarových systémů a služeb / Řízení vývoje softwarových systémů
Obhajoba diplomové práce: Grafická reprezentace formulí logiky HCTL | Práce na příbuzné téma