Práce na příbuzné téma (mají shodná klíčová slova):
program verification, k-induction, program testing, symbolic execution, verificationKlíčová slova abecedně | Klíčová slova dle četnosti
51.
Slabý, Jiří
Fakulta: Fakulta informatiky
Rok: 2014, studium úspěšně absolvováno, udělen titul: Ph.D.
Program/obor Informatika (čtyřleté) / Informatika
Obhajoba disertační práce: Automatic Bug-finding Techniques for Large Software Projects | Práce na příbuzné téma
Fakulta: Fakulta informatiky
Rok: 2014, studium úspěšně absolvováno, udělen titul: Ph.D.
Program/obor Informatika (čtyřleté) / Informatika
Obhajoba disertační práce: Automatic Bug-finding Techniques for Large Software Projects | Práce na příbuzné téma
52.
Slámečka, Ondřej
Fakulta: Fakulta informatiky
Rok: 2018, studium úspěšně absolvováno, udělen titul: Mgr.
Program/obor Informatika / Teoretická informatika
Obhajoba diplomové práce: Monte Carlo Tree Search in Verification of Markov Decision Processes | Práce na příbuzné téma
Fakulta: Fakulta informatiky
Rok: 2018, studium úspěšně absolvováno, udělen titul: Mgr.
Program/obor Informatika / Teoretická informatika
Obhajoba diplomové práce: Monte Carlo Tree Search in Verification of Markov Decision Processes | Práce na příbuzné téma
53.
Slámová, Dana
Fakulta: Pedagogická fakulta
Rok: 2012, studium úspěšně absolvováno, udělen titul: Bc.
Program/obor Předškolní a mimoškolní pedagogika / Učitelství pro mateřské školy
Obhajoba bakalářské práce: Úloha autoevaluace v mateřské škole | Práce na příbuzné téma
Fakulta: Pedagogická fakulta
Rok: 2012, studium úspěšně absolvováno, udělen titul: Bc.
Program/obor Předškolní a mimoškolní pedagogika / Učitelství pro mateřské školy
Obhajoba bakalářské práce: Úloha autoevaluace v mateřské škole | Práce na příbuzné téma
54.
Slovák, Petr
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: Použití metody Monte Carlo pro verifikaci stochastických systémů se spojitým časem | 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: Použití metody Monte Carlo pro verifikaci stochastických systémů se spojitým časem | Práce na příbuzné téma
55.
Stražovský, Oldřich
Fakulta: Fakulta informatiky
Rok: 2003, studium úspěšně absolvováno, udělen titul: Mgr.
Program/obor Informatika / Informatika
Obhajoba diplomové práce: Efektivní analýza ohraničených Petriho sítí | Práce na příbuzné téma
Fakulta: Fakulta informatiky
Rok: 2003, studium úspěšně absolvováno, udělen titul: Mgr.
Program/obor Informatika / Informatika
Obhajoba diplomové práce: Efektivní analýza ohraničených Petriho sítí | Práce na příbuzné téma
56.
Svoreňová, Mária
Fakulta: Fakulta informatiky
Rok: 2010, studium úspěšně absolvováno, udělen titul: Bc.
Program/obor Informatika / Matematická informatika
Obhajoba bakalářské práce: Verifikace hybridních systémů | Práce na příbuzné téma
Fakulta: Fakulta informatiky
Rok: 2010, studium úspěšně absolvováno, udělen titul: Bc.
Program/obor Informatika / Matematická informatika
Obhajoba bakalářské práce: Verifikace hybridních systémů | Práce na příbuzné téma
57.
Š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
58.
Štafa, Adam
Fakulta: Fakulta informatiky
Rok: 2023, studium úspěšně absolvováno, udělen titul: Bc.
Program/obor Informatika / Informatika
Obhajoba bakalářské práce: Symbiosis of Symbolic Execution and Fuzzing | Práce na příbuzné téma
Fakulta: Fakulta informatiky
Rok: 2023, studium úspěšně absolvováno, udělen titul: Bc.
Program/obor Informatika / Informatika
Obhajoba bakalářské práce: Symbiosis of Symbolic Execution and Fuzzing | Práce na příbuzné téma
59.
Štrofová, Zuzana
Fakulta: Fakulta sociálních studií
Rok: 2011, studium úspěšně absolvováno, udělen titul: Bc.
Program/obor Sociologie / Sociologie
Obhajoba bakalářské práce: "The Audit Society" and Its Effects on Governmentality and Regulation in Society | Práce na příbuzné téma
Fakulta: Fakulta sociálních studií
Rok: 2011, studium úspěšně absolvováno, udělen titul: Bc.
Program/obor Sociologie / Sociologie
Obhajoba bakalářské práce: "The Audit Society" and Its Effects on Governmentality and Regulation in Society | Práce na příbuzné téma
60.
Toman, Viktor
Fakulta: Fakulta informatiky
Rok: 2014, studium úspěšně absolvováno, udělen titul: Bc.
Program/obor Informatika / Matematická informatika
Obhajoba bakalářské práce: Paralelní volání SMT solverů v nástroji Bugst | 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: Paralelní volání SMT solverů v nástroji Bugst | Práce na příbuzné téma
61.
Trtík, Marek
Fakulta: Fakulta informatiky
Rok: 2014, studium úspěšně absolvováno, udělen titul: Ph.D.
Program/obor Informatika (čtyřleté) / Informatika
Obhajoba disertační práce: Symbolic Execution and Program Loops | Práce na příbuzné téma
Fakulta: Fakulta informatiky
Rok: 2014, studium úspěšně absolvováno, udělen titul: Ph.D.
Program/obor Informatika (čtyřleté) / Informatika
Obhajoba disertační práce: Symbolic Execution and Program Loops | Práce na příbuzné téma
62.
Tůmová, Jana
Fakulta: Fakulta informatiky
Rok: 2013, studium úspěšně absolvováno, udělen titul: Ph.D.
Program/obor Informatika (čtyřleté) / Informatika
Obhajoba disertační práce: Quantitative Formal Methods for High-level Robot Path Planning | Práce na příbuzné téma
Fakulta: Fakulta informatiky
Rok: 2013, studium úspěšně absolvováno, udělen titul: Ph.D.
Program/obor Informatika (čtyřleté) / Informatika
Obhajoba disertační práce: Quantitative Formal Methods for High-level Robot Path Planning | Práce na příbuzné téma
63.
Unčovský, Vít
Fakulta: Fakulta informatiky
Rok: 2024, studium úspěšně absolvováno, udělen titul: Bc.
Program/obor Informatika / Informatika
Obhajoba bakalářské práce: Efficient Verification of Multi-Objective Queries in Markov Decision Processes | Práce na příbuzné téma
Fakulta: Fakulta informatiky
Rok: 2024, studium úspěšně absolvováno, udělen titul: Bc.
Program/obor Informatika / Informatika
Obhajoba bakalářské práce: Efficient Verification of Multi-Objective Queries in Markov Decision Processes | Práce na příbuzné téma
64.
Vacek, Václav
Fakulta: Fakulta informatiky
Rok: 2011, studium úspěšně absolvováno, udělen titul: Mgr.
Program/obor Informatika / Teoretická informatika
Obhajoba diplomové práce: New checkers for Sequence Chart Studio | Práce na příbuzné téma
Fakulta: Fakulta informatiky
Rok: 2011, studium úspěšně absolvováno, udělen titul: Mgr.
Program/obor Informatika / Teoretická informatika
Obhajoba diplomové práce: New checkers for Sequence Chart Studio | Práce na příbuzné téma
65.
Vaššová, Barbora
Fakulta: Fakulta informatiky
Rok: 2015, studium úspěšně absolvováno, udělen titul: Bc.
Program/obor Informatika / Počítačové sítě a komunikace
Obhajoba bakalářské práce: Verifikace protokolu AMQP | Práce na příbuzné téma
Fakulta: Fakulta informatiky
Rok: 2015, studium úspěšně absolvováno, udělen titul: Bc.
Program/obor Informatika / Počítačové sítě a komunikace
Obhajoba bakalářské práce: Verifikace protokolu AMQP | Práce na příbuzné téma
66.
Višňovská, Ema
Fakulta: Fakulta sociálních studií
Rok: 2024, studium úspěšně absolvováno, udělen titul: Bc.
Program/obor Mezinárodní vztahy / Mezinárodní vztahy
Obhajoba bakalářské práce: The Biological Weapons Non-Proliferation Regime: Addressing its Deficiencies in the Contemporary World | Práce na příbuzné téma
Fakulta: Fakulta sociálních studií
Rok: 2024, studium úspěšně absolvováno, udělen titul: Bc.
Program/obor Mezinárodní vztahy / Mezinárodní vztahy
Obhajoba bakalářské práce: The Biological Weapons Non-Proliferation Regime: Addressing its Deficiencies in the Contemporary World | Práce na příbuzné téma
67.
Wiesner, David
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: Paralelizace obrazového simulátoru buněčných populací | 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: Paralelizace obrazového simulátoru buněčných populací | Práce na příbuzné téma
68.
Zahradníček, Martin
Fakulta: Fakulta informatiky
Rok: 2020, studium úspěšně absolvováno, udělen titul: Bc.
Program/obor Informatika / Matematická informatika
Obhajoba bakalářské práce: Algoritmická analýza populačních protokolů | Práce na příbuzné téma
Fakulta: Fakulta informatiky
Rok: 2020, studium úspěšně absolvováno, udělen titul: Bc.
Program/obor Informatika / Matematická informatika
Obhajoba bakalářské práce: Algoritmická analýza populačních protokolů | Práce na příbuzné téma