Miroslav Švéda

Projects

• 2016

  IT4Innovations excellence in science, MŠMT, Národní program udržitelnosti II, LQ1602, start: 2016-01-01, end: 2020-12-31, completed

• 2014

  Výzkum pokročilých metod ICT a jejich aplikace, BUT, Vnitřní projekty VUT, FIT-S-14-2299, start: 2014-01-01, end: 2016-12-31, completed

• 2011

  Advanced secured, reliable and adaptive IT, BUT, Vnitřní projekty VUT, FIT-S-11-1, start: 2011-01-01, end: 2013-12-31, completed

  The IT4Innovations Centre of Excellence, MŠMT, Operační program Výzkum a vývoj pro inovace, ED1.1.00/02.0070, start: 2011-01-01, end: 2015-12-31, completed

• 2010

  Secured, reliable and adaptive computer systems, BUT, Vnitřní projekty VUT, FIT-S-10-1, start: 2010-03-01, end: 2010-12-31, completed

• 2009

  Automated attack processing, MPO, TIP, FR-TI1/037, start: 2009-10-01, end: 2013-09-30, completed

• 2008

  Safety and security of networked embedded system applications, GACR, Standardní projekty, GA102/08/1429, start: 2008-01-01, end: 2010-12-31, completed

• 2007

  Industrial Wireless ZigBee Network, FR2307/2007/G1, start: 2007-01-01, end: 2007-12-31, completed

  Security-Oriented Research in Information Technology, MŠMT, Institucionální prostředky SR ČR (např. VZ, VC), MSM0021630528, start: 2007-01-01, end: 2013-12-31, running

• 2006

  Toward International Learning Environment for Real-Time Safety-Critical Control Systems (ILERT), ATLANTIS-ILERT, start: 2006-11-01, end: 2008-12-31, completed

• 2005

  A Framework for Formal Specifications and Prototyping of Information System's Network Applications, GACR, Standardní projekty, GA102/05/0723, start: 2005-01-01, end: 2007-12-31, completed

  Architectures of Embedded Systems Networks, GACR, Standardní projekty, GA102/05/0467, start: 2005-01-01, end: 2007-12-31, completed

  Integrated approach to education of PhD students in the area of parallel and distributed systems, GACR, Doktorské granty, GD102/05/H050, start: 2005-01-01, end: 2008-12-31, completed

  Research and development of economically acceptable information and security supporting system aiming at building up an modernizing of older blocks of flats, MPO, TANDEM, FT-TA2/095, start: 2005-01-03, end: 2007-12-31, completed

• 2004

  Design and implementation of embedded formal verification assistants in the .NET framework, MS1412001, start: 2004-03-12, end: 2005-09-30, completed

• 2002

  Embedded Control Systems and their Inter-Communication, GACR, Standardní projekty, GA102/02/1032, start: 2002-01-01, end: 2004-12-31, completed

  InterpRISe - Interregional Co-operation for Promoting Regional Innovation Strategies (RIS) in Europe, Phare 00-0047, start: 2002-01-01, end: 2002-12-11, completed

• 1994

  Verification and Validation Methods for Formal Descriptions, COST247, start: 1994-01-01, end: 1996-12-31, completed