Fakulta informačních technologií VUT v Brně

Výzkumná skupina automatizované analýzy a verifikace - VeriFIT

Projekty

  • 2019

    Arrowhead - Arrowhead Tools for Engineering of Digitalisation Solutions, ECSEL JU - Horizon 2020, 2019-2022, řešení
    Řešitel: Vojnar Tomáš
    Spoluřešitelé: Češka Milan, Holík Lukáš, Křena Bohuslav, Lengál Ondřej, Rogalewicz Adam, Smrčka Aleš, Vojnar Tomáš, Zemčík Pavel
    Detail

    AUFOVER - Automatizace Formální Verifikace (TACR), TAČR - Program na podporu aplikovaného výzkumu a experimentálního vývoje EPSILON (2015-2025), TH04010192, 2019-2021, řeš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, řeš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 - Horizon 2020, 8A17001, 737475, 2017-2020, řeš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, řeš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áš, 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, Turoňová Lenka, 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, řeš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

Nahoru