Follow
Jiri Slaby
Jiri Slaby
Unknown affiliation
Verified email at fi.muni.cz
Title
Cited by
Cited by
Year
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
312013
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
312012
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
232017
Compact symbolic execution
J Slaby, J Strejček, M Trtík
Automated Technology for Verification and Analysis: 11th International …, 2013
212013
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
172016
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
132013
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
82012
Symbiotic 2: More Precise Slicing: (Competition Contribution)
J Slaby, J Strejček
International Conference on Tools and Algorithms for the Construction and …, 2014
62014
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
62010
Automatic bug-finding techniques for large software projects
J Slaby
PhD's thesis, Masaryk University, Marec, 2013
52013
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
52011
Rapid data transfers on combo platform
J Slaby
Diplomová práce, FI MUNI, 2008
32008
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
The system can't perform the operation now. Try again later.
Articles 1–17