Jan Fiedor

Projekty

• 2024

  Verification and Analysis for Safety and Security of Applications in Life, EK EU - HORIZON EUROPE, SEP-210979090, SEP-210979090, 2024-2027, přijat, zahájení: 2024-07-01, ukončení: 2027-06-30
  Detail

• 2023

  AIDE - Pokročilá analýza a verifikace pro pokročilý software GA142303001, GAČR - Standardní projekty, GA23-06506S, 2023-2025, řešení, zahájení: 2023-01-01, ukončení: 2025-12-31
  Detail

  CHESS - Cyber-security Excellence Hub in Estonia and South Moravia, EK EU - HORIZON EUROPE, 101087529, 101087529, 2023-2026, řešení, zahájení: 2023-01-01, ukončení: 2026-12-31
  Detail

• 2020

  Spolehlivé, bezpečné a efektivní počítačové systémy, VUT v Brně - Vnitřní projekty VUT, FIT-S-20-6427, 2020-2022, ukončen, zahájení: 2020-03-01, ukončení: 2022-12-31
  Detail

  VALU3S - Verification and Validation of Automated Systems' Safety and Security, ECSEL JU - Společná technologická iniciativa ECSEL, 8A20009, 876852, 2020-2023, ukončen, zahájení: 2020-05-01, ukončení: 2023-07-31
  Detail

• 2019

  Arrowhead - Arrowhead Tools for Engineering of Digitalisation Solutions, ECSEL JU - Společná technologická iniciativa ECSEL, 8A19010, 826452, 2019-2022, ukončen, zahájení: 2019-05-01, ukončení: 2022-07-31
  Detail

  AUFOVER - Automatizace formální verifikace, TAČR - Program na podporu aplikovaného výzkumu a experimentálního vývoje EPSILON (2015-2025), TH04010192, 2019-2021, ukončen, zahájení: 2019-01-01, ukončení: 2021-12-31
  Detail

• 2017

  AQUAS: Aggregated Quality Assurance for Systems, ECSEL JU - Společná technologická iniciativa ECSEL, 8A17001, 737475, 2017-2020, ukončen, zahájení: 2017-05-01, ukončení: 2020-06-30
  Detail

  Bezpečné a spolehlivé počítačové systémy, VUT v Brně - Vnitřní projekty VUT, FIT-S-17-4014, FIT-S-17-4014, 2017-2019, ukončen, zahájení: 2017-03-01, ukončení: 2019-12-31
  Detail

  ROBUST - Verifikace a hledání chyb v pokročilém softwaru, GAČR - Standardní projekty, GA17-12465S, 2017-2019, ukončen, zahájení: 2017-01-01, ukončení: 2019-12-31
  Detail

• 2016

  IT4Innovations excellence in science, MŠMT ČR - Národní program udržitelnosti II, LQ1602, 2016-2020, ukončen, zahájení: 2016-01-01, ukončení: 2020-12-31
  Detail

• 2014

  Automatická analýza a verifikace transakčních pamětí, COST - COST CZ (2011-2017), LD14001, 2014, ukončen, zahájení: 2014-01-01, ukončení: 2014-12-31
  Detail

  Automatizovaná formální analýza a verifikace programů se složitými datovými a řídicími strukturami s předem neomezenou velikostí, GAČR - Standardní projekty, GA14-11384S, 2014-2016, ukončen, zahájení: 2014-01-01, ukončení: 2016-12-31
  Detail

  Runtime Verification beyond Monitoring (ARVI), COST - European Cooperation in Science and Technology (COST), IC1402, IC1402, 2014-2018, ukončen, zahájení: 2014-12-17, ukončení: 2018-12-18
  Detail

  Spolehlivost a bezpečnost v IT, VUT v Brně - Vnitřní projekty VUT, FIT-S-14-2486, 2014-2016, ukončen, zahájení: 2014-03-11, ukončení: 2016-12-31
  Detail

• 2013

  HoliDes - Holistic Human Factors and System Design of Adaptive Cooperative Human-Machine Systems, Artemis JU - Společné technologické iniciativy, 7H13004, 332933, 2013-2016, ukončen, zahájení: 2013-10-01, ukončení: 2016-09-30
  Detail

  Inteligentní testování a analýza paralelních programů, MŠMT ČR - KONTAKT II (2011-2017), LH13265, 2013-2015, ukončen, zahájení: 2013-04-01, ukončení: 2015-03-31
  Detail

• 2012

  Verifikace a optimalizace počítačových systémů, VUT v Brně - Vnitřní projekty VUT, FIT-S-12-1, 2012-2014, ukončen, zahájení: 2012-01-01, ukončení: 2014-12-31
  Detail

• 2011

  Pokročilé bezpečné, spolehlivé a adaptivní IT, VUT v Brně, FIT-S-11-1, 2011-2013, ukončen, zahájení: 2011-01-01, ukončení: 2013-12-31
  Detail

  Transactional Memories: Foundations, Algorithms, Tools, and Applications (Euro-TM), COST - COST CZ (2011-2017), IC1001, 2011-2015, ukončen, zahájení: 2011-02-10, ukončení: 2015-02-09
  Detail

• 2010

  Bezpečné, spolehlivé a adaptivní počítačové systémy, VUT v Brně, FIT-S-10-1, 2010, ukončen, zahájení: 2010-03-01, ukončení: 2010-12-31
  Detail

  Práce se složitými datovými strukturami a paralelismem v prostředí Rich Model Toolkit, MŠMT ČR - COST, OC10009, 2010-2012, ukončen, zahájení: 2010-01-01, ukončení: 2012-12-31
  Detail

  Statická a dynamická verifikace programů s pokročilými rysy paralelismu a neomezenosti, GAČR - Standardní projekty, GAP103/10/0306, 2010-2013, ukončen, zahájení: 2010-01-01, ukončení: 2013-12-31
  Detail

• 2009

  Rich-Model Toolkit -- An Infrastructure for Reliable Computer Systems, COST, IC0901, 2009-2013, ukončen, zahájení: 2009-10-30, ukončení: 2013-10-30
  Detail