Projects
-
2020
Reliable, Secure, and Efficient Computer Systems, BUT, FIT-S-20-6427, 2020-2022, completed, start: 2020-03-01, end: 2022-12-31
DetailSNAPPY - Scalable Techniques for Analysis of Complex Properties of Computer Systems, GACR, GA20-07487S, 2020-2022, completed, start: 2020-01-01, end: 2022-12-31
DetailVALU3S - Verification and Validation of Automated Systems' Safety and Security, ECSEL JU, 8A20009, 876852, 2020-2023, completed, start: 2020-05-01, end: 2023-07-31
Detail -
2019
Arrowhead - Arrowhead Tools for Engineering of Digitalisation Solutions, ECSEL JU, 8A19010, 826452, 2019-2022, completed, start: 2019-05-01, end: 2022-07-31
Detail -
2018
MUSIC - MuSiC - Multi-level Security for Critical Services, MŠMT CR, LTE118019, 2018-2021, completed, start: 2018-06-01, end: 2021-05-31
Detail -
2017
AQUAS: Aggregated Quality Assurance for Systems, ECSEL JU, 8A17001, 737475, 2017-2020, completed, start: 2017-05-01, end: 2020-06-30
DetailROBUST - veRificatiOn and Bug hUnting for advanced SofTware, GACR, GA17-12465S, 2017-2019, completed, start: 2017-01-01, end: 2019-12-31
DetailSecure and Reliable Computer Systems, BUT, FIT-S-17-4014, FIT-S-17-4014, 2017-2019, completed, start: 2017-03-01, end: 2019-12-31
Detail -
2016
IT4Innovations excellence in science, MŠMT CR, LQ1602, 2016-2020, completed, start: 2016-01-01, end: 2020-12-31
DetailRelaxed equivalence checking for approximate computing, GACR, GA16-17538S, 2016-2018, completed, start: 2016-01-01, end: 2018-12-31
Detail -
2014
Automatic Formal Analysis and Verification of Programs with Complex Unbounded Data and Control Structures, GACR, GA14-11384S, 2014-2016, completed, start: 2014-01-01, end: 2016-12-31
DetailReliability and Security in IT, BUT, FIT-S-14-2486, 2014-2016, completed, start: 2014-03-11, end: 2016-12-31
Detail -
2012
Verification and Optimization of Computer Systems, BUT, FIT-S-12-1, 2012-2014, completed, start: 2012-01-01, end: 2014-12-31
Detail -
2011
Advanced secured, reliable and adaptive IT, BUT, FIT-S-11-1, 2011-2013, completed, start: 2011-01-01, end: 2013-12-31
DetailThe IT4Innovations Centre of Excellence, MŠMT CR, ED1.1.00/02.0070, 2011-2015, completed, start: 2011-01-01, end: 2015-12-31
Detail -
2010
Dealing with Complex Data Structures and Concurrency within the Rich Model Toolkit, MŠMT CR, OC10009, 2010-2012, completed, start: 2010-01-01, end: 2012-12-31
DetailStatic and Dynamic Verification of Programs with Advanced Features of Concurrency and Unboundedness, GACR, GAP103/10/0306, 2010-2013, completed, start: 2010-01-01, end: 2013-12-31
Detail -
2009
Rich-Model Toolkit -- An Infrastructure for Reliable Computer Systems, COST, IC0901, 2009-2013, completed, start: 2009-10-30, end: 2013-10-30
Detail -
2007
Security-Oriented Research in Information Technology, CEZ MŠMT, MSM0021630528, 2007-2013, completed, start: 2007-01-01, end: 2013-12-31
Detail -
2006
Computer classroom for modelling, simulation and GIS, FRVŠ MŠMT, FR2656/2006/Ab, 2006, completed, start: 2006-02-03, end: 2006-12-31
Detail -
2004
Information system security - research of attacks on tamper-resistant cryptographic hardware, GACR, GA102/04/0871, 2004-2006, completed, start: 2004-01-01, end: 2006-12-31
Detail -
2003
Modelling and Simulation for master's degree program, FRVŠ MŠMT, FR0821/2003/F1, 2003, completed, start: 2003-04-08, end: 2003-12-31
Detail -
2001
Environment for Development, Modelling, and Application of Heterogeneous Systems, GACR, GA102/01/1485, 2001-2003, completed, start: 2001-01-01, end: 2003-12-31
Detail -
2000
Year project as a first independent student work, FRVŠ MŠMT, FR1621/2000/F1, 2000, completed, start: 2000-01-01, end: 2000-12-31
Detail -
1999
Research in information and control systems, CEZ MŠMT, MSM 262200012, 1999-2004, completed, start: 1999-01-01, end: 2004-12-31
Detail -
1998
Modelling and Simulation for ECBS orientation, FRVŠ MŠMT, FR0181/1998/F1, 1998, completed, start: 1998-01-01, end: 1998-12-31
DetailResearch and Applications of Heterogenous Models, GACR, GA102/98/0552, 1998-2000, completed, start: 1998-01-01, end: 2000-12-31
Detail -
1997
Tools for continuous simulation of spatial dynamical systems, FRVŠ MŠMT, FR628/1997/G, 1997, completed, start: 1997-01-01, end: 1997-12-31
Detail -
1994
Methodology of Information Systems Development, GACR, GA102/94/1097, 1994-1996, completed, start: 1994-01-01, end: 1996-12-31
Detail -
1991
SIMLIB - Simulation Library for C++, FIT BUT, FIT-SIMLIB, 1991-2020, running, start: 1991-11-08, end: 2020-12-31
Detail