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í

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

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

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

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

Efektivní automaty pro formální rozhodování, GAČR, Juniorské granty, GJ16-24707Y, zahájení: 2016-01-01, ukončení: 2018-12-31, ukončen

Přibližná ekvivalence pro aproximativní počítání, GAČR, Standardní projekty, GA16-17538S, zahájení: 2016-01-01, ukončení: 2018-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

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, zahájení: 2014-01-01, ukončení: 2016-12-31, ukončen

Verifikace za běhu nad rámec běžného monitorování (ARVI), EU, European Cooperation in Science and Technology (COST), IC1402, zahájení: 2014-12-17, ukončení: 2018-12-18, ukončen

2013

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

Verifikace nekonečně stavových systémů založená na konečných automatech, GAČR, Postdoktorandské granty, GP13-37876P, zahájení: 2013-02-01, ukončení: 2015-12-31, ukončen

2011

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

Automaty a logiky v symbolické verifikaci software, MŠMT, KONTAKT, MEB021023, zahájení: 2010-01-01, ukončení: 2011-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

Rozvoj technik pro automatické verifikace programů s dynamickými datovými strukturami, GAČR, Standardní projekty, GP201/09/P531, zahájení: 2009-01-01, ukončení: 2011-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

Formální verifikace programů pracujících s dynamickými datovými strukturami, FR3101/2006/G1, zahájení: 2006-01-01, ukončení: 2006-12-31, ukončen

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

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

Optická síť národního výzkumu a její nové aplikace, MŠMT, Výzkumná centra (2000-2004), MSM6383917201, zahájení: 2004-01-01, ukončení: 2010-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

2001

ADVANCE -- Advanced Validation Techniques for Telecommunication Protocols, IST-1999-29082, zahájení: 2001-10-01, ukončení: 2004-01-31, ukončen

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

1999

Temporální vlastnosti modelů popsaných objektově orientovanými Petriho sítěmi, FR1092/1999/G1, zahájení: 1999-01-01, ukončení: 2000-12-31, ukončen

1998

Ověřování temporálních vlastností modelů popsaných objektově orientovanými Petriho sítěmi, FEI-98-?, zahájení: 1998-01-01, ukončení: 1998-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