Theses on a related topic (having the same keywords):

divine, msc, high-level msc, proverif, formalni verifikace, dve, modelovani, overovani modelu, scstudio, logika ltl, basic msc

Keywords ordered alphabetically | Keywords ordered by occurrence rate

1.
Babica, Jindřich
Faculty: Faculty of Informatics
Year: 2009, studies completed, degree conferred: Mgr.
Programme/field: Informatics / Informatics
Master's thesis defence: Message Sequence Chart Properties and Checking Algorithms | Theses on a related topic Display description

2.
Frnoch, Vojtěch
Faculty: Faculty of Informatics
Year: 2018, studies completed, degree conferred: Mgr.
Programme/field: Applied Informatics / Applied Informatics
Master's thesis defence: Grafické rozhraní pro simulátor C++ programů | Theses on a related topic

3.
Kučera, Tadeáš
Faculty: Faculty of Science
Year: 2019, studies completed, degree conferred: Mgr.
Programme/field: Mathematics / Mathematics with Informatics
Master's thesis defence: API pro monitorování chování programů v kontextu nástroje DIVINE | Theses on a related topic

4.
Borza, Viktor
Faculty: Faculty of Informatics
Year: 2013, studies completed, degree conferred: Bc.
Programme/field: Applied Informatics / Applied Informatics
Bachelor's thesis defence: Tvorba MSC diagramů ze síťového provozu | Theses on a related topic

5.
Farmadin, Adrian
Faculty: Faculty of Informatics
Year: 2013, studies completed, degree conferred: Bc.
Programme/field: Applied Informatics / Applied Informatics
Bachelor's thesis defence: Rozšíření Sequence Chart Studia o exportní filtr do LaTeXu | Theses on a related topic

6.
Havel, Vojtěch
Faculty: Faculty of Informatics
Year: 2012, studies completed, degree conferred: Bc.
Programme/field: Informatics / Parallel and Distributed Systems
Bachelor's thesis defence: Relaxed Memory Models in DiVinE | Theses on a related topic

7.
Janoušek, Tomáš
Faculty: Faculty of Informatics
Year: 2010, studies completed, degree conferred: Bc.
Programme/field: Applied Informatics / Applied Informatics
Bachelor's thesis defence: Návrh modelovacího jazyka nástroje DiVinE | Theses on a related topic

8.
Křivánek, Milan
Faculty: Faculty of Informatics
Year: 2011, studies completed, degree conferred: Mgr.
Programme/field: Informatics / Parallel and Distributed Systems
Master's thesis defence: Verifikační nástroj pro komponentové systémy | Theses on a related topic

9.
Lapáček, Vladimír
Faculty: Faculty of Informatics
Year: 2005, studies completed, degree conferred: Mgr.
Programme/field: Informatics / Informatics
Master's thesis defence: DiVinE - modul pro swapování stavů do sítě

10.
Madzin, Matúš
Faculty: Faculty of Informatics
Year: 2009, studies completed, degree conferred: Bc.
Programme/field: Applied Informatics / Applied Informatics
Bachelor's thesis defence: Načítání MSC diagramů z textové podoby ITU-T Z.120 | Theses on a related topic

11.
Malota, Milan
Faculty: Faculty of Informatics
Year: 2012, studies completed, degree conferred: Bc.
Programme/field: Applied Informatics / Applied Informatics
Bachelor's thesis defence: Layout Configuration for Message Sequence Charts | Theses on a related topic

12.
Márton, Tomáš
Faculty: Faculty of Informatics
Year: 2013, studies completed, degree conferred: Bc.
Programme/field: Informatics / Computer Systems and Data Processing
Bachelor's thesis defence: Časově závislé rozvržení MSC | Theses on a related topic

13.
Matoušek, Adam
Faculty: Faculty of Informatics
Year: 2018, studies completed, degree conferred: Bc.
Programme/field: Informatics / Computer Systems and Data Processing
Bachelor's thesis defence: Metadata paměti programu v nástroji DIVINE | Theses on a related topic

14.
Menšík, Petr
Faculty: Faculty of Informatics
Year: 2008, studies completed, degree conferred: Bc.
Programme/field: Applied Informatics / Applied Informatics
Bachelor's thesis defence: Modelování pravděpodobnostních systémů v jazyce DiVinE | Theses on a related topic

15.
Moráček, Martin
Faculty: Faculty of Informatics
Year: 2010, studies completed, degree conferred: Bc.
Programme/field: Informatics / Informatics
Bachelor's thesis defence: Simulátor pro modelovací jazyk nástroje DiVinE | Theses on a related topic

16.
Moravec, Pavel
Faculty: Faculty of Informatics
Year: 2008, studies completed, degree conferred: Ph.D.
Programme/field: Informatics (4-years) / Informatics
Doctoral thesis defence: Distributed State Space Reductions | Theses on a related topic

17.
Novosad, Jiří
Faculty: Faculty of Informatics
Year: 2012, studies completed, degree conferred: Mgr.
Programme/field: Informatics / Parallel and Distributed Systems
Master's thesis defence: Predicate Abstraction of DiVinE Models | Theses on a related topic

18.
Plášil, Roman
Faculty: Faculty of Informatics
Year: 2011, studies completed, degree conferred: Mgr.
Programme/field: Informatics / Parallel and Distributed Systems
Master's thesis defence: Vysvětlování protipříkladů v nástroji DiVinE | Theses on a related topic

19.
Plotěný, Ondřej
Faculty: Faculty of Informatics
Year: 2008, studies terminated for failure to fulfill study requirements
Programme/field: Applied Informatics / Applied Informatics
Bachelor's thesis defence: Vytvoření modelu výtahů se sběrným řízením | Theses on a related topic

20.
Plotěný, Ondřej
Faculty: Faculty of Informatics
Year: 2010, studies completed, degree conferred: Bc.
Programme/field: Applied Informatics / Applied Informatics
Bachelor's thesis defence: Vytvoření modelu výtahů se sběrným řízením | Theses on a related topic

21.
Rosecký, Václav
Faculty: Faculty of Informatics
Year: 2010, studies completed, degree conferred: Mgr.
Programme/field: Applied Informatics / Applied Informatics
Master's thesis defence: Verifikační manažer pro explicitní ověřování modelu | Theses on a related topic

22.
Šimeček, Pavel
Faculty: Faculty of Informatics
Year: 2006, studies completed, degree conferred: Mgr.
Programme/field: Informatics / Informatics
Master's thesis defence: DiVinE - Prostředí pro distribuovanou verifikaci | Theses on a related topic

23.
Š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

24.
Vacek, Václav
Faculty: Faculty of Informatics
Year: 2011, studies completed, degree conferred: Mgr.
Programme/field: Informatics / Theoretical Informatics
Master's thesis defence: New checkers for Sequence Chart Studio | Theses on a related topic

25.
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

26.
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

27.
Žá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

28.
Bača, Vladimír
Faculty: Faculty of Informatics
Year: 2014, studies completed, degree conferred: Bc.
Programme/field: Informatics / Mathematical Informatics
Bachelor's thesis defence: Počítačová podpora pro specifikaci požadavků v LTL | Theses on a related topic

29.
Baláková, Martina
Faculty: Faculty of Informatics
Year: 2020, studies completed, degree conferred: Bc.
Programme/field: Applied Informatics / Social Informatics
Bachelor's thesis defence: Jednotkové testy pro jazyk NetLogo | Theses on a related topic

30.
Balounová, Zuzana
Faculty: Faculty of Social Studies
Year: 2014, studies completed, degree conferred: Mgr.
Programme/field: Environmental Humanities / Environmental Studies
Master's thesis defence: Vybrané metody přípravy environmentálně - osvětových kampaní v práci českých neziskových organizací | Theses on a related topic

31.
Baranová, Zuzana
Faculty: Faculty of Informatics
Year: 2020, studies completed, degree conferred: Mgr.
Programme/field: Applied Informatics / Applied Informatics
Master's thesis defence: Compiling Applications for Analysis with DIVINE | Theses on a related topic

32.
Bednářová, Hana
Faculty: Faculty of Social Studies
Year: 2008, studies completed, degree conferred: Bc.
Programme/field: Media and Communication Studies / Media Studies and Journalism (combination/specialization: Journalism), Political Science
Bachelor's thesis defence: Návraty ke kořenům – série publicistických rozhovorů se slavnými rodáky Zlínského okresu | Theses on a related topic

33.
Behrami, Patrik
Faculty: Faculty of Economics and Administration
Year: 2016, studies completed, degree conferred: Bc.
Programme/field: System Engineering and Informatics / Business Informatics
Bachelor's thesis defence: Modelování, simulace a optimalizace podnikového procesu v programu Witness | Theses on a related topic

34.
Bendová, Adéla
Faculty: Faculty of Social Studies
Year: 2024, studies completed, degree conferred: Bc.
Programme/field: Sociology / Economics, Sociology
Bachelor's thesis defence: Počítačové modelování a simulace v sociologii | Theses on a related topic

35.
Beneš, Nikola
Faculty: Faculty of Informatics
Year: 2005, studies completed, degree conferred: Bc.
Programme/field: Informatics / Informatics
Bachelor's thesis defence: Modelování pro verifikační nástroj DiVinE

36.
Beneš, Nikola
Faculty: Faculty of Informatics
Year: 2007, studies completed, degree conferred: Mgr.
Programme/field: Informatics / Informatics
Master's thesis defence: Ověřování interaktivních vlastností komponentových systémů | Theses on a related topic

37.
Beran, Petr
Faculty: Faculty of Informatics
Year: 2017, studies completed, degree conferred: Bc.
Programme/field: Applied Informatics / Applied Informatics
Bachelor's thesis defence: 3D model a virtuální prohlídka antarktické stanice J. G. Mendela | Theses on a related topic

38.
Bezděk, Peter
Faculty: Faculty of Informatics
Year: 2005, studies completed, degree conferred: Bc.
Programme/field: Informatics / Informatics
Bachelor's thesis defence: Modelování pro verifikační nástroj DiVinE

39.
Bleha, Jan
Faculty: Faculty of Informatics
Year: 2010, studies completed, degree conferred: Bc.
Programme/field: Applied Informatics / Applied Informatics
Bachelor's thesis defence: Modelování základních demografických procesů | Theses on a related topic

40.
Brišáková, Klaudia
Faculty: Faculty of Science
Year: 2019, studies completed, degree conferred: Bc.
Programme/field: Mathematics / Modelling and Calculations (combination/specialization: Economics)
Bachelor's thesis defence: Modelování s diferenciálními rovnicemi 1. řádu | Theses on a related topic

41.
Brodský, Jan
Faculty: Faculty of Science
Year: 2015, studies completed, degree conferred: Bc.
Programme/field: Geography and Cartography / Geographical Cartography and Geoinformatics
Bachelor's thesis defence: Vizualizace rozvoje zástavby ve vybrané lokalitě v prostředí GOOGLE EARTH. | Theses on a related topic

42.
Brothánek, Jan
Faculty: Faculty of Informatics
Year: 2013, studies completed, degree conferred: Mgr.
Programme/field: Informatics / Computer Graphics
Master's thesis defence: L-systémy pro interaktivní modelování rostlin | Theses on a related topic

43.
Burget, Rostislav
Faculty: Faculty of Informatics
Year: 2013, studies completed, degree conferred: Bc.
Programme/field: Applied Informatics / Applied Informatics
Bachelor's thesis defence: Experimentální vyhodnocení robustnosti verifikačního nástroje DiVinE | Theses on a related topic
Bachelor's thesis defence: Experimentální vyhodnocení robustnosti verifikačního nástroje DiVinE | Theses on a related topic

44.
Capandová, Michaela maiden name: Kloučková
Faculty: Faculty of Science
Year: 2016, studies completed, degree conferred: Mgr.
Programme/field: Biochemistry / Analytical Biochemistry
Master's thesis defence: Modifikace polymerních nanovlákenných struktur na bázi poly-epsilon-kaprolaktonu a poly-L-mléčné kyseliny pro biomedicínské aplikace | Theses on a related topic

45.
Crhová, Lucie
Faculty: Faculty of Education
Year: 2007, studies completed, degree conferred: Mgr.
Programme/field: Special Education / Special Education
Master's thesis defence: Využití prvků arteterapie u osob s mentálním postižením | Theses on a related topic

46.
Čermák, Jiří
Faculty: Faculty of Informatics
Year: 2010, studies completed, degree conferred: Bc.
Programme/field: Informatics / Informatics
Bachelor's thesis defence: Porovnání modelovacích schopností verifikačních nástrojů | Theses on a related topic

47.
Češka, Milan
Faculty: Faculty of Informatics
Year: 2012, studies completed, degree conferred: Ph.D.
Programme/field: Informatics (4-years) / Informatics
Doctoral thesis defence: Designing Data-Parallel Graph Algorithms for Model Checking | Theses on a related topic

48.
Dražan, Sven
Faculty: Faculty of Informatics
Year: 2008, studies completed, degree conferred: Bc.
Programme/field: Informatics / Informatics
Bachelor's thesis defence: Rozhraní pro správu modelů genových regulačních sítí | Theses on a related topic

49.
Eibenová, Patrícia
Faculty: Faculty of Informatics
Year: 2012, studies completed, degree conferred: Mgr.
Programme/field: Applied Informatics / Service Science, Management and Engineering
Master's thesis defence: Vzory ve vzdělávacích procesech | Theses on a related topic

50.
Fábry, Tomáš
Faculty: Faculty of Informatics
Year: 2012, studies completed, degree conferred: Bc.
Programme/field: Applied Informatics / Applied Informatics
Bachelor's thesis defence: Sazba sekvenčních diagramů v prostředí LaTeX | Theses on a related topic