| 2017 | TACAS | Symbiotic 4: Beyond Reachability - (Competition Contribution). | Marek Chalupa, Martina Vitovsk, Martin Jons, Jiri Slaby, Jan Strejcek |
| 2016 | TACAS | Symbiotic 3: New Slicer and Error-Witness Generation - (Competition Contribution). | Marek Chalupa, Martin Jons, Jiri Slaby, Jan Strejcek, Martina Vitovsk |
| 2014 | TACAS | Symbiotic 2: More Precise Slicing - (Competition Contribution). | Jiri Slaby, Jan Strejcek |
| 2013 | ATVA | Compact Symbolic Execution. | Jiri Slaby, Jan Strejcek, Marek Trtk |
| 2013 | TACAS | Symbiotic: Synergy of Instrumentation, Slicing, and Symbolic Execution - (Competition Contribution). | Jiri Slaby, Jan Strejcek, Marek Trtk |
| 2013 | VMCAI | ClabureDB: Classified Bug-Reports Database. | Jiri Slaby, Jan Strejcek, Marek Trtk |
| 2012 | FMICS | Checking Properties Described by State Machines: On Synergy of Instrumentation, Slicing, and Symbolic Execution. | Jiri Slaby, Jan Strejcek, Marek Trtk |
| 2010 | SYNASC | Web-Based Service for Collaborative Organization of Academic Events - Case Study of "Takeplace". | Jaroslav Skrabalek, Toms Ludk, Jiri Slaby, Toms Pitner |