Follow
Tomas Vojnar
Title
Cited by
Cited by
Year
Abstract regular model checking
A Bouajjani, P Habermehl, T Vojnar
International Conference on Computer Aided Verification 2004, 372-386, 2004
2052004
When Simulation Meets Antichains: (On Checking Language Inclusion of Nondeterministic Finite (Tree) Automata)
PA Abdulla, YF Chen, L Holík, R Mayr, T Vojnar
Tools and Algorithms for the Construction and Analysis of Systems: 16th …, 2010
1482010
Programs with lists are counter automata
A Bouajjani, M Bozga, P Habermehl, R Iosif, P Moro, T Vojnar
Computer Aided Verification: 18th International Conference, CAV 2006 …, 2006
1352006
Abstract regular tree model checking of complex dynamic data structures
A Bouajjani, P Habermehl, A Rogalewicz, T Vojnar
Static Analysis: 13th International Symposium, SAS 2006, Seoul, Korea …, 2006
1282006
Healing data races on-the-fly
B Krena, Z Letko, R Tzoref, S Ur, T Vojnar
proceedings of the 2007 ACM Workshop on Parallel and Distributed Systems …, 2007
842007
Verifying programs with dynamic 1-selector-linked structures in regular model checking
A Bouajjani, P Habermehl, P Moro, T Vojnar
Tools and Algorithms for the Construction and Analysis of Systems: 11th …, 2005
842005
Predator: A practical tool for checking manipulation of dynamic data structures using separation logic
K Dudka, P Peringer, T Vojnar
Computer Aided Verification: 23rd International Conference, CAV 2011 …, 2011
812011
Deciding entailments in inductive separation logic with tree automata
R Iosif, A Rogalewicz, T Vojnar
Automated Technology for Verification and Analysis: 12th International …, 2014
742014
What else is decidable about integer arrays?
P Habermehl, R Iosif, T Vojnar
Foundations of Software Science and Computational Structures: 11th …, 2008
732008
Forest automata for verification of heap manipulation
P Habermehl, L Holík, A Rogalewicz, J Šimáček, T Vojnar
Formal Methods in System Design 41 (1), 83-106, 2012
692012
Abstract regular tree model checking
A Bouajjani, P Habermehl, A Rogalewicz, T Vojnar
Electronic Notes in Theoretical Computer Science 149 (1), 37-48, 2006
692006
Regular model checking using inference of regular languages
P Habermehl, T Vojnar
Electronic Notes in Theoretical Computer Science 138 (3), 21-36, 2005
672005
String constraints with concatenation and transducers solved efficiently
L Holík, P Janků, AW Lin, P Rümmer, T Vojnar
Proceedings of the ACM on Programming Languages 2 (POPL), 1-32, 2017
632017
Byte-precise verification of low-level list manipulation
K Dudka, P Peringer, T Vojnar
Static Analysis: 20th International Symposium, SAS 2013, Seattle, WA, USA …, 2013
622013
Automatic verification of integer array programs
M Bozga, P Habermehl, R Iosif, F Konečný, T Vojnar
Computer Aided Verification: 21st International Conference, CAV 2009 …, 2009
622009
Advanced Ramsey-based Büchi automata inclusion testing
PA Abdulla, YF Chen, L Clemente, L Holík, CD Hong, R Mayr, T Vojnar
CONCUR 2011–Concurrency Theory: 22nd International Conference, CONCUR 2011 …, 2011
602011
Antichain-based universality and inclusion testing over nondeterministic finite tree automata
A Bouajjani, P Habermehl, L Holík, T Touili, T Vojnar
Implementation and Applications of Automata: 13th International Conference …, 2008
592008
Approximating complex arithmetic circuits with formal error guarantees: 32-bit multipliers accomplished
M Češka, J Matyáš, V Mrazek, L Sekanina, Z Vasicek, T Vojnar
2017 IEEE/ACM International Conference on Computer-Aided Design (ICCAD), 416-423, 2017
582017
Fully automated shape analysis based on forest automata
L Holík, O Lengál, A Rogalewicz, J Šimáček, T Vojnar
Computer Aided Verification: 25th International Conference, CAV 2013, Saint …, 2013
572013
Computing Simulations over Tree Automata: (Efficient Techniques for Reducing Tree Automata)
PA Abdulla, A Bouajjani, L Holík, L Kaati, T Vojnar
Tools and Algorithms for the Construction and Analysis of Systems: 14th …, 2008
522008
The system can't perform the operation now. Try again later.
Articles 1–20