| 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 |
| String constraints for verification PA Abdulla, MF Atig, YF Chen, L Holík, A Rezine, P Rümmer, J Stenman Computer Aided Verification: 26th International Conference, CAV 2014, Held …, 2014 | 109 | 2014 |
| Norn: An SMT solver for string constraints PA Abdulla, MF Atig, YF Chen, L Holík, A Rezine, P Rümmer, J Stenman Computer Aided Verification: 27th International Conference, CAV 2015, San …, 2015 | 95 | 2015 |
| All for the Price of Few: (Parameterized Verification through View Abstraction) PA Abdulla, F Haziza, L Holík Verification, Model Checking, and Abstract Interpretation: 14th …, 2013 | 88 | 2013 |
| 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 |
| 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 |
| An integrated specification and verification technique for highly concurrent data structures PA Abdulla, F Haziza, L Holík, B Jonsson, A Rezine International Journal on Software Tools for Technology Transfer 19, 549-563, 2017 | 62 | 2017 |
| 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 |
| 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 |
| Flatten and conquer: a framework for efficient analysis of string constraints PA Abdulla, MF Atig, YF Chen, BP Diep, L Holík, A Rezine, P Rümmer ACM SIGPLAN Notices 52 (6), 602-617, 2017 | 53 | 2017 |
| 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 | 53 | 2008 |
| Simulation Subsumption in Ramsey-Based Büchi Automata Universality and Inclusion Testing. PA Abdulla, YF Chen, L Clemente, L Holík, CD Hong, R Mayr, T Vojnar CAV 6174, 132-147, 2010 | 52 | 2010 |
| Parameterized verification through view abstraction P Abdulla, F Haziza, L Holík International Journal on Software Tools for Technology Transfer 18 (5), 495-516, 2016 | 43 | 2016 |
| Trau: SMT solver for string constraints PA Abdulla, MF Atig, YF Chen, BP Diep, L Holík, A Rezine, P Rümmer 2018 Formal Methods in Computer Aided Design (FMCAD), 1-5, 2018 | 34 | 2018 |
| Verification of heap manipulating programs with ordered data by extended forest automata PA Abdulla, L Holík, B Jonsson, O Lengál, CQ Trinh, T Vojnar Acta Informatica 53, 357-385, 2016 | 32 | 2016 |
| Approximate reduction of finite automata for high-speed network intrusion detection M Češka, V Havlena, L Holík, O Lengál, T Vojnar International Journal on Software Tools for Technology Transfer 22 (5), 523-539, 2020 | 27 | 2020 |
| Efficient handling of string-number conversion PA Abdulla, MF Atig, YF Chen, BP Diep, J Dolby, P Janků, HH Lin, L Holík, ... Proceedings of the 41st ACM SIGPLAN Conference on Programming Language …, 2020 | 25 | 2020 |
| Chain-free string constraints PA Abdulla, MF Atig, BP Diep, L Holík, P Janků Automated Technology for Verification and Analysis: 17th International …, 2019 | 23 | 2019 |
| Predator shape analysis tool suite L Holík, M Kotoun, P Peringer, V Šoková, M Trtík, T Vojnar Hardware and Software: Verification and Testing: 12th International Haifa …, 2016 | 22 | 2016 |
Tomas VojnarFIT, Brno University of TechnologyVerified email at fit.vutbr.cz
