Applied results

• 2022

  HOLÍK, L.; HOLÍKOVÁ, L.; HOMOLIAK, I.; LENGÁL, O.; VOJNAR, T.; VEANES, M.: GadgetCA: A Tool for Generating ReDoS Attacks. URL: https://www.fit.vut.cz/research/product/730/. (Software)
  Detail

• 2020

  HOLÍK, L.; HOLÍKOVÁ, L.; LENGÁL, O.; VOJNAR, T.; VEANES, M.: Chipmunk: A Tool for Matching of Regular Expressions. URL: https://www.fit.vut.cz/research/product/685/. (Software)
  Detail

• 2019

  HOLÍKOVÁ, L.; JANKŮ, P.: PICoSo: An SMT Solver for String Constraints. URL: https://www.fit.vut.cz/research/product/620/. (Software)
  Detail

• 2018

  HOLÍK, L.; HOLÍKOVÁ, L.; VOJNAR, T.: MINA: A Tool for Verification of Programs with an Unbounded Number of Threads. URL: https://www.fit.vut.cz/research/product/559/. (Software)
  Detail

*) Citations are generated once every 24 hours.