Supervised Theses
- master theses
-
- Simon Van Goethem (University of Namur, Belgium)
Modeling gene regulatory networks with discrete timed automata
Spring 2011-
-
- Jana Fabrikova
Computational methods for discrete abstractions of ODE models
Spring 2010-
-
- Matej Klement
Informacni system pro modely fotosyntezy
Spring 2010-
-
- Jakub Vrbas
Webovy informacni system pro specifikaci biologickych modelu
Spring 2009-
-
- Zdenek Rehak
Preklad a analyza VHDL programu prostrednictvim XML mezikodu
Fall 2008-
-
- Jan Holecek
Formal Verification of Memory Scheduler
Spring 2005-
-
- Tomas Kratochvila
Formal Verification of Hardware Design
Spring 2005-
-
- Gaetan de Menten (University of Namur, Belgium)
Graphical Environment for Buchi Automata
Fall 2004-
- bachelor theses
-
- Tomas Vejpustek
Visual Specification of Temporal Properties over Time Series
Spring 2011-
-
- Adam Streck
Estimace parametru v diskretnich biologickych modelech
Fall 2010-
-
- Jana Pospisilova
Ontologie biologickych dat zamerene na fotosyntezu
Spring 2010-
-
- Jan Lanik
Nastroje pro specifikaci a analyzu biologickych modelu
Spring 2010-
-
- Daniel Jakubik
Modelovani a simulace komunikacni sbernice
Fall 2007-
-
- Miroslava Kramarekova
Analyza sietovej aktivity a simulacia sondy FlowMon
Spring 2007-
-
- Ondrej Kuznik
Simulace navrhu vysokorychlostniho sitoveho rozhrani NIFIC
Spring 2007, externi konsultace (FEKT VUT Brno)
-
-
- Vaclav Jurecek
Navrh a implementace skolniho informaciho systemu
Spring 2007-
-
- Jakub Vrbas
Graficke uzivatelske rozhrani skolniho informacniho systemu
Spring 2007-
-
- Jan Steuer
Architektura a implementace skolniho informacniho systemu
Spring 2007-
-
- Milan Krupa
navrh a implementace skolniho informacniho systemu
Spring 2007-
-
- Zdenek Rehak
Editor vizualnich koordinacnich diagramu
Spring 2006-
-
- Jiri Simsa
Implementace grafickeho editoru pro popis koordinace soubeznych systemu
Spring 2004-
BACK to homepage