Theses on a related topic (having the same keywords):
buchi automata, model checking, prompt-ltl, ltl, tableau, promptness, livenessKeywords ordered alphabetically | Keywords ordered by occurrence rate
101.
Šimovec, Pavel
Faculty: Faculty of Informatics
Year: 2021, studies completed, degree conferred: Bc.
Programme/field: Applied Informatics / Applied Informatics
Bachelor's thesis defence: Transformation of Nondeterministic Büchi Automata to Slim Automata | Theses on a related topic
Faculty: Faculty of Informatics
Year: 2021, studies completed, degree conferred: Bc.
Programme/field: Applied Informatics / Applied Informatics
Bachelor's thesis defence: Transformation of Nondeterministic Büchi Automata to Slim Automata | Theses on a related topic
102.
Šimša, Jiří
Faculty: Faculty of Informatics
Year: 2006, studies completed, degree conferred: Mgr.
Programme/field: Informatics / Informatics
Master's thesis defence: Monitorování chování systémů | Theses on a related topic
Faculty: Faculty of Informatics
Year: 2006, studies completed, degree conferred: Mgr.
Programme/field: Informatics / Informatics
Master's thesis defence: Monitorování chování systémů | Theses on a related topic
103.
Šiška, Adam
Faculty: Faculty of Informatics
Year: 2010, studies completed, degree conferred: Bc.
Programme/field: Informatics / Informatics
Bachelor's thesis defence: Interpretace DVE modelů v Haskellu | Theses on a related topic
Faculty: Faculty of Informatics
Year: 2010, studies completed, degree conferred: Bc.
Programme/field: Informatics / Informatics
Bachelor's thesis defence: Interpretace DVE modelů v Haskellu | Theses on a related topic
104.
Šmijáková, Eva
Faculty: Faculty of Informatics
Year: 2019, studies completed, degree conferred: Mgr.
Programme/field: Applied Informatics / Applied Informatics
Master's thesis defence: Parallel Parameter Synthesis for Hybrid Systems | Theses on a related topic
Faculty: Faculty of Informatics
Year: 2019, studies completed, degree conferred: Mgr.
Programme/field: Applied Informatics / Applied Informatics
Master's thesis defence: Parallel Parameter Synthesis for Hybrid Systems | Theses on a related topic
105.
Štefaňák, Filip
Faculty: Faculty of Informatics
Year: 2010, studies completed, degree conferred: Bc.
Programme/field: Informatics / Informatics
Bachelor's thesis defence: Residue Component Synthesis for Handshake Composition | Theses on a related topic
Faculty: Faculty of Informatics
Year: 2010, studies completed, degree conferred: Bc.
Programme/field: Informatics / Informatics
Bachelor's thesis defence: Residue Component Synthesis for Handshake Composition | Theses on a related topic
106.
Štill, Vladimír
Faculty: Faculty of Informatics
Year: 2013, studies completed, degree conferred: Bc.
Programme/field: Informatics / Computer Networks and Communication
Bachelor's thesis defence: State space compression for the DiVinE model checker | Theses on a related topic
Faculty: Faculty of Informatics
Year: 2013, studies completed, degree conferred: Bc.
Programme/field: Informatics / Computer Networks and Communication
Bachelor's thesis defence: State space compression for the DiVinE model checker | Theses on a related topic
107.
Štill, Vladimír
Faculty: Faculty of Informatics
Year: 2016, studies completed, degree conferred: Mgr.
Programme/field: Informatics / Parallel and Distributed Systems
Master's thesis defence: LLVM Transformations for Model Checking | Theses on a related topic
Faculty: Faculty of Informatics
Year: 2016, studies completed, degree conferred: Mgr.
Programme/field: Informatics / Parallel and Distributed Systems
Master's thesis defence: LLVM Transformations for Model Checking | Theses on a related topic
108.
Tomáštík, Marek
Faculty: Faculty of Informatics
Year: 2016, studies completed, degree conferred: Mgr.
Programme/field: Informatics / Parallel and Distributed Systems
Master's thesis defence: Verifikace MPI programů pomocí DIVINE | Theses on a related topic
Faculty: Faculty of Informatics
Year: 2016, studies completed, degree conferred: Mgr.
Programme/field: Informatics / Parallel and Distributed Systems
Master's thesis defence: Verifikace MPI programů pomocí DIVINE | Theses on a related topic
109.
Troják, Matej
Faculty: Faculty of Informatics
Year: 2020, studies completed, degree conferred: Mgr.
Programme/field: Artificial intelligence and data processing / Artificial intelligence and data processing
Master's thesis defence: Formal Analysis of Rule-Based Models in Systems Biology | Theses on a related topic
Faculty: Faculty of Informatics
Year: 2020, studies completed, degree conferred: Mgr.
Programme/field: Artificial intelligence and data processing / Artificial intelligence and data processing
Master's thesis defence: Formal Analysis of Rule-Based Models in Systems Biology | Theses on a related topic
110.
Tuček, Adam
Faculty: Faculty of Informatics
Year: 2017, studies completed, degree conferred: Bc.
Programme/field: Informatics / Parallel and Distributed Systems
Bachelor's thesis defence: Grafická reprezentace specifikačních vzorů pro temporální logiky | Theses on a related topic
Faculty: Faculty of Informatics
Year: 2017, studies completed, degree conferred: Bc.
Programme/field: Informatics / Parallel and Distributed Systems
Bachelor's thesis defence: Grafická reprezentace specifikačních vzorů pro temporální logiky | Theses on a related topic
111.
Tuček, Adam
Faculty: Faculty of Informatics
Year: 2020, studies completed, degree conferred: Mgr.
Programme/field: Informatics / Theoretical Informatics
Master's thesis defence: Paritní hry | Theses on a related topic
Master's thesis defence: Paritní hry | Theses on a related topic
Faculty: Faculty of Informatics
Year: 2020, studies completed, degree conferred: Mgr.
Programme/field: Informatics / Theoretical Informatics
Master's thesis defence: Paritní hry | Theses on a related topic
Master's thesis defence: Paritní hry | Theses on a related topic
112.
Tušil, Jan
Faculty: Faculty of Informatics
Year: 2015, studies completed, degree conferred: Bc.
Programme/field: Informatics / Programmable Technical Structures
Bachelor's thesis defence: Partial Order redukce pro LLVM | Theses on a related topic
Faculty: Faculty of Informatics
Year: 2015, studies completed, degree conferred: Bc.
Programme/field: Informatics / Programmable Technical Structures
Bachelor's thesis defence: Partial Order redukce pro LLVM | Theses on a related topic
113.
Vanický, Šimon
Faculty: Faculty of Informatics
Year: 2016, studies completed, degree conferred: Mgr.
Programme/field: Informatics / Theoretical Informatics
Master's thesis defence: Verifikace CTL vlastností v nástroji DiVinE | Theses on a related topic
Master's thesis defence: Verifikace CTL vlastností v nástroji DiVinE | Theses on a related topic
Master's thesis defence: Verifikace CTL vlastností v nástroji DiVinE | Theses on a related topic
Faculty: Faculty of Informatics
Year: 2016, studies completed, degree conferred: Mgr.
Programme/field: Informatics / Theoretical Informatics
Master's thesis defence: Verifikace CTL vlastností v nástroji DiVinE | Theses on a related topic
Master's thesis defence: Verifikace CTL vlastností v nástroji DiVinE | Theses on a related topic
Master's thesis defence: Verifikace CTL vlastností v nástroji DiVinE | Theses on a related topic
114.
Vaššová, Barbora
Faculty: Faculty of Informatics
Year: 2015, studies completed, degree conferred: Bc.
Programme/field: Informatics / Computer Networks and Communication
Bachelor's thesis defence: Verifikace protokolu AMQP | Theses on a related topic
Faculty: Faculty of Informatics
Year: 2015, studies completed, degree conferred: Bc.
Programme/field: Informatics / Computer Networks and Communication
Bachelor's thesis defence: Verifikace protokolu AMQP | Theses on a related topic
115.
Vejpustek, Tomáš
Faculty: Faculty of Informatics
Year: 2011, studies completed, degree conferred: Bc.
Programme/field: Informatics / Mathematical Informatics
Bachelor's thesis defence: Visual Specification of Temporal Properties over Time Series | Theses on a related topic
Faculty: Faculty of Informatics
Year: 2011, studies completed, degree conferred: Bc.
Programme/field: Informatics / Mathematical Informatics
Bachelor's thesis defence: Visual Specification of Temporal Properties over Time Series | Theses on a related topic
116.
Vozárová, Viktória
Faculty: Faculty of Informatics
Year: 2017, studies completed, degree conferred: Bc.
Programme/field: Informatics / Parallel and Distributed Systems
Bachelor's thesis defence: Craig's Interpolant in Model Checking Algorithms | Theses on a related topic
Faculty: Faculty of Informatics
Year: 2017, studies completed, degree conferred: Bc.
Programme/field: Informatics / Parallel and Distributed Systems
Bachelor's thesis defence: Craig's Interpolant in Model Checking Algorithms | Theses on a related topic
117.
Zbončáková, Tatiana
Faculty: Faculty of Informatics
Year: 2018, studies completed, degree conferred: Bc.
Programme/field: Applied Informatics / Applied Informatics
Bachelor's thesis defence: Redukce omega-automatů s využitím Emerson-Lei akceptační podmínky | Theses on a related topic
Faculty: Faculty of Informatics
Year: 2018, studies completed, degree conferred: Bc.
Programme/field: Applied Informatics / Applied Informatics
Bachelor's thesis defence: Redukce omega-automatů s využitím Emerson-Lei akceptační podmínky | Theses on a related topic
118.
Zich, Jakub
Faculty: Faculty of Informatics
Year: 2023, studies completed, degree conferred: Mgr.
Programme/field: Software systems and services management / Software Systems Development Management
Master's thesis defence: Grafická reprezentace formulí logiky HCTL | Theses on a related topic
Faculty: Faculty of Informatics
Year: 2023, studies completed, degree conferred: Mgr.
Programme/field: Software systems and services management / Software Systems Development Management
Master's thesis defence: Grafická reprezentace formulí logiky HCTL | Theses on a related topic
119.
Žák, Martin
Faculty: Faculty of Informatics
Year: 2016, studies completed, degree conferred: Mgr.
Programme/field: Applied Informatics / Applied Informatics
Master's thesis defence: Coloured Nested DFS | Theses on a related topic
Faculty: Faculty of Informatics
Year: 2016, studies completed, degree conferred: Mgr.
Programme/field: Applied Informatics / Applied Informatics
Master's thesis defence: Coloured Nested DFS | Theses on a related topic