Ondřej Lengál

Ondřej Lengál

Brno University of Technology - Brno / Czech Republic
Engineering & Technology / Computer Science
AD Scientific Index ID: 1512449
Vysoké ucení technické v Brne
person_outline Ondřej Lengál's MOST POPULAR ARTICLES
1-) Fully automated shape analysis based on forest automataL Holík, O Lengál, A Rogalewicz, J Šimáček, T VojnarInternational Conference on Computer Aided Verification, 740-755, 2013552013
2-) VATA: A Library for Efficient Manipulation of Non-Deterministic Tree Automata⋆O Lengál, J Šimáček, T Vojnar472012
3-) Compositional entailment checking for a fragment of separation logicC Enea, O Lengál, M Sighireanu, T VojnarAsian Symposium on Programming Languages and Systems, 314-333, 2014452014
4-) Advanced automata-based algorithms for program termination checkingYF Chen, M Heizmann, O Lengál, Y Li, MH Tsai, A Turrini, L ZhangProceedings of the 39th ACM SIGPLAN Conference on Programming Language …, 2018492018
5-) Verification of heap manipulating programs with ordered data by extended forest automataPA Abdulla, L Holík, B Jonsson, O Lengál, CQ Trinh, T VojnarActa Informatica, 1-29, 2015412015