Lenka Turonová

Publication Activity (10 Years)

Years Active: 2017-2023
Publications (10 Years): 9

Top Topics

Finite State Machines

Regular Patterns

Transactional Databases

Probabilistic Automata

Top Venues

Proc. ACM Program. Lang.

Publications

Lukás Holík, Juraj Síc, Lenka Turonová, Tomás Vojnar
Fast Matching of Regular Patterns with Synchronizing Counting (Technical Report). CoRR (2023)
Lukás Holík, Juraj Síc, Lenka Turonová, Tomás Vojnar
Fast Matching of Regular Patterns with Synchronizing Counting. FoSSaCS (2023)
Michal Horký, Juraj Síc, Lenka Turonová
Automata with Bounded Repetition in RE2. EUROCAST (2022)
Lenka Turonová, Lukás Holík, Ivan Homoliak, Ondrej Lengál, Margus Veanes, Tomás Vojnar
Counting in Regexes Considered Harmful: Exposing ReDoS Vulnerability of Nonbacktracking Matchers. USENIX Security Symposium (2022)
Lenka Turonová, Lukás Holík, Ondrej Lengál, Olli Saarikivi, Margus Veanes, Tomás Vojnar
Regex matching with counting-set automata. Proc. ACM Program. Lang. 4 (OOPSLA) (2020)
Lukás Holík, Ondrej Lengál, Olli Saarikivi, Lenka Turonová, Margus Veanes, Tomás Vojnar
Succinct Determinisation of Counting Automata via Sphere Construction (Technical Report). CoRR (2019)
Lukás Holík, Ondrej Lengál, Olli Saarikivi, Lenka Turonová, Margus Veanes, Tomás Vojnar
Succinct Determinisation of Counting Automata via Sphere Construction. APLAS (2019)
Petr Janku, Lenka Turonová
Solving String Constraints with Approximate Parikh Image. EUROCAST (1) (2019)
Lenka Turonová, Lukás Holík
Towards Smaller Invariants for Proving Coverability. EUROCAST (2) (2017)