Ondřej Lengál
Ondřej Lengál
Dirección de correo verificada de fit.vutbr.cz - Página principal
Título
Citado por
Citado por
Año
VATA: A Library for Efficient Manipulation of Non-Deterministic Tree Automata⋆
O Lengál, J Šimáček, T Vojnar
402012
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
372013
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
282014
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
262015
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
142016
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
122009
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
112018
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
112015
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
112011
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
102016
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
92017
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
92017
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
82017
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
72018
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
72017
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
72015
HAVEN: An Open Framework for FPGA-Accelerated Functional Verification of Hardware
M Šimková, O Lengál, M Kajan
62011
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
62008
SPEN: A Solver for Separation Logic
C Enea, O Lengál, M Sighireanu, T Vojnar
NASA Formal Methods Symposium, 302-309, 2017
52017
Towards Beneficial Hardware Acceleration in HAVEN: Evaluation of Testbed Architectures
M Šimková, O Lengál
Technical Report FIT-TR-2012-03, FIT BUT, 2012, 2012
52012
El sistema no puede realizar la operación en estos momentos. Inténtalo de nuevo más tarde.
Artículos 1–20