Milan Češka

Projekty

• 2021

  FIT VUT - Příprava vlastního projektu v rámci programu Horizon Europe, JMK, Smart akcelerátor v Jihomoravském kraji II, zahájení: 2021-08-01, ukončení: 2022-01-31, ukončen

• 2020

  Spolehlivé, bezpečné a efektivní počítačové systémy, VUT, Vnitřní projekty VUT, FIT-S-20-6427, zahájení: 2020-03-01, ukončení: 2023-02-28, ukončen

• 2018

  Transfer technologií skrze nadnárodní aplikační experimenty, EU, Horizon 2020, 761349, zahájení: 2018-04-01, ukončení: 2021-12-31, řešení

• 2017

  Bezpečné a spolehlivé počítačové systémy, VUT, Vnitřní projekty VUT, FIT-S-17-4014, zahájení: 2017-03-01, ukončení: 2020-02-29, ukončen

• 2016

  IT4Innovations excellence in science, MŠMT, Národní program udržitelnosti II, LQ1602, zahájení: 2016-01-01, ukončení: 2020-12-31, ukončen

• 2014

  Spolehlivost a bezpečnost v IT, VUT, Vnitřní projekty VUT, FIT-S-14-2486, zahájení: 2014-01-01, ukončení: 2016-12-31, ukončen

• 2012

  Verifikace a optimalizace počítačových systémů, VUT, Vnitřní projekty VUT, FIT-S-12-1, zahájení: 2012-01-01, ukončení: 2014-12-31, ukončen

• 2011

  Centrum excelence IT4Innovations, MŠMT, Operační program Výzkum a vývoj pro inovace, ED1.1.00/02.0070, zahájení: 2011-01-01, ukončení: 2015-12-31, ukončen

  Pokročilé bezpečné, spolehlivé a adaptivní IT, VUT, Vnitřní projekty VUT, FIT-S-11-1, zahájení: 2011-01-01, ukončení: 2013-12-31, ukončen

• 2010

  Bezpečné, spolehlivé a adaptivní počítačové systémy, VUT, Vnitřní projekty VUT, FIT-S-10-1, zahájení: 2010-03-01, ukončení: 2010-12-31, ukončen

  Statická a dynamická verifikace programů s pokročilými rysy paralelismu a neomezenosti, GAČR, Standardní projekty, GAP103/10/0306, zahájení: 2010-01-01, ukončení: 2013-12-31, řešení

• 2009

  Matematické a inženýrské metody pro vývoj spolehlivých a bezpečných paralelních a distribuovaných počítačových systémů, GAČR, Doktorské granty, GD102/09/H042, zahájení: 2009-01-30, ukončení: 2012-12-31, ukončen

• 2008

  Pokročilé techniky automatické verifikace nekonečně stavových systémů, MEB 020840, zahájení: 2008-02-20, ukončení: 2009-12-31, ukončen

• 2007

  Pokročilé formální přístupy v návrhu a automatické verifikaci počítačových systémů, GAČR, Standardní projekty, GA102/07/0322, zahájení: 2007-01-01, ukončení: 2009-12-31, ukončen

  Výzkum informačních technologií z hlediska bezpečnosti, MŠMT, Institucionální prostředky SR ČR (např. VZ, VC), MSM0021630528, zahájení: 2007-01-01, ukončení: 2013-12-31, řešení

• 2006

  Automatická verifikace programů s dynamickými datovými strukturami provázanými ukazateli, 2-06-27, zahájení: 2006-01-01, ukončení: 2007-12-31, ukončen

  Výukový nástroj pro práci s C/E Petriho sítěmi, FR2880/2006/G1, zahájení: 2006-01-01, ukončení: 2006-12-31, ukončen

• 2005

  Integrovaný přístup k výchově studentů DSP v oblasti paralelních a distribuovaných systémů, GAČR, Doktorské granty, GD102/05/H050, zahájení: 2005-01-01, ukončení: 2008-12-31, ukončen

• 2004

  Automatizované metody a nástroje pro vývoj spolehlivých paralelních a distribuovaných systémů, GAČR, Standardní projekty, GA102/04/0780, zahájení: 2004-01-01, ukončení: 2006-12-31, ukončen

• 2003

  Pokročilé metody automatické verifikace parametrických a nekonečně stavových systémů, GAČR, Postdoktorandské granty, GP102/03/D211, zahájení: 2003-09-01, ukončení: 2006-09-01, ukončen

• 2002

  Doktorský studijní program Informační technologie na VUT v Brně, FR1833/2002/F1, zahájení: 2002-01-01, ukončení: 2002-12-31, ukončen

  InterpRISe - meziregionální spolupráce pro podporu regionálních inovačních strategií v Evropě, Phare 00-0047, zahájení: 2002-01-01, ukončení: 2002-12-11, ukončen

  Metody formální analýzy a verifikace v objektově orientovaných Petriho sítích, FR1948/2002/G1, zahájení: 2002-01-01, ukončení: 2002-12-31, ukončen

• 2001

  Prostředí pro vývoj, modelování a aplikaci heterogenních systémů, GAČR, Standardní projekty, GA102/01/1485, zahájení: 2001-01-01, ukončení: 2003-12-31, ukončen

• 2000

  Modelování, verifikace a prototypování distribuovaných aplikací s využitím Petriho sítí, GAČR, Standardní projekty, GA102/00/1017, zahájení: 2000-01-01, ukončení: 2002-12-31, ukončen

• 1998

  Výzkum a aplikace heterogenních modelů, GAČR, Standardní projekty, GA102/98/0552, zahájení: 1998-01-01, ukončení: 2000-12-31, ukončen

• 1997

  Inženýrství systémů založených na počítačích, FR618/1997/F1, zahájení: 1997-01-01, ukončení: 1997-12-31, ukončen

• 1994

  Metodologie vývoje informačních systémů, GAČR, Standardní projekty, GA102/94/1097, zahájení: 1994-01-01, ukončení: 1996-12-31, ukončen