| LTL to Büchi Automata Translation: Fast and More Deterministic T Babiak, M Křetínský, V Řehák, J Strejček TACAS 2012: 18th International Conference on Tools and Algorithms for the …, 2012 | 186 | 2012 |
| The Hanoi Omega-Automata Format T Babiak, F Blahoudek, A Duret-Lutz, J Klein, J Křetínský, D Müller, ... CAV, 479-486, 2015 | 129 | 2015 |
| Reachability analysis of multithreaded software with asynchronous communication A Bouajjani, J Esparza, S Schwoon, J Strejček FSTTCS 2005: Foundations of Software Technology and Theoretical Computer …, 2005 | 83 | 2005 |
| Effective translation of LTL to deterministic Rabin automata: Beyond the (F, G)-fragment T Babiak, F Blahoudek, M Křetínský, J Strejček Automated Technology for Verification and Analysis: 11th International …, 2013 | 54 | 2013 |
| Complementing semi-deterministic Büchi automata F Blahoudek, M Heizmann, S Schewe, J Strejček, MH Tsai International Conference on Tools and Algorithms for the Construction and …, 2016 | 45 | 2016 |
| Compositional approach to suspension and other improvements to LTL translation T Babiak, T Badie, A Duret-Lutz, M Křetínský, J Strejček Model Checking Software: 20th International Symposium, SPIN 2013, Stony …, 2013 | 44 | 2013 |
| Abstracting path conditions J Strejček, M Trtík Proceedings of the 2012 International Symposium on Software Testing and …, 2012 | 44 | 2012 |
| The stuttering principle revisited A Kučera, J Strejček Acta Informatica 41, 415-434, 2005 | 40 | 2005 |
| Checking properties described by state machines: On synergy of instrumentation, slicing, and symbolic execution J Slabý, J Strejček, M Trtík Formal Methods for Industrial Critical Systems: 17th International Workshop …, 2012 | 39 | 2012 |
| Symbiotic: Synergy of Instrumentation, Slicing, and Symbolic Execution: (Competition Contribution) J Slaby, J Strejček, M Trtík Tools and Algorithms for the Construction and Analysis of Systems: 19th …, 2013 | 34 | 2013 |
| Solving quantified bit-vector formulas using binary decision diagrams M Jonáš, J Strejček International Conference on Theory and Applications of Satisfiability …, 2016 | 32 | 2016 |
| Joint forces for memory safety checking M Chalupa, J Strejček, M Vitovská Model Checking Software: 25th International Symposium, SPIN 2018, Malaga …, 2018 | 31 | 2018 |
| Extended process rewrite systems: Expressiveness and reachability M Křetínský, V Řehák, J Strejček CONCUR 2004-Concurrency Theory: 15th International Conference, London, UK …, 2004 | 30 | 2004 |
| Symbiotic 9: String Analysis and Backward Symbolic Execution with Loop Folding M Chalupa, V Mihalkovič, A Řechtáčková, L Zaoral, J Strejček International Conference on Tools and Algorithms for the Construction and …, 2022 | 28 | 2022 |
| Symbolic memory with pointers M Trtik, J Strejček International Symposium on Automated Technology for Verification and …, 2014 | 28 | 2014 |
| Linear temporal logic: Expressiveness and model checking J Strejcek PhD thesis, Faculty of Informatics, Masaryk University in Brno, 2004 | 28 | 2004 |
| Symbiotic 5: Boosted Instrumentation: (Competition Contribution) M Chalupa, M Vitovská, J Strejček Tools and Algorithms for the Construction and Analysis of Systems: 24th …, 2018 | 27 | 2018 |
| Symbiotic 4: Beyond Reachability: (Competition Contribution) M Chalupa, M Vitovská, M Jonáš, J Slaby, J Strejček Tools and Algorithms for the Construction and Analysis of Systems: 23rd …, 2017 | 25 | 2017 |
| Compact symbolic execution J Slaby, J Strejček, M Trtík Automated Technology for Verification and Analysis: 11th International …, 2013 | 23 | 2013 |
| Seminator 2 can complement generalized Büchi automata via improved semi-determinization F Blahoudek, A Duret-Lutz, J Strejček International Conference on Computer Aided Verification, 15-27, 2020 | 21 | 2020 |
Mojmír KřetínskýMasaryk university, Faculty of InformaticsVerified email at fi.muni.cz
