2023

CHESS - Cyber-security Excellence Hub in Estonia and South Moravia, EK EU - HORIZON EUROPE, 101087529, 101087529, 2023-2026, řešení
Řešitel: Vojnar Tomáš
Spoluřešitelé: Andriushchenko Roman, Češka Milan, Dacík Tomáš, Fiedor Jan, Hajný Jan, Homoliak Ivan, Malík Viktor, Malinka Kamil, Vojnar Tomáš
Detail

2020

Efektivní konečné automaty pro automatické usuzování, MŠMT ČR - ERC CZ, LL1908, 2020-2024, řešení
Řešitel: Holík Lukáš
Spoluřešitelé: Blahoudek František, Češka Milan, Fiedor Tomáš, Havlena Vojtěch, Holík Lukáš, Holíková Lenka, Homoliak Ivan, Horký Michal, Hošták Viliam Samuel, Hruška Martin, Jawed Soyiba, Kesiraju Michaela, Křivka Zbyněk, Lengál Ondřej, Macák Filip, Martiček Štefan, Meduna Alexander, Rogalewicz Adam, Síč Juraj, Slezáková Alexandra, Smrčka Aleš, Šedý Michal, Šoková Veronika, Toth Vaňo Pavol, Vojnar Tomáš
Detail

VALU3S - Verification and Validation of Automated Systems' Safety and Security, ECSEL JU - Společná technologická iniciativa ECSEL, 8A20009, 876852, 2020-2023, ukončen
Řešitel: Smrčka Aleš
Spoluřešitelé: Češka Milan, Fiedor Jan, Harmim Dominik, Holík Lukáš, Homoliak Ivan, Hrubý Martin, Chlubna Tomáš, Juráček Ivo, Kišš Martin, Kohút Jan, Křena Bohuslav, Lengál Ondřej, Liščinský Matúš, Marcin Vladimír, Pavela Jiří, Pavela Ondřej, Peringer Petr, Rogalewicz Adam, Rozsíval Michal, Sangchoolie Behrooz, Smrčka Aleš, Smrž Pavel, Tureček Dominik, Vlnas Michal, Vojnar Tomáš, Zemčík Pavel
Detail

2019

Arrowhead - Arrowhead Tools for Engineering of Digitalisation Solutions, ECSEL JU - Společná technologická iniciativa ECSEL, 8A19010, 826452, 2019-2022, ukončen
Řešitel: Vojnar Tomáš
Spoluřešitelé: Beránek Tomáš, Češka Milan, Dacík Tomáš, Fiedor Jan, Fiedor Tomáš, Harmim Dominik, Holík Lukáš, Holíková Lenka, Homoliak Ivan, Janků Petr, Kolář Martin, Křena Bohuslav, Lengál Ondřej, Marcin Vladimír, Olšák Ondřej, Pavela Jiří, Pavela Ondřej, Peringer Petr, Rogalewicz Adam, Smrčka Aleš, Smrž Pavel, Stupinský Šimon, Vašíček Ondřej, Vašíček Ondřej, Veľas Martin, Vojnar Tomáš, Zemčík Pavel
Detail

AUFOVER - 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
Řešitel: Kratochvíla Tomáš
Spoluřešitelé: Kratochvíla Tomáš, Smrčka Aleš, Vojnar Tomáš
Detail

Pokročilé metody hluboké inspekce v aplikační vrstvě pro obranu proti dnešním hrozbám, VUT v Brně - Vnitřní projekty VUT, FEKT/FIT-J-19-5906, 2019-2020, ukončen
Řešitel: Janků Petr
Spoluřešitelé: Holík Lukáš, Janků Petr, Mlýnek Petr, Sláčik Ján, Vargovčík Pavol, Vojnar Tomáš
Detail

2017

AQUAS: Aggregated Quality Assurance for Systems, ECSEL JU - Společná technologická iniciativa ECSEL, 8A17001, 737475, 2017-2020, ukončen
Řešitel: Robinson Charles
Spoluřešitelé: Barabas Maroš, Hanáček Petr, Hrubý Martin, Křena Bohuslav, Lengál Ondřej, Robinson Charles, Smrčka Aleš, Vojnar Tomáš, Zemčík Pavel
Detail

Bezpečné a spolehlivé počítačové systémy, VUT v Brně - Vnitřní projekty VUT, FIT-S-17-4014, FIT-S-17-4014, 2017-2019, ukončen
Řešitel: Vojnar Tomáš
Spoluřešitelé: Barabas Maroš, Češka Milan, Češka Milan, Drahanský Martin, Fiedor Jan, Fiedor Tomáš, Hanáček Petr, Havlena Vojtěch, Holík Lukáš, Holíková Lenka, Hrubý Martin, Hruška Martin, Janků Petr, Janoušek Vladimír, Kočí Radek, Křena Bohuslav, Kunovský Jiří, Lengál Ondřej, Malík Viktor, Malinka Kamil, Matyáš Jiří, Mazura František, Očenáš Martin, Orság Filip, Peringer Petr, Pluháčková Hana, Rogalewicz Adam, Rozman Jaroslav, Smrčka Aleš, Šátek Václav, Šoková Veronika, Šůstek Martin, Vídeňský František, Vojnar Tomáš, Vyroubalová Jana, Zbořil František, Zbořil František V.
Detail

ROBUST - Verifikace a hledání chyb v pokročilém softwaru, GAČR - Standardní projekty, GA17-12465S, 2017-2019, ukončen
Řešitel: Vojnar Tomáš
Spoluřešitelé: Holík Lukáš, Kofroň Jan, Křena Bohuslav, Malásková Věra, Peringer Petr, Rogalewicz Adam, Smrčka Aleš, Vojnar Tomáš
Detail

2016

Efficient Automata Techniques for Formal Reasoning, GAČR - Juniorské granty, GJ16-24707Y, 2016-2018, ukončen
Řešitel: Holík Lukáš
Spoluřešitelé: Holík Lukáš, Lengál Ondřej, Šimáček Jiří
Detail

Přibližná ekvivalence pro aproximativní počítání, GAČR - Standardní projekty, GA16-17538S, 2016-2018, ukončen
Řešitel: Vojnar Tomáš
Spoluřešitelé: Holík Lukáš, Lengál Ondřej, Rogalewicz Adam, Sekanina Lukáš, Vašíček Zdeněk, Vojnar Tomáš
Detail

2014

Automatická analýza a verifikace transakčních pamětí, COST - COST CZ (2011-2017), LD14001, 2014, ukončen
Řešitel: Vojnar Tomáš
Spoluřešitelé: Dudka Vendula, Fiedor Jan, Křena Bohuslav, Letko Zdeněk, Pluháčková Hana, Vojnar Tomáš
Detail

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
Řešitel: Vojnar Tomáš
Spoluřešitelé: Dudka Kamil, Fiedor Jan, Holík Lukáš, Hruška Martin, Chaloupka Jan, Charvát Lukáš, Kofroň Jan, Lengál Ondřej, Müller Petr, Parízek Pavel, Peringer Petr, Rogalewicz Adam, Vojnar Tomáš
Detail

Runtime Verification beyond Monitoring (ARVI), COST - European Cooperation in Science and Technology (COST), IC1402, IC1402, 2014-2018, ukončen
Řešitel: Kofroň Jan
Spoluřešitelé: Kofroň Jan, Vojnar Tomáš
Detail

Spolehlivost a bezpečnost v IT, VUT v Brně - Vnitřní projekty VUT, FIT-S-14-2486, 2014-2016, ukončen
Řešitel: Vojnar Tomáš
Spoluřešitelé: Abdulrahman Wassem, Aron Lukáš, Barabas Maroš, Brunai Adam, Češka Milan, Češka Milan, Dalecký Štěpán, Doležel Michal, Drahanský Martin, Dudka Kamil, Dudka Vendula, Fajkus Jan, Fiedor Jan, Fiedor Tomáš, Hájek Josef, Hanáček Petr, Holík Lukáš, Homoliak Ivan, Horáček Jan, Hrubý Martin, Chaloupka Jan, Charvát Lukáš, Janča Radim, Janoušek Vladimír, Kačic Matej, Kanich Ondřej, Klubal Ondřej, Kocina Filip, Kočí Radek, Koranda Karel, Košík Michal, Král Jiří, Křena Bohuslav, Kunovský Jiří, Kupková Karolína, Lengál Ondřej, Letko Zdeněk, Luža Radim, Malčík Dominik, Malinka Kamil, Marek Martin, Martinkovičová Alžbeta, Marvan Aleš, Mráček Štěpán, Nahhas Ibrahim, Nečasová Gabriela, Novosad Petr, Novotný Tomáš, Orság Filip, Ovšonka Daniel, Peringer Petr, Pluháčková Hana, Polášek Petr, Richta Tomáš, Rogalewicz Adam, Rozman Jaroslav, Samek Jan, Semerád Lukáš, Smrčka Aleš, Snášelová Petra, Šátek Václav, Valenta Václav, Váňa Jan, Veigend Petr, Vojnar Tomáš, Winklerová Zdenka, Zbořil František, Zbořil František V., Žák Jakub
Detail

2013

Inteligentní testování a analýza paralelních programů, MŠMT ČR - KONTAKT II (2011-2017), LH13265, 2013-2015, ukončen
Řešitel: Vojnar Tomáš
Spoluřešitelé: Dudka Vendula, Fiedor Jan, Křena Bohuslav, Letko Zdeněk, Vojnar Tomáš
Detail

Verification of Infinite State Systems Based on Finite Automata, GAČR - Postdoktorandské granty, GP13-37876P, 2013-2015, ukončen
Řešitel: Holík Lukáš
Spoluřešitelé: Holík Lukáš, Lengál Ondřej
Detail

2011

Transactional Memories: Foundations, Algorithms, Tools, and Applications (Euro-TM), COST - COST CZ (2011-2017), IC1001, 2011-2015, ukončen
Řešitel: Lourenco Joao
Spoluřešitelé: Dudka Vendula, Fiedor Jan, Křena Bohuslav, Letko Zdeněk, Lourenco Joao, Pluháčková Hana, Romano Paolo, Vojnar Tomáš
Detail

2010

Automates et Logique pour la vérification symbolique de logiciels, BARRANDE - KONTAKT, MEB021023, 2010-2011, ukončen
Řešitel: Rogalewicz Adam
Spoluřešitelé: Bozga Marius, Habermehl Peter, Iosif Radu, Konečný Filip, Rogalewicz Adam, Šimáček Jiří, Vojnar Tomáš
Detail

Statická a dynamická verifikace programů s pokročilými rysy paralelismu a neomezenosti, GAČR - Standardní projekty, GAP103/10/0306, 2010-2013, ukončen
Řešitel: Vojnar Tomáš
Spoluřešitelé: Češka Milan, Dudka Kamil, Dudka Vendula, Fiedor Jan, Gach Marek, Holík Lukáš, Hýsek Jiří, Charvát Lukáš, Konečný Filip, Křena Bohuslav, Letko Zdeněk, Peringer Petr, Rogalewicz Adam, Smrčka Aleš, Šimáček Jiří, Vojnar Tomáš
Detail

2009

Rich-Model Toolkit -- An Infrastructure for Reliable Computer Systems, COST, IC0901, 2009-2013, ukončen
Řešitel: Kuncak Viktor
Spoluřešitelé: Češka Milan, Dudka Kamil, Fiedor Jan, Gach Marek, Holík Lukáš, Hýsek Jiří, Konečný Filip, Křena Bohuslav, Kuncak Viktor, Letko Zdeněk, Peringer Petr, Rogalewicz Adam, Smrčka Aleš, Šimáček Jiří, Vojnar Tomáš
Detail

Rozvoj technik pro automatické verifikace programů s dynamickými datovými strukturami, GAČR - Postdoktorandské granty, GP201/09/P531, 2009-2011, ukončen
Řešitel: Rogalewicz Adam
Spoluřešitelé: Rogalewicz Adam
Detail

2008

Techniques avancées pour la vérification de systémes a nombre d'états infini, BARRANDE, MEB 020840, 2008-2009, ukončen
Řešitel: Vojnar Tomáš
Spoluřešitelé: Bouajjani Ahmed, Češka Milan, Habermehl Peter, Holík Lukáš, Rogalewicz Adam, Smrčka Aleš, Touili Tayssir, Vojnar Tomáš
Detail

2007

Pokročilé formální přístupy v návrhu a automatické verifikaci počítačových systémů, GAČR, GA102/07/0322, 2007-2009, ukončen
Řešitel: Češka Milan
Spoluřešitelé: Cerhák Michal, Češka Milan, Erlebach Pavel, Holík Lukáš, Janoušek Vladimír, Kironský Elöd, Kočí Radek, Křena Bohuslav, Polášek Petr, Rogalewicz Adam, Smrčka Aleš, Vojnar Tomáš
Detail

Výzkum informačních technologií z hlediska bezpečnosti, CEZ MŠMT - Institucionální prostředky SR ČR (např. VZ, VC), MSM0021630528, 2007-2013, ukončen
Řešitel: Hruška Tomáš
Spoluřešitelé: Bartík Vladimír, Bidlo Michal, Burget Lukáš, Burget Radek, Cvrček Daniel, Černocký Jan, Češka Milan, Drábek Vladimír, Drahanský Martin, Dvořák Václav, Erlebach Pavel, Fučík Otto, Gajda Zbyšek, Granát Jiří, Grézl František, Hanáček Petr, Herout Adam, Holík Lukáš, Honzík Jan M., Hrubý Martin, Hruška Tomáš, Chmelař Petr, Chudý Peter, Janoušek Vladimír, Jaroš Jiří, Karafiát Martin, Kočí Radek, Kolář Dušan, Kořenek Jan, Kotásek Zdeněk, Kreslíková Jitka, Kršek Přemysl, Křena Bohuslav, Křivka Zbyněk, Kumpošt Marek, Kunc Michael, Kunovský Jiří, Květoňová Šárka, Lampa Petr, Lukáš Roman, Malinka Kamil, Martínek Tomáš, Masopust Tomáš, Matějka Pavel, Matoušek Petr, Mazal Zdeněk, Meduna Alexander, Novosad Petr, Očenášek Pavel, Orság Filip, Pecho Peter, Peringer Petr, Ráb Jaroslav, Rudolfová Ivana, Růžička Richard, Rychlý Marek, Ryšavý Ondřej, Samek Jan, Sekanina Lukáš, Schäfer Jiří, Schwarz Josef, Smrčka Aleš, Smrž Pavel, Strnadel Josef, Švéda Miroslav, Trchalík Roman, Vašíček Zdeněk, Vojnar Tomáš, Zbořil František, Zbořil František V., Zemčík Pavel, Zendulka Jaroslav
Detail

2006

Formální verifikace programů pracujících s dynamickými datovými strukturami, FRVŠ MŠMT, FR3101/2006/G1, 2006, ukončen
Řešitel: Erlebach Pavel, Erlebach Pavel
Spoluřešitelé: Erlebach Pavel, Erlebach Pavel, Vojnar Tomáš, Vojnar Tomáš
Detail

Podpora výuky pro formální verifikaci hardwaru, FRVŠ MŠMT, FR2978/2006/G1, 2006, ukončen
Řešitel: Smrčka Aleš
Spoluřešitelé: Smrčka Aleš, Vojnar Tomáš
Detail

SHADOWS - A Self-Healing Approach to Designing Complex Software Systems, EK EU, 2006-2009, ukončen
Řešitel: Křena Bohuslav
Spoluřešitelé: Dudka Vendula, Kočí Radek, Křena Bohuslav, Letko Zdeněk, Smrčka Aleš, Vojnar Tomáš, Vyvial Pavel, Zbořil František
Detail

Vérification automatique de programmes avec structures de données dynamiques a pointeurs, BARRANDE, 2-06-27, 2006-2007, ukončen
Řešitel: Vojnar Tomáš
Spoluřešitelé: Bouajjani Ahmed, Češka Milan, Erlebach Pavel, Habermehl Peter, Holík Lukáš, Moro Pierre, Rogalewicz Adam, Touili Tayssir, Vojnar Tomáš
Detail

2005

Integrovaný přístup k výchově studentů DSP v oblasti paralelních a distribuovaných systémů, GAČR, GD102/05/H050, 2005-2008, ukončen
Řešitel: Češka Milan, Gruska Jozef
Spoluřešitelé: Češka Milan, Gruska Jozef, Hanáček Petr, Kotásek Zdeněk, Rábová Zdeňka, Růžička Richard, Švéda Miroslav, Vojnar Tomáš
Detail

2004

Automatizované metody a nástroje pro vývoj spolehlivých paralelních a distribuovaných systémů, GAČR, GA102/04/0780, 2004-2006, ukončen
Řešitel: Češka Milan
Spoluřešitelé: Češka Milan, Haša Luděk, Janoušek Vladimír, Kočí Radek, Křena Bohuslav, Rábová Zdeňka, Vojnar Tomáš
Detail

Optická síť národního výzkumu a její nové aplikace, CEZ MŠMT - Institucionální prostředky SR ČR (např. VZ, VC), MSM6383917201, 2004-2010, ukončen
Řešitel: Novotný Jiří
Spoluřešitelé: Čejka Rudolf, Fučík Otto, Kořenek Jan, Kršek Přemysl, Martínek Tomáš, Matoušek Petr, Novotný Jiří, Pečenka Tomáš, Smrčka Aleš, Vojnar Tomáš, Zemčík Pavel
Detail

2003

Pokročilé metody automatické verifikace parametrických a nekonečně stavových systémů, GAČR, GP102/03/D211, 2003-2006, ukončen
Řešitel: Vojnar Tomáš
Spoluřešitelé: Češka Milan, Vojnar Tomáš
Detail

2001

ADVANCE -- Advanced Validation Techniques for Telecommunication Protocols, EU-5FP-IST, IST-1999-29082, 2001-2004, ukončen
Řešitel: Bouajjani Ahmed
Spoluřešitelé: Bouajjani Ahmed, Matoušek Petr, Vojnar Tomáš
Detail

Prostředí pro vývoj, modelování a aplikaci heterogenních systémů, GAČR, GA102/01/1485, 2001-2003, ukončen
Řešitel: Vavřín Petr
Spoluřešitelé: Černohorský Jakub, Češka Milan, Drahanský Martin, Güttner Jakub, Hanáček Petr, Hrubý Martin, Hruška Tomáš, Janoušek Vladimír, Jirsík Václav, Kočí Radek, Kunovský Jiří, Malec Zdeněk, Martinek David, Orság Filip, Peringer Petr, Petřek Jiří, Pivoňka Petr, Rábová Zdeňka, Řezáč David, Václavek Pavel, Vavřín Petr, Vojnar Tomáš, Zacios Dalibor, Zbořil František, Zbořil František
Detail

2000

Modelování, verifikace a prototypování distribuovaných aplikací s využitím Petriho sítí, GAČR, GA102/00/1017, 2000-2002, ukončen
Řešitel: Češka Milan
Spoluřešitelé: Češka Milan, Haša Luděk, Janoušek Vladimír, Kočí Radek, Křena Bohuslav, Rábová Zdeňka, Schwarz Ivan, Vojnar Tomáš
Detail

1999

Temporální vlastnosti modelů popsaných objektově orientovanými Petriho sítěmi, FRVŠ MŠMT, FR1092/1999/G1, 1999-2000, ukončen
Řešitel: Janoušek Vladimír
Spoluřešitelé: Janoušek Vladimír, Vojnar Tomáš
Detail

1998

Ověřování temporálních vlastností modelů popsaných objektově orientovanými Petriho sítěmi, FEI VUT, FEI-98-?, 1998, ukončen
Řešitel: Vojnar Tomáš
Spoluřešitelé: Vojnar Tomáš
Detail

1994

Metodologie vývoje informačních systémů, GAČR, GA102/94/1097, 1994-1996, ukončen
Řešitel: Češka Milan
Spoluřešitelé: Beneš Miroslav, Češka Milan, Hanáček Petr, Hruška Tomáš, Janoušek Vladimír, Peringer Petr, Rábová Zdeňka
Detail