RNDr. Petr Ročkai, Ph.D.
Assistant professor, Department of Computer Systems and Communications
Projects
-
Abstrakce a jiné techniky v semi-symbolické verifikaci programů (GA18-02177S)
MU Researcher: prof. RNDr. Jiří Barnat, Ph.D. MU Faculty or unit: Faculty of Informatics Project Period: 1/2018 — 12/2020Investor: Czech Science Foundation / Standard Projects -
Symbolická exekuce spustitelných programů v nástroji DIVINE (MUNI/33/07/2018)
MU Researcher: RNDr. Petr Ročkai, Ph.D. MU Faculty or unit: Faculty of Informatics Project Period: 12/2018 — 11/2019Investor: Masaryk University / FI Dean's Programme -
Rozšíření DiOSu, interního operačního systému verifikačního nástroje DIVINE (MUNI/33/01/2017)
MU Researcher: RNDr. Petr Ročkai, Ph.D. MU Faculty or unit: Faculty of Informatics Project Period: 4/2017 — 3/2018Investor: Masaryk University / FI Dean's Programme -
Correctness Analysis of C and C++ Programs with Threads (GA15-08772S)
MU Researcher: prof. RNDr. Jiří Barnat, Ph.D. MU Faculty or unit: Faculty of Informatics Project Period: 3/2015 — 12/2017Investor: Czech Science Foundation / Standard Projects -
Rozsáhlé výpočetní systémy: modely, aplikace a verifikace IV. (MUNI/A/1159/2014)
MU Researcher: prof. RNDr. Mojmír Křetínský, CSc. MU Faculty or unit: Faculty of Informatics Project Period: 1/2015 — 12/2015Investor: Masaryk University / Grant Agency of Masaryk University -
Rozsáhlé výpočetní systémy: modely, aplikace a verifikace III. (MUNI/A/0855/2013)
MU Researcher: prof. RNDr. Mojmír Křetínský, CSc. MU Faculty or unit: Faculty of Informatics Project Period: 1/2014 — 12/2014Investor: Masaryk University / Grant Agency of Masaryk University -
Rozsáhlé výpočetní systémy: modely, aplikace a verifikace II. (MUNI/A/0760/2012)
MU Researcher: prof. RNDr. Mojmír Křetínský, CSc. MU Faculty or unit: Faculty of Informatics Project Period: 1/2013 — 12/2013Investor: Masaryk University / Grant Agency of Masaryk University -
Zapojení studentů Fakulty informatiky do mezinárodní vědecké komunity (MUNI/A/0739/2012)
MU Researcher: prof. RNDr. Petr Hliněný, Ph.D. MU Faculty or unit: Faculty of Informatics Project Period: 1/2013 — 12/2013Investor: Masaryk University / Grant Agency of Masaryk University