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

Dacík Tomáš, Ing.

Ph.D. Student

Kozák David, Ing.

Ph.D. Student

Pavela Jiří, Ing.

Ph.D. Student

Síč Juraj, Mgr.

Ph.D. Student

Ph.D. student

Andriushchenko Roman, 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

Hruška Martin, Ing.

Člen

Charvát Lukáš, Ing., Ph.D.

Člen

Janků Petr, Ing.

Člen

Kotoun Michal, Ing.

Člen

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

Člen

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

Člen

Malík Viktor, Ing.

Člen

Martiček Štefan, Ing.

Člen

Matyáš Jiří, Ing.

Č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

Šimková Hana, Mgr. Bc., Ph.D.

Člen

Šoková Veronika, Ing.

Člen

Valeš Ondřej, Ing.

Člen

Vargovčík Pavol, Ing.

Člen

Bývalí členové skupiny

Nahoru