Other Results
-
2023
A symbolic algorithm for the case-split rule in solving word constraints with extensions (technical report), report, 2023
Authors: HAVLENA, V.; LENGÁL, O.; CHEN, Y.; TURRINI, A.Modular Mix-and-Match Complementation of Büchi Automata (Technical Report), report, 2023
Authors: HAVLENA, V.; ŠMAHLÍKOVÁ, B.; LENGÁL, O.; LI, Y.; TURRINI, A. -
2022
Complementing Büchi Automata with Ranker (Technical Report), report, 2022
Authors: HAVLENA, V.; LENGÁL, O.; ŠMAHLÍKOVÁ, B.Sky Is Not the Limit: Tighter Rank Bounds for Elevator Automata in Buchi Automata Complementation (Technical Report), report, 2022
Authors: HAVLENA, V.; LENGÁL, O.; ŠMAHLÍKOVÁ, B. -
2021
Reducing (to) the Ranks: Efficient Rank-based Büchi Automata Complementation (Technical Report), report, 2021
Authors: HAVLENA, V.; LENGÁL, O. -
2019
Automata Terms in a Lazy WSkS Decision Procedure (Technical Report), report, 2019
Authors: HAVLENA, V.; HOLÍK, L.; LENGÁL, O.; VOJNAR, T.Succinct Determinisation of Counting Automata via Sphere Construction (Technical Report), report, 2019
Authors: HOLÍK, L.; HOLÍKOVÁ, L.; LENGÁL, O.; VOJNAR, T.; SAARIKIVI, O.; VEANES, M. -
2018
Simulation Algorithms for Symbolic Automata (Technical Report), report, 2018
Authors: HOLÍK, L.; LENGÁL, O.; SÍČ, J.; VOJNAR, T.; VEANES, M. -
2017
An Executable Sequential Specification for Spark Aggregation, report, 2017
Authors: LENGÁL, O.; HONG, C.; CHEN, Y.; MU, S.; SINHA, N.; WANG, B.Counterexample Validation and Interpolation-Based Refinement for Forest Automata, report, 2017
Authors: HRUŠKA, M.; HOLÍK, L.; LENGÁL, O.; ROGALEWICZ, A.; VOJNAR, T.Lazy Automata Techniques for WS1S, report, 2017
Authors: FIEDOR, T.; HOLÍK, L.; JANKŮ, P.; LENGÁL, O.; VOJNAR, T.Register Automata with Linear Arithmetic, report, 2017
Authors: LENGÁL, O.; CHEN, Y.; TAN, T.; WU, Z. -
2014
Compositional Entailment Checking for a Fragment of Separation Logic, report, 2014
Authors: ENEA, C.; LENGÁL, O.; SIGHIREANU, M.; VOJNAR, T. -
2013
Fully Automated Shape Analysis Based on Forest Automata, report, 2013
Authors: HOLÍK, L.; LENGÁL, O.; ROGALEWICZ, A.; ŠIMÁČEK, J.; VOJNAR, T.Verification of Heap Manipulating Programs with Ordered Data by Extended Forest Automata, report, 2013
Authors: HOLÍK, L.; JONSSON, B.; LENGÁL, O.; VOJNAR, T.; TRINH, Q.; ABDULLA, P. -
2012
Towards Beneficial Hardware Acceleration in HAVEN: Evaluation of Testbed Architectures, report, 2012
Authors: ZACHARIÁŠOVÁ, M.; LENGÁL, O. -
2011
Efficient Inclusion Checking on Explicit and Semi-Symbolic Tree Automata, report, 2011
Authors: HOLÍK, L.; LENGÁL, O.; ŠIMÁČEK, J.; VOJNAR, T.HAVEN: An Open Framework for FPGA-Accelerated Functional Verification of Hardware, report, 2011
Authors: ZACHARIÁŠOVÁ, M.; LENGÁL, O.; KAJAN, M.