Automated Analysis and Verification Research Group - VeriFIT

Projects

  • 2019

    Arrowhead - Arrowhead Tools for Engineering of Digitalisation Solutions, ECSEL JU - Horizon 2020, 2019-2022, running
    Research leader: Vojnar Tomáš
    Team leaders: Č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 - AuFoVer - Automated Formal Verification, TACR, TH04010192, 2019-2021, running
    Research leader: Kratochvíla Tomáš
    Team leaders: Kratochvíla Tomáš, Smrčka Aleš, Vojnar Tomáš
    Detail

    Advanced methods of deep inspection in the application layer to defend against today's threats, BUT, FEKT/FIT-J-19-5906, 2019-2020, running
    Research leader: Janků Petr
    Team leaders: 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, running
    Research leader: Robinson Charles
    Team leaders: 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

    Secure and Reliable Computer Systems, BUT, FIT-S-17-4014, FIT-S-17-4014, 2017-2019, running
    Research leader: Vojnar Tomáš
    Team leaders: 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 - veRificatiOn and Bug hUnting for advanced SofTware, GACR, GA17-12465S, 2017-2019, running
    Research leader: Vojnar Tomáš
    Team leaders: 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 for Formal Reasoning, GACR, GJ16-24707Y, 2016-2018, completed
    Research leader: Holík Lukáš
    Team leaders: Holík Lukáš, Lengál Ondřej, Šimáček Jiří
    Detail

    Relaxed equivalence checking for approximate computing, GACR, GA16-17538S, 2016-2018, completed
    Research leader: Vojnar Tomáš
    Team leaders: Holík Lukáš, Lengál Ondřej, Rogalewicz Adam, Sekanina Lukáš, Vašíček Zdeněk, Vojnar Tomáš
    Detail

  • 2014

    Automatic Analysis and Verification of Transactional Memories, COST, LD14001, 2014, completed
    Research leader: Vojnar Tomáš
    Team leaders: Dudka Vendula, Fiedor Jan, Křena Bohuslav, Letko Zdeněk, Pluháčková Hana, Vojnar Tomáš
    Detail

    Automatic Formal Analysis and Verification of Programs with Complex Unbounded Data and Control Structures, GACR, GA14-11384S, 2014-2016, completed
    Research leader: Vojnar Tomáš
    Team leaders: 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, completed
    Research leader: Kofroň Jan
    Team leaders: Kofroň Jan, Vojnar Tomáš
    Detail

    Reliability and Security in IT, BUT, FIT-S-14-2486, 2014-2016, completed
    Research leader: Vojnar Tomáš
    Team leaders: 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

    Intelligent Testing and Analysis of Concurrent Software, MŠMT CR, LH13265, 2013-2015, completed
    Research leader: Vojnar Tomáš
    Team leaders: Dudka Vendula, Fiedor Jan, Křena Bohuslav, Letko Zdeněk, Vojnar Tomáš
    Detail

    Verification of Infinite State Systems Based on Finite Automata, GACR, GP13-37876P, 2013-2015, completed
    Research leader: Holík Lukáš
    Team leaders: Holík Lukáš, Lengál Ondřej
    Detail

  • 2011

    Transactional Memories: Foundations, Algorithms, Tools, and Applications (Euro-TM), COST, IC1001, 2011-2015, completed
    Research leader: Lourenco Joao
    Team leaders: Dudka Vendula, Fiedor Jan, Křena Bohuslav, Letko Zdeněk, Lourenco Joao, Pluháčková Hana, Romano Paolo, Vojnar Tomáš
    Detail

  • 2010

    Automata and Logic for Symbolic Verification of Software, BARRANDE, MEB021023, 2010-2011, completed
    Research leader: Rogalewicz Adam
    Team leaders: Bozga Marius, Habermehl Peter, Iosif Radu, Konečný Filip, Rogalewicz Adam, Šimáček Jiří, Vojnar Tomáš
    Detail

    Static and Dynamic Verification of Programs with Advanced Features of Concurrency and Unboundedness, GACR, GAP103/10/0306, 2010-2013, completed
    Research leader: Vojnar Tomáš
    Team leaders: Č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, completed
    Research leader: Kuncak Viktor
    Team leaders: Č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

    Developement of techniques for automatic verification of programs with dynamic data structures, GACR, GP201/09/P531, 2009-2011, completed
    Research leader: Rogalewicz Adam
    Team leaders: Rogalewicz Adam
    Detail

  • 2008

    Advanced Methods for Automatic Verification of Infinite-state Systems, BARRANDE, MEB 020840, 2008-2009, completed
    Research leader: Vojnar Tomáš
    Team leaders: Bouajjani Ahmed, Češka Milan, Habermehl Peter, Holík Lukáš, Rogalewicz Adam, Smrčka Aleš, Touili Tayssir, Vojnar Tomáš
    Detail

  • 2007

    Advanced Formal Approaches in the Design and Verification of Computer-Based Systems, GACR, GA102/07/0322, 2007-2009, completed
    Research leader: Češka Milan
    Team leaders: 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

    Security-Oriented Research in Information Technology, CEZ MŠMT, MSM0021630528, 2007-2013, completed
    Research leader: Hruška Tomáš
    Team leaders: 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

    Formal verification of programs working with dynamic data strucktures, FRVŠ MŠMT, FR3101/2006/G1, 2006, completed
    Research leader: Erlebach Pavel, Erlebach Pavel
    Team leaders: Erlebach Pavel, Erlebach Pavel, Vojnar Tomáš, Vojnar Tomáš
    Detail

    Podpora výuky pro formální verifikaci hardwaru, FRVŠ MŠMT, FR2978/2006/G1, 2006, completed
    Research leader: Smrčka Aleš
    Team leaders: Smrčka Aleš, Vojnar Tomáš
    Detail

    A Self-Healing Approach to Designing Complex Software Systems, EC EU, 2006-2009, completed
    Research leader: Křena Bohuslav
    Team leaders: Dudka Vendula, Kočí Radek, Křena Bohuslav, Letko Zdeněk, Smrčka Aleš, Vojnar Tomáš, Vyvial Pavel, Zbořil František
    Detail

    Automatic Verification of Programs with Dynanic Data Structures with Pointers, BARRANDE, 2-06-27, 2006-2007, completed
    Research leader: Vojnar Tomáš
    Team leaders: Bouajjani Ahmed, Češka Milan, Erlebach Pavel, Habermehl Peter, Holík Lukáš, Moro Pierre, Rogalewicz Adam, Touili Tayssir, Vojnar Tomáš
    Detail

  • 2005

    Integrated approach to education of PhD students in the area of parallel and distributed systems, GACR, GD102/05/H050, 2005-2008, completed
    Research leader: Češka Milan, Gruska Jozef
    Team leaders: Č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

    Automated methods and tools supporting development of reliable parallel and distributed systems, GACR, GA102/04/0780, 2004-2006, completed
    Research leader: Češka Milan
    Team leaders: Č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, MSM6383917201, 2004-2010, completed
    Research leader: Novotný Jiří
    Team leaders: Č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

    Advanced Methods of Automatic Verification of Parametric and Infinite-State Systems, GACR, GP102/03/D211, 2003-2006, completed
    Research leader: Vojnar Tomáš
    Team leaders: Češka Milan, Vojnar Tomáš
    Detail

  • 2001

    ADVANCE -- Advanced Validation Techniques for Telecommunication Protocols, EU-5FP-IST, IST-1999-29082, 2001-2004, completed
    Research leader: Bouajjani Ahmed
    Team leaders: Bouajjani Ahmed, Matoušek Petr, Vojnar Tomáš
    Detail

    Environment for Development, Modelling, and Application of Heterogeneous Systems, GACR, GA102/01/1485, 2001-2003, completed
    Research leader: Vavřín Petr
    Team leaders: Č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

    Modelling, Verifying, and Prototyping Distributed Applications Using Petri Nets, GACR, GA102/00/1017, 2000-2002, completed
    Research leader: Češka Milan
    Team leaders: Č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

    Temporal Properties of Models Described by Object-Oriented Petri nets, FRVŠ MŠMT, FR1092/1999/G1, 1999-2000, completed
    Research leader: Janoušek Vladimír
    Team leaders: Janoušek Vladimír, Vojnar Tomáš
    Detail

  • 1998

    Verifying Temporal Properties of Models Based on Object-Oriented Petri Nets, FEECS BUT, FEI-98-?, 1998, completed
    Research leader: Vojnar Tomáš
    Team leaders: Vojnar Tomáš
    Detail

  • 1994

    Methodology of Information Systems Development, GACR, GA102/94/1097, 1994-1996, completed
    Research leader: Češka Milan
    Team leaders: Beneš Miroslav, Češka Milan, Hanáček Petr, Hruška Tomáš, Janoušek Vladimír, Peringer Petr, Rábová Zdeňka
    Detail

Back to top