Faculty of Information Technology, BUT

System Modelling and Optimization Research Group

Projects

  • 2017

    Secure and Reliable Computer Systems, BUT, FIT-S-17-4014, FIT-S-17-4014, 2017-2019, running
    Research leader: Vojnar Tomáš
    Team leaders: 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

    Reliability and Security in IT, BUT, FIT-S-14-2486, 2014-2016, completed
    Research leader: Vojnar Tomáš
    Team leaders: 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

    Advanced Formal Approaches in the Design and Verification of Computer-Based Systems, GACR, GA102/07/0322, 2007-2009, completed
    Research leader: Češka Milan
    Team leaders: 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

    Model Based System Development, GACR, GP102/07/P306, 2007-2009, completed
    Research leader: Kočí Radek
    Team leaders: Kočí Radek
    Detail

  • 2006

    Computer classroom for modelling, simulation and GIS, FRVŠ MŠMT, FR2656/2006/Ab, 2006, completed
    Research leader: Peringer Petr
    Team leaders: Hrubý Martin, Kunovský Jiří, Peringer Petr, Vojnar Tomáš
    Detail

    Modelling and Simulation of Intelligent Systems, GACR, GP102/06/P309, 2006-2008, completed
    Research leader: Hrubý Martin
    Team leaders: Hrubý Martin
    Detail

  • 2004

    Automated methods and tools supporting development of reliable parallel and distributed systems, GACR, GA102/04/0780, 2004-2006, completed
    Research leader: Češka Milan
    Team leaders: Češka Milan, Haša Luděk, Janoušek Vladimír, Kočí Radek, Křena Bohuslav, Rábová Zdeňka, Vojnar Tomáš
    Detail

    Information system security - research of attacks on tamper-resistant cryptographic hardware, GACR, GA102/04/0871, 2004-2006, completed
    Research leader: Hanáček Petr
    Team leaders: Cvrček Daniel, Hanáček Petr, Hrubý Martin, Hruška Tomáš, Peringer Petr, Rábová Zdeňka
    Detail

  • 2003

    Design of environment for creation of heterogeneous models, FRVŠ MŠMT, FR833/2003/G1, 2003, completed
    Research leader: Martinek David
    Team leaders: Č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, completed
    Research leader: Křena Bohuslav
    Team leaders: Češka Milan, Křena Bohuslav
    Detail

    Modern Methods of Language Parsing, FRVŠ MŠMT, FR1831/2002/G1, 2002, completed
    Research leader: Hrubý Martin
    Team leaders: Hrubý Martin, Meduna Alexander, Švec Martin
    Detail

  • 2001

    Environment for Development, Modelling, and Application of Heterogeneous Systems, GACR, GA102/01/1485, 2001-2003, completed
    Research leader: Vavřín Petr
    Team leaders: Č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

    A Program Set for Modeling of a System for the Risk Analysis, FRVŠ MŠMT, FR0172/2001/G1, 2001-2002, completed
    Research leader: Rábová Zdeňka
    Team leaders: Hrubý Martin, Rábová Zdeňka, Zbořil František ml.
    Detail

  • 2000

    Modelling, Verifying, and Prototyping Distributed Applications Using Petri Nets, GACR, GA102/00/1017, 2000-2002, completed
    Research leader: Češka Milan
    Team leaders: Č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

    Virtual reality system implementation, FRVŠ MŠMT, FR1527/2000/G1, 2000-2001, completed
    Research leader: Marušinec Jaromír
    Team leaders: Marušinec Jaromír, Rábová Zdeňka
    Detail

  • 1999

    Research in information and control systems, CEZ MŠMT, MSM 262200012, 1999-2004, completed
    Research leader: Honzík Jan M.
    Team leaders: 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

    Modelling and Simulation for ECBS orientation, FRVŠ MŠMT, FR0181/1998/F1, 1998, completed
    Research leader: Rábová Zdeňka
    Team leaders: Peringer Petr, Rábová Zdeňka
    Detail

    System for visualization and simulation in virtual reality, FVU VUT, FV480004, 1998, completed
    Research leader: Marušinec Jaromír
    Team leaders: Marušinec Jaromír
    Detail

  • 1997

    Tools for continuous simulation of spatial dynamical systems, FRVŠ MŠMT, FR628/1997/G, 1997, completed
    Research leader: Peringer Petr
    Team leaders: Peringer Petr
    Detail

    Simulation model visualisation, FEECS BUT, 1997, completed
    Research leader: Šťastný Petr
    Team leaders: Šťastný Petr
    Detail

    Using of object-oriented Petri nets for modelling of socio-technical systems, FVU VUT, FU470006, 1997, completed
    Research leader: Janoušek Vladimír
    Team leaders: Janoušek Vladimír, Vojnar Tomáš
    Detail

  • 1994

    Methodology of Information Systems Development, GACR, GA102/94/1097, 1994-1996, completed
    Research leader: Češka Milan
    Team leaders: Beneš Miroslav, Češka Milan, Hanáček Petr, Hruška Tomáš, Janoušek Vladimír, Peringer Petr, Rábová Zdeňka
    Detail

    PNtalk - tools based on object-oriented Petri nets, BUT, UIVT-PNtalk, 1994-2010, completed
    Research leader: Janoušek Vladimír
    Team leaders: Drabant Radek, Janoušek Vladimír, Kočí Radek, Křena Bohuslav, Vojnar Tomáš
    Detail

  • 1991

    SIMLIB - Simulation Library for C++, FIT BUT, FIT-SIMLIB, 1991-2020, running
    Research leader: Peringer Petr
    Team leaders: Martinek David, Peringer Petr
    Detail

Back to top