Prof. RNDr. Ivana Černá, CSc.

Personal photo

 

Řízení a ověřování vlastností komplexních hybridních systémů (LH11065)
MU Investigator:Prof. RNDr. Ivana Černá, CSc.
MU Faculty/Unit:Faculty of Informatics
Project Period:3/2011 - 12/2014
Investor/Programme:Ministry of Education, Youth and Sports of the CR / KONTAKT II
more
Software Components in Embedded Systems: Development and Verification (GAP202/11/0312)
MU Investigator:Prof. RNDr. Ivana Černá, CSc.
MU Faculty/Unit:Faculty of Informatics
Project Period:3/2011 - 12/2013
Investor/Programme:Czech Science Foundation / Standard Projects
more
Rozsáhlé výpočetní systémy: modely, aplikace a verifikace (MUNI/A/0914/2009)
MU Investigator:Prof. RNDr. Mojmír Křetínský, CSc.
MU Faculty/Unit:Faculty of Informatics
Project Period:1/2010 - 12/2012
Investor/Programme:Masaryk University / Student Project Grant at MU (specific research, rector's programme)
more
Verification and Analysis of Large-Scale Computer Systems (GA201/09/1389)
MU Investigator:Prof. RNDr. Luboš Brim, CSc.
MU Faculty/Unit:Faculty of Informatics
Project Period:1/2009 - 12/2011
Investor/Programme:Czech Science Foundation / Standard Projects
more
Rozvoj infrastruktury informačních systémů MU (ROZV/7/1/2010)
MU Investigator:Prof. RNDr. Ivana Černá, CSc.
MU Faculty/Unit:Faculty of Informatics
Project Period:1/2010 - 12/2010
Investor/Programme:Ministry of Education, Youth and Sports of the CR / Development Programmes
more
Komplexní podpora výuky v celouniverzitním systému (ROZV/7/16/2010)
MU Investigator:Prof. RNDr. Ivana Černá, CSc.
MU Faculty/Unit:Faculty of Informatics
Project Period:1/2010 - 12/2010
Investor/Programme:Ministry of Education, Youth and Sports of the CR / Development Programmes
more
Nové aplikace e-administrativy pro studenty, učitele a vědecké pracovníky (ROZV/7/17/2010)
MU Investigator:Prof. RNDr. Ivana Černá, CSc.
MU Faculty/Unit:Faculty of Informatics
Project Period:1/2010 - 12/2010
Investor/Programme:Ministry of Education, Youth and Sports of the CR / Development Programmes
more
Implementace institucionálních mechanismů vnitřního hodnocení a řízení kvality na Masarykově univerzitě (ROZV/7/15/2010)
MU Investigator:Mgr. Soňa Nantlová
MU Faculty/Unit:Rector's Office
Project Period:1/2010 - 12/2010
Investor/Programme:Ministry of Education, Youth and Sports of the CR / Development Programmes
more
Rozvoj infrastruktury informačních systémů MU a inovace administrativy studia a komunikačních nástrojů v IS MU (ROZV/7/1/2009)
MU Investigator:Prof. RNDr. Ivana Černá, CSc.
MU Faculty/Unit:Faculty of Informatics
Project Period:1/2009 - 12/2009
Investor/Programme:Ministry of Education, Youth and Sports of the CR / Development Programmes
more
Design Support of Educational Multimedia Aids and Their Use in MU Courses (ROZV/58/2008)
MU Investigator:Prof. RNDr. Ivana Černá, CSc.
MU Faculty/Unit:Faculty of Informatics
Project Period:1/2008 - 12/2008
Investor/Programme:Ministry of Education, Youth and Sports of the CR / Development Programmes
more
- (ROZV/83/2007)
MU Investigator:
MU Faculty/Unit:Faculty of Informatics
Project Period:1/2007 - 12/2007
Investor/Programme:Ministry of Education, Youth and Sports of the CR / Development Programmes
more
Rozšířená verifikace konečně stavových systémů (FRVS/237/2005/G6)
MU Investigator:Assoc. Prof. Mgr. Radek Pelánek, Ph.D.
MU Faculty/Unit:Faculty of Informatics
Project Period:1/2005 - 12/2005
Investor/Programme:Ministry of Education, Youth and Sports of the CR / University Development Fund
more
Algorithmic Verification Boundaries for Infinite-State Systems (GA201/97/0456)
MU Investigator:Prof. RNDr. Mojmír Křetínský, CSc.
MU Faculty/Unit:Faculty of Informatics
Project Period:1/1997 - 12/1999
Investor/Programme:Czech Science Foundation / Standard Projects
more
 
 
top