Project Details

Verifikace a optimalizace počítačových systémů

Project Period: 1. 1. 2012 - 31. 12. 2014

Project Type: grant

Code: FIT-S-12-1

Agency: Brno University of Technology

Program: Vnitřní projekty VUT

English title
Verification and Optimization of Computer Systems
Type
grant
Keywords

formal verification, testing and dynamic verification, optimization, computer systems

Abstract

The project targets verification and optimization of computer-based systems.

Team members
Vojnar Tomáš, prof. Ing., Ph.D. (UITS FIT VUT) , research leader
Češka Milan, prof. RNDr., CSc. (UITS FIT VUT) , team leader
Dudka Kamil, Ing. (UITS FIT VUT) , team leader
Fiedor Jan, Ing., Ph.D. (UITS FIT VUT) , team leader
Fučík Otto, doc. Dr. Ing. (UPSY FIT VUT) , team leader
Korček Pavol, Ing., Ph.D. (UPSY FIT VUT) , team leader
Křena Bohuslav, Ing., Ph.D. (UITS FIT VUT) , team leader
Lengál Ondřej, Ing., Ph.D. (UITS FIT VUT) , team leader
Letko Zdeněk, Ing., Ph.D. (UITS FIT VUT) , team leader
Minárik Michal, Ing. (UITS FIT VUT) , team leader
Peringer Petr, Dr. Ing. (UITS FIT VUT) , team leader
Petrlík Jiří, Ing. (UPSY FIT VUT) , team leader
Rogalewicz Adam, doc. Mgr., Ph.D. (UITS FIT VUT) , team leader
Sekanina Lukáš, prof. Ing., Ph.D. (UPSY FIT VUT) , team leader
Šimáček Jiří, Ing., Ph.D. (UITS FIT VUT) , team leader
Vašíček Zdeněk, doc. Ing., Ph.D. (UPSY FIT VUT) , team leader
Publications

2015

2014

2013

2012

Products

2014

2013

2012

Back to top