Fakulta informačních technologií VUT v Brně

Výzkumná skupina modelování a optimalizace

Projekty

  • 2017

    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, řešení
    Řešitel: Vojnar Tomáš
    Spoluřešitelé: Barabas Maroš, Češka Milan, Češka Milan, Drahanský Martin, Fiedor Jan, Fiedor Tomáš, Hanáček Petr, Havlena Vojtěch, Holík Lukáš, Hrubý Martin, Hruška Martin, Janků Petr, Janoušek Vladimír, Kočí Radek, Křena Bohuslav, Kunovský Jiří, Lengál Ondřej, Malík Viktor, Malinka Kamil, Matyáš Jiří, Mazura František, Očenáš Martin, Orság Filip, Peringer Petr, Pluháčková Hana, Rogalewicz Adam, Rozman Jaroslav, Smrčka Aleš, Šátek Václav, Šoková Veronika, Šůstek Martin, Turoňová Lenka, Vídeňský František, Vojnar Tomáš, Vyroubalová Jana, Zbořil František, Zbořil František V.
    Detail

  • 2014

    Spolehlivost a bezpečnost v IT, VUT v Brně - Vnitřní projekty VUT, FIT-S-14-2486, 2014-2016, ukončen
    Řešitel: Vojnar Tomáš
    Spoluřešitelé: Abdulrahman Wassem, Aron Lukáš, Barabas Maroš, Brunai Adam, Češka Milan, Češka Milan, Dalecký Štěpán, Doležel Michal, Drahanský Martin, Dudka Kamil, Dudka Vendula, Fajkus Jan, Fiedor Jan, Fiedor Tomáš, Hájek Josef, Hanáček Petr, Holík Lukáš, Homoliak Ivan, Horáček Jan, Hrubý Martin, Chaloupka Jan, Charvát Lukáš, Janča Radim, Janoušek Vladimír, Kačic Matej, Kanich Ondřej, Klubal Ondřej, Kocina Filip, Kočí Radek, Koranda Karel, Košík Michal, Král Jiří, Křena Bohuslav, Kunovský Jiří, Kupková Karolína, Lengál Ondřej, Letko Zdeněk, Luža Radim, Malčík Dominik, Malinka Kamil, Marek Martin, Martinkovičová Alžbeta, Marvan Aleš, Mráček Štěpán, Nahhas Ibrahim, Nečasová Gabriela, Novosad Petr, Novotný Tomáš, Orság Filip, Ovšonka Daniel, Peringer Petr, Pluháčková Hana, Polášek Petr, Richta Tomáš, Rogalewicz Adam, Rozman Jaroslav, Samek Jan, Semerád Lukáš, Smrčka Aleš, Snášelová Petra, Šátek Václav, Valenta Václav, Váňa Jan, Veigend Petr, Vojnar Tomáš, Winklerová Zdenka, Zbořil František, Zbořil František V., Žák Jakub
    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
    Řešitel: Češka Milan
    Spoluřešitelé: Cerhák Michal, Češka Milan, Erlebach Pavel, Holík Lukáš, Janoušek Vladimír, Kironský Elöd, Kočí Radek, Křena Bohuslav, Polášek Petr, Rogalewicz Adam, Smrčka Aleš, Vojnar Tomáš
    Detail

    Vývoj systémů založený na modelech, GAČR, GP102/07/P306, 2007-2009, ukončen
    Řešitel: Kočí Radek
    Spoluřešitelé: Kočí Radek
    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
    Řešitel: Peringer Petr
    Spoluřešitelé: Hrubý Martin, Kunovský Jiří, Peringer Petr, Vojnar Tomáš
    Detail

    Výzkum metod modelování a simulace inteligentních systémů, GAČR, GP102/06/P309, 2006-2008, ukončen
    Řešitel: Hrubý Martin
    Spoluřešitelé: Hrubý Martin
    Detail

  • 2004

    Automatizované metody a nástroje pro vývoj spolehlivých paralelních a distribuovaných systémů, GAČR, GA102/04/0780, 2004-2006, ukončen
    Řešitel: Češka Milan
    Spoluřešitelé: Češka Milan, Haša Luděk, Janoušek Vladimír, Kočí Radek, Křena Bohuslav, Rábová Zdeňka, Vojnar Tomáš
    Detail

    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
    Řešitel: Hanáček Petr
    Spoluřešitelé: Cvrček Daniel, Hanáček Petr, Hrubý Martin, Hruška Tomáš, Peringer Petr, Rábová Zdeňka
    Detail

  • 2003

    Návrh prostředí pro vytváření heterogenních modelů, FRVŠ MŠMT, FR833/2003/G1, 2003, ukončen
    Řešitel: Martinek David
    Spoluřešitelé: Černohorský Jakub, Martinek David, Rábová Zdeňka
    Detail

  • 2002

    Metody formální analýzy a verifikace v objektově orientovaných Petriho sítích, FRVŠ MŠMT, FR1948/2002/G1, 2002, ukončen
    Řešitel: Křena Bohuslav
    Spoluřešitelé: Češka Milan, Křena Bohuslav
    Detail

    Moderní metody překladu jazyků, FRVŠ MŠMT, FR1831/2002/G1, 2002, ukončen
    Řešitel: Hrubý Martin
    Spoluřešitelé: Hrubý Martin, Meduna Alexander, Švec Martin
    Detail

  • 2001

    Prostředí pro vývoj, modelování a aplikaci heterogenních systémů, GAČR, GA102/01/1485, 2001-2003, ukončen
    Řešitel: Vavřín Petr
    Spoluřešitelé: Černohorský Jakub, Češka Milan, Drahanský Martin, Güttner Jakub, Hanáček Petr, Hrubý Martin, Hruška Tomáš, Janoušek Vladimír, Jirsík Václav, Kočí Radek, Kunovský Jiří, Malec Zdeněk, Martinek David, Orság Filip, Peringer Petr, Petřek Jiří, Pivoňka Petr, Rábová Zdeňka, Řezáč David, Václavek Pavel, Vavřín Petr, Vojnar Tomáš, Zacios Dalibor, Zbořil František, Zbořil František
    Detail

    Soubor programů pro modelování systémů s aplikací v analýze rizik, FRVŠ MŠMT, FR0172/2001/G1, 2001-2002, ukončen
    Řešitel: Rábová Zdeňka
    Spoluřešitelé: Hrubý Martin, Rábová Zdeňka, Zbořil František ml.
    Detail

  • 2000

    Modelování, verifikace a prototypování distribuovaných aplikací s využitím Petriho sítí, GAČR, GA102/00/1017, 2000-2002, ukončen
    Řešitel: Češka Milan
    Spoluřešitelé: Češka Milan, Haša Luděk, Janoušek Vladimír, Kočí Radek, Křena Bohuslav, Rábová Zdeňka, Schwarz Ivan, Vojnar Tomáš
    Detail

    Realizace systému virtuální reality, FRVŠ MŠMT, FR1527/2000/G1, 2000-2001, ukončen
    Řešitel: Marušinec Jaromír
    Spoluřešitelé: Marušinec Jaromír, Rábová Zdeňka
    Detail

  • 1999

    Výzkum informačních a řídicích systémů, CEZ MŠMT, MSM 262200012, 1999-2004, ukončen
    Řešitel: Honzík Jan M.
    Spoluřešitelé: Bejček Ludvík, Borecká Marcela, Bradáč Zdeněk, Cvrček Daniel, Čejka Miloslav, Čejka Rudolf, Češka Milan, Drábek Vladimír, Dvořák Václav, Eysselt Miloš, Fědor Martin, Fučík Otto, Gaďorek Petr, Hanáček Petr, Hoder Karel, Holek Radovan, Honec Jozef, Honzík Jan M., Hruška Tomáš, Janoušek Vladimír, Jura Pavel, Kolář Dušan, Kotásek Zdeněk, Kovár Martin, Kreslík František, Kreslíková Jitka, Kunovský Jiří, Lampa Petr, Linhart Miroslav, Macho Tomáš, Malec Zdeněk, Meduna Alexander, Michal Bohumil, Peringer Petr, Rábová Zdeňka, Richter Miroslav, Serba Ivo, Schwarz Josef, Šolc František, Švéda Miroslav, Vojnar Tomáš, Zbořil František V., Zemčík Pavel, Zendulka Jaroslav, Zezulka František
    Detail

  • 1998

    Modelování a simulace pro zaměření ECBS, FRVŠ MŠMT, FR0181/1998/F1, 1998, ukončen
    Řešitel: Rábová Zdeňka
    Spoluřešitelé: Peringer Petr, Rábová Zdeňka
    Detail

    Systém pro vizualizaci a simulaci ve virtuální realitě, FVU VUT, FV480004, 1998, ukončen
    Řešitel: Marušinec Jaromír
    Spoluřešitelé: Marušinec Jaromír
    Detail

  • 1997

    Prostředky pro spojitou simulaci prostorových dynamických systémů, FRVŠ MŠMT, FR628/1997/G, 1997, ukončen
    Řešitel: Peringer Petr
    Spoluřešitelé: Peringer Petr
    Detail

    Vizualizace simulačních modelů, FEI VUT, 1997, ukončen
    Řešitel: Šťastný Petr
    Spoluřešitelé: Šťastný Petr
    Detail

    Využití objektově orientovaných Petriho sítí pro modelování sociotechnických systémů, FVU VUT, FU470006, 1997, ukončen
    Řešitel: Janoušek Vladimír
    Spoluřešitelé: Janoušek Vladimír, Vojnar Tomáš
    Detail

  • 1994

    Metodologie vývoje informačních systémů, GAČR, GA102/94/1097, 1994-1996, ukončen
    Řešitel: Češka Milan
    Spoluřešitelé: Beneš Miroslav, Češka Milan, Hanáček Petr, Hruška Tomáš, Janoušek Vladimír, Peringer Petr, Rábová Zdeňka
    Detail

    PNtalk - nástroje založené na objektově orientovaných Petriho sítích, VUT v Brně - Institucionální podpora na rozvoj výzkumné organizace, UIVT-PNtalk, 1994-2010, ukončen
    Řešitel: Janoušek Vladimír
    Spoluřešitelé: Drabant Radek, Janoušek Vladimír, Kočí Radek, Křena Bohuslav, Vojnar Tomáš
    Detail

  • 1991

    SIMLIB - simulační knihovna pro C++, FIT VUT - Institucionální podpora na rozvoj výzkumné organizace, FIT-SIMLIB, 1991-2020, řešení
    Řešitel: Peringer Petr
    Spoluřešitelé: Martinek David, Peringer Petr
    Detail

Nahoru