Theses on a related topic (having the same keywords):
parallel, divine, uppaal, model checking, verification, ltl, timed automataKeywords ordered alphabetically | Keywords ordered by occurrence rate
151.
Rujbr, Vojtěch
Faculty: Faculty of Informatics
Year: 2016, studies completed, degree conferred: Mgr.
Programme/field: Applied Informatics / Applied Informatics
Master's thesis defence: Refined Büchi automata for faster model checking | 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: Refined Büchi automata for faster model checking | Theses on a related topic
152.
Řehák, Vojtěch
Faculty: Faculty of Informatics
Year: 2007, studies completed, degree conferred: Ph.D.
Programme/field: Informatics / Informatics
Doctoral thesis defence: On Extensions of Process Rewrite Systems | Theses on a related topic
Faculty: Faculty of Informatics
Year: 2007, studies completed, degree conferred: Ph.D.
Programme/field: Informatics / Informatics
Doctoral thesis defence: On Extensions of Process Rewrite Systems | Theses on a related topic
153.
Řehák, Vojtěch
Faculty: Faculty of Informatics
Year: 2007, studies completed, degree conferred: RNDr.
Programme/field: Informatics / Informatics
Advanced Master's thesis defence: On Extensions of Process Rewrite Systems | Theses on a related topic
Faculty: Faculty of Informatics
Year: 2007, studies completed, degree conferred: RNDr.
Programme/field: Informatics / Informatics
Advanced Master's thesis defence: On Extensions of Process Rewrite Systems | Theses on a related topic
154.
Senko, Jakub
Faculty: Faculty of Informatics
Year: 2018, studies terminated for failure to fulfill study requirements
Programme/field: Informatics / Computer Systems
Master's thesis defence: Formální návrh distribuované hašovací tabulky | Theses on a related topic
Faculty: Faculty of Informatics
Year: 2018, studies terminated for failure to fulfill study requirements
Programme/field: Informatics / Computer Systems
Master's thesis defence: Formální návrh distribuované hašovací tabulky | Theses on a related topic
155.
Slabá, Iva
Faculty: Faculty of Arts
Year: 2013, studies completed, degree conferred: Mgr.
Programme/field: Information and Library Studies / Information and Library Studies
Master's thesis defence: Srovnání problematiky elektronických identifikačních karet v Itálii a v České republice | Theses on a related topic
Faculty: Faculty of Arts
Year: 2013, studies completed, degree conferred: Mgr.
Programme/field: Information and Library Studies / Information and Library Studies
Master's thesis defence: Srovnání problematiky elektronických identifikačních karet v Itálii a v České republice | Theses on a related topic
156.
Slámečka, Ondřej
Faculty: Faculty of Informatics
Year: 2018, studies completed, degree conferred: Mgr.
Programme/field: Informatics / Theoretical Informatics
Master's thesis defence: Monte Carlo Tree Search in Verification of Markov Decision Processes | Theses on a related topic
Faculty: Faculty of Informatics
Year: 2018, studies completed, degree conferred: Mgr.
Programme/field: Informatics / Theoretical Informatics
Master's thesis defence: Monte Carlo Tree Search in Verification of Markov Decision Processes | Theses on a related topic
157.
Slámová, Dana
Faculty: Faculty of Education
Year: 2012, studies completed, degree conferred: Bc.
Programme/field: Pre-school and After-school Education / Pre-school Teacher Training
Bachelor's thesis defence: Úloha autoevaluace v mateřské škole | Theses on a related topic
Faculty: Faculty of Education
Year: 2012, studies completed, degree conferred: Bc.
Programme/field: Pre-school and After-school Education / Pre-school Teacher Training
Bachelor's thesis defence: Úloha autoevaluace v mateřské škole | Theses on a related topic
158.
Slovák, Petr
Faculty: Faculty of Informatics
Year: 2011, studies completed, degree conferred: Mgr.
Programme/field: Informatics / Parallel and Distributed Systems
Master's thesis defence: Použití metody Monte Carlo pro verifikaci stochastických systémů se spojitým časem | Theses on a related topic
Faculty: Faculty of Informatics
Year: 2011, studies completed, degree conferred: Mgr.
Programme/field: Informatics / Parallel and Distributed Systems
Master's thesis defence: Použití metody Monte Carlo pro verifikaci stochastických systémů se spojitým časem | Theses on a related topic
159.
Staňa, Tomáš
Faculty: Faculty of Informatics
Year: 2014, studies completed, degree conferred: Bc.
Programme/field: Informatics / Mathematical Informatics
Bachelor's thesis defence: Runtime Verification of Linear Temporal Specifications with Degradation | Theses on a related topic
Faculty: Faculty of Informatics
Year: 2014, studies completed, degree conferred: Bc.
Programme/field: Informatics / Mathematical Informatics
Bachelor's thesis defence: Runtime Verification of Linear Temporal Specifications with Degradation | Theses on a related topic
160.
Stražovský, Oldřich
Faculty: Faculty of Informatics
Year: 2003, studies completed, degree conferred: Mgr.
Programme/field: Informatics / Informatics
Master's thesis defence: Efektivní analýza ohraničených Petriho sítí | Theses on a related topic
Faculty: Faculty of Informatics
Year: 2003, studies completed, degree conferred: Mgr.
Programme/field: Informatics / Informatics
Master's thesis defence: Efektivní analýza ohraničených Petriho sítí | Theses on a related topic
161.
Streck, Adam
Faculty: Faculty of Informatics
Year: 2011, studies completed, degree conferred: Bc.
Programme/field: Informatics / Informatics
Bachelor's thesis defence: Estimace parametrů v diskrétních biologických modelech | Theses on a related topic
Faculty: Faculty of Informatics
Year: 2011, studies completed, degree conferred: Bc.
Programme/field: Informatics / Informatics
Bachelor's thesis defence: Estimace parametrů v diskrétních biologických modelech | Theses on a related topic
162.
Streck, Adam
Faculty: Faculty of Informatics
Year: 2013, studies completed, degree conferred: Mgr.
Programme/field: Informatics / Parallel and Distributed Systems
Master's thesis defence: Efektivní identifikace parametrů genových regulačních sítí | Theses on a related topic
Faculty: Faculty of Informatics
Year: 2013, studies completed, degree conferred: Mgr.
Programme/field: Informatics / Parallel and Distributed Systems
Master's thesis defence: Efektivní identifikace parametrů genových regulačních sítí | Theses on a related topic
163.
Strejček, Jan
Faculty: Faculty of Informatics
Year: 2007, studies completed, degree conferred: RNDr.
Programme/field: Informatics / Informatics
Advanced Master's thesis defence: Expressiveness and Model Checking of Temporal Logics | Theses on a related topic
Faculty: Faculty of Informatics
Year: 2007, studies completed, degree conferred: RNDr.
Programme/field: Informatics / Informatics
Advanced Master's thesis defence: Expressiveness and Model Checking of Temporal Logics | Theses on a related topic
164.
Suchomel, Vít
Faculty: Faculty of Informatics
Year: 2007, studies completed, degree conferred: Bc.
Programme/field: Informatics / Informatics
Bachelor's thesis defence: Automatické testování nástroje DiVinE | Theses on a related topic
Faculty: Faculty of Informatics
Year: 2007, studies completed, degree conferred: Bc.
Programme/field: Informatics / Informatics
Bachelor's thesis defence: Automatické testování nástroje DiVinE | Theses on a related topic
165.
Svoreňová, Mária
Faculty: Faculty of Informatics
Year: 2010, studies completed, degree conferred: Bc.
Programme/field: Informatics / Mathematical Informatics
Bachelor's thesis defence: Verifikace hybridních systémů | Theses on a related topic
Faculty: Faculty of Informatics
Year: 2010, studies completed, degree conferred: Bc.
Programme/field: Informatics / Mathematical Informatics
Bachelor's thesis defence: Verifikace hybridních systémů | Theses on a related topic
166.
Svoreňová, Mária
Faculty: Faculty of Informatics
Year: 2013, studies completed, degree conferred: RNDr.
Programme/field: Informatics / Informatics
Advanced Master's thesis defence: Formal Methods in Optimal Discrete Path Planning with Uncertainty | Theses on a related topic
Faculty: Faculty of Informatics
Year: 2013, studies completed, degree conferred: RNDr.
Programme/field: Informatics / Informatics
Advanced Master's thesis defence: Formal Methods in Optimal Discrete Path Planning with Uncertainty | Theses on a related topic
167.
Šárník, Jakub
Faculty: Faculty of Informatics
Year: 2022, studies completed, degree conferred: Bc.
Programme/field: Applied Informatics / Applied Informatics
Bachelor's thesis defence: Automatická analýza neúplných programů | Theses on a related topic
Faculty: Faculty of Informatics
Year: 2022, studies completed, degree conferred: Bc.
Programme/field: Applied Informatics / Applied Informatics
Bachelor's thesis defence: Automatická analýza neúplných programů | Theses on a related topic
168.
Šimáček, Michael
Faculty: Faculty of Informatics
Year: 2018, studies completed, degree conferred: Mgr.
Programme/field: Applied Informatics / Applied Informatics
Master's thesis defence: Symbolic-size Memory Allocation Support for Klee | Theses on a related topic
Faculty: Faculty of Informatics
Year: 2018, studies completed, degree conferred: Mgr.
Programme/field: Applied Informatics / Applied Informatics
Master's thesis defence: Symbolic-size Memory Allocation Support for Klee | Theses on a related topic
169.
Š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
170.
Š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
171.
Štefek, Miroslav
Faculty: Faculty of Law
Year: 2007, studies completed, degree conferred: Bc.
Programme/field: Legal Specializations / Law and Business
Bachelor's thesis defence: Smlouvy bankovních služeb (obchodní podmínky) | Theses on a related topic
Faculty: Faculty of Law
Year: 2007, studies completed, degree conferred: Bc.
Programme/field: Legal Specializations / Law and Business
Bachelor's thesis defence: Smlouvy bankovních služeb (obchodní podmínky) | Theses on a related topic
172.
Štill, Vladimír
Faculty: Faculty of Informatics
Year: 2020, studies completed, degree conferred: Ph.D.
Programme/field: Informatics (4-years) / Computer Systems and Technologies
Doctoral thesis defence: Analysis of Parallel C++ Programs | Theses on a related topic
Faculty: Faculty of Informatics
Year: 2020, studies completed, degree conferred: Ph.D.
Programme/field: Informatics (4-years) / Computer Systems and Technologies
Doctoral thesis defence: Analysis of Parallel C++ Programs | Theses on a related topic
173.
Štill, Vladimír
Faculty: Faculty of Informatics
Year: 2018, studies completed, degree conferred: RNDr.
Programme/field: Informatics / Parallel and Distributed Systems
Advanced Master's thesis defence: Memory-Model-Aware Analysis of Parallel Programs | Theses on a related topic
Faculty: Faculty of Informatics
Year: 2018, studies completed, degree conferred: RNDr.
Programme/field: Informatics / Parallel and Distributed Systems
Advanced Master's thesis defence: Memory-Model-Aware Analysis of Parallel Programs | Theses on a related topic
174.
Štrofová, Zuzana
Faculty: Faculty of Social Studies
Year: 2011, studies completed, degree conferred: Bc.
Programme/field: Sociology / Sociology
Bachelor's thesis defence: "The Audit Society" and Its Effects on Governmentality and Regulation in Society | Theses on a related topic
Faculty: Faculty of Social Studies
Year: 2011, studies completed, degree conferred: Bc.
Programme/field: Sociology / Sociology
Bachelor's thesis defence: "The Audit Society" and Its Effects on Governmentality and Regulation in Society | Theses on a related topic
175.
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
176.
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
177.
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
178.
Tůmová, Jana
Faculty: Faculty of Informatics
Year: 2009, studies completed, degree conferred: Mgr.
Programme/field: Informatics / Informatics
Master's thesis defence: Verification of probabilistic systems against quantified linear properties | Theses on a related topic
Faculty: Faculty of Informatics
Year: 2009, studies completed, degree conferred: Mgr.
Programme/field: Informatics / Informatics
Master's thesis defence: Verification of probabilistic systems against quantified linear properties | Theses on a related topic
179.
Tůmová, Jana
Faculty: Faculty of Informatics
Year: 2013, studies completed, degree conferred: Ph.D.
Programme/field: Informatics (4-years) / Informatics
Doctoral thesis defence: Quantitative Formal Methods for High-level Robot Path Planning | Theses on a related topic
Faculty: Faculty of Informatics
Year: 2013, studies completed, degree conferred: Ph.D.
Programme/field: Informatics (4-years) / Informatics
Doctoral thesis defence: Quantitative Formal Methods for High-level Robot Path Planning | Theses on a related topic
180.
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
181.
Unčovský, Vít
Faculty: Faculty of Informatics
Year: 2024, studies completed, degree conferred: Bc.
Programme/field: Informatics / Informatics
Bachelor's thesis defence: Efficient Verification of Multi-Objective Queries in Markov Decision Processes | Theses on a related topic
Faculty: Faculty of Informatics
Year: 2024, studies completed, degree conferred: Bc.
Programme/field: Informatics / Informatics
Bachelor's thesis defence: Efficient Verification of Multi-Objective Queries in Markov Decision Processes | Theses on a related topic
182.
Vaněk, Libor
Faculty: Faculty of Informatics
Year: 2007, studies completed, degree conferred: Bc.
Programme/field: Applied Informatics / Applied Informatics
Bachelor's thesis defence: Paralelní souborové systémy pro Linux | Theses on a related topic
Faculty: Faculty of Informatics
Year: 2007, studies completed, degree conferred: Bc.
Programme/field: Applied Informatics / Applied Informatics
Bachelor's thesis defence: Paralelní souborové systémy pro Linux | Theses on a related topic
183.
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
184.
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
185.
Višňovská, Ema
Faculty: Faculty of Social Studies
Year: 2024, studies completed, degree conferred: Bc.
Programme/field: International Relations / International Relations
Bachelor's thesis defence: The Biological Weapons Non-Proliferation Regime: Addressing its Deficiencies in the Contemporary World | Theses on a related topic
Faculty: Faculty of Social Studies
Year: 2024, studies completed, degree conferred: Bc.
Programme/field: International Relations / International Relations
Bachelor's thesis defence: The Biological Weapons Non-Proliferation Regime: Addressing its Deficiencies in the Contemporary World | Theses on a related topic
186.
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
187.
Weiser, Jiří
Faculty: Faculty of Informatics
Year: 2016, studies completed, degree conferred: Mgr.
Programme/field: Applied Informatics / Applied Informatics
Master's thesis defence: TCP vrstva pro verifikační nástroj DIVINE | 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: TCP vrstva pro verifikační nástroj DIVINE | Theses on a related topic
188.
Wiesner, David
Faculty: Faculty of Informatics
Year: 2018, studies completed, degree conferred: Mgr.
Programme/field: Informatics / Parallel and Distributed Systems
Master's thesis defence: Paralelizace obrazového simulátoru buněčných populací | Theses on a related topic
Faculty: Faculty of Informatics
Year: 2018, studies completed, degree conferred: Mgr.
Programme/field: Informatics / Parallel and Distributed Systems
Master's thesis defence: Paralelizace obrazového simulátoru buněčných populací | Theses on a related topic
189.
Zahradníček, Martin
Faculty: Faculty of Informatics
Year: 2020, studies completed, degree conferred: Bc.
Programme/field: Informatics / Mathematical Informatics
Bachelor's thesis defence: Algoritmická analýza populačních protokolů | Theses on a related topic
Faculty: Faculty of Informatics
Year: 2020, studies completed, degree conferred: Bc.
Programme/field: Informatics / Mathematical Informatics
Bachelor's thesis defence: Algoritmická analýza populačních protokolů | Theses on a related topic
190.
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
191.
Zhuk, Marharyta
Faculty: Faculty of Informatics
Year: 2015, studies completed, degree conferred: Mgr.
Programme/field: Informatics / Information Systems
Master's thesis defence: Modelování a verifikace platebního systému | Theses on a related topic
Faculty: Faculty of Informatics
Year: 2015, studies completed, degree conferred: Mgr.
Programme/field: Informatics / Information Systems
Master's thesis defence: Modelování a verifikace platebního systému | Theses on a related topic
192.
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