doc. RNDr. Vojtěch Řehák, Ph.D.
proděkan pro studijní programy a internacionalizaci Fakulty informatiky
kancelář: A408
Botanická 554/68a
602 00 Brno
telefon: | 549 49 4687 |
---|---|
e‑mail: |
sociální a akademické sítě: |
---|
-
Formální verifikace stochastických systémů s reálným časem (GPP202/12/P612)
Řešitel na MU: doc. RNDr. Tomáš Brázdil, Ph.D. Fakulta / Pracoviště MU: Fakulta informatiky Období řešení: 1/2012 — 12/2014Investor/Program: Grantová agentura ČR / Postdoktorské projekty -
Rozšíření Sequence Chart Studia o novou funkcionalitu (MUNI/33/06/2013)
Řešitel na MU: doc. RNDr. Vojtěch Řehák, Ph.D. Fakulta / Pracoviště MU: Fakulta informatiky Období řešení: 12/2012 — 1/2014Investor/Program: Masarykova univerzita / Program děkana FI -
Formální metody pro analýzu a verifikaci komplexních systémů (GAP202/10/1469)
Řešitel na MU: prof. RNDr. Antonín Kučera, Ph.D. Fakulta / Pracoviště MU: Fakulta informatiky Období řešení: 1/2010 — 12/2014Investor/Program: Grantová agentura ČR / Standardní projekty -
Integrace běžných letových simulátorů do distribuovaných simulací HLA 1.3 (MUNI/33/01/2009)
Řešitel na MU: doc. RNDr. Vojtěch Řehák, Ph.D. Fakulta / Pracoviště MU: Fakulta informatiky Období řešení: 7/2009 — 6/2010Investor/Program: Masarykova univerzita / Program děkana FI -
Nové možnosti automatické verifikace síťových protokolů (GP201/08/P459)
Řešitel na MU: doc. RNDr. Vojtěch Řehák, Ph.D. Fakulta / Pracoviště MU: Fakulta informatiky Období řešení: 1/2008 — 12/2010Investor/Program: Grantová agentura ČR / Postdoktorské projekty -
Aplikace formálních metod pro ověřování vlastností procesů (FRVS/446/2005/G6)
Řešitel na MU: doc. RNDr. Vojtěch Řehák, Ph.D. Fakulta / Pracoviště MU: Fakulta informatiky Období řešení: 1/2005 — 12/2005Investor/Program: Ministerstvo školství, mládeže a tělovýchovy ČR / Fond rozvoje vysokých škol