Ing.
Lenka Holíková
Ph.D.
zaměstnanec mimoevidenční
Produkty
-
2022
GadgetCA - Nástroj pro generování ReDoS útoků, software
Autoři: Holík Lukáš, Holíková Lenka, Homoliak Ivan, Lengál Ondřej, Veanes Margus, Vojnar Tomáš -
2020
Chipmunk: Nástroj pro vyhledávní podle regulárních výrazů., software
Autoři: Holík Lukáš, Holíková Lenka, Lengál Ondřej, Veanes Margus, Vojnar Tomáš -
2019
PICoSo: SMT řešič pro řezězcová omezení, software
Autoři: Holíková Lenka, Janků Petr -
2018
MINA: Nástroj pro verifikaci programů s neomezeným počtem vláken, software
Autoři: Holík Lukáš, Holíková Lenka, Vojnar Tomáš