Projects

• 2016

  LQ1602, IT4Innovations excellence in science, zahájení: 01.01.2016, ukončení: 31.12.2020
  Detail

• 2014

  Výzkum pokročilých metod ICT a jejich aplikace, zahájení: 01.01.2014, ukončení: 31.12.2016
  Detail

• 2011

  ED1.1.00/02.0070, The IT4Innovations Centre of Excellence, zahájení: 01.01.2011, ukončení: 31.12.2015
  Detail

  Pokročilé bezpečné, spolehlivé a adaptivní IT, zahájení: 01.01.2011, ukončení: 31.12.2013
  Detail

  TA01010632, SCADA systém pro řízení a monitorování procesů v reálném čase, zahájení: 01.01.2011, ukončení: 31.12.2013
  Detail

• 2010

  Bezpečné, spolehlivé a adaptivní počítačové systémy, zahájení: 01.03.2010, ukončení: 31.12.2010
  Detail

• 2009

  FR-TI1/037, Automatizované zpracování útoků, zahájení: 01.10.2009, ukončení: 30.09.2013
  Detail

  EE2.3.09.0067, TeamIT - Budování konkurenceschopných výzkumných týmů pro IT, zahájení: 01.09.2009, ukončení: 31.08.2012
  Detail

• 2008

  ATLANTIS-DeSIRE^2: Dependable Systems International Research and Educational Experience, zahájení: 01.10.2008, ukončení: 30.09.2013
  Detail

  GA102/08/1429, Bezpečnost a zabezpečení aplikací sítí vestavěných systémů, zahájení: 01.01.2008, ukončení: 31.12.2010
  Detail

• 2007

  Průmyslová bezdrátová síť ZigBee, zahájení: 01.01.2007, ukončení: 31.12.2007
  Detail

  MSM0021630528, Výzkum informačních technologií z hlediska bezpečnosti, zahájení: 01.01.2007, ukončení: 31.12.2013
  Detail

• 2006

  Toward International Learning Environment for Real-Time Safety-Critical Control Systems (ILERT), zahájení: 01.11.2006, ukončení: 31.12.2008
  Detail

• 2005

  MSM0021630503, Nové trendy v mikroelektronických systémech a nanotechnologiích (MIKROSYN), zahájení: 17.11.2005, ukončení: 31.12.2011
  Detail

  FT-TA2/095, FT-TA2/095 - Výzkum a vývoj ekonomicky příznivého informačního a bezpečnostního systému určeného pro bytovou výstavbu a modernizaci starších a zejména panelových obytných domů, zahájení: 03.01.2005, ukončení: 31.12.2007
  Detail

  GA102/05/0467, Architektury sítí pro vestavěné systémy, zahájení: 01.01.2005, ukončení: 31.12.2007
  Detail

  GA102/05/0723, Rámec pro formální specifikace a prototypování síťových aplikací informačních systémů, zahájení: 01.01.2005, ukončení: 31.12.2007
  Detail

  GD102/05/H050, Integrovaný přístup k výchově studentů DSP v oblasti paralelních a distribuovaných systémů, zahájení: 01.01.2005, ukončení: 31.12.2008
  Detail

• 2004

  Design and implementation of embedded formal verification assistants in the .NET framework, zahájení: 12.03.2004, ukončení: 30.09.2005
  Detail

• 2003

  GA102/03/0560, Nové metody zajištění a kontroly dodržení kvality služeb v sítích nových generací, GAČR reg.č. GA 102/03/0560, zahájení: 26.03.2003, ukončení: 31.12.2005
  Detail

• 2002

  InterpRISe - Interregional Co-operation for Promoting Regional Innovation Strategies (RIS) in Europe, zahájení: 01.01.2002, ukončení: 11.12.2002
  Detail

  GA102/02/1032, Vestavěné řídicí systémy a jejich vzájemná komunikace, zahájení: 01.01.2002, ukončení: 31.12.2004
  Detail

• 2000

  Experimentální laboratoř pro zaměření ECBS, zahájení: 01.01.2000, ukončení: 31.12.2000
  Detail

  GA102/00/0938, Tlakový analyzátor, zahájení: 01.01.2000, ukončení: 31.12.2001
  Detail

• 1999

  MSM 262200012, Výzkum informačních a řídicích systémů, zahájení: 01.01.1999, ukončení: 31.12.2004
  Detail

• 1997

  Inženýrství systémů založených na počítačích, zahájení: 01.01.1997, ukončení: 31.12.1997
  Detail

• 1995

  GA102/95/1365, Heterogenní průmyslové sítě typu fieldbus, zahájení: 01.01.1995, ukončení: 31.12.1997
  Detail

  Stimulace evropského průmyslu pomocí velmi výkonných výpočtů, zahájení: 01.01.1995, ukončení: 31.12.1998
  Detail

• 1994

  Verification and Validation Methods for Formal Descriptions, zahájení: 01.01.1994, ukončení: 31.12.1996
  Detail