Ing.

Lenka Holíková

Ph.D.

FIT, UITS – zaměstnankyně mimoevidenční

+420 54114 1178
ituronova@fit.vut.cz

Odeslat VUT zprávu

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

Tvůrčí aktivity

  • HOLÍK, L.; HOLÍKOVÁ, L.; VOJNAR, T.: mina; MINA: A Tool for Verification of Programs with an Unbounded Number of Threads. Nástroj i dokumentaci lze získat na URL: http://www.fit.vutbr.cz/research/groups/verifit/tools/mina/. URL: https://www.fit.vut.cz/research/product/559/. (software)
    https://www.fit.vut.cz/research/product/559/, počet stažení: 1
    Detail

  • HOLÍKOVÁ, L.; JANKŮ, P.: PICoSo; PICoSo: An SMT Solver for String Constraints. Nástroj a dodatečné informace se nacházejí na .... URL: https://www.fit.vut.cz/research/product/620/. (software)
    https://www.fit.vut.cz/research/product/620/, počet stažení: 0
    Detail

  • HOLÍK, L.; HOLÍKOVÁ, L.; LENGÁL, O.; VOJNAR, T.; VEANES, M.: chipmunk; Chipmunk: A Tool for Matching of Regular Expressions. Nástroj i dokumentaci lze získat na URL: http://www.fit.vutbr.cz/research/groups/verifit/tools/chipmunk/. (software)
    Detail

  • HOLÍK, L.; HOLÍKOVÁ, L.; HOMOLIAK, I.; LENGÁL, O.; VOJNAR, T.; VEANES, M.: gadgetca; GadgetCA: A Tool for Generating ReDoS Attacks. Nástroj i dokumentaci lze získat na URL: http://www.fit.vutbr.cz/research/groups/verifit/tools/gadgetca. URL: https://www.fit.vut.cz/research/product/730/. (software)
    https://www.fit.vut.cz/research/product/730/, počet stažení: 0
    Detail

Pokud je v údajích nesrovnalost, podívejte se do častých otázek k vizitkám.