doc. Ing.
Zdeněk Kotásek
CSc.
Significant Former Employee
Projects
-
2018
SECREDAS - Product Security for Cross Domain Reliable Dependable Automated Systems, ECSEL JU, 8A18014, Proposal ID 783119-2, 2018-2021, completed, start: 2018-05-01, end: 2021-04-30
Detail -
2016
IT4Innovations excellence in science, MŠMT CR, LQ1602, 2016-2020, completed, start: 2016-01-01, end: 2020-12-31
Detail -
2014
Algorithms, Design Methods, and Many-Core Execution Platform for Low-Power Massive Data-Rate Video and Image Processing, Artemis JU, 7H14002, 621439, 2014-2017, completed, start: 2014-04-01, end: 2017-06-30
Detail -
2013
Application of methods and techniques of formal verification in the design of advanced digital circuits, FRVŠ MŠMT, FR1086/2013/G1, 2013, completed, start: 2013-01-01, end: 2013-12-31
Detail -
2012
Application of functional verification in the digital circuits development process, FRVŠ MŠMT, FR1798/2012/G1, 2012, completed, start: 2012-01-01, end: 2012-12-31
DetailInovation and creation of new laboratory lessons in hardware courses, FRVŠ MŠMT, FR1224/2012/G1, 2012, completed, start: 2012-01-01, end: 2012-12-31
DetailMethodologies for Fault Tolerant Systems Design Development, Implementation and Verification, MŠMT CR, LD12036, 2012-2015, completed, start: 2012-03-01, end: 2015-11-30
Detail -
2011
Manufacturable and Dependable Multicore Architectures at Nanoscale, COST, COST IC1103, 2011-2015, completed, start: 2011-06-15, end: 2015-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
Využití moderních přístupů k vytváření číslicových systémů založených na rekonfigurovatelných architekturách, FRVŠ MŠMT, FR2348/2010/G1, 2010, completed, start: 2010-01-01, end: 2010-12-31
Detail -
2009
Mathematical and Engineering Approaches to Developing Reliable and Secure Concurrent and Distributed Computer Systems, GACR, GD102/09/H042, 2009-2012, completed, start: 2009-01-30, end: 2012-12-31
DetailPodpora předmětů zaměřených na návrh číslicových systémů s ohledem na diagnostiku, FRVŠ MŠMT, FR2318/2009/G1, 2009, completed, start: 2009-01-01, end: 2009-12-31
DetailSoC circuits reliability and availability improvement, GACR, GA102/09/1668, 2009-2011, completed, start: 2009-01-01, end: 2011-12-31
Detail -
2008
Innovation of structured study subjects focused on technical equipment of personal computers, FRVŠ MŠMT, FR1413/2008/F1, 2008, completed, start: 2008-01-21, end: 2008-12-31
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
Methods of polymorphic digital circuit design, GACR, GA102/06/0599, 2006-2008, completed, start: 2006-01-01, end: 2008-12-31
DetailTest scheduling for embedded systems under power constraints, FRVŠ MŠMT, FR3383/2006/G1, 2006, completed, start: 2006-01-01, end: 2006-12-31
DetailTesting of embedded systems, FRVŠ MŠMT, FR3198/2006/G1, 2006, completed, start: 2006-01-01, end: 2006-12-31
Detail -
2005
Evolutionary Design of Benchmark Circuits, FRVŠ MŠMT, FR3041/2005/G1, 2005, completed, start: 2005-01-01, end: 2005-12-31
DetailIntegrated approach to education of PhD students in the area of parallel and distributed systems, GACR, GD102/05/H050, 2005-2008, completed, start: 2005-01-01, end: 2008-12-31
Detail -
2004
Modern Methods of Digital Systems Design, GACR, GA102/04/0737, 2004-2006, completed, start: 2004-01-01, end: 2006-12-31
Detail -
2003
The methods of test controller design for embedded system, FRVŠ MŠMT, FR834/2003/G1, 2003, completed, start: 2003-01-01, end: 2003-12-31
Detail -
2002
Application of Evolution Approaches for Digital Circuit Testability Enhancement, FRVŠ MŠMT, FR1754/2002/G1, 2002, completed, start: 2002-01-01, end: 2002-12-31
DetailInterpRISe - Interregional Co-operation for Promoting Regional Innovation Strategies (RIS) in Europe, EU Tempus, Phare 00-0047, 2002, completed, start: 2002-01-01, end: 2002-12-11
Detail -
2001
Formal Approaches in Digital Design Diagnostics - Testable Design Verification, GACR, GA102/01/1531, 2001-2003, completed, start: 2001-01-01, end: 2003-12-31
Detail -
2000
ECBS Experimental Laboratory, FRVŠ MŠMT, FR1565/2000/H, 2000, completed, start: 2000-01-01, end: 2000-12-31
DetailOpen computer laboratory FEI VUT, FRVŠ MŠMT, FR1516/2000/A, 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
High speed campus backbone networks at FEI VUT v Brně, FRVŠ MŠMT, FR184/1998/A, 1998, completed, start: 1998-01-01, end: 1998-12-31
DetailMethodology and tools for digital circuits testability analysis, GACR, GA102/98/1463, 1998-2006, completed, start: 1998-01-01, end: 2006-03-31
Detail -
1995
Developement of flexible digital architectures, GACR, GA102/95/1334, 1995-1997, completed, start: 1995-01-01, end: 1997-12-31
Detail -
1994
Parallel computing and architectures, FVU VUT, C32/94-95, 1994-1995, completed, start: 1994-01-01, end: 1995-12-31
DetailAdvanced Computer Education Network, EU Tempus, JEN 0449, 1994-1995, completed, start: 1994-01-01, end: 1995-12-31
Detail -
1992
Advanced Computer Education Project - ACEP, EU Tempus, JEP 0449, 1992-1993, completed, start: 1992-01-01, end: 1993-12-31
Detail -
1991
CAD Methodology and Tools for VLSI, FEECS BUT, FEI, 1991-1993, completed, start: 1991-01-01, end: 1993-12-31
Detail