| Abstract regular model checking A Bouajjani, P Habermehl, T Vojnar International Conference on Computer Aided Verification, 372-386, 2004 | 193 | 2004 |
| Programs with lists are counter automata A Bouajjani, M Bozga, P Habermehl, R Iosif, P Moro, T Vojnar International Conference on Computer Aided Verification, 517-531, 2006 | 132 | 2006 |
| Abstract regular tree model checking of complex dynamic data structures A Bouajjani, P Habermehl, A Rogalewicz, T Vojnar International Static Analysis Symposium, 52-70, 2006 | 130 | 2006 |
| When simulation meets antichains PA Abdulla, YF Chen, L Holík, R Mayr, T Vojnar International Conference on Tools and Algorithms for the Construction and …, 2010 | 127 | 2010 |
| Verifying programs with dynamic 1-selector-linked structures in regular model checking A Bouajjani, P Habermehl, P Moro, T Vojnar International Conference on Tools and Algorithms for the Construction and …, 2005 | 85 | 2005 |
| 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 | 77 | 2007 |
| Predator: A practical tool for checking manipulation of dynamic data structures using separation logic K Dudka, P Peringer, T Vojnar International Conference on Computer Aided Verification, 372-378, 2011 | 74 | 2011 |
| What else is decidable about integer arrays? P Habermehl, R Iosif, T Vojnar International Conference on Foundations of Software Science and …, 2008 | 69 | 2008 |
| Regular model checking using inference of regular languages P Habermehl, T Vojnar Electronic Notes in Theoretical Computer Science 138 (3), 21-36, 2005 | 69 | 2005 |
| Abstract regular tree model checking A Bouajjani, P Habermehl, A Rogalewicz, T Vojnar Electronic Notes in Theoretical Computer Science 149 (1), 37-48, 2006 | 68 | 2006 |
| Automatic verification of integer array programs M Bozga, P Habermehl, R Iosif, F Konečný, T Vojnar International Conference on Computer Aided Verification, 157-172, 2009 | 58 | 2009 |
| Antichain-based universality and inclusion testing over nondeterministic finite tree automata A Bouajjani, P Habermehl, L Holík, T Touili, T Vojnar International Conference on Implementation and Application of Automata, 57-67, 2008 | 58 | 2008 |
| Deciding entailments in inductive separation logic with tree automata R Iosif, A Rogalewicz, T Vojnar International Symposium on Automated Technology for Verification and …, 2014 | 57 | 2014 |
| Byte-precise verification of low-level list manipulation K Dudka, P Peringer, T Vojnar International Static Analysis Symposium, 215-237, 2013 | 55 | 2013 |
| Computing simulations over tree automata PA Abdulla, A Bouajjani, L Holík, L Kaati, T Vojnar International Conference on Tools and Algorithms for the Construction and …, 2008 | 48 | 2008 |
| PNtalk—a computerized tool for object oriented petri nets modelling M Češka, V Janoušek, T Vojnar International Conference on Computer Aided Systems Theory, 591-610, 1997 | 48 | 1997 |
| Fully automated shape analysis based on forest automata L Holík, O Lengál, A Rogalewicz, J Šimáček, T Vojnar International Conference on Computer Aided Verification, 740-755, 2013 | 47 | 2013 |
| AtomRace: data race and atomicity violation detector and healer Z Letko, T Vojnar, B Křena Proceedings of the 6th workshop on parallel and distributed systems: testing …, 2008 | 46 | 2008 |
| Abstract regular (tree) model checking A Bouajjani, P Habermehl, A Rogalewicz, T Vojnar International Journal on Software Tools for Technology Transfer 14 (2), 167-191, 2012 | 45 | 2012 |
| Advanced Ramsey-based Büchi automata inclusion testing PA Abdulla, YF Chen, L Clemente, L Holík, CD Hong, R Mayr, T Vojnar International Conference on Concurrency Theory, 187-202, 2011 | 45 | 2011 |
Lukas HolikBrno University of TehcnologyVerified email at fit.vutbr.cz
