Automated Analysis and Verification Research Group - VeriFIT

Projects

2010Static and Dynamic Verification of Programs with Advanced Features of Concurrency and Unboundedness, GAČR, GP103/10/0306, 2010-2013, running
Research leader: Vojnar Tomáš
Team leaders: Češka Milan, Křena Bohuslav, Peringer Petr, Rogalewicz Adam, Smrčka Aleš
2008Advanced Methods for Automatic Verification of Infinite-state Systems, BARRANDE, MEB 020840, 2008-2009, completed
Research leader: Vojnar Tomáš
Team leaders: Habermehl Peter
2007Advanced Formal Approaches in the Design and Verification of Computer-Based Systems, GAČR, GA102/07/0322, 2007-2009, completed
Research leader: Češka Milan
Team leaders: Cerhák Michal, 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áš
 Security-Oriented Research in Information Technology, CEZ MŠMT, MSM0021630528, 2007-2013, running
Research leader: Hruška Tomáš
Team leaders: Burget Lukáš, Burget Radek, Cvrček Daniel, Černocký Jan, Češka Milan, Drahanský Martin, Dvořák Václav, Fučík Otto, Hanáček Petr, Herout Adam, Hrubý Martin, Janoušek Vladimír, Jaroš Jiří, Kočí Radek, Kolář Dušan, Kořenek Jan, Kotásek Zdeněk, Kršek Přemysl, Křena Bohuslav, Kunovský Jiří, Martínek Tomáš, Masopust Tomáš, Matějka Pavel, Matoušek Petr, Meduna Alexander, Očenášek Pavel, Orság Filip, Růžička Richard, Ryšavý Ondřej, Sekanina Lukáš, Smrž Pavel, Strnadel Josef, Švéda Miroslav, Vojnar Tomáš, Zbořil František, Zbořil František V., Zemčík Pavel, Zendulka Jaroslav
2006A Self-Healing Approach to Designing Complex Software Systems, EC EU, 2006-2009, completed
Research leader: Křena Bohuslav
Team leaders: Kočí Radek, Vojnar Tomáš, Zbořil František
 Automatic Verification of Programs with Dynanic Data Structures with Pointers, BARRANDE, 2-06-27, 2006-2007, completed
Research leader: Vojnar Tomáš
Team leaders: Habermehl Peter
2005Integrated approach to education of PhD students in the area of parallel and distributed systems, GAČR, GD102/05/H050, 2005-2008, completed
Research leader: Češka Milan, Gruska Jozef
2004Optická síť národního výzkumu a její nové aplikace, CESNET, MSM6383917201, 2004-2010, running
Research leader: Novotný Jiří
Team leaders: Čejka Rudolf, Fučík Otto, Kořenek Jan, Kršek Přemysl, Martínek Tomáš, Matoušek Petr, Pečenka Tomáš, Smrčka Aleš, Vojnar Tomáš, Zemčík Pavel

Your IPv4 address: 38.107.179.212
Switch to IPv6 connection

DNSSEC [dnssec]