| 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 | 37 | 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 | 33 | 2013 |
| 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 | 26 | 2017 |
| Compact symbolic execution J Slaby, J Strejček, M Trtík Automated Technology for Verification and Analysis: 11th International …, 2013 | 22 | 2013 |
| Symbiotic 3: New Slicer and Error-Witness Generation: (Competition Contribution) M Chalupa, M Jonáš, J Slaby, J Strejček, M Vitovská Tools and Algorithms for the Construction and Analysis of Systems: 22nd …, 2016 | 18 | 2016 |
| ClabureDB: Classified Bug-Reports Database: Tool for Developers of Program Analysis Tools J Slaby, J Strejček, M Trtík Verification, Model Checking, and Abstract Interpretation: 14th …, 2013 | 13 | 2013 |
| STANSE: bug-finding framework for c programs J Obdržálek, J Slabý, M Trtík Mathematical and Engineering Methods in Computer Science: 7th International …, 2012 | 8 | 2012 |
| Symbiotic 2: More Precise Slicing: (Competition Contribution) J Slaby, J Strejček International Conference on Tools and Algorithms for the Construction and …, 2014 | 6 | 2014 |
| Automatic bug-finding techniques for large software projects J Slaby PhD's thesis, Masaryk University, Marec, 2013 | 6 | 2013 |
| Web-Based Service for Collaborative Organization of Academic Events--Case Study of" Takeplace" J Škrabálek, T Ludík, J Slabý, T Pitner 2010 12th International Symposium on Symbolic and Numeric Algorithms for …, 2010 | 6 | 2010 |
| Integrated approach in management and design of modern web-based services J Škrabálek, L Tokárová, J Slabý, T Pitner Information Systems Development: Business Systems and Services: Modeling and …, 2011 | 5 | 2011 |
| Rapid data transfers on combo platform J Slaby Diplomová práce, FI MUNI, 2008 | 3 | 2008 |
| On Synergy of Metal, Slicing, and Symbolic Execution J Slabý, J Strejček, M Trtík arXiv preprint arXiv:1201.4719, 2012 | | 2012 |
| ClabureDB J Slabý, J Strejček, M Trtík | | 2012 |
| Symbiotic J Slabý, J Strejček, M Trtík | | 2012 |
| PowerPC v FPGA na kartách COMBO6 J Slabý Masarykova univerzita, Fakulta informatiky, 2006 | | 2006 |
| Ð ÙÖ: Classified Bug-Reports Database J Slaby, J Strejcek, M Trtık | | |
