Vojtech Havlena

Publication Activity (10 Years)

Years Active: 2015-2024
Publications (10 Years): 37

Top Topics

Finite Automata

Network Intrusion

Technical Report

Top Venues

Publications

Vojtech Havlena, Lukás Holík, Ondrej Lengál, Juraj Síc
Cooking String-Integer Conversions with Noodles. SAT (2024)
Yu-Fang Chen, David Chocholatý, Vojtech Havlena, Lukás Holík, Ondrej Lengál, Juraj Síc
Z3-Noodler: An Automata-based String Solver. TACAS (1) (2024)
Peter Habermehl, Vojtech Havlena, Michal Hecko, Lukás Holík, Ondrej Lengál
Algebraic Reasoning Meets Automata in Solving Linear Integer Arithmetic. CAV (1) (2024)
Peter Habermehl, Michal Hecko, Vojtech Havlena, Lukás Holík, Ondrej Lengál
Algebraic Reasoning Meets Automata in Solving Linear Integer Arithmetic. CoRR (2024)
David Chocholatý, Tomás Fiedor, Vojtech Havlena, Lukás Holík, Martin Hruska, Ondrej Lengál, Juraj Síc
Mata: A Fast and Simple Finite Automata Library. TACAS (2) (2024)
Vojtech Havlena, Ondrej Lengál, Yong Li, Barbora Smahlíková, Andrea Turrini
Modular Mix-and-Match Complementation of Büchi Automata (Technical Report). CoRR (2023)
Yu-Fang Chen, David Chocholatý, Vojtech Havlena, Lukás Holík, Ondrej Lengál, Juraj Síc
Solving String Constraints with Lengths by Stabilization. Proc. ACM Program. Lang. 7 (OOPSLA2) (2023)
Yu-Fang Chen, Vojtech Havlena, Ondrej Lengál, Andrea Turrini
A Symbolic Algorithm for the Case-Split Rule in Solving Word Constraints with Extensions (Technical Report). CoRR (2023)
Vojtech Havlena, Ondrej Lengál, Yong Li, Barbora Smahlíková, Andrea Turrini
Modular Mix-and-Match Complementation of Büchi Automata. TACAS (1) (2023)
Vojtech Havlena, Petr Matousek, Ondrej Rysavý, Lukás Holík
Accurate Automata-Based Detection of Cyber Threats in Smart Grid Communication. IEEE Trans. Smart Grid 14 (3) (2023)
Yu-Fang Chen, Vojtech Havlena, Ondrej Lengál, Andrea Turrini
A symbolic algorithm for the case-split rule in solving word constraints with extensions. J. Syst. Softw. 201 (2023)
David Chocholatý, Tomás Fiedor, Vojtech Havlena, Lukás Holík, Martin Hruska, Ondrej Lengál, Juraj Síc
Mata, a Fast and Simple Finite Automata Library (Technical Report). CoRR (2023)
Yu-Fang Chen, David Chocholatý, Vojtech Havlena, Lukás Holík, Ondrej Lengál, Juraj Síc
Z3-Noodler: An Automata-based String Solver (Technical Report). CoRR (2023)
Frantisek Blahoudek, Yu-Fang Chen, David Chocholatý, Vojtech Havlena, Lukás Holík, Ondrej Lengál, Juraj Síc
Word Equations in Synergy with Regular Constraints. FM (2023)
Frantisek Blahoudek, Yu-Fang Chen, David Chocholatý, Vojtech Havlena, Lukás Holík, Ondrej Lengál, Juraj Síc
Word Equations in Synergy with Regular Constraints (Technical Report). CoRR (2022)
Vojtech Havlena, Ondrej Lengál, Barbora Smahlíková
Complementing Büchi Automata with Ranker (Technical Report). CoRR (2022)
Vojtech Havlena, Ondrej Lengál, Barbora Smahlíková
Sky Is Not the Limit - Tighter Rank Bounds for Elevator Automata in Büchi Automata Complementation. TACAS (2) (2022)
Vojtech Havlena, Ondrej Lengál, Barbora Smahlíková
Complementing Büchi Automata with Ranker. CAV (2) (2022)
Petr Matousek, Vojtech Havlena, Lukás Holík
Efficient Modelling of ICS Communication For Anomaly Detection Using Probabilistic Automata. IM (2021)
Vojtech Havlena, Ondrej Lengál
Reducing (To) the Ranks: Efficient Rank-Based Büchi Automata Complementation. CONCUR (2021)
Vojtech Havlena, Lukás Holík, Ondrej Lengál, Tomás Vojnar
Automata Terms in a Lazy WSkS Decision Procedure. J. Autom. Reason. 65 (7) (2021)
Vojtech Havlena, Ondrej Lengál, Barbora Smahlíková
Sky Is Not the Limit: Tighter Rank Bounds for Elevator Automata in Büchi Automata Complementation (Technical Report). CoRR (2021)
Vojtech Havlena, Ondrej Lengál, Barbora Smahlíková
Deciding S1S: Down the Rabbit Hole and Through the Looking Glass. NETYS (2021)
Vojtech Havlena, Lukás Holík, Ondrej Lengál, Ondrej Vales, Tomás Vojnar
Antiprenexing for WSkS: A Little Goes a Long Way. LPAR (2020)
Vojtech Havlena, Ondrej Lengál
Reducing (to) the Ranks: Efficient Rank-based Büchi Automata Complementation (Technical Report). CoRR (2020)
Yu-Fang Chen, Vojtech Havlena, Ondrej Lengál, Andrea Turrini
A Symbolic Algorithm for the Case-Split Rule in String Constraint Solving. APLAS (2020)
Milan Ceska, Vojtech Havlena, Lukás Holík, Ondrej Lengál, Tomás Vojnar
Approximate reduction of finite automata for high-speed network intrusion detection. Int. J. Softw. Tools Technol. Transf. 22 (5) (2020)
Petr Matousek, Ondrej Rysavý, Matej Grégr, Vojtech Havlena
Flow based monitoring of ICS communication in the smart grid. J. Inf. Secur. Appl. 54 (2020)
Yu-Fang Chen, Vojtech Havlena, Ondrej Lengál
Simulations in Rank-Based Büchi Automata Complementation. APLAS (2019)
Vojtech Havlena, Lukás Holík, Ondrej Lengál, Tomás Vojnar
Automata Terms in a Lazy WSkS Decision Procedure (Technical Report). CoRR (2019)
Vojtech Havlena, Lukás Holík, Ondrej Lengál, Tomás Vojnar
Automata Terms in a Lazy WSkS Decision Procedure. CADE (2019)
Milan Ceska, Vojtech Havlena, Lukás Holík, Jan Korenek, Ondrej Lengál, Denis Matousek, Jirí Matousek, Jakub Semric, Tomás Vojnar
Deep Packet Inspection in FPGAs via Approximate Nondeterministic Automata. CoRR (2019)
Milan Ceska, Vojtech Havlena, Lukás Holík, Jan Korenek, Ondrej Lengál, Denis Matousek, Jirí Matousek, Jakub Semric, Tomás Vojnar
Deep Packet Inspection in FPGAs via Approximate Nondeterministic Automata. FCCM (2019)
Yu-Fang Chen, Vojtech Havlena, Ondrej Lengál
Simulations in Rank-Based Büchi Automata Complementation. CoRR (2019)
Milan Ceska, Vojtech Havlena, Lukás Holík, Ondrej Lengál, Tomás Vojnar
Approximate Reduction of Finite Automata for High-Speed Network Intrusion Detection. TACAS (2) (2018)
Milan Ceska, Vojtech Havlena, Lukás Holík, Ondrej Lengál, Tomás Vojnar
Approximate Reduction of Finite Automata for High-Speed Network Intrusion Detection. CoRR (2017)
Vojtech Havlena, Dana Hlinená
A Note on One Less Known Class of Generated Residual Implications. MEMICS (2016)
Vojtech Havlena, Dana Hlinená
Fitting Aggregation Operators. MEMICS (2015)