×
Compute Distance To:
Author ID: vojnar.tomas Recent zbMATH articles by "Vojnar, Tomáš"
Published as: Vojnar, Tomáš; Vojnar, Tomas; Vojnar, Tomás; Vojnar, T.
External Links: ORCID

Publications by Year

Citations contained in zbMATH Open

38 Publications have been cited 216 times in 138 Documents Cited by Year
Abstract regular model checking. Zbl 1103.68071
Bouajjani, Ahmed; Habermehl, Peter; Vojnar, Tomáš
20
2004
Programs with lists are counter automata. Zbl 1188.68181
Bouajjani, Ahmed; Bozga, Marius; Habermehl, Peter; Iosif, Radu; Moro, Pierre; Vojnar, Tomáš
19
2006
Abstract regular tree model checking of complex dynamic data structures. Zbl 1225.68067
Bouajjani, Ahmed; Habermehl, Peter; Rogalewicz, Adam; Vojnar, Tomáš
19
2006
When simulation meets antichains. (On checking language inclusion of nondeterministic finite (tree) automata). Zbl 1284.68337
Abdulla, Parosh Aziz; Chen, Yu-Fang; Holík, Lukáš; Mayr, Richard; Vojnar, Tomáš
15
2010
Abstract regular tree model checking. Zbl 1273.68221
Bouajjani, Ahmed; Habermehl, Peter; Rogalewicz, Adam; Vojnar, Tomáš
14
2006
Deciding entailments in inductive separation logic with tree automata. Zbl 1448.68266
Iosif, Radu; Rogalewicz, Adam; Vojnar, Tomáš
12
2014
Regular model checking using inference of regular languages. Zbl 1272.68256
Habermehl, Peter; Vojnar, Tomáš
10
2005
Computing simulations over tree automata. Efficient techniques for reducing tree automata. Zbl 1134.68391
Abdulla, Parosh A.; Bouajjani, Ahmed; Holík, Lukáš; Kaati, Lisa; Vojnar, Tomáš
9
2008
Verifying programs with dynamic 1-selector-linked structures in regular model checking. Zbl 1087.68585
Bouajjani, Ahmed; Habermehl, Peter; Moro, Pierre; Vojnar, Tomáš
9
2005
What else is decidable about integer arrays? Zbl 1139.03007
Habermehl, Peter; Iosif, Radu; Vojnar, Tomáš
8
2008
Antichain-based universality and inclusion testing over nondeterministic finite tree automata. Zbl 1172.68493
Bouajjani, Ahmed; Habermehl, Peter; Holík, Lukáš; Touili, Tayssir; Vojnar, Tomáš
8
2008
Forest automata for verification of heap manipulation. Zbl 1284.68398
Habermehl, Peter; Holík, Lukáš; Rogalewicz, Adam; Šimáček, Jiří; Vojnar, Tomáš
8
2012
Advanced Ramsey-based Büchi automata inclusion testing. Zbl 1343.68130
Abdulla, Parosh Aziz; Chen, Yu-Fang; Clemente, Lorenzo; Holík, Lukáš; Hong, Chih-Duo; Mayr, Richard; Vojnar, Tomáš
8
2011
Programs with lists are counter automata. Zbl 1217.68059
Bouajjani, Ahmed; Bozga, Marius; Habermehl, Peter; Iosif, Radu; Moro, Pierre; Vojnar, Tomáš
5
2011
A logic of singly indexed arrays. Zbl 1182.03032
Habermehl, Peter; Iosif, Radu; Vojnar, Tomáš
5
2008
A uniform (bi-)simulation-based framework for reducing tree automata. Zbl 1291.68223
Abdulla, Parosh A.; Holík, Lukáš; Kaati, Lisa; Vojnar, Tomáš
5
2009
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 parametric concurrent systems with prioritised FIFO resource management. Zbl 1138.68464
Bouajjani, Ahmed; Habermehl, Peter; Vojnar, Tomáš
4
2008
Automatic verification of integer array programs. Zbl 1242.68063
Bozga, Marius; Habermehl, Peter; Iosif, Radu; Konečný, Filip; Vojnar, Tomáš
4
2009
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
Proving termination of tree manipulating programs. Zbl 1141.68469
Habermehl, Peter; Iosif, Radu; Rogalewicz, Adam; Vojnar, Tomáš
3
2007
Mediating for reduction (on minimizing alternating Büchi automata). Zbl 1248.68280
Abdulla, Parosh A.; Chen, Yu-Fang; Holik, Lukáš; Vojnar, Tomáš
3
2009
Composed bisimulation for tree automata. Zbl 1172.68487
Abdulla, Parosh A.; Bouajjani, Ahmed; Holík, Lukáš; Kaati, Lisa; Vojnar, Tomáš
2
2008
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
Nested antichains for WS1S. Zbl 1420.68186
Fiedor, Tomáš; Holík, Lukáš; Lengál, Ondřej; Vojnar, Tomáš
2
2015
Generalised multi-pattern-based verification of programs with linear linked structures. Zbl 1125.68072
Češka, Milan; Erlebach, Pavel; Vojnar, Tomáš
1
2007
Automata-based verification of programs with tree updates. Zbl 1185.68414
Habermehl, Peter; Iosif, Radu; Vojnar, Tomáš
1
2010
Automated formal analysis and verification: an overview. Zbl 1286.68318
Křena, Bohuslav; Vojnar, Tomáš
1
2013
Pattern-based verification of programs with extended linear linked data structures. Zbl 1276.68055
Češka, Milan; Erlebach, Pavel; Vojnar, Tomáš
1
2006
Counterexample validation and interpolation-based refinement for forest automata. Zbl 1484.68103
Holík, Lukáš; Hruška, Martin; Lengál, Ondřej; Rogalewicz, Adam; Vojnar, Tomáš
1
2017
Abstraction refinement and antichains for trace inclusion of infinite state systems. Zbl 1420.68107
Iosif, Radu; Rogalewicz, Adam; Vojnar, Tomáš
1
2016
From shapes to amortized complexity. Zbl 1446.68030
Fiedor, Tomáš; Holík, Lukáš; Rogalewicz, Adam; Sinn, Moritz; Vojnar, Tomáš; Zuleger, Florian
1
2018
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
Lazy automata techniques for WS1S. Zbl 1452.03090
Fiedor, Tomáš; Holík, Lukáš; Janků, Petr; Lengál, Ondřej; Vojnar, Tomáš
1
2017
Compositional entailment checking for a fragment of separation logic. Zbl 1377.68073
Enea, Constantin; Lengál, Ondřej; Sighireanu, Mihaela; Vojnar, Tomáš
1
2017
From low-level pointers to high-level containers. Zbl 1475.68084
Dudka, Kamil; Holík, Lukáš; Peringer, Petr; Trtík, Marek; Vojnar, Tomáš
1
2016
Automata terms in a lazy \(\mathrm{WS}k\mathrm{S}\) decision procedure. Zbl 07178983
Havlena, Vojtěch; Holík, Lukáš; Lengál, Ondřej; Vojnar, Tomáš
1
2019
Composed bisimulation for tree automata. Zbl 1176.68098
Abdulla, Parosh Aziz; Bouajjani, Ahmed; Holík, Lukáš; Kaati, Lisa; Vojnar, Tomáš
1
2009
Automata terms in a lazy \(\mathrm{WS}k\mathrm{S}\) decision procedure. Zbl 07178983
Havlena, Vojtěch; Holík, Lukáš; Lengál, Ondřej; Vojnar, Tomáš
1
2019
From shapes to amortized complexity. Zbl 1446.68030
Fiedor, Tomáš; Holík, Lukáš; Rogalewicz, Adam; Sinn, Moritz; Vojnar, Tomáš; Zuleger, Florian
1
2018
Counterexample validation and interpolation-based refinement for forest automata. Zbl 1484.68103
Holík, Lukáš; Hruška, Martin; Lengál, Ondřej; Rogalewicz, Adam; Vojnar, Tomáš
1
2017
Lazy automata techniques for WS1S. Zbl 1452.03090
Fiedor, Tomáš; Holík, Lukáš; Janků, Petr; Lengál, Ondřej; Vojnar, Tomáš
1
2017
Compositional entailment checking for a fragment of separation logic. Zbl 1377.68073
Enea, Constantin; Lengál, Ondřej; Sighireanu, Mihaela; Vojnar, Tomáš
1
2017
Abstraction refinement and antichains for trace inclusion of infinite state systems. Zbl 1420.68107
Iosif, Radu; Rogalewicz, Adam; Vojnar, Tomáš
1
2016
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
From low-level pointers to high-level containers. Zbl 1475.68084
Dudka, Kamil; Holík, Lukáš; Peringer, Petr; Trtík, Marek; Vojnar, Tomáš
1
2016
Nested antichains for WS1S. Zbl 1420.68186
Fiedor, Tomáš; Holík, Lukáš; Lengál, Ondřej; Vojnar, Tomáš
2
2015
Deciding entailments in inductive separation logic with tree automata. Zbl 1448.68266
Iosif, Radu; Rogalewicz, Adam; Vojnar, Tomáš
12
2014
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
Automated formal analysis and verification: an overview. Zbl 1286.68318
Křena, Bohuslav; Vojnar, Tomáš
1
2013
Forest automata for verification of heap manipulation. Zbl 1284.68398
Habermehl, Peter; Holík, Lukáš; Rogalewicz, Adam; Šimáček, Jiří; Vojnar, Tomáš
8
2012
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
Advanced Ramsey-based Büchi automata inclusion testing. Zbl 1343.68130
Abdulla, Parosh Aziz; Chen, Yu-Fang; Clemente, Lorenzo; Holík, Lukáš; Hong, Chih-Duo; Mayr, Richard; Vojnar, Tomáš
8
2011
Programs with lists are counter automata. Zbl 1217.68059
Bouajjani, Ahmed; Bozga, Marius; Habermehl, Peter; Iosif, Radu; Moro, Pierre; Vojnar, Tomáš
5
2011
When simulation meets antichains. (On checking language inclusion of nondeterministic finite (tree) automata). Zbl 1284.68337
Abdulla, Parosh Aziz; Chen, Yu-Fang; Holík, Lukáš; Mayr, Richard; Vojnar, Tomáš
15
2010
Automata-based verification of programs with tree updates. Zbl 1185.68414
Habermehl, Peter; Iosif, Radu; Vojnar, Tomáš
1
2010
A uniform (bi-)simulation-based framework for reducing tree automata. Zbl 1291.68223
Abdulla, Parosh A.; Holík, Lukáš; Kaati, Lisa; Vojnar, Tomáš
5
2009
Automatic verification of integer array programs. Zbl 1242.68063
Bozga, Marius; Habermehl, Peter; Iosif, Radu; Konečný, Filip; Vojnar, Tomáš
4
2009
Mediating for reduction (on minimizing alternating Büchi automata). Zbl 1248.68280
Abdulla, Parosh A.; Chen, Yu-Fang; Holik, Lukáš; Vojnar, Tomáš
3
2009
Composed bisimulation for tree automata. Zbl 1176.68098
Abdulla, Parosh Aziz; Bouajjani, Ahmed; Holík, Lukáš; Kaati, Lisa; Vojnar, Tomáš
1
2009
Computing simulations over tree automata. Efficient techniques for reducing tree automata. Zbl 1134.68391
Abdulla, Parosh A.; Bouajjani, Ahmed; Holík, Lukáš; Kaati, Lisa; Vojnar, Tomáš
9
2008
What else is decidable about integer arrays? Zbl 1139.03007
Habermehl, Peter; Iosif, Radu; Vojnar, Tomáš
8
2008
Antichain-based universality and inclusion testing over nondeterministic finite tree automata. Zbl 1172.68493
Bouajjani, Ahmed; Habermehl, Peter; Holík, Lukáš; Touili, Tayssir; Vojnar, Tomáš
8
2008
A logic of singly indexed arrays. Zbl 1182.03032
Habermehl, Peter; Iosif, Radu; Vojnar, Tomáš
5
2008
Verification of parametric concurrent systems with prioritised FIFO resource management. Zbl 1138.68464
Bouajjani, Ahmed; Habermehl, Peter; Vojnar, Tomáš
4
2008
Composed bisimulation for tree automata. Zbl 1172.68487
Abdulla, Parosh A.; Bouajjani, Ahmed; Holík, Lukáš; Kaati, Lisa; Vojnar, Tomáš
2
2008
Proving termination of tree manipulating programs. Zbl 1141.68469
Habermehl, Peter; Iosif, Radu; Rogalewicz, Adam; Vojnar, Tomáš
3
2007
Generalised multi-pattern-based verification of programs with linear linked structures. Zbl 1125.68072
Češka, Milan; Erlebach, Pavel; Vojnar, Tomáš
1
2007
Programs with lists are counter automata. Zbl 1188.68181
Bouajjani, Ahmed; Bozga, Marius; Habermehl, Peter; Iosif, Radu; Moro, Pierre; Vojnar, Tomáš
19
2006
Abstract regular tree model checking of complex dynamic data structures. Zbl 1225.68067
Bouajjani, Ahmed; Habermehl, Peter; Rogalewicz, Adam; Vojnar, Tomáš
19
2006
Abstract regular tree model checking. Zbl 1273.68221
Bouajjani, Ahmed; Habermehl, Peter; Rogalewicz, Adam; Vojnar, Tomáš
14
2006
Pattern-based verification of programs with extended linear linked data structures. Zbl 1276.68055
Češka, Milan; Erlebach, Pavel; Vojnar, Tomáš
1
2006
Regular model checking using inference of regular languages. Zbl 1272.68256
Habermehl, Peter; Vojnar, Tomáš
10
2005
Verifying programs with dynamic 1-selector-linked structures in regular model checking. Zbl 1087.68585
Bouajjani, Ahmed; Habermehl, Peter; Moro, Pierre; Vojnar, Tomáš
9
2005
Abstract regular model checking. Zbl 1103.68071
Bouajjani, Ahmed; Habermehl, Peter; Vojnar, Tomáš
20
2004
all top 5

Cited by 282 Authors

15 Vojnar, Tomáš
10 Holík, Lukáš
9 Abdulla, Parosh Aziz
8 Iosif, Radu
7 Lengál, Ondřej
6 Lozes, Etienne
5 Demri, Stéphane P.
4 Björklund, Johanna
4 Bouajjani, Ahmed
4 Bozga, Marius
4 Chen, Yu-Fang
4 Raskin, Jean-François
4 Rogalewicz, Adam
3 Boichut, Yohan
3 Brochenin, Rémi
3 Clemente, Lorenzo
3 Enea, Constantin
3 Ganty, Pierre
3 Habermehl, Peter
3 Héam, Pierre-Cyrille
3 Hutagalung, Milka
3 Lange, Martin
3 Majumdar, Rupak
3 Rezine, Ahmed
3 Sighireanu, Mihaela
3 Vardi, Moshe Ya’akov
3 Zhang, Lijun
3 Zuleger, Florian
2 Alberti, Francesco
2 Bjørner, Nikolaj S.
2 Bozzelli, Laura
2 Brunet, Paul
2 Bultan, Tevfik
2 Chatterjee, Krishnendu
2 Chen, Taolue
2 Chin, Wei-Ngan
2 Cleophas, Loek Gerard
2 Delzanno, Giorgio
2 Dragoi, Cezara
2 Fiedor, Tomáš
2 Fogarty, Seth J.
2 Ghilardi, Silvio
2 Hundeshagen, Norbert
2 Ibarra, Oscar H.
2 Jacquemard, Florent
2 Jansen, Christina
2 Kimura, Daisuke
2 Klaedtke, Felix
2 Kojima, Yoshiharu
2 König, Barbara
2 Kuske, Dietrich
2 Le, Quang Loc
2 Liu, Depeng
2 Maquet, Nicolas
2 Mayr, Richard M.
2 Noll, Thomas
2 Pinchinat, Sophie
2 Pous, Damien
2 Réty, Pierre
2 Rümmer, Philipp
2 Sakai, Masahiko
2 Sharygina, Natasha
2 Tatsuta, Makoto
2 Veanes, Margus
2 Wu, Zhilin
2 Yu, Fang
1 Alechina, Natasha
1 Aljazzar, Husain
1 Alkhalaf, Muath
1 Alur, Rajeev
1 Amavi, Joshua
1 Andrade de Melo, Alexsander
1 Angluin, Dana
1 Aschermann, Cornelius
1 Babić, Domagoj
1 Balaban, Ittai
1 Bansal, Kshitij
1 Ben Rajeb, Narjes
1 Berwanger, Dietmar
1 Björklund, Henrik
1 Bonchi, Filippo
1 Bošnački, Dragan
1 Botbol, Vincent
1 Brockschmidt, Marc
1 Bulling, Nils
1 Černý, Pavol
1 Češka, Milan
1 Chabin, Jacques
1 Chailloux, Emmanuel
1 Chaki, Sagar
1 Chakraborty, Supratik
1 Cherroun, Hadda
1 Cook, Byron
1 Corradini, Andrea
1 Courbis, Roméo
1 Da Costa, Simone André
1 Daniel, Jakub
1 D’Antoni, Loris
1 Dave, Vrunda
1 De Oliveira Oliveira, Mateus
...and 182 more Authors

Citations by Year