×

zbMATH — the first resource for mathematics

Vojnar, Tomáš

Compute Distance To:
Author ID: vojnar.tomas Recent zbMATH articles by "Vojnar, Tomáš"
Published as: Vojnar, T.; Vojnar, Tomas; Vojnar, Tomás; Vojnar, Tomáš
External Links: ORCID
Documents Indexed: 59 Publications since 2000, including 9 Books

Publications by Year

Citations contained in zbMATH Open

34 Publications have been cited 188 times in 118 Documents Cited by Year
Abstract regular tree model checking of complex dynamic data structures. Zbl 1225.68067
Bouajjani, Ahmed; Habermehl, Peter; Rogalewicz, Adam; Vojnar, Tomáš
19
2006
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 model checking. Zbl 1103.68071
Bouajjani, Ahmed; Habermehl, Peter; Vojnar, Tomáš
17
2004
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áš
13
2010
Abstract regular tree model checking. Zbl 1273.68221
Bouajjani, Ahmed; Habermehl, Peter; Rogalewicz, Adam; Vojnar, Tomáš
13
2006
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
Deciding entailments in inductive separation logic with tree automata. Zbl 1448.68266
Iosif, Radu; Rogalewicz, Adam; Vojnar, Tomáš
7
2014
Forest automata for verification of heap manipulation. Zbl 1284.68398
Habermehl, Peter; Holík, Lukáš; Rogalewicz, Adam; Šimáček, Jiří; Vojnar, Tomáš
7
2012
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áš
7
2008
What else is decidable about integer arrays? Zbl 1139.03007
Habermehl, Peter; Iosif, Radu; Vojnar, Tomáš
7
2008
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áš
7
2008
Regular model checking using inference of regular languages. Zbl 1272.68256
Habermehl, Peter; Vojnar, Tomáš
7
2005
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áš
6
2011
Compositional entailment checking for a fragment of separation logic. Zbl 1453.68046
Enea, Constantin; Lengál, Ondřej; Sighireanu, Mihaela; Vojnar, Tomáš
5
2014
A logic of singly indexed arrays. Zbl 1182.03032
Habermehl, Peter; Iosif, Radu; Vojnar, Tomáš
5
2008
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
Programs with lists are counter automata. Zbl 1217.68059
Bouajjani, Ahmed; Bozga, Marius; Habermehl, Peter; Iosif, Radu; Moro, Pierre; Vojnar, Tomáš
4
2011
A uniform (bi-)simulation-based framework for reducing tree automata. Zbl 1291.68223
Abdulla, Parosh A.; Holík, Lukáš; Kaati, Lisa; Vojnar, Tomáš
4
2009
Automatic verification of integer array programs. Zbl 1242.68063
Bozga, Marius; Habermehl, Peter; Iosif, Radu; Konečný, Filip; Vojnar, Tomáš
4
2009
Verification of parametric concurrent systems with prioritised FIFO resource management. Zbl 1138.68464
Bouajjani, Ahmed; Habermehl, Peter; Vojnar, Tomáš
4
2008
Mediating for reduction (on minimizing alternating Büchi automata). Zbl 1248.68280
Abdulla, Parosh A.; Chen, Yu-Fang; Holik, Lukáš; Vojnar, Tomáš
3
2009
Proving termination of tree manipulating programs. Zbl 1141.68469
Habermehl, Peter; Iosif, Radu; Rogalewicz, Adam; Vojnar, Tomáš
3
2007
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
Composed bisimulation for tree automata. Zbl 1172.68487
Abdulla, Parosh A.; Bouajjani, Ahmed; Holík, Lukáš; Kaati, Lisa; Vojnar, Tomáš
2
2008
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
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 06559870
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áš
1
2015
Automated formal analysis and verification: an overview. Zbl 1286.68318
Křena, Bohuslav; Vojnar, Tomáš
1
2013
Automata-based verification of programs with tree updates. Zbl 1185.68414
Habermehl, Peter; Iosif, Radu; Vojnar, Tomáš
1
2010
Composed bisimulation for tree automata. Zbl 1176.68098
Abdulla, Parosh Aziz; Bouajjani, Ahmed; Holík, Lukáš; Kaati, Lisa; Vojnar, Tomáš
1
2009
Generalised multi-pattern-based verification of programs with linear linked structures. Zbl 1125.68072
Češka, Milan; Erlebach, Pavel; Vojnar, Tomáš
1
2007
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 06687362
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
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 06559870
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áš
1
2015
Deciding entailments in inductive separation logic with tree automata. Zbl 1448.68266
Iosif, Radu; Rogalewicz, Adam; Vojnar, Tomáš
7
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áš
7
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áš
6
2011
Programs with lists are counter automata. Zbl 1217.68059
Bouajjani, Ahmed; Bozga, Marius; Habermehl, Peter; Iosif, Radu; Moro, Pierre; Vojnar, Tomáš
4
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áš
13
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áš
4
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
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áš
7
2008
What else is decidable about integer arrays? Zbl 1139.03007
Habermehl, Peter; Iosif, Radu; Vojnar, Tomáš
7
2008
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áš
7
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
Abstract regular tree model checking of complex dynamic data structures. Zbl 1225.68067
Bouajjani, Ahmed; Habermehl, Peter; Rogalewicz, Adam; Vojnar, Tomáš
19
2006
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. Zbl 1273.68221
Bouajjani, Ahmed; Habermehl, Peter; Rogalewicz, Adam; Vojnar, Tomáš
13
2006
Pattern-based verification of programs with extended linear linked data structures. Zbl 1276.68055
Češka, Milan; Erlebach, Pavel; Vojnar, Tomáš
1
2006
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
Regular model checking using inference of regular languages. Zbl 1272.68256
Habermehl, Peter; Vojnar, Tomáš
7
2005
Abstract regular model checking. Zbl 1103.68071
Bouajjani, Ahmed; Habermehl, Peter; Vojnar, Tomáš
17
2004
all top 5

Cited by 259 Authors

14 Vojnar, Tomáš
9 Abdulla, Parosh Aziz
9 Holík, Lukáš
7 Iosif, Radu
6 Lengál, Ondřej
5 Demri, Stéphane P.
4 Bouajjani, Ahmed
4 Bozga, Marius
4 Lozes, Etienne
4 Raskin, Jean-François
4 Rogalewicz, Adam
3 Björklund, Johanna
3 Boichut, Yohan
3 Brochenin, Rémi
3 Chen, Yu-Fang
3 Clemente, Lorenzo
3 Enea, Constantin
3 Ganty, Pierre
3 Habermehl, Peter
3 Héam, Pierre-Cyrille
3 Majumdar, Rupak
3 Rezine, Ahmed
3 Sighireanu, Mihaela
2 Alberti, Francesco
2 Bjørner, Nikolaj S.
2 Bozzelli, Laura
2 Bultan, Tevfik
2 Chatterjee, Krishnendu
2 Chen, Taolue
2 Chin, Wei-Ngan
2 Delzanno, Giorgio
2 Dragoi, Cezara
2 Fiedor, Tomáš
2 Fogarty, Seth J.
2 Ghilardi, Silvio
2 Ibarra, Oscar H.
2 Jacquemard, Florent
2 Jansen, Christina
2 Klaedtke, Felix
2 Kojima, Yoshiharu
2 König, Barbara
2 Lange, Martin
2 Maquet, Nicolas
2 Mayr, Richard M.
2 Noll, Thomas
2 Pinchinat, Sophie
2 Réty, Pierre
2 Rümmer, Philipp
2 Sakai, Masahiko
2 Sharygina, Natasha
2 Vardi, Moshe Y.
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 Aschermann, Cornelius
1 Babić, Domagoj
1 Balaban, Ittai
1 Bansal, Kshitij
1 Ben Rajeb, Narjes
1 Bertrand, Nathalie
1 Berwanger, Dietmar
1 Björklund, Henrik
1 Bonchi, Filippo
1 Bošnački, Dragan
1 Botbol, Vincent
1 Brockschmidt, Marc
1 Brunet, Paul
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 Cleophas, Loek Gerard
1 Cook, Byron
1 Corradini, Andrea
1 Courbis, Roméo
1 Da Costa, Simone André
1 Daniel, Jakub
1 D’Antoni, Loris
1 De Wulf, Martin
1 del Mar Gallardo, María
1 Diskin, Zinovy
1 d’Orso, Julien
1 Doyen, Laurent
1 Du, Hongwei
1 Duan, Zhenhua
1 Dufourd, Jean-François
1 Edelkamp, Stefan
1 Eisinger, Jochen
1 Erlebach, Pavel
1 Fehnker, Ansgar
1 Finkel, Alain
...and 159 more Authors

Citations by Year