Lenka Holíková

Products

• 2022

  GadgetCA: A Tool for Generating ReDoS Attacks, software
  Authors: Holík Lukáš, Holíková Lenka, Homoliak Ivan, Lengál Ondřej, Veanes Margus, Vojnar Tomáš

• 2020

  Chipmunk: A Tool for Matching of Regular Expressions., software
  Authors: Holík Lukáš, Holíková Lenka, Lengál Ondřej, Veanes Margus, Vojnar Tomáš

• 2019

  PICoSo: An SMT Solver for String Constraints, software
  Authors: Holíková Lenka, Janků Petr

• 2018

  MINA: A Tool for Verification of Programs with an Unbounded Number of Threads, software
  Authors: Holík Lukáš, Holíková Lenka, Vojnar Tomáš