Automated Analysis and Verification Research Group - VeriFIT

Projects

2017AQUAS: Aggregated Quality Assurance for Systems, ECSEL JU - Horizon 2020, 737475, 2017-2020, running
Research leader: Robinson Charles, Vojnar Tomáš
 ROBUST - veRificatiOn and Bug hUnting for advanced SofTware, GACR, 17-12465S, 2017-2019, running
Research leader: Vojnar Tomáš
Team leaders: Kofroň Jan
 Secure and Reliable Computer Systems, BUT, FIT-S-17-4014, FIT-S-17-4014, 2017-2019, running
Research leader: Vojnar Tomáš
2016Efficient Automata for Formal Reasoning, GACR, GJ16-24707Y, 2016-2018, running
Research leader: Holík Lukáš
 Relaxed equivalence checking for approximate computing, GACR, GA16-17538S, 2016-2018, running
Research leader: Vojnar Tomáš
2014Automatic Analysis and Verification of Transactional Memories, COST, LD14001, 2014, completed
Research leader: Vojnar Tomáš
 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: Kofroň Jan
 Reliability and Security in IT, BUT, FIT-S-14-2486, 2014-2016, completed
Research leader: Vojnar Tomáš
 Runtime Verification beyond Monitoring (ARVI), COST - European Cooperation in Science and Technology (COST), IC1402, IC1402, 2014-2018, running
Research leader: Kofroň Jan
Team leaders: Vojnar Tomáš
2013Intelligent Testing and Analysis of Concurrent Software, MŠMT CR, LH13265, 2013-2015, completed
Research leader: Vojnar Tomáš
Team leaders: Křena Bohuslav
 Verification of Infinite State Systems Based on Finite Automata, GACR, GP13-37876P, 2013-2015, completed
Research leader: Holík Lukáš
2011Transactional Memories: Foundations, Algorithms, Tools, and Applications (Euro-TM), COST, IC1001, 2011-2015, completed
Research leader: Lourenco Joao
Team leaders: Romano Paolo, Vojnar Tomáš
2010Static 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, Křena Bohuslav, Peringer Petr, Rogalewicz Adam, Smrčka Aleš
2009Rich-Model Toolkit -- An Infrastructure for Reliable Computer Systems, COST, IC0901, 2009-2013, completed
Research leader: Kuncak Viktor
Team leaders: Vojnar Tomáš
2007Security-Oriented Research in Information Technology, CEZ MŠMT, MSM0021630528, 2007-2013, completed
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

Your IPv4 address: 54.196.33.246
Switch to IPv6 connection

DNSSEC [dnssec]