×

zbMATH — the first resource for mathematics

Lengál, Ondřej

Compute Distance To:
Author ID: lengal.ondrej Recent zbMATH articles by "Lengál, Ondřej"
Published as: Lengál, Ondřej
External Links: ORCID
Documents Indexed: 13 Publications since 2011

Publications by Year

Citations contained in zbMATH

6 Publications have been cited 14 times in 12 Documents Cited by Year
Compositional entailment checking for a fragment of separation logic. Zbl 1453.68046
Enea, Constantin; Lengál, Ondřej; Sighireanu, Mihaela; Vojnar, Tomáš
5
2014
VATA: a library for efficient manipulation of non-deterministic tree automata. Zbl 1352.68135
Lengál, Ondřej; Šimáček, Jiří; Vojnar, Tomáš
4
2012
Verification of heap manipulating programs with ordered data by extended forest automata. Zbl 1344.68135
Abdulla, Parosh Aziz; Holík, Lukáš; Jonsson, Bengt; Lengál, Ondřej; Trinh, Cong Quy; Vojnar, Tomáš
2
2013
Counterexample validation and interpolation-based refinement for forest automata. Zbl 06687362
Holík, Lukáš; Hruška, Martin; Lengál, Ondřej; Rogalewicz, Adam; Vojnar, Tomáš
1
2017
Verification of heap manipulating programs with ordered data by extended forest automata. Zbl 1344.68136
Abdulla, Parosh Aziz; Holík, Lukáš; Jonsson, Bengt; Lengál, Ondřej; Trinh, Cong Quy; Vojnar, Tomáš
1
2016
Nested antichains for WS1S. Zbl 1420.68186
Fiedor, Tomáš; Holík, Lukáš; Lengál, Ondřej; Vojnar, Tomáš
1
2015
Counterexample validation and interpolation-based refinement for forest automata. Zbl 06687362
Holík, Lukáš; Hruška, Martin; Lengál, Ondřej; Rogalewicz, Adam; Vojnar, Tomáš
1
2017
Verification of heap manipulating programs with ordered data by extended forest automata. Zbl 1344.68136
Abdulla, Parosh Aziz; Holík, Lukáš; Jonsson, Bengt; Lengál, Ondřej; Trinh, Cong Quy; Vojnar, Tomáš
1
2016
Nested antichains for WS1S. Zbl 1420.68186
Fiedor, Tomáš; Holík, Lukáš; Lengál, Ondřej; Vojnar, Tomáš
1
2015
Compositional entailment checking for a fragment of separation logic. Zbl 1453.68046
Enea, Constantin; Lengál, Ondřej; Sighireanu, Mihaela; Vojnar, Tomáš
5
2014
Verification of heap manipulating programs with ordered data by extended forest automata. Zbl 1344.68135
Abdulla, Parosh Aziz; Holík, Lukáš; Jonsson, Bengt; Lengál, Ondřej; Trinh, Cong Quy; Vojnar, Tomáš
2
2013
VATA: a library for efficient manipulation of non-deterministic tree automata. Zbl 1352.68135
Lengál, Ondřej; Šimáček, Jiří; Vojnar, Tomáš
4
2012

Citations by Year