Projekty
-
2021
Zabezpečení a dohled distribuovaných výrobních informačních systémů, TAČR, Národní centra kompetence 1, TN01000077, TN01000077/12, zahájení: 2021-05-01, ukončení: 2022-12-31, ukončen
-
2020
Efektivní konečné automaty pro automatické usuzování, MŠMT, ERC CZ, LL1908, zahájení: 2020-01-01, ukončení: 2024-12-31, řešení
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ů, EU, Horizon 2020, 8A20009, zahájení: 2020-05-01, ukončení: 2023-07-31, ukončen
-
2019
Automatizace formální verifikace, TAČR, Program na podporu aplikovaného výzkumu a experimentálního vývoje EPSILON (2015-2025), TH04010192, zahájení: 2019-01-01, ukončení: 2021-12-31, ukončen
KYPO4Industry, TAČR, Národní centra kompetence 1, TN01000077, TN01000077/06, zahájení: 2019-08-01, ukončení: 2020-12-31, ukončen
Nástroje Arrowhead pro inženýrství a řešení digitalizace, MŠMT, Společná technologická iniciativa ECSEL, 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
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
-
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
-
2010
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í
-
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
Podpora výuky pro formální verifikaci hardwaru, FR2978/2006/G1, zahájení: 2006-01-01, ukončení: 2006-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
-
2004
Optická síť národního výzkumu a její nové aplikace, MŠMT, Institucionální prostředky SR ČR (např. VZ, VC), MSM6383917201, zahájení: 2004-01-01, ukončení: 2010-12-31, ukončen