Projects
-
2024
Verification and Analysis for Safety and Security of Applications in Life, EU, HORIZON EUROPE, SEP-210979090, 2024-2027, running
-
2023
Advanced Analysis and Verification for Advanced Software, GACR, Standardní projekty, GA23-06506S, 2023-2025, running
Cyber-security Excellence Hub in Estonia and South Moravia, EU, HORIZON EUROPE, 101087529, 2023-2026, running
Reliable, Secure, and Intelligent Computer Systems, BUT, Vnitřní projekty VUT, FIT-S-23-8151, 2023-2026, running
-
2020
Scalable Techniques for Analysis of Complex Properties of Computer Systems, GACR, Standardní projekty, GA20-07487S, 2020-2022, running
Spolehlivé, bezpečné a efektivní počítačové systémy, BUT, Vnitřní projekty VUT, FIT-S-20-6427, 2020-2023, completed
Verification and Validation of Automated Systems' Safety and Security, EU, Horizon 2020, 8A20009, 2020-2023, running
-
2019
Arrowhead Tools for Engineering of Digitalisation Solutions, MŠMT, Společná technologická iniciativa ECSEL, 8A19010, 2019-2022, completed
Automata for Decision Procedures and Verification, GACR, Standardní projekty, GA19-24397S, GA19-24397S, 2019-2021, running
Automation of Formal Verification, TAČR, Program na podporu aplikovaného výzkumu a experimentálního vývoje EPSILON (2015-2025), TH04010192, 2019-2021, completed
Pokročilé metody hluboké inspekce v aplikační vrstvě pro obranu proti dnešním hrozbám, BUT, Vnitřní projekty VUT, FEKT/FIT-J-19-5906, 2019-2020, completed
-
2017
AQUAS: Aggregated Quality Assurance for Systems, MŠMT, Společná technologická iniciativa ECSEL, 8A17001, 737475, 2017-2020, completed
Bezpečné a spolehlivé počítačové systémy, BUT, Vnitřní projekty VUT, FIT-S-17-4014, 2017-2020, completed
ROBUST - veRificatiOn and Bug hUnting for advanced SofTware, GACR, Standardní projekty, GA17-12465S, 2017-2019, running
-
2016
IT4Innovations excellence in science, MŠMT, Národní program udržitelnosti II, LQ1602, 2016-2020, completed
Relaxed equivalence checking for approximate computing, GACR, Standardní projekty, GA16-17538S, 2016-2018, running
-
2014
Automatic Analysis and Verification of Transactional Memories, MŠMT, COST CZ (2011-2017), LD14001, 2014, completed
Automatic Formal Analysis and Verification of Programs with Complex Unbounded Data and Control Structures, GACR, Standardní projekty, GA14-11384S, 2014-2016, completed
Realisation of the of the Experimental Software Tools Prototypes, Red Hat Czech s.r.o., 2014, completed
Runtime Verification beyond Monitoring (ARVI), EU, European Cooperation in Science and Technology (COST), IC1402, 2014-2018, completed
Software Quality Improvement, Red Hat Czech s.r.o., 2014-2020, running
Spolehlivost a bezpečnost v IT, BUT, Vnitřní projekty VUT, FIT-S-14-2486, 2014-2016, completed
-
2013
HoliDes - Holistic Human Factors and System Design of Adaptive Cooperative Human-Machine Systems, MŠMT, Společné technologické iniciativy, 7H13004, 2013-2016, completed
Intelligent Testing and Analysis of Concurrent Software, MŠMT, KONTAKT II (2011-2017), LH13265, 2013-2015, completed
-
2012
Support of Interdisciplinary Excellence Research Teams Establishment at BUT, EU, OP VK - Oblast podpory 2.3 - Lidské zdroje ve VaV, EE2.3.30.0005, 2012-2015, completed
Verifikace a optimalizace počítačových systémů, BUT, Vnitřní projekty VUT, FIT-S-12-1, 2012-2014, completed
-
2011
Advanced secured, reliable and adaptive IT, BUT, Vnitřní projekty VUT, FIT-S-11-1, 2011-2013, completed
The IT4Innovations Centre of Excellence, MŠMT, Operační program Výzkum a vývoj pro inovace, ED1.1.00/02.0070, 2011-2015, completed
Transactional Memories: Foundations, Algorithms, Tools, and Applications (Euro-TM), MŠMT, COST CZ (2011-2017), IC1001, 2011-2015, completed
-
2010
Automata and Logic for Symbolic Verification of Software, MŠMT, KONTAKT, MEB021023, 2010-2011, completed
Dealing with Complex Data Structures and Concurrency within the Rich Model Toolkit, MŠMT, COST, OC10009, 2010-2012, running
Secured, reliable and adaptive computer systems, BUT, Vnitřní projekty VUT, FIT-S-10-1, 2010, completed
Static and Dynamic Verification of Programs with Advanced Features of Concurrency and Unboundedness, GACR, Standardní projekty, GAP103/10/0306, 2010-2013, running
-
2009
Mathematical and Engineering Approaches to Developing Reliable and Secure Concurrent and Distributed Computer Systems, GACR, Doktorské granty, GD102/09/H042, 2009-2012, completed
-
2008
Advanced Methods for Automatic Verification of Infinite-state Systems, MEB 020840, 2008-2009, completed
-
2007
Advanced Formal Approaches in the Design and Verification of Computer-Based Systems, GACR, Standardní projekty, GA102/07/0322, 2007-2009, completed
Security-Oriented Research in Information Technology, MŠMT, Institucionální prostředky SR ČR (např. VZ, VC), MSM0021630528, 2007-2013, running
-
2006
Automatic Verification of Programs with Dynanic Data Structures with Pointers, 2-06-27, 2006-2007, completed
Computer classroom for modelling, simulation and GIS, FR2656/2006/Ab, 2006, completed
Formal verification of programs working with dynamic data strucktures, FR3101/2006/G1, 2006, completed
-
2005
Integrated approach to education of PhD students in the area of parallel and distributed systems, GACR, Doktorské granty, GD102/05/H050, 2005-2008, completed
-
2004
Automated methods and tools supporting development of reliable parallel and distributed systems, GACR, Standardní projekty, GA102/04/0780, 2004-2006, completed
Optická síť národního výzkumu a její nové aplikace, MŠMT, Výzkumná centra (2000-2004), MSM6383917201, 2004-2010, completed
-
2003
Advanced Methods of Automatic Verification of Parametric and Infinite-State Systems, GACR, Postdoktorandské granty, GP102/03/D211, 2003-2006, completed
-
2002
Doktorský studijní program Informační technologie na VUT v Brně, FR1833/2002/F1, 2002, completed
-
2001
Environment for Development, Modelling, and Application of Heterogeneous Systems, GACR, Standardní projekty, GA102/01/1485, 2001-2003, completed
-
2000
Modelling, Verifying, and Prototyping Distributed Applications Using Petri Nets, GACR, Standardní projekty, GA102/00/1017, 2000-2002, completed
-
1994
PNtalk - tools based on object-oriented Petri nets, BUT, Institucionální podpora na rozvoj výzkumné organizace, UIVT-PNtalk, 1994-2010, completed