| Abstract regular model checking A Bouajjani, P Habermehl, T Vojnar Computer Aided Verification: 16th International Conference, CAV 2004, Boston …, 2004 | 205 | 2004 |
| 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 | 150 | 2010 |
| 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 | 136 | 2006 |
| 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 | 128 | 2006 |
| 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 | 85 | 2007 |
| 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 | 84 | 2005 |
| 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 | 82 | 2011 |
| Deciding entailments in inductive separation logic with tree automata R Iosif, A Rogalewicz, T Vojnar Automated Technology for Verification and Analysis: 12th International …, 2014 | 77 | 2014 |
| What else is decidable about integer arrays? P Habermehl, R Iosif, T Vojnar Foundations of Software Science and Computational Structures: 11th …, 2008 | 75 | 2008 |
| 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 | 70 | 2012 |
| Abstract regular tree model checking A Bouajjani, P Habermehl, A Rogalewicz, T Vojnar Electronic Notes in Theoretical Computer Science 149 (1), 37-48, 2006 | 69 | 2006 |
| 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 | 68 | 2017 |
| Regular model checking using inference of regular languages P Habermehl, T Vojnar Electronic Notes in Theoretical Computer Science 138 (3), 21-36, 2005 | 67 | 2005 |
| 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 | 63 | 2013 |
| 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 | 63 | 2009 |
| 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 | 62 | 2011 |
| 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 | 62 | 2008 |
| 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 | 61 | 2017 |
| 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 | 58 | 2013 |
| Abstract regular (tree) model checking A Bouajjani, P Habermehl, A Rogalewicz, T Vojnar International Journal on Software Tools for Technology Transfer 14, 167-191, 2012 | 54 | 2012 |
Lukas HolikBrno University of TehcnologyVerified email at fit.vutbr.cz
