Integrated Approach in Management and Design of Modern Web-Based Services. - Jaroslav Skrabalek; Lucia Tokárová; Jiri Slaby; Tomás Pitner (ISD, 2010)

Web-Based Service for Collaborative Organization of Academic Events - Case Study of "Takeplace". - Jaroslav Skrabalek; Tomás Ludík; Jiri Slaby; Tomás Pitner (SYNASC, 2010)

STANSE: Bug-Finding Framework for C Programs. - Jan Obdrzálek; Jiri Slaby; Marek Trtík (MEMICS, 2011)

Checking Properties Described by State Machines: On Synergy of Instrumentation, Slicing, and Symbolic Execution. - Jiri Slaby; Jan Strejcek; Marek Trtík (FMICS, 2012)

On Synergy of Metal, Slicing, and Symbolic Execution - Jiri Slaby; Jan Strejcek; Marek Trtík (CoRR, 2012)

Compact Symbolic Execution. - Jiri Slaby; Jan Strejcek; Marek Trtík (ATVA, 2013)

Symbiotic: Synergy of Instrumentation, Slicing, and Symbolic Execution - (Competition Contribution). - Jiri Slaby; Jan Strejcek; Marek Trtík (TACAS, 2013)

ClabureDB: Classified Bug-Reports Database. - Jiri Slaby; Jan Strejcek; Marek Trtík (VMCAI, 2013)

Symbiotic 2: More Precise Slicing - (Competition Contribution). - Jiri Slaby; Jan Strejcek (TACAS, 2014)

Symbiotic 3: New Slicer and Error-Witness Generation - (Competition Contribution). - Marek Chalupa; Martin Jonás; Jiri Slaby; Jan Strejcek; Martina Vitovská (TACAS, 2016)

Symbiotic 4: Beyond Reachability - (Competition Contribution). - Marek Chalupa; Martina Vitovská; Martin Jonás; Jiri Slaby; Jan Strejcek (TACAS (2), 2017)