doc. Mgr.
Adam Rogalewicz
Ph.D.
zástupce vedoucího ústavu
Projekty
-
2023
AIDE - Pokročilá analýza a verifikace pro pokročilý software, GAČR - Standardní projekty, GA23-06506S, 2023-2025, řešení, zahájení: 2023-01-01, ukončení: 2025-12-31
DetailReliable, Secure, and Intelligent Computer Systems, VUT v Brně - Vnitřní projekty VUT, FIT-S-23-8151, 2023-2025, řešení, zahájení: 2023-03-01, ukončení: 2025-12-31
DetailROULETTE - Reprezentace Booleovských funkcí pomocí adaptabilní datové struktury, GAČR - Standardní projekty, GA23-07565S, 2023-2025, řešení, zahájení: 2023-01-01, ukončení: 2025-12-31
Detail -
2020
Efektivní konečné automaty pro automatické usuzování, MŠMT ČR - ERC CZ, LL1908, 2020-2024, řešení, zahájení: 2020-01-01, ukončení: 2024-12-31
DetailSNAPPY - Scalable Techniques for Analysis of Complex Properties of Computer Systems, GAČR - Standardní projekty, GA20-07487S, 2020-2022, ukončen, zahájení: 2020-01-01, ukončení: 2022-12-31
DetailSpolehlivé, 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
DetailVALU3S - 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
DetailAUFOVER - 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
DetailAUTODEV - Automaty v rozhodovacích procedurách a verifikaci, GAČR - Standardní projekty, GA19-24397S, 2019-2021, ukončen, zahájení: 2019-01-01, ukončení: 2021-12-31
Detail -
2018
MUSIC - Mnohoúrovňová bezpečnost v kritických aplikacích počítačových systémů, MŠMT ČR - INTER-EXCELLENCE - Podprogram INTER-EUREKA LTE217, LTE118019, 2018-2021, ukončen, zahájení: 2018-06-01, ukončení: 2021-05-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
DetailBezpeč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
DetailModerní a otevřené studium techniky (MOST), MŠMT ČR - OP VVV PO2 ESF výzva pro vysoké školy, 2017-2022, ukončen, zahájení: 2017-09-01, ukončení: 2022-12-31
DetailROBUST - 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
DetailPřibližná ekvivalence pro aproximativní počítání, GAČR - Standardní projekty, GA16-17538S, 2016-2018, ukončen, zahájení: 2016-01-01, ukončení: 2018-12-31
Detail -
2014
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
DetailSpolehlivost 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
Inovace předmětu Složitost, FRVŠ MŠMT - Fond rozvoje vysokých škol (FRVŠ), FR166/2013/G1, 2013, ukončen, zahájení: 2013-01-01, ukončení: 2013-12-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
Centrum excelence IT4Innovations, MŠMT ČR - Operační program Výzkum a vývoj pro inovace, ED1.1.00/02.0070, 2011-2015, ukončen, zahájení: 2011-01-01, ukončení: 2015-12-31
DetailPokroč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 -
2010
Automates et Logique pour la vérification symbolique de logiciels, BARRANDE - KONTAKT, MEB021023, 2010-2011, ukončen, zahájení: 2010-01-01, ukončení: 2011-12-31
DetailPrá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
DetailStatická 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
DetailRozvoj technik pro automatické verifikace programů s dynamickými datovými strukturami, GAČR - Postdoktorandské granty, GP201/09/P531, 2009-2011, ukončen, zahájení: 2009-01-01, ukončení: 2011-12-31
Detail -
2008
Techniques avancées pour la vérification de systémes a nombre d'états infini, BARRANDE, MEB 020840, 2008-2009, ukončen, zahájení: 2008-02-20, ukončení: 2009-12-31
Detail -
2007
Pokročilé formální přístupy v návrhu a automatické verifikaci počítačových systémů, GAČR, GA102/07/0322, 2007-2009, ukončen, zahájení: 2007-01-01, ukončení: 2009-12-31
Detail -
2006
Vérification automatique de programmes avec structures de données dynamiques a pointeurs, BARRANDE, 2-06-27, 2006-2007, ukončen, zahájení: 2006-01-01, ukončení: 2007-12-31
Detail