Ostatní výsledky
-
2023
A symbolic algorithm for the case-split rule in solving word constraints with extensions (technical report), zpráva odborná, 2023
Autoři: HAVLENA, V.; LENGÁL, O.; CHEN, Y.; TURRINI, A.Modular Mix-and-Match Complementation of Büchi Automata (Technical Report), zpráva odborná, 2023
Autoři: HAVLENA, V.; ŠMAHLÍKOVÁ, B.; LENGÁL, O.; LI, Y.; TURRINI, A. -
2022
Complementing Büchi Automata with Ranker (Technical Report), zpráva odborná, 2022
Autoři: 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), zpráva odborná, 2022
Autoři: HAVLENA, V.; LENGÁL, O.; ŠMAHLÍKOVÁ, B. -
2021
Reducing (to) the Ranks: Efficient Rank-based Büchi Automata Complementation (Technical Report), zpráva odborná, 2021
Autoři: HAVLENA, V.; LENGÁL, O. -
2019
Automata Terms in a Lazy WSkS Decision Procedure (Technical Report), zpráva odborná, 2019
Autoři: HAVLENA, V.; HOLÍK, L.; LENGÁL, O.; VOJNAR, T.Succinct Determinisation of Counting Automata via Sphere Construction (Technical Report), zpráva odborná, 2019
Autoři: HOLÍK, L.; HOLÍKOVÁ, L.; LENGÁL, O.; VOJNAR, T.; SAARIKIVI, O.; VEANES, M. -
2018
Simulation Algorithms for Symbolic Automata (Technical Report), zpráva odborná, 2018
Autoři: HOLÍK, L.; LENGÁL, O.; SÍČ, J.; VOJNAR, T.; VEANES, M. -
2017
An Executable Sequential Specification for Spark Aggregation, zpráva odborná, 2017
Autoři: LENGÁL, O.; HONG, C.; CHEN, Y.; MU, S.; SINHA, N.; WANG, B.Counterexample Validation and Interpolation-Based Refinement for Forest Automata, zpráva odborná, 2017
Autoři: HRUŠKA, M.; HOLÍK, L.; LENGÁL, O.; ROGALEWICZ, A.; VOJNAR, T.Lazy Automata Techniques for WS1S, zpráva odborná, 2017
Autoři: FIEDOR, T.; HOLÍK, L.; JANKŮ, P.; LENGÁL, O.; VOJNAR, T.Register Automata with Linear Arithmetic, zpráva odborná, 2017
Autoři: LENGÁL, O.; CHEN, Y.; TAN, T.; WU, Z. -
2014
Compositional Entailment Checking for a Fragment of Separation Logic, zpráva odborná, 2014
Autoři: ENEA, C.; LENGÁL, O.; SIGHIREANU, M.; VOJNAR, T. -
2013
Fully Automated Shape Analysis Based on Forest Automata, zpráva odborná, 2013
Autoři: 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, zpráva odborná, 2013
Autoři: 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, zpráva odborná, 2012
Autoři: ZACHARIÁŠOVÁ, M.; LENGÁL, O. -
2011
Efficient Inclusion Checking on Explicit and Semi-Symbolic Tree Automata, zpráva odborná, 2011
Autoři: HOLÍK, L.; LENGÁL, O.; ŠIMÁČEK, J.; VOJNAR, T.HAVEN: An Open Framework for FPGA-Accelerated Functional Verification of Hardware, zpráva odborná, 2011
Autoři: ZACHARIÁŠOVÁ, M.; LENGÁL, O.; KAJAN, M.