Miroslav Švéda

Projects

• 2016

  IT4Innovations excellence in science, MŠMT, Národní program udržitelnosti II, LQ1602, 2016-2020, completed

• 2014

  Výzkum pokročilých metod ICT a jejich aplikace, BUT, Vnitřní projekty VUT, FIT-S-14-2299, 2014-2016, 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

• 2010

  Secured, reliable and adaptive computer systems, BUT, Vnitřní projekty VUT, FIT-S-10-1, 2010, completed

• 2009

  Automated attack processing, MPO, TIP, FR-TI1/037, 2009-2013, completed

• 2008

  Safety and security of networked embedded system applications, GACR, Standardní projekty, GA102/08/1429, 2008-2010, completed

• 2007

  Industrial Wireless ZigBee Network, FR2307/2007/G1, 2007, completed

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

• 2006

  Toward International Learning Environment for Real-Time Safety-Critical Control Systems (ILERT), ATLANTIS-ILERT, 2006-2008, completed

• 2005

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

  Architectures of Embedded Systems Networks, GACR, Standardní projekty, GA102/05/0467, 2005-2007, completed

  Integrated approach to education of PhD students in the area of parallel and distributed systems, GACR, Doktorské granty, GD102/05/H050, 2005-2008, 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, 2005-2007, completed

• 2004

  Design and implementation of embedded formal verification assistants in the .NET framework, MS1412001, 2004-2005, completed

• 2002

  Embedded Control Systems and their Inter-Communication, GACR, Standardní projekty, GA102/02/1032, 2002-2004, completed

  InterpRISe - Interregional Co-operation for Promoting Regional Innovation Strategies (RIS) in Europe, Phare 00-0047, 2002, completed

• 1994

  Verification and Validation Methods for Formal Descriptions, COST247, 1994-1996, completed