Projekty
-
2024
Verification and Analysis for Safety and Security of Applications in Life, EU, HORIZON EUROPE, SEP-210979090, 2024-2027, řešení
-
2023
Cyber-security Excellence Hub in Estonia and South Moravia, EU, HORIZON EUROPE, 101087529, 2023-2026, řešení
Pokročilá analýza a verifikace pro pokročilý software, GAČR, Standardní projekty, GA23-06506S, 2023-2025, řešení
Reliable, Secure, and Intelligent Computer Systems, VUT, Vnitřní projekty VUT, FIT-S-23-8151, 2023-2026, řešení
-
2020
Spolehlivé, bezpečné a efektivní počítačové systémy, VUT, Vnitřní projekty VUT, FIT-S-20-6427, 2020-2023, ukončen
Škálovatelné techniky pro analýzu komplexních vlastností počítačových systémů, GAČR, Standardní projekty, GA20-07487S, 2020-2022, řešení
Verifikace a validace spolehlivosti a bezpečnosti automatizovaných systémů, EU, Horizon 2020, 8A20009, 2020-2023, řeš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, 2019-2021, ukončen
Automaty v rozhodovacích procedurách a verifikaci, GAČR, Standardní projekty, GA19-24397S, GA19-24397S, 2019-2021, řešení
Nástroje Arrowhead pro inženýrství a řešení digitalizace, MŠMT, Společná technologická iniciativa ECSEL, 8A19010, 2019-2022, ukončen
Pokročilé metody hluboké inspekce v aplikační vrstvě pro obranu proti dnešním hrozbám, VUT, Vnitřní projekty VUT, FEKT/FIT-J-19-5906, 2019-2020, ukončen
-
2017
AQUAS: Agregované metody řízení kvality, MŠMT, Společná technologická iniciativa ECSEL, 8A17001, 737475, 2017-2020, ukončen
Bezpečné a spolehlivé počítačové systémy, VUT, Vnitřní projekty VUT, FIT-S-17-4014, 2017-2020, ukončen
ROBUST - Verifikace a hledání chyb v pokročilém softwaru, GAČR, Standardní projekty, GA17-12465S, 2017-2019, řešení
-
2016
IT4Innovations excellence in science, MŠMT, Národní program udržitelnosti II, LQ1602, 2016-2020, ukončen
Přibližná ekvivalence pro aproximativní počítání, GAČR, Standardní projekty, GA16-17538S, 2016-2018, řešení
-
2014
Automatická analýza a verifikace transakčních pamětí, MŠMT, COST CZ (2011-2017), LD14001, 2014, ukončen
Automatizovaná formální analýza a verifikace programů se složitými datovými a řídicími strukturami s předem neomezenou velikostí, GAČR, Standardní projekty, GA14-11384S, 2014-2016, ukončen
Realizace prototypů experimentálních softwarových nástrojů, Red Hat Czech s.r.o., 2014, ukončen
Spolehlivost a bezpečnost v IT, VUT, Vnitřní projekty VUT, FIT-S-14-2486, 2014-2016, ukončen
Verifikace za běhu nad rámec běžného monitorování (ARVI), EU, European Cooperation in Science and Technology (COST), IC1402, 2014-2018, ukončen
Zlepšování kvality software, Red Hat Czech s.r.o., 2014-2020, řeš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, 2013-2016, ukončen
Inteligentní testování a analýza paralelních programů, MŠMT, KONTAKT II (2011-2017), LH13265, 2013-2015, 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, 2012-2015, ukončen
Verifikace a optimalizace počítačových systémů, VUT, Vnitřní projekty VUT, FIT-S-12-1, 2012-2014, ukončen
-
2011
Centrum excelence IT4Innovations, MŠMT, Operační program Výzkum a vývoj pro inovace, ED1.1.00/02.0070, 2011-2015, ukončen
Pokročilé bezpečné, spolehlivé a adaptivní IT, VUT, Vnitřní projekty VUT, FIT-S-11-1, 2011-2013, ukončen
Transakční paměti: teoretické základy, algoritmy, nástroje a aplikace (Euro-TM), MŠMT, COST CZ (2011-2017), IC1001, 2011-2015, ukončen
-
2010
Automaty a logiky v symbolické verifikaci software, MŠMT, KONTAKT, MEB021023, 2010-2011, ukončen
Bezpečné, spolehlivé a adaptivní počítačové systémy, VUT, Vnitřní projekty VUT, FIT-S-10-1, 2010, ukončen
Práce se složitými datovými strukturami a paralelismem v prostředí Rich Model Toolkit, MŠMT, COST, OC10009, 2010-2012, řešení
Statická a dynamická verifikace programů s pokročilými rysy paralelismu a neomezenosti, GAČR, Standardní projekty, GAP103/10/0306, 2010-2013, ř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, 2009-2012, ukončen
-
2008
Pokročilé techniky automatické verifikace nekonečně stavových systémů, MEB 020840, 2008-2009, 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, 2007-2009, ukončen
Výzkum informačních technologií z hlediska bezpečnosti, MŠMT, Institucionální prostředky SR ČR (např. VZ, VC), MSM0021630528, 2007-2013, řešení
-
2006
Automatická verifikace programů s dynamickými datovými strukturami provázanými ukazateli, 2-06-27, 2006-2007, ukončen
Formální verifikace programů pracujících s dynamickými datovými strukturami, FR3101/2006/G1, 2006, ukončen
Počítačová učebna pro výuku modelování, simulace a geografických informačních systémů, FR2656/2006/Ab, 2006, 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, 2005-2008, 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, 2004-2006, ukončen
Optická síť národního výzkumu a její nové aplikace, MŠMT, Výzkumná centra (2000-2004), MSM6383917201, 2004-2010, ukončen
-
2003
Pokročilé metody automatické verifikace parametrických a nekonečně stavových systémů, GAČR, Postdoktorandské granty, GP102/03/D211, 2003-2006, ukončen
-
2002
Doktorský studijní program Informační technologie na VUT v Brně, FR1833/2002/F1, 2002, ukončen
-
2001
Prostředí pro vývoj, modelování a aplikaci heterogenních systémů, GAČR, Standardní projekty, GA102/01/1485, 2001-2003, 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, 2000-2002, 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, 1994-2010, ukončen