Ondřej Lengál
Title
Cited by
Cited by
Year
Fully automated shape analysis based on forest automata
L Holík, O Lengál, A Rogalewicz, J Šimáček, T Vojnar
International Conference on Computer Aided Verification, 740-755, 2013
472013
VATA: A Library for Efficient Manipulation of Non-Deterministic Tree Automata⋆
O Lengál, J Šimáček, T Vojnar
432012
Compositional entailment checking for a fragment of separation logic
C Enea, O Lengál, M Sighireanu, T Vojnar
Asian Symposium on Programming Languages and Systems, 314-333, 2014
372014
Verification of heap manipulating programs with ordered data by extended forest automata
PA Abdulla, L Holík, B Jonsson, O Lengál, CQ Trinh, T Vojnar
Acta Informatica, 1-29, 2015
312015
Advanced automata-based algorithms for program termination checking
YF Chen, M Heizmann, O Lengál, Y Li, MH Tsai, A Turrini, L Zhang
Proceedings of the 39th ACM SIGPLAN Conference on Programming Language …, 2018
212018
Fair Termination for Parameterized Probabilistic Concurrent Systems
O Lengál, AW Lin, R Majumdar, P Rümmer
International Conference on Tools and Algorithms for the Construction and …, 2017
202017
PAC learning-based verification and model synthesis
YF Chen, C Hsieh, O Lengál, TJ Lii, MH Tsai, BY Wang, F Wang
Proceedings of the 38th International Conference on Software Engineering …, 2016
202016
Efficient inclusion checking on explicit and semi-symbolic tree automata
L Holík, O Lengál, J Šimáček, T Vojnar
9th International Symposium on Automated Technology for Verification and …, 2011
172011
Approximate Reduction of Finite Automata for High-Speed Network Intrusion Detection
M Češka, V Havlena, L Holík, O Lengál, T Vojnar
International Conference on Tools and Algorithms for the Construction and …, 2018
152018
An executable sequential specification for Spark aggregation
YF Chen, CD Hong, O Lengál, SC Mu, N Sinha, BY Wang
International Conference on Networked Systems, 421-438, 2017
152017
Lazy automata techniques for WS1S
T Fiedor, L Holík, P Janků, O Lengál, T Vojnar
International Conference on Tools and Algorithms for the Construction and …, 2017
142017
Methodology for fast pattern matching by deterministic finite automaton with perfect hashing
J Kaštil, J Kořenek, O Lengál
12th Euromicro Conference on Digital System Design, Architectures, Methods …, 2009
142009
Towards formal relaxed equivalence checking in approximate computing methodology
L Holık, O Lengál, A Rogalewicz, L Sekanina, Z Vašıcek, T Vojnar
2nd Workshop on Approximate Computing (WAPCO’16), 48, 2016
132016
Nested antichains for WS1S
T Fiedor, L Holík, O Lengál, T Vojnar
International Conference on Tools and Algorithms for the Construction and …, 2015
132015
Register automata with linear arithmetic
YF Chen, O Lengál, T Tan, Z Wu
Logic in Computer Science (LICS), 2017 32nd Annual ACM/IEEE Symposium on, 1-12, 2017
102017
Network probe for flexible flow monitoring
M Žádník, J Kořenek, P Kobierský, O Lengál
11th IEEE Workshop on Design and Diagnostics of Electronic Circuits and …, 2008
102008
Forester: Shape analysis using tree automata
L Holík, M Hruška, O Lengál, A Rogalewicz, J Šimáček, T Vojnar
International Conference on Tools and Algorithms for the Construction and …, 2015
92015
HAVEN: An Open Framework for FPGA-Accelerated Functional Verification of Hardware
M Šimková, O Lengál, M Kajan
92011
Deep packet inspection in FPGAs via approximate nondeterministic automata
M Ceška, V Havlena, L Holík, J Korenek, O Lengál, D Matoušek, ...
2019 IEEE 27th Annual International Symposium on Field-Programmable Custom …, 2019
62019
Deep Packet Inspection in FPGAs via Approximate Nondeterministic Automata
M Ceška, V Havlena, L Holík, J Korenek, O Lengál, D Matoušek, ...
2019 IEEE 27th Annual International Symposium on Field-Programmable Custom …, 2019
62019
The system can't perform the operation now. Try again later.
Articles 1–20