Bohuslav Křena

Projekty

• 2024

  Verification and Analysis for Safety and Security of Applications in Life, EU, HORIZON EUROPE, SEP-210979090, zahájení: 2024-06-01, ukončení: 2027-05-31, řešení

• 2023

  Pokročilá analýza a verifikace pro pokročilý software, GAČR, Standardní projekty, GA23-06506S, zahájení: 2023-01-01, ukončení: 2025-12-31, řeš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

  Verifikace a validace spolehlivosti a bezpečnosti automatizovaných systémů, MŠMT, Společná technologická iniciativa ECSEL, 8A20009, zahájení: 2020-05-01, ukončení: 2023-07-31, ukončen

• 2019

  Nástroje Arrowhead pro inženýrství a řešení digitalizace, EU, Horizon 2020, 8A19010, zahájení: 2019-05-01, ukončení: 2022-07-31, ukončen

• 2017

  AQUAS: Agregované metody řízení kvality, MŠMT, Společná technologická iniciativa ECSEL, 8A17001, 737475, zahájení: 2017-05-01, ukončení: 2020-04-30, ukončen

  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

  Moderní a otevřené studium techniky (MOST), EU, OP VVV PO2 ESF výzva pro vysoké školy, zahájení: 2017-09-01, ukončení: 2022-12-31, ukončen

  ROBUST - Verifikace a hledání chyb v pokročilém softwaru, GAČR, Standardní projekty, GA17-12465S, zahájení: 2017-01-01, ukončení: 2019-12-31, 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

  Automatická analýza a verifikace transakčních pamětí, MŠMT, COST CZ (2011-2017), LD14001, zahájení: 2014-01-01, ukončení: 2014-12-31, ukončen

  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

• 2013

  HoliDes - Holistické lidské faktory a návrh systémů adaptivního rozhraní člověka s počítačem, MŠMT, Společné technologické iniciativy, 7H13004, zahájení: 2013-10-01, ukončení: 2016-09-30, ukončen

  Inteligentní testování a analýza paralelních programů, MŠMT, KONTAKT II (2011-2017), LH13265, zahájení: 2013-04-01, ukončení: 2015-03-31, ukončen

• 2012

  Podpora tvorby excelentních týmů mezioborového výzkumu na VUT, EU, OP VK - Oblast podpory 2.3 - Lidské zdroje ve VaV, EE2.3.30.0005, zahájení: 2012-07-01, ukončení: 2015-06-30, ukončen

  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

  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

  Transakční paměti: teoretické základy, algoritmy, nástroje a aplikace (Euro-TM), MŠMT, COST CZ (2011-2017), IC1001, zahájení: 2011-02-10, ukončení: 2015-02-09, 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

  ROBY - Racionalizace a objektivizace výuky - C45, zahájení: 2008-01-01, 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

  Metody a nástroje pro automatizované odhalování softwarových chyb, GAČR, Postdoktorandské granty, GP102/06/P076, zahájení: 2006-01-01, ukončení: 2008-12-31, ukončen

  SHADOWS - A Self-Healing Approach to Designing Complex Software Systems, zahájení: 2006-06-01, ukončení: 2009-07-31, ukončen

• 2005

  12. veletrh pomaturitního vzdělávání GAUDEAMUS 2005, MŠMT 623/1 - 2005, zahájení: 2005-01-01, ukončení: 2005-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

  Gaudeamus 2004, MŠMT 642/1 - 2004, zahájení: 2004-01-01, ukončení: 2004-12-31, ukončen

• 2002

  IMPIT - Mezinárodní mobilita studentů, MMI 20059, zahájení: 2002-01-01, ukončení: 2002-12-31, 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

• 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

• 1994

  PNtalk - nástroje založené na objektově orientovaných Petriho sítích, VUT, Institucionální podpora na rozvoj výzkumné organizace, UIVT-PNtalk, zahájení: 1994-01-01, ukončení: 2010-12-31, ukončen