2023

CHESS - Cyber-security Excellence Hub in Estonia and South Moravia, EC EU - HORIZON EUROPE, 101087529, 101087529, 2023-2026, running
Research leader: Vojnar Tomáš
Team leaders: Andriushchenko Roman, Češka Milan, Dacík Tomáš, Fiedor Jan, Hajný Jan, Homoliak Ivan, Malík Viktor, Malinka Kamil, Vojnar Tomáš
Detail

2020

Efficient Finite Automata for Automated Reasoning, MŠMT CR, LL1908, 2020-2024, running
Research leader: Holík Lukáš
Team leaders: 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, 8A20009, 876852, 2020-2023, completed
Research leader: Smrčka Aleš
Team leaders: Češka Milan, Fiedor Jan, Harmim Dominik, 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, Sauchanka Igar, Smrčka Aleš, Smrž Pavel, Svobodová Lucie, Tureček Dominik, Vlnas Michal, Vojnar Tomáš, Zemčík Pavel
Detail

2019

Arrowhead - Arrowhead Tools for Engineering of Digitalisation Solutions, ECSEL JU, 8A19010, 826452, 2019-2022, completed
Research leader: Vojnar Tomáš
Team leaders: 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 - Automation of Formal Verification, TACR, TH04010192, 2019-2021, completed
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, completed
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, 8A17001, 737475, 2017-2020, completed
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, completed
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áš, 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 - veRificatiOn and Bug hUnting for advanced SofTware, GACR, GA17-12465S, 2017-2019, completed
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