Assoc. Prof. RNDr. Jiří Barnat, Ph.D.
| Řízení a ověřování vlastností komplexních hybridních systémů (LH11065) | |
| MU Investigator: | Prof. RNDr. Ivana Černá, CSc. |
| MU Faculty/Unit: | Faculty of Informatics |
| Project Period: | 3/2011 - 12/2014 |
| Investor/Programme: | Ministry of Education, Youth and Sports of the CR / KONTAKT II |
| more | |
| Software Components in Embedded Systems: Development and Verification (GAP202/11/0312) | |
| MU Investigator: | Prof. RNDr. Ivana Černá, CSc. |
| MU Faculty/Unit: | Faculty of Informatics |
| Project Period: | 3/2011 - 12/2013 |
| Investor/Programme: | Czech Science Foundation / Standard Projects |
| more | |
| industrial Framework for Embedded Systems Tools (100203) | |
| MU Investigator: | Prof. RNDr. Luboš Brim, CSc. |
| MU Faculty/Unit: | Faculty of Informatics |
| Project Period: | 4/2010 - 3/2013 |
| Investor/Programme: | European Union / 7th Specific RTD Programme |
| more | |
| Automated formal verification using modern hardware (GP201/09/P497) | |
| MU Investigator: | Assoc. Prof. RNDr. Jiří Barnat, Ph.D. |
| MU Faculty/Unit: | Faculty of Informatics |
| Project Period: | 1/2009 - 12/2011 |
| Investor/Programme: | Czech Science Foundation / Post-graduate (doctorate) grants |
| more | |
| Development of cryptographic tools and methodology for the purposes of chip cards and single-chip controllers analyses (ST20062006001) | |
| MU Investigator: | Prof. RNDr. Václav Matyáš, M.Sc., Ph.D. |
| MU Faculty/Unit: | Faculty of Informatics |
| Project Period: | 5/2006 - 12/2006 |
| Investor/Programme: | National Security Authority / R&D Projects in Cryptography and Cryptanalysis |
| more | |
