
prof. RNDr. Luboš Brim, CSc.
kancelář: A411
Botanická 554/68a
602 00 Brno
telefon: | 549 49 3647 |
---|
sociální a akademické sítě: |
---|
-
Paralelní ověřování LTL vlastností zapouzdřených systémů pracujících v reálném čase (1PO5ME747)
Řešitel na MU: prof. RNDr. Luboš Brim, CSc. Fakulta / Pracoviště MU: Fakulta informatiky Období řešení: 1/2005 — 5/2005Investor/Program: Ministerstvo školství, mládeže a tělovýchovy ČR / Program regionální a mezinárodní spolupráce ve výzkumu a vývoji (Národní program výzkumu s počátkem řešení v roce 2005 nebo dříve) -
Automatizovaná verifikace paralelních a distribuovaných systémů (GA201/03/0509)
Řešitel na MU: prof. RNDr. Luboš Brim, CSc. Fakulta / Pracoviště MU: Fakulta informatiky Období řešení: 1/2003 — 12/2005Investor/Program: Grantová agentura ČR / Standardní projekty -
Algoritmy a nástroje pro praktickou verifikaci souběžných systémů (GA201/00/1023)
Řešitel na MU: prof. RNDr. Luboš Brim, CSc. Fakulta / Pracoviště MU: Fakulta informatiky Období řešení: 1/2000 — 1/2002Investor/Program: Grantová agentura ČR / Standardní projekty -
Meze algoritmické verifikovatelnosti nekonečně stavových systémů (GA201/97/0456)
Řešitel na MU: prof. RNDr. Mojmír Křetínský, CSc. Fakulta / Pracoviště MU: Fakulta informatiky Období řešení: 1/1997 — 12/1999Investor/Program: Grantová agentura ČR / Standardní projekty -
Computational Logic and Computational Methods (MUNI/33/002/1995)
Řešitel na MU: prof. RNDr. Luboš Brim, CSc. Fakulta / Pracoviště MU: Fakulta informatiky Období řešení: 1/1995 — 12/1999Investor/Program: The Royal Society / Projekty The Royal Society -
Analýza konkurentních nekonečně stavových systémů (GA201/93/2123)
Řešitel na MU: prof. RNDr. Mojmír Křetínský, CSc. Fakulta / Pracoviště MU: Fakulta informatiky Období řešení: 1/1993 — 1/1995Investor/Program: Grantová agentura ČR / Standardní projekty