Vojtech Havlena

CoRR, 2024

Mata: A Fast and Simple Finite Automata Library.

[BibT_eX]

[DOI]

Proceedings of the Tools and Algorithms for the Construction and Analysis of Systems, 2024

Z3-Noodler: An Automata-based String Solver.

[BibT_eX]

[DOI]

Proceedings of the Tools and Algorithms for the Construction and Analysis of Systems, 2024

Cooking String-Integer Conversions with Noodles.

[BibT_eX]

[DOI]

Proceedings of the 27th International Conference on Theory and Applications of Satisfiability Testing, 2024

Algebraic Reasoning Meets Automata in Solving Linear Integer Arithmetic.

[BibT_eX]

[DOI]

Proceedings of the Computer Aided Verification - 36th International Conference, 2024

2023

Solving String Constraints with Lengths by Stabilization.

[BibT_eX]

[DOI]

Proc. ACM Program. Lang., October, 2023

A symbolic algorithm for the case-split rule in solving word constraints with extensions.

[BibT_eX]

[DOI]

J. Syst. Softw., July, 2023

Accurate Automata-Based Detection of Cyber Threats in Smart Grid Communication.

[BibT_eX]

[DOI]

IEEE Trans. Smart Grid, May, 2023

Mata, a Fast and Simple Finite Automata Library (Technical Report).

[BibT_eX]

[DOI]

CoRR, 2023

Z3-Noodler: An Automata-based String Solver (Technical Report).

[BibT_eX]

[DOI]

CoRR, 2023

A Symbolic Algorithm for the Case-Split Rule in Solving Word Constraints with Extensions (Technical Report).

[BibT_eX]

[DOI]

CoRR, 2023

Modular Mix-and-Match Complementation of Büchi Automata (Technical Report).

[BibT_eX]

[DOI]

CoRR, 2023

Modular Mix-and-Match Complementation of Büchi Automata.

[BibT_eX]

[DOI]

Proceedings of the Tools and Algorithms for the Construction and Analysis of Systems, 2023

Word Equations in Synergy with Regular Constraints.

[BibT_eX]

[DOI]

Proceedings of the Formal Methods - 25th International Symposium, 2023

2022

Word Equations in Synergy with Regular Constraints (Technical Report).

[BibT_eX]

[DOI]

CoRR, 2022

Complementing Büchi Automata with Ranker (Technical Report).

[BibT_eX]

[DOI]

CoRR, 2022

Sky Is Not the Limit - Tighter Rank Bounds for Elevator Automata in Büchi Automata Complementation.

[BibT_eX]

[DOI]

Proceedings of the Tools and Algorithms for the Construction and Analysis of Systems, 2022

Complementing Büchi Automata with Ranker.

[BibT_eX]

[DOI]

Proceedings of the Computer Aided Verification - 34th International Conference, 2022

2021

Automata Terms in a Lazy WSkS Decision Procedure.

[BibT_eX]

[DOI]

J. Autom. Reason., 2021

Sky Is Not the Limit: Tighter Rank Bounds for Elevator Automata in Büchi Automata Complementation (Technical Report).

[BibT_eX]

[DOI]

CoRR, 2021

Deciding S1S: Down the Rabbit Hole and Through the Looking Glass.

[BibT_eX]

[DOI]

Proceedings of the Networked Systems - 9th International Conference, 2021

Efficient Modelling of ICS Communication For Anomaly Detection Using Probabilistic Automata.

[BibT_eX]

[DOI]

Petr Matousek

Lukás Holík

Proceedings of the 17th IFIP/IEEE International Symposium on Integrated Network Management, 2021

Reducing (To) the Ranks: Efficient Rank-Based Büchi Automata Complementation.

[BibT_eX]

[DOI]

Proceedings of the 32nd International Conference on Concurrency Theory, 2021

2020

Approximate reduction of finite automata for high-speed network intrusion detection.

[BibT_eX]

[DOI]

Int. J. Softw. Tools Technol. Transf., 2020

Flow based monitoring of ICS communication in the smart grid.

[BibT_eX]

[DOI]

J. Inf. Secur. Appl., 2020

Reducing (to) the Ranks: Efficient Rank-based Büchi Automata Complementation (Technical Report).

[BibT_eX]

[DOI]

CoRR, 2020

Antiprenexing for WSkS: A Little Goes a Long Way.

[BibT_eX]

[DOI]

Proceedings of the LPAR 2020: 23rd International Conference on Logic for Programming, 2020

A Symbolic Algorithm for the Case-Split Rule in String Constraint Solving.

[BibT_eX]

[DOI]

Proceedings of the Programming Languages and Systems - 18th Asian Symposium, 2020

2019

Automata Terms in a Lazy WSkS Decision Procedure (Technical Report).

[BibT_eX]

[DOI]

CoRR, 2019

Deep Packet Inspection in FPGAs via Approximate Nondeterministic Automata.

[BibT_eX]

[DOI]

CoRR, 2019

Deep Packet Inspection in FPGAs via Approximate Nondeterministic Automata.

[BibT_eX]

[DOI]

Proceedings of the 27th IEEE Annual International Symposium on Field-Programmable Custom Computing Machines, 2019

Simulations in Rank-Based Büchi Automata Complementation.

[BibT_eX]

[DOI]

Yu-Fang Chen

Proceedings of the Programming Languages and Systems - 17th Asian Symposium, 2019

2016

A Note on One Less Known Class of Generated Residual Implications.

[BibT_eX]

[DOI]

Dana Hlinená

Proceedings of the Proceedings 11th Doctoral Workshop on Mathematical and Engineering Methods in Computer Science, 2016

2015

Fitting Aggregation Operators.

[BibT_eX]

[DOI]