Výzkumná skupina automatizované analýzy a verifikace - VeriFIT

https://verifit.webnode.cz/

Vedoucí

Vojnar Tomáš, prof. Ing., Ph.D.

Vedoucí

Výzkumné zájmy

  • Statická analýza programů, zaměřená mimo jiné (ale nejen) na programy s ukazateli a dynamickými datovými strukturami, paralelními procesy či na výkonnost programů.
  • Formální analýza a verifikace, obzvláště pro parametrické a nekonečně-stavové systémy.
  • Dynamická analýza a testování, zejména pro paralelní programy.
  • Automaty a logiky (nejen) pro potřeby verifikace.
  • Viz také výzkumná skupina VeriFIT.

Rozšířené informace o publikacích

Publikace na DBLP

Záznam na Google Scholar

ha-index: 83

Ph.D. Student

Andriushchenko Roman, Ing.

Ph.D. Student

Dacík Tomáš, Ing.

Ph.D. Student

Hečko Michal, Ing.

Ph.D. Student

Hudák David, Ing.

Ph.D. Student

Chocholatý David, Ing.

Ph.D. Student

Kocourek Tomáš, Ing.

Ph.D. Student

Kozák David, Ing.

Ph.D. Student

Macák Filip, Ing.

Ph.D. Student

Pavela Jiří, Ing.

Ph.D. Student

Rozsíval Michal, Ing.

Ph.D. Student

Síč Juraj, Mgr.

Ph.D. Student

Šedý Michal, Ing.

Ph.D. Student

Šmahlíková Barbora, Ing.

Ph.D. Student

Člen

Češka Milan, doc. RNDr., Ph.D.

Člen

Fiedor Jan, Ing., Ph.D.

Člen

Fiedor Tomáš, Ing., Ph.D.

Člen

Havlena Vojtěch, Ing., Ph.D.

Člen

Holík Lukáš, doc. Mgr., Ph.D.

Člen

Formální metody, zejména komečné automaty a logiky, a jejich aplikace v automatickém usuzování, zejména v analýze a verifikaci systémů.

Holíková Lenka, Ing., Ph.D.

Člen

Janků Petr, Ing.

Člen

Křena Bohuslav, Ing., Ph.D.

Člen

Lengál Ondřej, Ing., Ph.D.

Člen

Malík Viktor, Ing., Ph.D.

Člen

Matyáš Jiří, Ing., Ph.D.

Člen

Peringer Petr, Dr. Ing.

Člen

Rogalewicz Adam, doc. Mgr., Ph.D.

Člen

Smrčka Aleš, Ing., Ph.D.

Člen
  • Testování softwaru
  • Automatizace testů
  • Formální analýza a verifikace

Šoková Veronika, Ing.

Člen

Vargovčík Pavol, Ing.

Člen

Bývalí členové skupiny

Nahoru