| 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 | 178 | 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 | 120 | 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 | 82 | 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 | 52 | 2013 |
| 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 |
| 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 | 40 | 2016 |
| The stuttering principle revisited A Kučera, J Strejček Acta Informatica 41, 415-434, 2005 | 40 | 2005 |
| Abstracting path conditions J Strejček, M Trtík Proceedings of the 2012 International Symposium on Software Testing and …, 2012 | 39 | 2012 |
| 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 | 32 | 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 | 31 | 2013 |
| 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 | 29 | 2004 |
| Joint forces for memory safety checking M Chalupa, J Strejček, M Vitovská Model Checking Software: 25th International Symposium, SPIN 2018, Malaga …, 2018 | 28 | 2018 |
| Linear temporal logic: Expressiveness and model checking J Strejcek PhD thesis, Faculty of Informatics, Masaryk University in Brno, 2004 | 28 | 2004 |
| Solving quantified bit-vector formulas using binary decision diagrams M Jonáš, J Strejček International Conference on Theory and Applications of Satisfiability …, 2016 | 27 | 2016 |
| Symbolic memory with pointers M Trtik, J Strejček International Symposium on Automated Technology for Verification and …, 2014 | 27 | 2014 |
| 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 |
| 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 | 24 | 2018 |
| 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 | 23 | 2022 |
| Compact symbolic execution J Slaby, J Strejček, M Trtík Automated Technology for Verification and Analysis: 11th International …, 2013 | 21 | 2013 |
| Evaluation of program slicing in software verification M Chalupa, J Strejček International Conference on Integrated Formal Methods, 101-119, 2019 | 20 | 2019 |
Mojmír KřetínskýMasaryk university, Faculty of Informatics在 fi.muni.cz 的电子邮件经过验证
