E-LIB Suche - Ergebnisse für: Lengál, Ondřej

1

Mata: A Fast and Simple Finite Automata Library:

, In: Tools and Algorithms for the Construction and Analysis of Systems; Lecture Notes in Computer Science,

Chocholatý, David ; Fiedor, Tomáš ; Havlena, Vojtěch... - p. 130-151 , 2024

Link: https://doi.org/10.1007/..

2

Z3-Noodler: An Automata-based String Solver:

, In: Tools and Algorithms for the Construction and Analysis of Systems; Lecture Notes in Computer Science,

Chen, Yu-Fang ; Chocholatý, David ; Havlena, Vojtěch... - p. 24-33 , 2024

Link: https://doi.org/10.1007/..

3

A symbolic algorithm for the case-split rule in solving wor..:

Chen, Yu-Fang ; Havlena, Vojtěch ; Lengál, Ondřej.
Journal of Systems and Software. 201 (2023) - p. 111673 , 2023

Link: https://doi.org/10.1016/..

4

AutoQ: An Automata-Based Quantum Circuit Verifier:

, In: Computer Aided Verification; Lecture Notes in Computer Science,

Chen, Yu-Fang ; Chung, Kai-Min ; Lengál, Ondřej.. - p. 139-153 , 2023

Link: https://doi.org/10.1007/..

5

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

, In: Tools and Algorithms for the Construction and Analysis of Systems; Lecture Notes in Computer Science,

Havlena, Vojtěch ; Lengál, Ondřej ; Li, Yong.. - p. 249-270 , 2023

Link: https://doi.org/10.1007/..

6

Solving String Constraints with Lengths by Stabilization:

Chen, Yu-Fang ; Chocholatý, David ; Havlena, Vojtěch...
Proceedings of the ACM on Programming Languages. 7 (2023) OOPSLA2 - p. 2112-2141 , 2023

Link: https://doi.org/10.1145/..

7

Word Equations in Synergy with Regular Constraints:

, In: Formal Methods; Lecture Notes in Computer Science,

Blahoudek, František ; Chen, Yu-Fang ; Chocholatý, David... - p. 403-423 , 2023

Link: https://doi.org/10.1007/..

8

Complementing Büchi Automata with Ranker:

, In: Computer Aided Verification; Lecture Notes in Computer Science,

Havlena, Vojtěch ; Lengál, Ondřej ; Šmahlíková, Barbora - p. 188-201 , 2022

Link: https://doi.org/10.1007/..

9

Sky Is Not the Limit: Tighter Rank Bounds for Elevator Auto..:

, In: Tools and Algorithms for the Construction and Analysis of Systems; Lecture Notes in Computer Science,

Havlena, Vojtěch ; Lengál, Ondřej ; Šmahlíková, Barbora - p. 118-136 , 2022

Link: https://doi.org/10.1007/..

10

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

, In: Networked Systems; Lecture Notes in Computer Science,

Havlena, Vojtěch ; Lengál, Ondřej ; Šmahlíková, Barbora - p. 215-222 , 2021

Link: https://doi.org/10.1007/..

11

Automata Terms in a Lazy WSkS Decision Procedure:

Havlena, Vojtěch ; Holík, Lukáš ; Lengál, Ondřej.
Journal of Automated Reasoning. 65 (2021) 7 - p. 971-999 , 2021

Link: https://doi.org/10.1007/..

12

A Symbolic Algorithm for the Case-Split Rule in String Cons..:

, In: Programming Languages and Systems; Lecture Notes in Computer Science,

Chen, Yu-Fang ; Havlena, Vojtěch ; Lengál, Ondřej. - p. 343-363 , 2020

Link: https://doi.org/10.1007/..

13

Regex matching with counting-set automata:

Turoňová, Lenka ; Holík, Lukáš ; Lengál, Ondřej...
Proceedings of the ACM on Programming Languages. 4 (2020) OOPSLA - p. 1-30 , 2020

Link: https://doi.org/10.1145/..

14

Regex matching with counting-set automata:

Turoňová, Lenka ; Holík, Lukáš ; Lengál, Ondřej...
Proceedings of the ACM on Programming Languages. 4 (2020) OOPSLA - p. 1-30 , 2020

Link: https://dl.acm.org/doi/1..

15

SL-COMP: Competition of Solvers for Separation Logic:

, In: Tools and Algorithms for the Construction and Analysis of Systems; Lecture Notes in Computer Science,

Sighireanu, Mihaela ; Navarro Pérez, Juan A. ; Rybalchenko, Andrey... - p. 116-132 , 2019

Link: https://doi.org/10.1007/..