Ing.

Lenka Holíková

Ph.D.

FIT, VZ VERIFIT – členka

+420 54114 1178
ituronova@fit.vut.cz

Odeslat VUT zprávu

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

Publikace

  • 2023

    HOLÍKOVÁ, L.; HORKÝ, M.; SÍČ, J. Automata with Bounded Repetition in RE2. In Computer Aided Systems Theory - EUROCAST 2022. Lecture Notes in Computer Science. Heidelberg: Springer Verlag, 2023. s. 232-239. ISSN: 0302-9743.
    Detail

    HOLÍK, L.; HOLÍKOVÁ, L.; SÍČ, J.; VOJNAR, T. Fast Matching of Regular Patterns with Synchronizing Counting. In Foundations of Software Science and Computation Structures. Lecture Notes in Computer Science. Heidelberg: Springer Verlag, 2023. s. 392-412. ISSN: 0302-9743.
    Detail | WWW | Plný text v Digitální knihovně

  • 2022

    HOLÍKOVÁ, L.; HOLÍK, L.; HOMOLIAK, I.; LENGÁL, O.; VEANES, M.; VOJNAR, T. Counting in Regexes Considered Harmful: Exposing ReDoS Vulnerability of Nonbacktracking Matchers. In Proceedings of the 31st USENIX Security Symposium. Boston, MA: USENIX, 2022. s. 4165-4182. ISBN: 978-1-939133-31-1.
    Detail | WWW

  • 2020

    HOLÍKOVÁ, L.; HOLÍK, L.; LENGÁL, O.; SAARIKIVI, O.; VEANES, M.; VOJNAR, T. Regex Matching with Counting-Set Automata. Proceedings of the ACM on Programming Languages, 2020, roč. 4, č. 11, s. 1-30. ISSN: 2475-1421.
    Detail | WWW

  • 2019

    HOLÍK, L.; HOLÍKOVÁ, L.; LENGÁL, O.; VOJNAR, T.; SAARIKIVI, O.; VEANES, M. Succinct Determinisation of Counting Automata via Sphere Construction (Technical Report). Ithaca: Cornell University Library, 2019. s. 1-19.
    Detail | WWW

    HOLÍK, L.; HOLÍKOVÁ, L.; LENGÁL, O.; VOJNAR, T.; SAARIKIVI, O.; VEANES, M. Succinct Determinisation of Counting Automata via Sphere Construction. In In Proc. of 17th Asian Symposium on Programming Languages and Systems - APLAS'19. Lecture Notes in Computer Science. Berlin Heidelberg: Springer Verlag, 2019. s. 468-489. ISSN: 0302-9743.
    Detail | WWW

    HOLÍKOVÁ, L.; JANKŮ, P. Solving String Constraints with Approximate Parikh Image. In Proceedings of EUROCAST'19. Lecture Notes in Computer Science. Heidelberg: Springer International Publishing, 2019. s. 1-8. ISBN: 978-3-030-45092-2.
    Detail | WWW

  • 2018

    HOLÍK, L.; HOLÍKOVÁ, L. Towards Smaller Invariants for Proving Coverability. In Computer Aided Systems Theory - EUROCAST 2017. Berlin Heidelberg: Springer Verlag, 2018. s. 109-116. ISBN: 978-3-319-74727-9.
    Detail | WWW

*) Citace publikací se generují jednou za 24 hodin.