Vojtech Havlena

46 papers A 2B 8Misc 1Journal 24Unranked 11

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