Dr. Ing.

Petr Peringer

odborný asistent

+420 54114 1201
peringer@fit.vut.cz
A303 Kancelář
2126/osobní číslo VUT

Projekty

  • 2020

    SNAPPY - 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
    Detail

    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

  • 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
    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

    Př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
    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

  • 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
    Detail

    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

  • 2010

    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

  • 2007

    Výzkum informačních technologií z hlediska bezpečnosti, CEZ MŠMT - Institucionální prostředky SR ČR (např. VZ, VC), MSM0021630528, 2007-2013, ukončen, zahájení: 2007-01-01, ukončení: 2013-12-31
    Detail

  • 2006

    Počítačová učebna pro výuku modelování, simulace a geografických informačních systémů, FRVŠ MŠMT, FR2656/2006/Ab, 2006, ukončen, zahájení: 2006-02-03, ukončení: 2006-12-31
    Detail

  • 2004

    Bezpečnost informačních systémů - výzkum útoků na kryptograficky bezpečná zařízení, GAČR, GA102/04/0871, 2004-2006, ukončen, zahájení: 2004-01-01, ukončení: 2006-12-31
    Detail

  • 2003

    Modelování a simulace pro magisterský studijní program , FRVŠ MŠMT, FR0821/2003/F1, 2003, ukončen, zahájení: 2003-04-08, ukončení: 2003-12-31
    Detail

  • 2001

    Prostředí pro vývoj, modelování a aplikaci heterogenních systémů, GAČR, GA102/01/1485, 2001-2003, ukončen, zahájení: 2001-01-01, ukončení: 2003-12-31
    Detail

  • 2000

    Ročníkový projekt jako první samostatné dílo studenta, FRVŠ MŠMT, FR1621/2000/F1, 2000, ukončen, zahájení: 2000-01-01, ukončení: 2000-12-31
    Detail

  • 1999

    Výzkum informačních a řídicích systémů, CEZ MŠMT, MSM 262200012, 1999-2004, ukončen, zahájení: 1999-01-01, ukončení: 2004-12-31
    Detail

  • 1998

    Modelování a simulace pro zaměření ECBS, FRVŠ MŠMT, FR0181/1998/F1, 1998, ukončen, zahájení: 1998-01-01, ukončení: 1998-12-31
    Detail

    Výzkum a aplikace heterogenních modelů, GAČR, GA102/98/0552, 1998-2000, ukončen, zahájení: 1998-01-01, ukončení: 2000-12-31
    Detail

  • 1997

    Prostředky pro spojitou simulaci prostorových dynamických systémů, FRVŠ MŠMT, FR628/1997/G, 1997, ukončen, zahájení: 1997-01-01, ukončení: 1997-12-31
    Detail

  • 1994

    Metodologie vývoje informačních systémů, GAČR, GA102/94/1097, 1994-1996, ukončen, zahájení: 1994-01-01, ukončení: 1996-12-31
    Detail

  • 1991

    SIMLIB - simulační knihovna pro C++, FIT VUT - Institucionální podpora na rozvoj výzkumné organizace, FIT-SIMLIB, 1991-2020, řešení, zahájení: 1991-11-08, ukončení: 2020-12-31
    Detail

Nahoru