Jiri Slaby

12 papers A 3B 2C 1Misc 1Journal 2Unranked 3
YearRankTypeTitle / Venue / Authors
2017 — conf
Symbiotic 4: Beyond Reachability - (Competition Contribution).
TACAS (2)
Marek Chalupa, Martina Vitovská, Martin Jonás, Jiri Slaby, Jan Strejcek
2016 A conf
Symbiotic 3: New Slicer and Error-Witness Generation - (Competition Contribution).
TACAS
Marek Chalupa, Martin Jonás, Jiri Slaby, Jan Strejcek, Martina Vitovská
2014 A conf
Symbiotic 2: More Precise Slicing - (Competition Contribution).
TACAS
Jiri Slaby, Jan Strejcek
2013 B conf
ClabureDB: Classified Bug-Reports Database.
VMCAI
Jiri Slaby, Jan Strejcek, Marek Trtík
2013 B conf
Compact Symbolic Execution.
ATVA
Jiri Slaby, Jan Strejcek, Marek Trtík
2013 A conf
Symbiotic: Synergy of Instrumentation, Slicing, and Symbolic Execution - (Competition Contribution).
TACAS
Jiri Slaby, Jan Strejcek, Marek Trtík
2012 C conf
Checking Properties Described by State Machines: On Synergy of Instrumentation, Slicing, and Symbolic Execution.
FMICS
Jiri Slaby, Jan Strejcek, Marek Trtík
2012 J jnl
On Synergy of Metal, Slicing, and Symbolic Execution
CoRR
Jiri Slaby, Jan Strejcek, Marek Trtík
2012 J jnl
STANSE: Bug-finding Framework for C Programs
CoRR
Jan Obdrzálek, Jiri Slaby, Marek Trtík
2011 — conf
STANSE: Bug-Finding Framework for C Programs.
MEMICS
Jan Obdrzálek, Jiri Slaby, Marek Trtík
2010 — conf
Integrated Approach in Management and Design of Modern Web-Based Services.
ISD
Jaroslav Skrabalek, Lucia Tokárová, Jiri Slaby, Tomás Pitner
2010 Misc conf
Web-Based Service for Collaborative Organization of Academic Events - Case Study of "Takeplace".
SYNASC
Jaroslav Skrabalek, Tomás Ludík, Jiri Slaby, Tomás Pitner